Run aa88161b378e - 19/Jun/2022

73 failures (56 ignoring undef)
LLVM git: aa88161b378e
Alive2 git: 471d6e5

Failed tests:

Test NameOk if undef ignored?Failure reasonComments
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/EarlyCSE/commute.llValue mismatch
Transforms/ExpandMemCmp/X86/bcmp.ll Source is more defined than targetLLVM bug: load widening of i8 -> i64
Transforms/ExpandMemCmp/X86/memcmp-x32.ll Target is more poisonous than sourceLLVM bug: load widening of i8 -> i16
Transforms/ExpandMemCmp/X86/memcmp.ll Target is more poisonous than sourceLLVM bug: load widening of i8 -> i16
Transforms/GVN/PRE/rle.llValue mismatch
Transforms/GVN/condprop.ll Source is more defined than targetLLVM bug: incorrect propagation of pointer equality
Transforms/InstCombine/bitcast-bitcast.llTarget's return value is more undefined
Transforms/InstCombine/bitcast-phi-uselistorder.llMismatch in memoryLLVM PR45152
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 sourceLLVM PR45954
Transforms/InstCombine/double-float-shrink-2.ll Target is more poisonous than sourceLLVM PR49080
Transforms/InstCombine/fcmp.ll Value mismatchLLVM PR45152
Transforms/InstCombine/ffs-1.llTarget is more poisonous than source
Transforms/InstCombine/fmul.llValue mismatch
Transforms/InstCombine/fneg.llTarget's return value is more undefined
Transforms/InstCombine/fpcast.ll Target is more poisonous than sourceLLVM PR49080
Transforms/InstCombine/fptrunc.ll Target is more poisonous than sourceLLVM PR49080
Transforms/InstCombine/insert-const-shuf.ll Target is more poisonous than source
Transforms/InstCombine/invert-variable-mask-in-masked-merge-scalar.llTarget's return value is more undefined
Transforms/InstCombine/invert-variable-mask-in-masked-merge-vector.llTarget's return value is more undefined
Transforms/InstCombine/load-bitcast-select.ll Mismatch in memoryLLVM PR45152
Transforms/InstCombine/memcmp-constant-fold.ll Target is more poisonous than sourceLLVM bug: memcmp -> load i32 lowering
Transforms/InstCombine/memcpy-from-global.ll Source is more defined than targetAlive2 bug in input ptr refinement
Transforms/InstCombine/memcpy-to-load.ll Mismatch in memoryLLVM bug: memcpy -> i8 load/store
Transforms/InstCombine/memset.ll Mismatch in memoryLLVM bug: removes store undef
Transforms/InstCombine/minmax-fp.ll Value mismatchLLVM PR50281
Transforms/InstCombine/rem.llValue mismatch
Transforms/InstCombine/select-binop-cmp.ll Source is more defined than targetAlive2 missing support for speculatable attribute
Transforms/InstCombine/select-cmp-cttz-ctlz.llTarget is more poisonous than source
Transforms/InstCombine/select-extractelement-inseltpoison.llTarget is more poisonous than source
Transforms/InstCombine/select-extractelement.llTarget is more poisonous than source
Transforms/InstCombine/select-of-bittest.ll Target is more poisonous than source
Transforms/InstCombine/select-select.llTarget is more poisonous than source
Transforms/InstCombine/shuffle_select-inseltpoison.ll Target is more poisonous than sourceLLVM PR44185
Transforms/InstCombine/shuffle_select.ll Target is more poisonous than sourceLLVM PR44185
Transforms/InstCombine/store.ll Mismatch in memoryLLVM PR44185
Transforms/InstCombine/sub-of-negatible.ll Target is more poisonous than source
Transforms/InstCombine/vec_shuffle-inseltpoison.ll Target is more poisonous than source
Transforms/InstCombine/vec_shuffle.ll Target is more poisonous than sourceLLVM PR44185
Transforms/InstSimplify/phi.ll Target is more poisonous than sourceLLVM PR52930
Transforms/LoadStoreVectorizer/X86/vectorize-i8-nested-add.ll Source is more defined than targetLLVM PR46591
Transforms/LoopIdiom/X86/arithmetic-right-shift-until-zero.ll Source is more defined than targetLLVM PR51669
Transforms/LoopIdiom/X86/left-shift-until-zero.ll Source is more defined than targetLLVM PR51669
Transforms/LoopIdiom/X86/logical-right-shift-until-zero-debuginfo.ll Source is more defined than targetLLVM PR51669
Transforms/LoopIdiom/X86/logical-right-shift-until-zero.ll Source is more defined than targetLLVM PR51669
Transforms/LoopVectorize/X86/propagate-metadata.ll Source is more defined than targetBug in IR semantics or optimization: escapes noescape pointer
Transforms/LoopVectorize/first-order-recurrence.ll Source is more defined than targetBug in IR semantics or optimization: escapes noescape pointer
Transforms/LoopVectorize/partial-lcssa.ll Source is more defined than targetBug in IR semantics or optimization: escapes noescape pointer
Transforms/LoopVectorize/runtime-check.ll Source is more defined than targetBug in IR semantics or optimization: escapes noescape pointer
Transforms/MemCpyOpt/fca2memcpy.ll Mismatch in memoryAlive#345
Transforms/MergeICmps/X86/no-gep-other-work.ll Target is more poisonous than sourceLLVM PR51845
Transforms/MergeICmps/X86/pair-int32-int32.ll Target is more poisonous than sourceLLVM PR51845
Transforms/SLPVectorizer/X86/blending-shuffle.ll Target is more poisonous than source
Transforms/SLPVectorizer/X86/crash_lencod.ll Mismatch in memory
Transforms/SLPVectorizer/X86/hadd.ll Target is more poisonous than source
Transforms/SLPVectorizer/X86/insert-element-build-vector-const-undef.ll Target is more poisonous than source
Transforms/SLPVectorizer/X86/phi-undef-input.ll Target is more poisonous than source
Transforms/SLPVectorizer/X86/reduction-logical.ll Target is more poisonous than sourceLLVM PR55734
Transforms/SLPVectorizer/X86/sitofp.ll Target is more poisonous than source
Transforms/SLPVectorizer/vectorizable-functions-inseltpoison.ll Source is more defined than targetAlive2: no support for "vector-function-abi-variant"
Transforms/SLPVectorizer/vectorizable-functions.ll Source is more defined than targetAlive2: no support for "vector-function-abi-variant"
Transforms/SROA/alignment.ll Mismatch in memoryLLVM bug: memcpy-> load/store; needs 'byte' type
Transforms/SROA/basictest-opaque-ptrs.ll Mismatch in memoryLLVM bug: memcpy -> load/store
Transforms/SROA/basictest.ll Mismatch in memoryLLVM bug: memcpy -> load/store
Transforms/SROA/select-load.ll Value mismatchLLVM PR45152
Transforms/SROA/vector-promotion.ll Mismatch in memoryLLVM PR52971
Transforms/Scalarizer/scatter-order.llTarget is more poisonous than source
Transforms/SimplifyCFG/fold-branch-to-common-dest.ll Source is more defined than targetAlive2 missing support for speculatable attribute
Transforms/SimplifyCFG/speculate-call.ll Source is more defined than targetAlive2 missing support for speculatable attribute
Transforms/StraightLineStrengthReduce/slsr-add.llSource is more defined than target
Transforms/StraightLineStrengthReduce/slsr-mul.llSource is more defined than target
Transforms/VectorCombine/X86/load.ll Target is more poisonous than source

 

<-- Back