nikic wrote: > I'm not sure an intrinsic is the best approach. Maybe metadata is better. > There's some risk of optimizations dropping metadata, but that might not > matter depending on how exactly we define the metadata.
I agree with this. In terms of semantics, there is really no good reason why this needs to be an intrinsic, and doing it this way will cause lots of complications. If we're concerned about metadata being dropped, we can make it negative metadata (i.e. rather than "protect this alloca" make it "don't protect this alloca".) https://github.com/llvm/llvm-project/pull/183623 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
