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

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

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

David Zarzycki via cfe-dev
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.

_______________________________________________
cfe-dev mailing list
[hidden email]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev

signature.asc (235 bytes) Download Attachment