Code

Static check noalloc#778

Code

Merged

mshinwell merged 47 commits intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom

gretay-js:alloc-check-backendgretay-js/flambda-backend:alloc-check-backendCopy head branch name to clipboard

Sep 8, 2022

Commits

Commits on Aug 19, 2022

• Add flags -alloc-check -indirect-call-check -effect-check

  Show description for fcab1e0
  gretay-js

  committed
  fcab1e0

  Copy full SHA for fcab1e0

• Record noalloc and other properties of functions in cmx

  Show description for f94dd1a
  gretay-js

  committed
  f94dd1a

  Copy full SHA for f94dd1a

• Update magic numbers for cmx and cmxa

  gretay-js

  committed
  242bb7e

  Copy full SHA for 242bb7e

• Add the various new checks to Mach.codegen_options

  gretay-js

  committed
  f0df3a1

  Copy full SHA for f0df3a1

• Check if Mach.fundecl contains alloc or indirect calls

  gretay-js

  committed
  553158f

  Copy full SHA for 553158f

• Pass ppf_dump to Asmgen.compile_unit

  gretay-js

  committed
  c4be691

  Copy full SHA for c4be691

• Propagate effects field from Cmm.Cextcall to Mach.Iexcall and Cfg

  gretay-js

  committed
  4f33bc3

  Copy full SHA for 4f33bc3

• Build stdlib with the new flags

  gretay-js

  committed
  fe54dae

  Copy full SHA for fe54dae

• Add check attribute

  gretay-js

  committed
  8738fea

  Copy full SHA for 8738fea

• Add missing Cmm.codegen_option

  gretay-js

  committed
  04c191e

  Copy full SHA for 04c191e

• Add attributes "check noalloc" "check noalloc_exn" "check noeffects"

  Show description for 6ab7196
  gretay-js

  committed
  6ab7196

  Copy full SHA for 6ab7196

• Rename "check" attribute to "assert" and add "assume"

  gretay-js

  committed
  14c7913

  Copy full SHA for 14c7913

• Fix after rebase

  gretay-js

  committed
  a7fda9d

  Copy full SHA for a7fda9d

• Fix after rebase: remove -allock-check from unix build flags

  Show description for 791fe67
  gretay-js

  committed
  791fe67

  Copy full SHA for 791fe67

• Revert "Fix after rebase"

  Show description for 22a027a
  gretay-js

  committed
  22a027a

  Copy full SHA for 22a027a

• Revert "Propagate effects field from Cmm.Cextcall to Mach.Iexcall and Cfg"

  Show description for 8409040
  gretay-js

  committed
  8409040

  Copy full SHA for 8409040

• Revert "Rename "check" attribute to "assert" and add "assume""

  Show description for 0699910
  gretay-js

  committed
  0699910

  Copy full SHA for 0699910

• Revert "Add attributes "check noalloc" "check noalloc_exn" "check noeffects""

  Show description for 57e0075
  gretay-js

  committed
  57e0075

  Copy full SHA for 57e0075

• Revert "Add check attribute"

  Show description for 6ea8c34
  gretay-js

  committed
  6ea8c34

  Copy full SHA for 6ea8c34

• Remove code unrelated to alloc-check

  gretay-js

  committed
  bdda6aa

  Copy full SHA for bdda6aa

• Format

  gretay-js

  committed
  0493e85

  Copy full SHA for 0493e85

• Format

  gretay-js

  committed
  cee4698

  Copy full SHA for cee4698

Commits on Aug 22, 2022

• Update ocaml/otherlibs/dynlink/dune

  Show description for 63f1eb3
  

  gretay-js

  and

  xclerc

  authored
  63f1eb3

  Copy full SHA for 63f1eb3

• Update tools/objinfo.ml

  Show description for 8bbcdee
  

  gretay-js

  and

  xclerc

  authored
  8bbcdee

  Copy full SHA for 8bbcdee

• Update tools/objinfo.ml

  Show description for 7972cf7
  

  gretay-js

  and

  xclerc

  authored
  7972cf7

  Copy full SHA for 7972cf7

• Remove -alloc-check flag from dune files in stdlib and otherlibs.

  Show description for 7bc7f66
  gretay-js

  committed
  7bc7f66

  Copy full SHA for 7bc7f66

Commits on Aug 25, 2022

• Reword output of ocamlobjinfo

  gretay-js

  committed
  24b7459

  Copy full SHA for 24b7459

• Add -check-alloc to release profile and make separate boot profile

  gretay-js

  committed
  8280f18

  Copy full SHA for 8280f18

• rename dune release profile to boot

  gretay-js

  committed
  098a67b

  Copy full SHA for 098a67b

• remove -O3 from main profile

  gretay-js

  committed
  7254519

  Copy full SHA for 7254519

• Increase delays in tests/lib-threads/beat.ml

  Show description for b7de805
  gretay-js

  committed
  b7de805

  Copy full SHA for b7de805

• Rename is_caml_apply to begins_with_caml_apply

  gretay-js

  committed
  ddd3ca1

  Copy full SHA for ddd3ca1

• Add test for -alloc-check

  gretay-js

  committed
  45e1a48

  Copy full SHA for 45e1a48

• Move comments to match the convention in the rest of this file.

  gretay-js

  committed
  cec531e

  Copy full SHA for cec531e

• Rename a function

  gretay-js

  committed
  340509c

  Copy full SHA for 340509c

• Use meaningful module alias

  gretay-js

  committed
  d44ee15

  Copy full SHA for d44ee15

• Add a CR

  gretay-js

  committed
  f618212

  Copy full SHA for f618212

• CR

  gretay-js

  committed
  73e992f

  Copy full SHA for 73e992f

• Don't reimplement String.begins_with

  gretay-js

  committed
  014d45b

  Copy full SHA for 014d45b

• Format

  gretay-js

  committed
  e315092

  Copy full SHA for e315092

• Remove make target that was only added for testing this PR

  gretay-js

  committed
  525fbff

  Copy full SHA for 525fbff

• The new test should only run in the "main" context

  gretay-js

  committed
  1b87091

  Copy full SHA for 1b87091

• Merge remote-tracking branch 'upstream-flambda-backend/main' into alloc-check-backend

  gretay-js

  committed
  ceb0fed

  Copy full SHA for ceb0fed

Commits on Aug 30, 2022

• Add Arch.operation_allocates and use it for noalloc check

  gretay-js

  committed
  95d3975

  Copy full SHA for 95d3975

• A better version of operation_allocates

  gretay-js

  committed
  4a03505

  Copy full SHA for 4a03505

Commits on Aug 31, 2022

• Revert "Increase delays in tests/lib-threads/beat.ml"

  Show description for 78313f1
  gretay-js

  committed
  78313f1

  Copy full SHA for 78313f1

Commits on Sep 1, 2022

• Merge remote-tracking branch 'upstream-flambda-backend/main' into alloc-check-backend

  gretay-js

  committed
  518c9d4

  Copy full SHA for 518c9d4