| Transforms/AlignmentFromAssumptions/simple.ll | | Source is more defined than target | |
| Transforms/AlignmentFromAssumptions/simple32.ll | | Source is more defined than target | |
| Transforms/CallSiteSplitting/callsite-split-or-phi.ll | | Source is more defined than target | |
| Transforms/CodeGenPrepare/AMDGPU/bypass-slow-div-debug-info-inseltpoison.ll | | Source is more defined than target | |
| Transforms/CodeGenPrepare/AMDGPU/bypass-slow-div-debug-info.ll | | Source is more defined than target | |
| Transforms/CodeGenPrepare/NVPTX/bypass-slow-div-not-exact.ll | | Source is more defined than target | |
| Transforms/CodeGenPrepare/NVPTX/bypass-slow-div-special-cases.ll | | Source is more defined than target | |
| Transforms/CodeGenPrepare/NVPTX/bypass-slow-div.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/CodeGenPrepare/revert-constant-ptr-propagation-on-calls.ll | | Source is more defined than target | |
| Transforms/ConstantMerge/2011-01-15-EitherOrder.ll | | Source is more defined than target | Alive2 missing support for unnamed_addr |
| Transforms/ConstantMerge/align.ll | | Mismatch in memory | Alive2 missing support for unnamed_addr |
| Transforms/ConstantMerge/merge-both.ll | | Source is more defined than target | Alive2 missing support for unnamed_addr |
| Transforms/ConstantMerge/merge-dbg.ll | | Mismatch in memory | |
| Transforms/ConstantMerge/unnamed-addr.ll | | Source is more defined than target | Alive2 missing support for unnamed_addr |
| Transforms/DFAJumpThreading/dfa-jump-threading-transform.ll | | Source is more defined than target | |
| Transforms/DeadStoreElimination/free.ll | | Mismatch in memory | |
| Transforms/EarlyCSE/commute.ll | ✓ | Value mismatch | |
| Transforms/EarlyCSE/replace-calls-def-attrs.ll | | Source is more defined than target | |
| Transforms/ExpandLargeFpConvert/X86/expand-large-fp-convert-fptosi129.ll | | Source is more defined than target | |
| Transforms/ExpandLargeFpConvert/X86/expand-large-fp-convert-fptoui129.ll | | Source is more defined than target | |
| Transforms/ExpandLargeFpConvert/X86/expand-large-fp-convert-si129tofp.ll | | Source is more defined than target | |
| Transforms/ExpandLargeFpConvert/X86/expand-large-fp-convert-ui129tofp.ll | | Source is more defined than target | |
| Transforms/ExpandMemCmp/AArch64/memcmp.ll | | Target is more poisonous than source | |
| Transforms/ExpandMemCmp/X86/bcmp.ll | | Target is more poisonous than source | LLVM bug: load widening of i8 -> i64 |
| Transforms/ExpandMemCmp/X86/memcmp-x32.ll | | Target is more poisonous than source | LLVM bug: load widening of i8 -> i16 |
| Transforms/ExpandMemCmp/X86/memcmp.ll | | Target is more poisonous than source | LLVM bug: load widening of i8 -> i16 |
| Transforms/ExpandVariadics/invoke.ll | | ? | |
| Transforms/GVN/PRE/rle.ll | ✓ | Value mismatch | |
| Transforms/GVN/metadata.ll | | Source and target don't have the same return domain | LLVM bug: introduces load type punning |
| Transforms/GVN/pr24397.ll | | Target is more poisonous than source | LLVM bug: introduces load type punning |
| Transforms/GVN/pr63059.ll | | Target is more poisonous than source | |
| Transforms/IRCE/bad_expander.ll | | Source is more defined than target | LLVM PR57523 |
| Transforms/IRCE/multiple-access-no-preloop.ll | | Source is more defined than target | LLVM PR57523 |
| Transforms/IRCE/non-loop-invariant-rhs-instr.ll | | Source is more defined than target | LLVM PR57523 |
| Transforms/IRCE/stride_more_than_1.ll | | ? | |
| Transforms/IRCE/wide_indvar.ll | | Source is more defined than target | LLVM PR57523 |
| Transforms/InferAlignment/propagate-assume.ll | | Source is more defined than target | |
| Transforms/InstCombine/IntPtrCast.ll | | Value mismatch | |
| Transforms/InstCombine/bcmp-1.ll | | Target is more poisonous than source | LLVM bug: load type punning. needs byte type |
| Transforms/InstCombine/call.ll | | Source is more defined than target | |
| Transforms/InstCombine/cttz.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/double-float-shrink-2.ll | ✓ | Source is more defined than target | LLVM PR49080 |
| Transforms/InstCombine/fabs.ll | | Value mismatch | LLVM PR59279 |
| Transforms/InstCombine/fcmp-select.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/fdiv.ll | ✓ | Value mismatch | |
| Transforms/InstCombine/ffs-1.ll | ✓ | Target is more poisonous than source | |
| Transforms/InstCombine/ffs-i16.ll | ✓ | Source is more defined than target | |
| Transforms/InstCombine/fmul.ll | ✓ | Value mismatch | |
| Transforms/InstCombine/fneg-fabs.ll | | Target is more poisonous than source | LLVM PR59279 |
| Transforms/InstCombine/fneg.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/fold-select-fmul-if-zero.ll | | Target is more poisonous than source | |
| Transforms/InstCombine/intptr1.ll | | Source is more defined than target | |
| 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.ll | | Source is more defined than target | |
| Transforms/InstCombine/malloc-free.ll | | Value mismatch | |
| Transforms/InstCombine/memcmp-1.ll | | Target is more poisonous than source | LLVM bug: load type punning. needs byte type |
| 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/memset.ll | | Mismatch in memory | LLVM bug: removes store undef |
| Transforms/InstCombine/minmax-fp.ll | | Target's return value is more undefined | LLVM PR50281 |
| Transforms/InstCombine/opaque-ptr.ll | | Value mismatch | |
| Transforms/InstCombine/phi.ll | | Source is more defined than target | |
| Transforms/InstCombine/select-binop-cmp.ll | | Source is more defined than target | Alive2 missing support for speculatable attribute |
| 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-select.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/simplify-demanded-fpclass.ll | | ? | |
| Transforms/InstCombine/store.ll | | Mismatch in memory | LLVM bug: removes store undef |
| Transforms/InstSimplify/gep.ll | | Value mismatch | |
| Transforms/InstSimplify/phi.ll | | Target is more poisonous than source | |
| Transforms/LICM/scalar-promote.ll | | Source is more defined than target | LLVM PR51906 |
| Transforms/LoadStoreVectorizer/AArch64/pr37865.ll | | ? | |
| Transforms/LoopIdiom/X86/arithmetic-right-shift-until-zero.ll | | Source is more defined than target | LLVM PR51669 |
| Transforms/LoopIdiom/X86/left-shift-until-zero.ll | | Source is more defined than target | LLVM PR51669 |
| Transforms/LoopIdiom/X86/logical-right-shift-until-zero-debuginfo.ll | | Source is more defined than target | LLVM PR51669 |
| Transforms/LoopIdiom/X86/logical-right-shift-until-zero.ll | | Source is more defined than target | LLVM PR51669 |
| Transforms/LoopIdiom/struct_pattern.ll | | Mismatch in memory | |
| Transforms/LoopIdiom/unroll-custom-dl.ll | | Source is more defined than target | LLVM PR57679 |
| Transforms/LoopIdiom/unroll.ll | | Mismatch in memory | |
| Transforms/LoopStrengthReduce/lsr-term-fold.ll | | Source is more defined than target | |
| Transforms/LoopVectorize/ARM/mve-icmpcost.ll | | ? | |
| Transforms/LoopVectorize/ARM/mve-qabs.ll | | Source is more defined than target | |
| Transforms/LoopVectorize/X86/propagate-metadata.ll | | Source is more defined than target | Bug in IR semantics or optimization: escapes noescape pointer |
| Transforms/LoopVectorize/partial-lcssa.ll | | Source is more defined than target | Bug in IR semantics or optimization: escapes noescape pointer |
| Transforms/LoopVectorize/runtime-check.ll | | Source is more defined than target | Bug in IR semantics or optimization: escapes noescape pointer |
| Transforms/LoopVectorize/runtime-checks-difference.ll | | Source is more defined than target | |
| Transforms/LoopVectorize/runtime-checks-hoist.ll | | ? | |
| Transforms/LoopVectorize/trip-count-expansion-may-introduce-ub.ll | | Source is more defined than target | |
| Transforms/LowerMatrixIntrinsics/shape-verification.ll | | ? | |
| Transforms/MemCpyOpt/fca2memcpy.ll | | Mismatch in memory | Alive#345 |
| Transforms/MergeICmps/X86/no-gep-other-work.ll | | Target is more poisonous than source | LLVM PR51845 |
| Transforms/MergeICmps/X86/pair-int32-int32.ll | | Target is more poisonous than source | LLVM PR51845 |
| Transforms/MergeICmps/X86/split-block-does-work.ll | | Source is more defined than target | |
| Transforms/NaryReassociate/NVPTX/nary-slsr.ll | ✓ | Source is more defined than target | |
| Transforms/PhaseOrdering/AArch64/constraint-elimination-placement.ll | | Source is more defined than target | |
| Transforms/PhaseOrdering/generate-fabs.ll | | Target's return value is more undefined | |
| Transforms/PhaseOrdering/swap-promotion.ll | | Mismatch in memory | LLVM bug: load type punning. needs byte type |
| Transforms/SLPVectorizer/AMDGPU/horizontal-store.ll | ✓ | Target's return value is more undefined | |
| 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 | | Source is more defined than target | LLVM bug: memcpy-> load/store; needs 'byte' type |
| Transforms/SROA/basictest.ll | ✓ | Source is more defined than target | LLVM bug: memcpy -> load/store |
| Transforms/SROA/vector-promotion.ll | | Mismatch in memory | LLVM PR52971 |
| Transforms/Scalarizer/min-bits.ll | ✓ | Target is more poisonous than source | |
| Transforms/Scalarizer/scatter-order.ll | ✓ | Target is more poisonous than source | |
| Transforms/SeparateConstOffsetFromGEP/NVPTX/split-gep.ll | | Target is more poisonous than source | |
| Transforms/SeparateConstOffsetFromGEP/RISCV/split-gep.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/sink-cb-diff-attrs.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/StraightLineStrengthReduce/slsr-add.ll | ✓ | Source is more defined than target | |
| Transforms/StraightLineStrengthReduce/slsr-mul.ll | ✓ | Source is more defined than target | |
| Transforms/StructurizeCFG/loop-break-phi.ll | ✓ | Value mismatch | |
| Transforms/TypePromotion/ARM/phis-ret.ll | | Source is more defined than target | |
| Transforms/Util/assume-builder.ll | | Source is more defined than target | |
| Transforms/Util/call-promotion-utils-ptrcast-attribute.ll | | Source is more defined than target | |
| Transforms/Util/call-promotion-utils-ptrcast.ll | | Source is more defined than target | |
| Transforms/VectorCombine/X86/load.ll | | Target is more poisonous than source | LLVM PR44185 |