Repository navigation

-mm=own, phase 0: single ownership inferred at compile time, no counting - #399

Merged

ASDAlexander77 merged 14 commits into

mainfrom

own-phase-0

Sep 29, 2026

Merged

-mm=own, phase 0: single ownership inferred at compile time, no counting#399
ASDAlexander77 merged 14 commits into
mainfrom
own-phase-0

Commits on Sep 29, 2026
- Design spec for -mm=own, a single-owner memory model
  
  ASDAlexander77
  and
  claude
  committed
  925b7cf
- Satisfy markdownlint in the own-model spec
  
  ASDAlexander77
  and
  claude
  committed
  bf35a35
- Written review of the -mm=own spec against main at #397
  
  ASDAlexander77
  and
  claude
  committed
  f8cf808
- Plan for -mm=own phase 0, with the birth take
  
  ASDAlexander77
  and
  claude
  committed
  a648f65
- Check every phase-0 test program against rc affine IR
  
  ASDAlexander77
  and
  claude
  committed
  07e1b90
- The -mm=own memory model exists: flag, name, tracksOwnership()
  
  ASDAlexander77
  and
  claude
  committed
  ff02305
- Audit isRefCounted(): what own shares with rc is tracksOwnership()
  
  ASDAlexander77
  and
  claude
  committed
  49ad135
- Lowering under own: releases destroy without counting; a surviving retain is an error
  
  ASDAlexander77
  and
  claude
  committed
  6459bc4
- OwnershipInferencePass, phase 0: a fresh value's single acquisition is a move; every other retain is an error
  
  ASDAlexander77
  and
  claude
  committed
  a376962
- The own backstop test writes its .ll to the build tree, not beside the source
  
  ASDAlexander77
  and
  claude
  committed
  dd6e1c7
- -mm=own phase-0 tests: positive, negative, and no counting in the output
  
  ASDAlexander77
  and
  claude
  committed
  c1cbe10
- measure.ps1, and the phase-0 numbers for -mm=own
  
  ASDAlexander77
  and
  claude
  committed
  caa344f
- The lowering-error test uses an input that reports its error in a Debug build too
  
  ASDAlexander77
  and
  claude
  committed
  a3046a0
- Implement phase 0 ownership rules and error handling for -mm=own; add tests for various ownership violations
  ASDAlexander77
  committed
  75714b3

Commits

Commits on Sep 29, 2026