[llvm] [ValueTracking] Handle range attributes in isGuaranteedNotToBeUndefOrPoison (PR #88199)

Andreas Jonson via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 9 14:27:24 PDT 2024


andjo403 wrote:

there is also the functions Instruction::dropPoisonGeneratingFlags and Operator::hasPoisonGeneratingFlags that I think also shall be updated due to range can generate poison but I do not know how to handle the dropPoisonGeneratingFlags for functions that have the attribute on the return value.

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


More information about the llvm-commits mailing list