Page MenuHomePhabricator

[OpenMP] Introduce assumptions into the new device runtime mapping
AcceptedPublic

Authored by jdoerfert on Sep 17 2021, 11:03 AM.

Details

Summary

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

Diff Detail

Event Timeline

jdoerfert created this revision.Sep 17 2021, 11:03 AM
jdoerfert requested review of this revision.Sep 17 2021, 11:03 AM
Herald added a project: Restricted Project. · View Herald TranscriptSep 17 2021, 11:03 AM
Herald added a subscriber: sstefan1. · View Herald Transcript
This revision is now accepted and ready to land.Sep 20 2021, 1:09 PM