[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