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).
Details
Details
- Reviewers
jhuber6 ggeorgakoudis tianshilei1992
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo