83 failures (67 ignoring undef)
LLVM git: 90b5afeb652e
Alive2 git: 6518cd0
Failed tests:
| Test Name | Ok if undef ignored? | Failure reason | Comments |
|---|---|---|---|
| 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/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/unnamed-addr.ll | Source is more defined than target | Alive2 missing support for unnamed_addr | |
| Transforms/EarlyCSE/commute.ll | ✓ | Value mismatch | |
| Transforms/ExpandMemCmp/X86/bcmp.ll | Source is more defined than target | 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/GVN/PRE/rle.ll | ✓ | Value mismatch | |
| Transforms/GVN/condprop.ll | Source is more defined than target | LLVM bug: incorrect propagation of pointer equality | |
| Transforms/GVN/pr24397.ll | Target is more poisonous than source | LLVM bug: introduces load type punning | |
| 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/wide_indvar.ll | Source is more defined than target | LLVM PR57523 | |
| Transforms/InstCombine/bcmp-1.ll | Target is more poisonous than source | LLVM bug: load type punning. needs byte type | |
| Transforms/InstCombine/broadcast.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/double-float-shrink-2.ll | Target is more poisonous than source | LLVM PR49080 | |
| Transforms/InstCombine/fabs.ll | Value mismatch | LLVM PR59279 | |
| 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/fpcast.ll | Target is more poisonous than source | LLVM PR49080 | |
| Transforms/InstCombine/fptrunc.ll | Target is more poisonous than source | LLVM PR49080 | |
| Transforms/InstCombine/insert-const-shuf.ll | Target is more poisonous than source | LLVM PR44185 | |
| 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/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/rem.ll | ✓ | Value mismatch | |
| 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's return value is more undefined | ||
| Transforms/InstCombine/shuffle_select.ll | Target's return value is more undefined | LLVM PR74326 | |
| Transforms/InstCombine/store.ll | Mismatch in memory | LLVM bug: removes store undef | |
| Transforms/InstCombine/sub-of-negatible.ll | Target is more poisonous than source | LLVM PR44185 | |
| 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/InstSimplify/phi.ll | Target is more poisonous than source | LLVM PR52930 | |
| Transforms/LICM/promote-single-thread.ll | Mismatch in memory | ||
| Transforms/LICM/scalar-promote.ll | Source is more defined than target | LLVM PR51906 | |
| 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/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/unroll-custom-dl.ll | Source is more defined than target | LLVM PR57679 | |
| 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/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/PhaseOrdering/X86/pr38280.ll | Source is more defined than target | ||
| Transforms/PhaseOrdering/X86/vec-load-combine.ll | Source is more defined than target | ||
| Transforms/PhaseOrdering/swap-promotion.ll | Mismatch in memory | LLVM bug: load type punning. needs byte type | |
| Transforms/SLPVectorizer/X86/blending-shuffle.ll | Target is more poisonous than source | LLVM PR44185 | |
| Transforms/SLPVectorizer/X86/hadd.ll | Target is more poisonous than source | LLVM PR44185 | |
| Transforms/SLPVectorizer/X86/insert-element-build-vector-const-undef.ll | Target is more poisonous than source | ||
| Transforms/SLPVectorizer/X86/insert-element-build-vector.ll | Target is more poisonous than source | ||
| Transforms/SLPVectorizer/X86/sitofp.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 | ✓ | Source is more defined than target | LLVM bug: memcpy -> load/store |
| Transforms/SROA/vector-promotion.ll | Mismatch in memory | LLVM PR52971 | |
| Transforms/Scalarizer/scatter-order.ll | ✓ | Target is more poisonous than source | |
| Transforms/SimplifyCFG/fold-branch-to-common-dest.ll | Source is more defined than target | Alive2 missing support for speculatable attribute | |
| 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/VectorCombine/X86/load.ll | Target is more poisonous than source | LLVM PR44185 |