[Openmp-commits] [PATCH] D109985: [OpenMP] Introduce assumptions into the new device runtime mapping

[Johannes Doerfert via Phabricator via Openmp-commits]

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`).


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D109985

Files:
  openmp/libomptarget/DeviceRTL/src/Mapping.cpp
  openmp/libomptarget/DeviceRTL/src/State.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D109985.373285.patch
Type: text/x-patch
Size: 5658 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/openmp-commits/attachments/20210917/bf59ce7a/attachment.bin>