[llvm] [InstCombineCompare] Use known bits to insert assume intrinsics. (PR #96017)

Mikhail Gudim via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 19 09:31:19 PDT 2024


mgudim wrote:

> This kind of speculative assume introduction usually blocks more optimizations than it enables...

Yes, I've read this in IR reference too. But in theory, do you think this is a right thing to do? Or is there some principle problem with using assume intrinsics that can not be fixed? If you can point out some issue with assume intrinsics I can work on it in another MR.

What if I add a flag to explicitly enable this and have this disabled by default?

https://github.com/llvm/llvm-project/pull/96017


More information about the llvm-commits mailing list