Code

Overwriting tests#3123

Code

Merged

anfelor merged 12 commits intoocaml-flambda:overwritingocaml-flambda/flambda-backend:overwritingfrom

anfelor:overwriting-testanfelor/flambda-backend:overwriting-testCopy head branch name to clipboard

Oct 16, 2024

Commits

Commits on Oct 7, 2024

• Tests for overwriting

  anfelor

  committed
  f8f057c

  Copy full SHA for f8f057c

• Remove old tests for unique overwrites and fix typos

  anfelor

  committed
  24d2209

  Copy full SHA for 24d2209

• Add overwriting tests back

  anfelor

  committed
  dbaa447

  Copy full SHA for dbaa447

• Add tests for lifting out constants

  anfelor

  committed
  3970b22

  Copy full SHA for 3970b22

• Update tests

  anfelor

  committed
  4f178a0

  Copy full SHA for 4f178a0

Commits on Oct 11, 2024

• Use extension universe alpha

  anfelor

  committed
  18a0e19

  Copy full SHA for 18a0e19

• Test all cases for gc soundness bug

  anfelor

  committed
  9353e3c

  Copy full SHA for 9353e3c

• Review feedback: add more CRs and clarify overwriting_map.ml

  anfelor

  committed
  fef33aa

  Copy full SHA for fef33aa

• Review feedback: Add allocation counter to rbtree

  anfelor

  committed
  6be80c4

  Copy full SHA for 6be80c4

• Review feedback: also test mixed blocks and unboxed float blocks in the lift constants test

  anfelor

  committed
  e36afc6

  Copy full SHA for e36afc6

Commits on Oct 14, 2024

• Review feedback: as discussed in meeting

  anfelor

  committed
  61dc881

  Copy full SHA for 61dc881

Commits on Oct 16, 2024

• Review feedback

  anfelor

  committed
  ed8edd0

  Copy full SHA for ed8edd0