Add intrinsics for prefetch #21
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
gretay-js
force-pushed
the
add_intrinsics_prefetch
branch
from
db07939
to
5b13554
Compare
gretay-js
force-pushed
the
add_intrinsics_prefetch
branch
from
5b13554
to
007c2ec
Compare
gretay-js
force-pushed
the
add_intrinsics_prefetch
branch
from
007c2ec
to
60fe5e1
Compare
mshinwell
force-pushed
the
add_intrinsics_prefetch
branch
from
60fe5e1
to
7ccd3f8
Compare
mshinwell
approved these changes
Aug 27, 2021
|
OK to squash+merge once CI passes |
poechsel
pushed a commit
that referenced
this pull request
Sep 20, 2021
stedolan
added a commit
to stedolan/flambda-backend
that referenced
this pull request
Jan 18, 2022
1924269795 Several fixes for partial application and currying
4fee6ae2e8 Pprintast support for new local syntax
8df43e93e5 Quieten Makefile when runtime dep files are not present
88ec84e29e Typecheck x |> f y as (f y x), not ((f y) x)
87a10e3348 Remove autogeneration of @ocaml.curry
c656dc9bb1 Merge flambda-backend changes
11b5424a69 Avoid printing double spaces in function argument lists
7751faa4f9 Restore locations to Typedtree.{pat,let}_bound_idents_full
e450b6c0e9 add build_ocaml_compiler.sexp
0403bb3eed Revert PR 9895 to continue installing VERSION
b3447dbe5d Ensure new local attributes are namespaced properly
7f213fc8b3 Allow empty functions again
8f22ad82ad Bugfix: ensure local domain state is initialised
80f54dd625 Bugfix for Selectgen with regions
e8133a189a Fix external-external signature inclusion
9840051375 Bootstrap
d879f23efd Merge remote-tracking branch 'jane/local-reviewed' into local-merge
94454f5f1c Use Local_store for the local allocations ref
54a164cf35 Create fewer regions, according to typechecking (ocaml-flambda#59)
1c2479bdb3 Merge flambda-backend changes
ce34678606 Fix printing of modes in return types
91f228128b Hook mode variable solving into Btype.snapshot/backtrack
54e4b09d64 Move Alloc_mode and Value_mode to Btype
ff4611e779 Merge flambda-backend changes
ce62e451d5 Ensure allocations are initialised, even dead ones
6b6ec5a744 Fix the alloc.ml test on 32-bit builds
81e9879ac5 Merge flambda-backend changes
40a7f89c96 Update repo URL for ocaml-jst, and rename script.
0454ee73d4 Add some new locally-allocating primitives (ocaml-flambda#57)
8acdda123d Reset the local stack pointer in exception handlers (ocaml-flambda#56)
8dafa98b49 Improve typing for (||) and (&&) (ocaml-flambda#55)
8c64754035 Fix make_check_all_arches (ocaml-flambda#54)
b50cd457aa Allow arguments to primitives to be local even in tail position (ocaml-flambda#53)
cad125dbe3 Fix modes from or-patterns (ocaml-flambda#50)
4efdb7273c Fix tailcalls tests with inlining (ocaml-flambda#52)
4a795cb4af Flambda support (ocaml-flambda#49)
74722cbf35 Add [@ocaml.principal] and [@ocaml.noprincipal] attributes, and use in oo.mli
6d7d3b87b5 Ensure that functions are evaluated after their arguments (flambda-backend ocaml-flambda#353)
89bda6b8ad Keep Sys.opaque_identity in Cmm and Mach (port upstream PR 9412)
a39126a17f Fix tailcalls within regions (ocaml-flambda#48)
4ac4cfd4b8 Fix stdlib manpages build
3a95f5edaf Merge flambda-backend changes
efe80c9b8b Add jane/pull-flambda-patches script
fca94c47c6 Register allocations for Omitted parameter closures (ocaml-flambda#47)
103b139794 Remove various FIXMEs (ocaml-flambda#46)
62ba2c1d50 Bootstrap
a0062ad6c4 Allow local allocations for various primitives (ocaml-flambda#43)
7a2165e64c Allow primitives to be poly-moded (ocaml-flambda#43)
2af3f55db6 Fix a flaky test by refactoring TypePairs (ocaml/ocaml#10638)
58dd8078aa Bootstrap
ee3be10c8f Fix modes in build_apply for partial applications
fe736568e5 Tweak for evaluation order of labelled partial applications (#10653)
052757089e Fix caml_modify on local allocations (ocaml-flambda#40)
e657e995f6 Relax modes for `as` patterns (ocaml-flambda#42)
f815bf2b4f Add special mode handling for tuples in matches and let bindings (ocaml-flambda#38)
39f1211a5f Only take the upper bounds of modes associated with allocations (ocaml-flambda#37)
aec6fde3e4 Interpret arrow types in "local positions" differently
c4f3319d19 Bootstrap
ff6fdade6e Add some missing regions
40d586de9e Bootstrap
66d8110784 Switch to a system with 3 modes for values
f2c5a85bce Bugfix for Comballoc with local allocations. (ocaml-flambda#41)
83bcd09ef1 Fix bug with root scanning during compaction (ocaml-flambda#39)
1b5ec83383 Track modes in Lambda.lfunction and onwards (ocaml-flambda#33)
f1e2e97549 Port ocaml/ocaml#10728
56703cd290 Port ocaml/ocaml#10081
eb66785575 Support local allocations in i386 and fix amd64 bug (ocaml-flambda#31)
c936b1902e Disallow local recursive non-functions (ocaml-flambda#30)
c7a193a0f3 GC support for local allocations (ocaml-flambda#29)
8dd72709c9 Nonlocal fields (ocaml-flambda#28)
e19a2f0571 Bootstrap
694b9ac5be Add syntax to the parser for local allocations (ocaml-flambda#26)
f183008978 Lower initial stack size
918226ff46 Allow local closure allocations (ocaml-flambda#27)
2552e7d257 Introduce mode variables (ocaml-flambda#25)
bc41c99b24 Minor fixes for local allocations (ocaml-flambda#24)
a2a4e608e3 Runtime and compiler support for more local allocations (ocaml-flambda#23)
d03055416b Typechecking for local allocations (ocaml-flambda#21)
9ee2332f66 Bugfix missing from ocaml-flambda#20
02c4cef20e Retain block-structured local regions until Mach.
86dbe1c7da amd64: Move stack realloc calls out-of-line
324d218997 More typing modes and locking of environments
a4080b80f9 Initial version of local allocation (unsafe)
git-subtree-dir: ocaml
git-subtree-split: 1924269795db2450be5c084f7799340e0e003e19
stedolan
added a commit
that referenced
this pull request
Feb 1, 2022
173842ce84 Merge flambda-backend changes ed7eba2054 Remove leading space from LINE. (#484) bd611705f7 Bump magic numbers (#5) c50c47d1f9 Add CI builds with local allocations enabled 1412792ed7 Move local allocations support behind '-extension local' 6d8e42aeb7 Better tail call behaviour in caml_applyN c7dac3da41 Typemod: toplevel bindings escape even if no variables are bound 82d6c3ead3 Several fixes for partial application and currying d05c70cc93 Pprintast support for new local syntax e0e62fcdb4 Typecheck x |> f y as (f y x), not ((f y) x) d7e34ce7bf Remove autogeneration of @ocaml.curry b9a05935ce Port #493 0a872d96a1 Code review fixes from #491 6c168bbc48 Remove local allocation counting 3c6e7f042c Code review fixes from #478 bb97207d1c Rename Lambda.apply_position a7cb6509e1 Quieten Makefile when runtime dep files are not present c656dc9bb1 Merge flambda-backend changes 11b5424a69 Avoid printing double spaces in function argument lists 7751faa4f9 Restore locations to Typedtree.{pat,let}_bound_idents_full e450b6c0e9 add build_ocaml_compiler.sexp 0403bb3eed Revert PR 9895 to continue installing VERSION b3447dbe5d Ensure new local attributes are namespaced properly 7f213fc8b3 Allow empty functions again 8f22ad82ad Bugfix: ensure local domain state is initialised 80f54dd625 Bugfix for Selectgen with regions e8133a189a Fix external-external signature inclusion 9840051375 Bootstrap d879f23efd Merge remote-tracking branch 'jane/local-reviewed' into local-merge 94454f5f1c Use Local_store for the local allocations ref 54a164cf35 Create fewer regions, according to typechecking (#59) 1c2479bdb3 Merge flambda-backend changes ce34678606 Fix printing of modes in return types 91f228128b Hook mode variable solving into Btype.snapshot/backtrack 54e4b09d64 Move Alloc_mode and Value_mode to Btype ff4611e779 Merge flambda-backend changes ce62e451d5 Ensure allocations are initialised, even dead ones 6b6ec5a744 Fix the alloc.ml test on 32-bit builds 81e9879ac5 Merge flambda-backend changes 40a7f89c96 Update repo URL for ocaml-jst, and rename script. 0454ee73d4 Add some new locally-allocating primitives (#57) 8acdda123d Reset the local stack pointer in exception handlers (#56) 8dafa98b49 Improve typing for (||) and (&&) (#55) 8c64754035 Fix make_check_all_arches (#54) b50cd457aa Allow arguments to primitives to be local even in tail position (#53) cad125dbe3 Fix modes from or-patterns (#50) 4efdb7273c Fix tailcalls tests with inlining (#52) 4a795cb4af Flambda support (#49) 74722cbf35 Add [@ocaml.principal] and [@ocaml.noprincipal] attributes, and use in oo.mli 6d7d3b87b5 Ensure that functions are evaluated after their arguments (flambda-backend #353) 89bda6b8ad Keep Sys.opaque_identity in Cmm and Mach (port upstream PR 9412) a39126a17f Fix tailcalls within regions (#48) 4ac4cfd4b8 Fix stdlib manpages build 3a95f5edaf Merge flambda-backend changes efe80c9b8b Add jane/pull-flambda-patches script fca94c47c6 Register allocations for Omitted parameter closures (#47) 103b139794 Remove various FIXMEs (#46) 62ba2c1d50 Bootstrap a0062ad6c4 Allow local allocations for various primitives (#43) 7a2165e64c Allow primitives to be poly-moded (#43) 2af3f55db6 Fix a flaky test by refactoring TypePairs (ocaml/ocaml#10638) 58dd8078aa Bootstrap ee3be10c8f Fix modes in build_apply for partial applications fe736568e5 Tweak for evaluation order of labelled partial applications (#10653) 052757089e Fix caml_modify on local allocations (#40) e657e995f6 Relax modes for `as` patterns (#42) f815bf2b4f Add special mode handling for tuples in matches and let bindings (#38) 39f1211a5f Only take the upper bounds of modes associated with allocations (#37) aec6fde3e4 Interpret arrow types in "local positions" differently c4f3319d19 Bootstrap ff6fdade6e Add some missing regions 40d586de9e Bootstrap 66d8110784 Switch to a system with 3 modes for values f2c5a85bce Bugfix for Comballoc with local allocations. (#41) 83bcd09ef1 Fix bug with root scanning during compaction (#39) 1b5ec83383 Track modes in Lambda.lfunction and onwards (#33) f1e2e97549 Port ocaml/ocaml#10728 56703cd290 Port ocaml/ocaml#10081 eb66785575 Support local allocations in i386 and fix amd64 bug (#31) c936b1902e Disallow local recursive non-functions (#30) c7a193a0f3 GC support for local allocations (#29) 8dd72709c9 Nonlocal fields (#28) e19a2f0571 Bootstrap 694b9ac5be Add syntax to the parser for local allocations (#26) f183008978 Lower initial stack size 918226ff46 Allow local closure allocations (#27) 2552e7d257 Introduce mode variables (#25) bc41c99b24 Minor fixes for local allocations (#24) a2a4e608e3 Runtime and compiler support for more local allocations (#23) d03055416b Typechecking for local allocations (#21) 9ee2332f66 Bugfix missing from #20 02c4cef20e Retain block-structured local regions until Mach. 86dbe1c7da amd64: Move stack realloc calls out-of-line 324d218997 More typing modes and locking of environments a4080b80f9 Initial version of local allocation (unsafe) git-subtree-dir: ocaml git-subtree-split: 173842ce847607a032ed3c3753ee14f22556910d
lpw25
added a commit
that referenced
this pull request
May 19, 2022
ce8883357 Merge flambda-backend changes b7506bbc6 Revert "Cherry-pick of ocaml/ocaml 1eeb0e7fe595f5f9e1ea1edbdf785ff3b49feeeb (#12)" 183f68817 Add config option to enable/disable stack allocation (#22) ee7c849eb If both the type and mode of an ident are wrong, complain about the type. (#19) 44bade06c Allow submoding during module inclusion checks (#21) de3bec9ae Add subtyping between arrows of related modes (#20) 93d861556 Enable the local keywords even when the local extension is off (#18) 81dd85ee1 Documentation for local allocations b05519f16 Fix a GC bug in local stack scanning (#17) 9f879dea8 Fix __FUNCTION__ (#15) a78975eb5 Optimise "include struct ... end" in more cases (ocaml/ocaml#11134) b819c6615 Cherry-pick of ocaml/ocaml 1eeb0e7fe595f5f9e1ea1edbdf785ff3b49feeeb (#12) bb363d4e7 Optimise the allocation of optional arguments (#11) git-subtree-dir: ocaml git-subtree-split: ce8883357fa56b4dbbe058ace120fcf93a655be6
lpw25
added a commit
to lpw25/flambda-backend
that referenced
this pull request
May 20, 2022
ce8883357 Merge flambda-backend changes b7506bbc6 Revert "Cherry-pick of ocaml/ocaml 1eeb0e7fe595f5f9e1ea1edbdf785ff3b49feeeb (ocaml-flambda#12)" 183f68817 Add config option to enable/disable stack allocation (ocaml-flambda#22) ee7c849eb If both the type and mode of an ident are wrong, complain about the type. (ocaml-flambda#19) 44bade06c Allow submoding during module inclusion checks (ocaml-flambda#21) de3bec9ae Add subtyping between arrows of related modes (ocaml-flambda#20) 93d861556 Enable the local keywords even when the local extension is off (ocaml-flambda#18) 81dd85ee1 Documentation for local allocations b05519f16 Fix a GC bug in local stack scanning (ocaml-flambda#17) 9f879dea8 Fix __FUNCTION__ (ocaml-flambda#15) a78975eb5 Optimise "include struct ... end" in more cases (ocaml/ocaml#11134) b819c6615 Cherry-pick of ocaml/ocaml 1eeb0e7fe595f5f9e1ea1edbdf785ff3b49feeeb (ocaml-flambda#12) bb363d4e7 Optimise the allocation of optional arguments (ocaml-flambda#11) git-subtree-dir: ocaml git-subtree-split: ce8883357fa56b4dbbe058ace120fcf93a655be6
mshinwell
added a commit
that referenced
this pull request
May 24, 2022
454150b1a7 flambda-backend: Speed up testsuite (#658) 8362f9e90c flambda-backend: Speed up builds (#585) a527cabbb2 flambda-backend: Update backends for changes from ocaml-jst ce8883357f Merge flambda-backend changes b7506bbc69 Revert "Cherry-pick of ocaml/ocaml 1eeb0e7fe595f5f9e1ea1edbdf785ff3b49feeeb (#12)" 183f688179 Add config option to enable/disable stack allocation (#22) ee7c849eb8 If both the type and mode of an ident are wrong, complain about the type. (#19) 44bade06c7 Allow submoding during module inclusion checks (#21) de3bec9aea Add subtyping between arrows of related modes (#20) fe8a98b0cd flambda-backend: Save Mach as Cfg after Selection (#624) 2b205d8861 flambda-backend: Clean up algorithms (#611) 93d861556b Enable the local keywords even when the local extension is off (#18) 524f0b435e flambda-backend: Initial refactoring of To_cmm (#619) 81dd85ee19 Documentation for local allocations b05519f16c Fix a GC bug in local stack scanning (#17) 9f879dea8c Fix __FUNCTION__ (#15) 0bf75de86a flambda-backend: Refactor and correct the "is pure" and "can raise" (port upstream PR#10354 and PR#10387) (#555) d234bfdbe4 flambda-backend: Cpp mangling is now a configuration option (#614) 20fc614bff flambda-backend: Check that stack frames are not too large (#10085) (#561) 5fc2e95038 flambda-backend: Allow CSE of immutable loads across stores (port upstream PR#9562) (#562) 2a650deeca flambda-backend: Backport commit fc9534746bf5d08a4c109f22e344cf49d5d46d54 from trunk (#584) a78975eb57 Optimise "include struct ... end" in more cases (ocaml/ocaml#11134) b819c66154 Cherry-pick of ocaml/ocaml 1eeb0e7fe595f5f9e1ea1edbdf785ff3b49feeeb (#12) bb363d4e70 Optimise the allocation of optional arguments (#11) 31651b87ef flambda-backend: Improved ARM64 code generation (port upstream PR#9937) (#556) f0b6d68e86 flambda-backend: Simplify processing and remove dead code (error paths) in asmlink (port upstream PR#9943) (#557) 90c6746877 flambda-backend: Improve code-generation for inlined comparisons (port upstream PR#10228) (#563) git-subtree-dir: ocaml git-subtree-split: 454150b1a78ad6b30cd6892f07f56db2f0b63aa8
mshinwell
pushed a commit
that referenced
this pull request
Oct 25, 2022
* dune file fix for dependency changes * Fix test output (duplicated attributes are no longer ignored) * Refactor checking of flambda-backend-only attrs to match new style
mshinwell
added a commit
that referenced
this pull request
Dec 28, 2022
b11eea1fae flambda-backend: Introduce Import_info (#1036) bc5b135137 flambda-backend: Fix `ocamlobjinfo` on flambda2 .cmx files (#1029) c8babbdaf4 flambda-backend: Compilation_unit optimisations (#1035) e8d3e22320 flambda-backend: Use 4.14.0 opam switch for building (includes upgrading ocamlformat to 0.24.1) (#1030) eb14a86db9 flambda-backend: Port PR81 from ocaml-jst (#1024) 131bc12b53 flambda-backend: Merge ocaml-jst 2022-12-13 (#1022) 06c189a4c5 flambda-backend: Make stack allocation the default (#1013) 98debd51d5 flambda-backend: Initial support for value slots not of value kind (#946) deb1714de3 flambda-backend: Add is_last flag to closinfo words (#938) d07fce15aa flambda-backend: Disable poll insertion in Configure (#967) 0f1ce0eeab flambda-backend: Regenerate ocaml/configure autoconf 2.69 (instead of 2.71) (#1012) 27132d8005 flambda-backend: Fix for spurious typing error related to expanding through functor arguments (#997) 724fb68074 flambda-backend: Use `Compilation_unit.t` instead of `Ident.t` for globals (#871) 396d5b8837 flambda-backend: Add a test for frametable setup in natdynlinked libraries (#983) b73ab126cf flambda-backend: Fix invocation of `caml_shared_startup` in native dynlink (#980) 7c7d75a6b1 flambda-backend: Fix split_default_wrapper which did not trigger anymore with flambda2 (#970) 8fb75bd345 flambda-backend: Port ocaml/ocaml#11727 and ocaml/ocaml#11732 (#965) fdb79872c6 flambda-backend: Fix include functor issue after 4.14 merge. (#948) 9745cdb28a flambda-backend: Print -dprofile/-dtimings output to stdout like 4.12 (#943) 5f51f2124f flambda-backend: Merge pull request #932 from mshinwell/4.14-upgrade 841687d523 flambda-backend: Run make alldepend in ocaml/ (#936) 72a7658a4b flambda-backend: Remove reformatting changes only in dynlink/dune (preserving PR889 and adjusting to minimise diff) 6d758cd63c flambda-backend: Revert whitespace changes in dune files, to match upstream c86bf6e035 flambda-backend: Remove duplicate tests for polling 971dbeb55b flambda-backend: Testsuite fixes 32f835689b flambda-backend: Topeval fix for symbols patch befea0169e flambda-backend: Compilation fixes / rectify merge faults a84543f6a6 flambda-backend: Merge ocaml-jst 8e65056085 flambda-backend: Merge ocaml-jst 4d70045a5e flambda-backend: Remove filename from system frametable (amd64) (#920) 5e57b7d80d flambda-backend: Bugfix for runtime frame_descr logic for C frames (#918) 6423d5e8ce flambda-backend: Merge pull request #914 from mshinwell/merge-ocaml-jst-2022-10-24 ead605caf3 flambda-backend: Add a missing Extract_exception (#916) c8f1481246 flambda-backend: Resolve conflicts and add specialise/specialised attributes to Builtin_attributes cf4d0d34a8 flambda-backend: Merge fixes (#21) c2f742fca7 flambda-backend: Re-enable some tests for Flambda2 (#881) 3d38d13bea flambda-backend: Long frames in frametable (#797) 85aec7bb78 flambda-backend: Add loop attribute to Builtin_attributes c0f16e325b flambda-backend: Compilation fixes 90dea23141 flambda-backend: Merge flambda-backend/main 5acc6eaf90 flambda-backend: Fixes after merge e5019466b5 flambda-backend: Merge ocaml-jst 115083b765 flambda-backend: Merge ocaml-jst 9943b2ecc2 flambda-backend: Revert "Revert "Transform tail-recursive functions into recursive continuations (#893)"" (#909) ce339f19f5 flambda-backend: Fix alloc modes and call kinds for overapplications (#902) e6a317c866 flambda-backend: Revert "Transform tail-recursive functions into recursive continuations (#893)" 853c4884fd flambda-backend: Transform tail-recursive functions into recursive continuations (#893) 5a977e4483 flambda-backend: Fix missing End_region primitives on switch arms (#898) 7fa7f9dd96 flambda-backend: Add missing dependencies to Dune files (#889) 3cd36f0058 flambda-backend: Have Lambda `Pgetglobal` and `Psetglobal` take `Compilation_unit.t` (#896) 75659153a1 flambda-backend: [@poll error] attribute (#745) 9eb9448e6d flambda-backend: Backport the main safepoints PRs (#740) 689bddabd9 flambda-backend: Add strict mode for ocamldep (#892) git-subtree-dir: ocaml git-subtree-split: b11eea1fae9ed1661d61ab41e0ed84099c9d0de2
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.