llvm-project/llvm/test/Transforms/CorrelatedValuePropagation
Nikita Popov 68b24c3b44 [CVP] Simplify comparisons without constant operand
CVP currently only tries to simplify comparisons if there is a
constant operand. However, even if both are non-constant, we may
be able to determine the result of the comparison based on range
information.

IPSCCP is already capable of doing this, but because it runs very
early, it may miss some cases.

Differential Revision: https://reviews.llvm.org/D137253
2022-11-03 15:35:27 +01:00
..
2010-09-02-Trunc.ll
2010-09-26-MergeConstantRange.ll
abs.ll
add.ll
alloca.ll
and.ll
ashr.ll
basic.ll
conflict.ll
crash.ll
deopt.ll
guards.ll
icmp.ll [CVP] Simplify comparisons without constant operand 2022-11-03 15:35:27 +01:00
merge-range-and-undef.ll
min-max.ll
minmaxabs.ll
mul.ll [CVP] Simplify comparisons without constant operand 2022-11-03 15:35:27 +01:00
non-null.ll
overflow_predicate.ll
overflows.ll [NFC] Switch a few uses of undef to poison as placeholders for unreachble code 2022-06-30 23:01:43 +01:00
phi-common-val.ll
pointer.ll
pr35807.ll
profmd.ll
range.ll
sdiv.ll
select.ll
sext.ll
shl.ll [CVP] Simplify comparisons without constant operand 2022-11-03 15:35:27 +01:00
srem.ll
srem_missing_debugloc.ll [DebugInfo] Missing debug location after replacement in processSRem function 2022-09-01 13:18:17 +01:00
sub.ll
udiv.ll
urem.ll