rsmith added a comment.

Before we start with heroics here, we should consider whether the LLVM 
intrinsics are actually specified the right way. The current specification does 
the wrong thing for even trivial cases, such as a variable declared within a 
loop, so there's some impedance mismatch between the specification and how 
Clang uses the intrinsics, even with this patch applied. Can we get some 
clarity on how these intrinsics are *actually* supposed to work? (Is it 
permitted to have multiple start+end regions for the same alloca, or do we need 
to suppress them inside loops too? What happens if we have multiple starts but 
no ends?)


https://reviews.llvm.org/D24693



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to