| Transforms/BlockExtractor/invalid-block.ll | | ? | |
| Transforms/BlockExtractor/invalid-function.ll | | ? | |
| Transforms/BlockExtractor/invalid-line.ll | | ? | |
| Transforms/CodeGenPrepare/X86/cttz-ctlz.ll | | Source is more defined than target | |
| Transforms/CodeGenPrepare/X86/memset_chk-simplify-nobuiltin.ll | | Source is more defined than target | __memset_chk() not recognized as a builtin on purpose. Need to detect this case. |
| Transforms/ConstraintElimination/gep-arithmetic.ll | | Value mismatch | |
| Transforms/ConstraintElimination/loops-header-tested-pointer-cmps.ll | | Source is more defined than target | |
| Transforms/EarlyCSE/commute.ll | ✓ | Value mismatch | |
| Transforms/ExpandMemCmp/X86/memcmp.ll | | Target is more poisonous than source | LLVM bug: load widening of i8 -> i16 |
| Transforms/GCOVProfiling/version.ll | | Crash | |
| Transforms/GVN/PRE/rle.ll | ✓ | Value mismatch | |
| Transforms/IndVarSimplify/loop-predication.ll | | Source is more defined than target | |
| Transforms/IndVarSimplify/post-inc-range.ll | | Source is more defined than target | |
| Transforms/IndVarSimplify/widen-loop-comp.ll | ✓ | Source is more defined than target | |
| Transforms/InstCombine/and-fcmp.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/and-or-icmp-min-max.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/and-or-icmp-nullptr.ll | | Value mismatch | |
| Transforms/InstCombine/and-or-icmps.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/and.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/and2.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/assume.ll | | Source is more defined than target | |
| Transforms/InstCombine/bit-checks.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/bitcast-bitcast.ll | ✓ | Target's return value is more undefined | |
| Transforms/InstCombine/bitcast-phi-uselistorder.ll | ✓ | Mismatch in memory | |
| Transforms/InstCombine/bswap-inseltpoison.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/bswap.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/canonicalize-clamp-like-pattern-between-zero-and-positive-threshold.ll | | Target is more poisonous than source | LLVM PR45954 |
| Transforms/InstCombine/cast_ptr.ll | | Value mismatch | |
| Transforms/InstCombine/demorgan.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/double-float-shrink-2.ll | | Target is more poisonous than source | LLVM PR49080 |
| Transforms/InstCombine/exact.ll | ✓ | Value mismatch | |
| Transforms/InstCombine/fabs.ll | | Target is more poisonous than source | LLVM PR59279 |
| Transforms/InstCombine/ffs-1.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/fpcast.ll | | Target is more poisonous than source | LLVM PR49080 |
| Transforms/InstCombine/icmp-vec-inseltpoison.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/icmp-vec.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/icmp.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/insert-extract-shuffle-inseltpoison.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/insert-extract-shuffle.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/invert-variable-mask-in-masked-merge-scalar.ll | ✓ | Target's return value is more undefined | |
| Transforms/InstCombine/invert-variable-mask-in-masked-merge-vector.ll | ✓ | Target's return value is more undefined | |
| Transforms/InstCombine/load-bitcast-select.ll | | Mismatch in memory | |
| Transforms/InstCombine/load-cmp.ll | | Value mismatch | |
| Transforms/InstCombine/logical-select-inseltpoison.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/logical-select.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/max-of-nots.ll | ✓ | Target's return value is more undefined | |
| Transforms/InstCombine/max_known_bits.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/memcmp-constant-fold.ll | | Target is more poisonous than source | LLVM bug: memcmp -> load i32 lowering |
| Transforms/InstCombine/memcpy-from-global.ll | | Source is more defined than target | Alive2 bug in input ptr refinement |
| Transforms/InstCombine/memcpy-to-load.ll | | Mismatch in memory | LLVM bug: memcpy -> i8 load/store |
| Transforms/InstCombine/minmax-fold.ll | | Target's return value is more undefined | |
| Transforms/InstCombine/minmax-fp.ll | | Target is more poisonous than source | LLVM PR50281 |
| Transforms/InstCombine/onehot_merge.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/or-fcmp.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/or.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/pr24354.ll | | Mismatch in memory | |
| Transforms/InstCombine/prevent-cmp-merge.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/range-check.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/rem.ll | ✓ | Value mismatch | |
| Transforms/InstCombine/saturating-add-sub.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/select-binop-cmp.ll | | Source is more defined than target | Alive2 missing support for speculatable attribute |
| Transforms/InstCombine/select-bitext.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/select-cmp-br.ll | | Source is more defined than target | |
| Transforms/InstCombine/select-cmp-cttz-ctlz.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/select-extractelement-inseltpoison.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/select-extractelement.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/select-of-bittest.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/select-pr39595.ll | ✓ | Target's return value is more undefined | |
| Transforms/InstCombine/select-select.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/select.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/select_meta.ll | ✓ | Target's return value is more undefined | |
| Transforms/InstCombine/sext.ll | ✓ | Value mismatch | |
| Transforms/InstCombine/shuffle-select-narrow-inseltpoison.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/shuffle-select-narrow.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/shuffle_select-inseltpoison.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/shuffle_select.ll | | Target is more poisonous than source | LLVM PR74326 |
| Transforms/InstCombine/shufflevec-bitcast-inseltpoison.ll | | Value mismatch | |
| Transforms/InstCombine/shufflevec-bitcast.ll | | Value mismatch | |
| Transforms/InstCombine/sign-test-and-or.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/signed-truncation-check.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/struct-assign-tbaa-new.ll | | Mismatch in memory | |
| Transforms/InstCombine/sub.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/unpack-fca.ll | ✓ | ? | |
| Transforms/InstCombine/usub-overflow-known-by-implied-cond.ll | | Source is more defined than target | |
| Transforms/InstCombine/vec_demanded_elts.ll | | Value mismatch | |
| Transforms/InstCombine/vec_gep_scalar_arg.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/vec_shuffle-inseltpoison.ll | | Target is more poisonous than source | LLVM PR44185 |
| Transforms/InstCombine/vec_shuffle.ll | | Target is more poisonous than source | LLVM PR44185 |
| Transforms/InstCombine/vector-urem.ll | ✓ | Value mismatch | |
| Transforms/InstCombine/with_overflow.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/zext-or-icmp.ll | | Target is more poisonous than source | |
| Transforms/InstSimplify/ConstProp/overflow-ops.ll | | Value mismatch | |
| Transforms/InstSimplify/and-or-icmp-nullptr.ll | | Value mismatch | |
| Transforms/InstSimplify/fcmp-select.ll | | Value mismatch | |
| Transforms/InstSimplify/gep.ll | | Value mismatch | |
| Transforms/JumpThreading/select.ll | | Source is more defined than target | |
| Transforms/LoadStoreVectorizer/X86/vectorize-i8-nested-add-inseltpoison.ll | | Source is more defined than target | |
| Transforms/LoadStoreVectorizer/X86/vectorize-i8-nested-add.ll | | Source is more defined than target | |
| Transforms/LoopUnroll/runtime-loop-multiexit-dom-verify.ll | | Source is more defined than target | |
| Transforms/LoopUnroll/runtime-loop-multiple-exits.ll | | Source is more defined than target | |
| Transforms/LoopUnswitch/2007-08-01-LCSSA.ll | | Source is more defined than target | |
| Transforms/LoopUnswitch/basictest.ll | ✓ | Source is more defined than target | |
| Transforms/MemCpyOpt/fca2memcpy.ll | | Mismatch in memory | Alive#345 |
| Transforms/MergeICmps/X86/entry-block-shuffled.ll | | Source is more defined than target | |
| Transforms/MergeICmps/X86/int64-and-ptr.ll | | Target is more poisonous than source | |
| Transforms/MergeICmps/X86/pair-int32-int32.ll | | Target is more poisonous than source | LLVM PR51845 |
| Transforms/PGOProfile/chr.ll | | Source is more defined than target | |
| Transforms/PhaseOrdering/unsigned-multiply-overflow-check.ll | | Target is more poisonous than source | |
| Transforms/SLPVectorizer/vectorizable-functions-inseltpoison.ll | | Source is more defined than target | Alive2: no support for "vector-function-abi-variant" |
| Transforms/SLPVectorizer/vectorizable-functions.ll | | Source is more defined than target | Alive2: no support for "vector-function-abi-variant" |
| Transforms/SROA/alignment.ll | | Mismatch in memory | LLVM bug: memcpy-> load/store; needs 'byte' type |
| Transforms/SROA/basictest.ll | | Mismatch in memory | LLVM bug: memcpy -> load/store |
| Transforms/SROA/vector-conversion.ll | | Target is more poisonous than source | |
| Transforms/SROA/vector-promotion.ll | | Mismatch in memory | LLVM PR52971 |
| Transforms/Scalarizer/scatter-order.ll | ✓ | Target is more poisonous than source | |
| Transforms/SimpleLoopUnswitch/LIV-loop-condtion.ll | ✓ | Source is more defined than target | |
| Transforms/SimpleLoopUnswitch/guards.ll | | Source is more defined than target | |
| Transforms/SimpleLoopUnswitch/nontrivial-unswitch.ll | | Source is more defined than target | |
| Transforms/SimpleLoopUnswitch/trivial-unswitch.ll | ✓ | Source is more defined than target | |
| Transforms/SimplifyCFG/SimplifyEqualityComparisonWithOnlyPredecessor-domtree-preservation-edgecase.ll | | Source is more defined than target | |
| Transforms/SimplifyCFG/basictest.ll | | Target is more poisonous than source | |
| Transforms/SimplifyCFG/branch-fold-threshold.ll | | Source is more defined than target | |
| Transforms/SimplifyCFG/branch-fold.ll | | Source is more defined than target | |
| Transforms/SimplifyCFG/common-dest-folding.ll | | Source is more defined than target | |
| Transforms/SimplifyCFG/extract-cost.ll | | Source is more defined than target | |
| Transforms/SimplifyCFG/fold-branch-to-common-dest.ll | | Source is more defined than target | Alive2 missing support for speculatable attribute |
| Transforms/SimplifyCFG/fold-debug-location.ll | | Source is more defined than target | |
| Transforms/SimplifyCFG/preserve-branchweights.ll | | Source is more defined than target | |
| Transforms/SimplifyCFG/speculate-call.ll | | Source is more defined than target | Alive2 missing support for speculatable attribute |
| Transforms/SimplifyCFG/switch_create-custom-dl.ll | ✓ | Source is more defined than target | |
| Transforms/SimplifyCFG/switch_create.ll | | Source is more defined than target | |
| Transforms/Sink/call.ll | | Source is more defined than target | |
| Transforms/StraightLineStrengthReduce/slsr-add.ll | ✓ | Source is more defined than target | |
| Transforms/StraightLineStrengthReduce/slsr-mul.ll | ✓ | Source is more defined than target | |