/download/obfuscator-ollvm/llvm/test/Transforms/ConstraintElimination/

0 directories 104 files
Name Size Modified
Go up — —
abs.ll 5.8 KiB
add-nsw.ll 31 KiB
add-nuw.ll 24 KiB
add.ll 10 KiB
analysis-invalidation.ll 3.2 KiB
and-implied-by-operands.ll 14 KiB
and.ll 19 KiB
assumes.ll 20 KiB
cond-used-in-phi.ll 7.2 KiB
constants-signed-predicates.ll 3.0 KiB
constants-unsigned-predicates.ll 2.8 KiB
constraint-overflow.ll 1.3 KiB
debug.ll 1.6 KiB
decompose-with-temporary-indices.ll 2.3 KiB
dom.ll 18 KiB
empty-constraint.ll 1.2 KiB
eq.ll 13 KiB
gep-add-multiple-indices-signed-predicates.ll 16 KiB
gep-add-multiple-indices.ll 15 KiB
gep-arithmetic-add-signed-predicates.ll 20 KiB
gep-arithmetic-add.ll 19 KiB
gep-arithmetic-different-types.ll 20 KiB
gep-arithmetic-signed-predicates.ll 29 KiB
gep-arithmetic.ll 28 KiB
gep-chains.ll 20 KiB
gep-constexpr.ll 1.7 KiB
gep-sub-signed-predicates.ll 27 KiB
gep-sub.ll 31 KiB
geps-128-bit-pointers.ll 2.3 KiB
geps-i32-pointer-indexes.ll 1.3 KiB
geps-inbounds-precondition-ub-in-use-blocks.ll 11 KiB
geps-inbounds-precondition.ll 14 KiB
geps-pointers-to-arrays.ll 10 KiB
geps-pointers-to-structs.ll 18 KiB
geps-precondition-overflow-check.ll 12 KiB
geps-ptrvector.ll 2.3 KiB
geps-signed-predicates.ll 28 KiB
geps-unsigned-predicates.ll 26 KiB
induction-condition-in-loop-exit.ll 30 KiB
invoke.ll 1.5 KiB
large-constant-ints.ll 15 KiB
large-system-growth.ll 2.9 KiB
loops-bottom-tested-base.ll 5.7 KiB
loops-bottom-tested-pointer-cmps.ll 9.1 KiB
loops-header-tested-base.ll 13 KiB
loops-header-tested-pointer-cmps.ll 32 KiB
loops-header-tested-pointer-iv.ll 4.0 KiB
loops.ll 15 KiB
max-row-limit.ll 2.8 KiB
minmax.ll 21 KiB
mixed-signed-unsigned-predicates.ll 16 KiB
mixed.ll 1.5 KiB
monotonic-int-phis-cfg.ll 5.3 KiB
monotonic-int-phis-decrement.ll 8.3 KiB
monotonic-int-phis-multiples.ll 9.1 KiB
monotonic-int-phis-nested-loops.ll 5.4 KiB
monotonic-int-phis-signed.ll 9.4 KiB
monotonic-int-phis-wrapping.ll 8.5 KiB
monotonic-int-phis.ll 6.9 KiB
monotonic-phis-adjacent-loops.ll 3.6 KiB
monotonic-pointer-phis-constant-upper-offset.ll 19 KiB
monotonic-pointer-phis-crashes.ll 3.0 KiB
monotonic-pointer-phis-custom-datalayout.ll 16 KiB
monotonic-pointer-phis-early-exits.ll 36 KiB
monotonic-pointer-phis-struct-types.ll 46 KiB
monotonic-pointer-phis.ll 39 KiB
mul-nsw.ll 36 KiB
mul.ll 50 KiB
ne.ll 13 KiB
or-implied-by-operands.ll 8.0 KiB
or.ll 27 KiB
overflows.ll 1.2 KiB
pointercast.ll 6.3 KiB
pr105785.ll 1.9 KiB
pr54228-variable-name-order.ll 1.9 KiB
pr70510.ll 3.0 KiB
range_checks.ll 5.9 KiB
reason-about-add-operands.ll 14 KiB
reproducer-remarks-debug.ll 1.0 KiB
reproducer-remarks.ll 8.6 KiB
sext-signed-predicates.ll 7.6 KiB
sext-unsigned-predicates.ll 4.2 KiB
sge.ll 6.8 KiB
shl.ll 50 KiB
signed-query-unsigned-system.ll 4.5 KiB
ssub-with-overflow.ll 11 KiB
sub-nuw.ll 15 KiB
sub.ll 8.4 KiB
switch.ll 5.0 KiB
transfer-signed-facts-to-unsigned-is-known-non-negative.ll 15 KiB
transfer-signed-facts-to-unsigned.ll 22 KiB
transfer-unsigned-facts-to-signed-is-known-non-negative.ll 7.2 KiB
transfer-unsigned-facts-to-signed.ll 9.9 KiB
uge.ll 6.2 KiB
ugt-ule.ll 909 B
ule.ll 6.2 KiB
umin-result-may-be-poison.ll 2.2 KiB
uscmp.ll 3.8 KiB
uses-in-different-blocks.ll 2.6 KiB
usub-with-overflow.ll 9.9 KiB
vector-compares.ll 2.2 KiB
wrapping-math.ll 11 KiB
zext-for-per-formula-reasoning.ll 4.2 KiB
zext.ll 9.9 KiB