Code

Overwriting primitives in lambda#3107

Code

Closed

anfelor wants to merge 9 commits intoocaml-flambda:overwritingocaml-flambda/flambda-backend:overwritingfrom anfelor:overwriting-primitivesanfelor/flambda-backend:overwriting-primitivesCopy head branch name to clipboard

+254-36

Commits

Commits on Oct 2, 2024

• Draft overwriting primitives in Lambda (extracted from 3f1e495)

  anfelor

  committed
  2aebe45

  Copy full SHA for 2aebe45

• Check that tmc with overwriting is correct

  anfelor

  committed
  bc3e854

  Copy full SHA for bc3e854

• Disallow value recursion with overwriting

  anfelor

  committed
  10f7d69

  Copy full SHA for 10f7d69

• Map reuse to fresh allocations in bytecode

  anfelor

  committed
  377d0f1

  Copy full SHA for 377d0f1

• Restore formatting

  anfelor

  committed
  7e8af0a

  Copy full SHA for 7e8af0a

Commits on Oct 3, 2024

• Fix formatting

  anfelor

  committed
  1d0b9e5

  Copy full SHA for 1d0b9e5

• Implement suggestions

  anfelor

  committed
  ca6c04b

  Copy full SHA for ca6c04b

Commits on Oct 22, 2024

• Add CR for primitive_may_allocate

  anfelor

  committed
  82b9968

  Copy full SHA for 82b9968

• Merge remote-tracking branch 'upstream/overwriting' into overwriting-primitives

  anfelor

  committed
  e9c4870

  Copy full SHA for e9c4870