[llvm-dev] funnel shift, select, and poison (original) (raw)
John Regehr via llvm-dev llvm-dev at lists.llvm.org
Mon Feb 25 10:28:04 PST 2019
- Previous message: [llvm-dev] funnel shift, select, and poison
- Next message: [llvm-dev] funnel shift, select, and poison
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Poison has to propagate through calls and loads/stores, or else basically nothing works.
John
On 2/25/19 10:29 AM, Krzysztof Parzyszek via llvm-dev wrote:
On 2/25/2019 11:15 AM, John Regehr via llvm-dev wrote:
I'd just like to add that the general question here is "where does poison stop propagating" and this question needs to be definitively answered by this community. Does a call stop poison? Whatever the decision is may be contradicted after inlining, so what should such a call return? A superposition of poison and non-poison, until the function is inlined? It's a serious question. -Krzysztof
LLVM Developers mailing list llvm-dev at lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
- Previous message: [llvm-dev] funnel shift, select, and poison
- Next message: [llvm-dev] funnel shift, select, and poison
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]