Displaying 1 result from an estimated 1 matches for "d81854".
2019 Dec 16
7
[RFC] How to manifest information in LLVM-IR, or, revisiting llvm.assume
Abstract:
It is often hard or impossible to encode complex, e.g., non-boolean,
information in an `llvm.assume(i1)`. This RFC describes various problems
we have right now and provides alternative design ideas.
Some Existing Problems:
A) The boolean requirement.
The current `llvm.assume(i1)` expects a boolean that is known to hold
true at runtime (once the `llvm.assume` call is reached).