Code

zero alloc: assume on calls#2165

Code

Merged

gretay-js merged 11 commits intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom

gretay-js:zero_alloc_assume_on_calls_take2gretay-js/flambda-backend:zero_alloc_assume_on_calls_take2Copy head branch name to clipboard

Mar 26, 2024

Commits

Commits on Mar 25, 2024

• Consume [@zero_alloc assume] attribute on Texp_apply

  Show description for 967acd5
  gretay-js

  committed
  967acd5

  Copy full SHA for 967acd5

• Fix [test_never_returns_normally]

  gretay-js

  committed
  804705c

  Copy full SHA for 804705c

• Improve comment about "assume never_return_normally" on allocations

  Show description for 6311033
  gretay-js

  committed
  6311033

  Copy full SHA for 6311033

• bug fix: use [Assume_info.is_none] in [Debginfo.is_none]

  gretay-js

  committed
  af26beb

  Copy full SHA for af26beb

• Provide Value.compare for use in Debuginfo.compare in middle end.

  gretay-js

  committed
  553b98b

  Copy full SHA for 553b98b

• Update comment

  gretay-js

  committed
  3fa8488

  Copy full SHA for 3fa8488

• Cleanup

  gretay-js

  committed
  f363d78

  Copy full SHA for f363d78

• Update comment

  gretay-js

  committed
  22463bd

  Copy full SHA for 22463bd

• Add a test for "assume" annotation dropped without warning

  gretay-js

  committed
  8cb0ffa

  Copy full SHA for 8cb0ffa

Commits on Mar 26, 2024

• Document the interface of Value

  gretay-js

  committed
  5dd7684

  Copy full SHA for 5dd7684

• Update ocaml/utils/zero_alloc_utils.mli

  Show description for 3d590cb
  

  gretay-js

  and

  xclerc

  authored
  3d590cb

  Copy full SHA for 3d590cb