[Openmp-commits] [PATCH] D109985: [OpenMP] Introduce assumptions into the new device runtime mapping
Johannes Doerfert via Phabricator via Openmp-commits
openmp-commits at lists.llvm.org
Fri Sep 17 11:03:23 PDT 2021
jdoerfert created this revision.
jdoerfert added reviewers: jhuber6, ggeorgakoudis, tianshilei1992.
Herald added subscribers: guansong, bollu, yaxunl.
jdoerfert requested review of this revision.
Herald added a subscriber: sstefan1.
Herald added a project: OpenMP.
We know a lot about the mapping that we can encode as assumptions for
the optimizer. Our `mapping` vs `impl` layer makes this even easier.
Assumptions are checked as assertions in debug mode and otherwise
assumed (via `llvm.assume`).
rG LLVM Github Monorepo
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5658 bytes
Desc: not available
More information about the Openmp-commits