[cfe-dev] Fwd: [RFC] How to manifest information in LLVM-IR, or, revisiting llvm.assume

Doerfert, Johannes via cfe-dev cfe-dev at lists.llvm.org
Mon Dec 16 15:20:17 PST 2019

I just posted an RFC to the llvm-dev list that might be interesting for
Clang and Flang folks as well. To keep the conversation on a single list
I only attached the abstract below. Please respond on llvm-dev, thanks!

> 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20191216/68089b29/attachment.sig>

More information about the cfe-dev mailing list