Code

Remove more fields from Reg.t#3838

Code

Merged

xclerc merged 9 commits intomainocaml-flambda/flambda-backend:mainfrom

reg-remove-more-fieldsocaml-flambda/flambda-backend:reg-remove-more-fieldsCopy head branch name to clipboard

Apr 11, 2025

Commits

Commits on Apr 11, 2025

• Remove IRC-related fields from `Reg.t`.

  xclerc

  committed
  b2cfab0

  Copy full SHA for b2cfab0

• Further simplify `Utils` module.

  xclerc

  committed
  ab443ca

  Copy full SHA for ab443ca

• Remove `Reg.spill` field.

  xclerc

  committed
  0e98f8f

  Copy full SHA for 0e98f8f

• Remove `Reg.spill_cost` field.

  xclerc

  committed
  6f23bcb

  Copy full SHA for 6f23bcb

• Use dedicated module for spill costs.

  xclerc

  committed
  dc8c13c

  Copy full SHA for dc8c13c

• Use dedicated module for spill costs.

  xclerc

  committed
  d650068

  Copy full SHA for d650068

• Use dedicated module for spill costs.

  xclerc

  committed
  4dbd678

  Copy full SHA for 4dbd678

• Review

  xclerc

  committed
  adc7bfe

  Copy full SHA for adc7bfe

• Review

  xclerc

  committed
  f5e29f5

  Copy full SHA for f5e29f5