Test source: git
Source: <stdin>
----------------------------------------
define i32 @test2(float %f) {
%0:
%t5 = fmul float %f, %f
%t9 = insertelement <4 x float> undef, float %t5, i32 0
%t10 = insertelement <4 x float> %t9, float 0.000000, i32 1
%t11 = insertelement <4 x float> %t10, float 0.000000, i32 2
%t12 = insertelement <4 x float> %t11, float 0.000000, i32 3
%t19 = bitcast <4 x float> %t12 to <4 x i32>
%t21 = extractelement <4 x i32> %t19, i32 0
ret i32 %t21
}
=>
define i32 @test2(float %f) {
%0:
%t5 = fmul float %f, %f
%t21 = bitcast float %t5 to i32
ret i32 %t21
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define void @get_image() {
%entry:
%0 = call i32 @fgetc(nocapture noundef * null) noundef nothrow
%1 = trunc i32 %0 to i8
%t2 = insertelement <100 x i8> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }, i8 %1, i32 1
%t1 = extractelement <100 x i8> %t2, i32 0
%2 = icmp eq i8 %t1, 80
br i1 %2, label %bb2, label %bb3
%bb2:
br label %bb3
%bb3:
assume i1 0
}
=>
define void @get_image() {
%entry:
%0 = call i32 @fgetc(nocapture noundef * null) noundef nothrow
br i1 0, label %bb2, label %bb3
%bb2:
br label %bb3
%bb3:
assume i1 0
}
Transformation seems to be correct!
----------------------------------------
define void @vac(* nocapture %a) {
%entry:
%t1 = load <4 x float>, * nocapture %a, align 16
%vecins = insertelement <4 x float> %t1, float 0.000000, i32 0
%vecins4 = insertelement <4 x float> %vecins, float 0.000000, i32 1
%vecins6 = insertelement <4 x float> %vecins4, float 0.000000, i32 2
%vecins8 = insertelement <4 x float> %vecins6, float 0.000000, i32 3
store <4 x float> %vecins8, * nocapture %a, align 16
ret void
}
=>
define void @vac(* nocapture %a) {
%entry:
store <4 x float> { 0.000000, 0.000000, 0.000000, 0.000000 }, * nocapture %a, align 16
ret void
}
Transformation seems to be correct!
----------------------------------------
define <4 x float> @dead_shuffle_elt(<4 x float> %x, <2 x float> %y) {
%0:
%shuffle.i = shufflevector <2 x float> %y, <2 x float> %y, 0, 1, 0, 1
%shuffle9.i = shufflevector <4 x float> %x, <4 x float> %shuffle.i, 4, 5, 2, 3
ret <4 x float> %shuffle9.i
}
=>
define <4 x float> @dead_shuffle_elt(<4 x float> %x, <2 x float> %y) {
%0:
%shuffle.i = shufflevector <2 x float> %y, <2 x float> undef, 0, 1, 4294967295, 4294967295
%shuffle9.i = shufflevector <4 x float> %shuffle.i, <4 x float> %x, 0, 1, 6, 7
ret <4 x float> %shuffle9.i
}
Transformation seems to be correct!
----------------------------------------
define <2 x float> @test_fptrunc(double %f) {
%0:
%t9 = insertelement <4 x double> undef, double %f, i32 0
%t10 = insertelement <4 x double> %t9, double 0.000000, i32 1
%t11 = insertelement <4 x double> %t10, double 0.000000, i32 2
%t12 = insertelement <4 x double> %t11, double 0.000000, i32 3
%t5 = fptrunc <4 x double> %t12 to <4 x float>
%ret = shufflevector <4 x float> %t5, <4 x float> undef, 0, 1
ret <2 x float> %ret
}
=>
define <2 x float> @test_fptrunc(double %f) {
%0:
%1 = insertelement <2 x double> { poison, 0.000000 }, double %f, i32 0
%2 = fptrunc <2 x double> %1 to <2 x float>
ret <2 x float> %2
}
Transformation seems to be correct!
----------------------------------------
define <2 x double> @test_fpext(float %f) {
%0:
%t9 = insertelement <4 x float> undef, float %f, i32 0
%t10 = insertelement <4 x float> %t9, float 0.000000, i32 1
%t11 = insertelement <4 x float> %t10, float 0.000000, i32 2
%t12 = insertelement <4 x float> %t11, float 0.000000, i32 3
%t5 = fpext <4 x float> %t12 to <4 x double>
%ret = shufflevector <4 x double> %t5, <4 x double> undef, 0, 1
ret <2 x double> %ret
}
=>
define <2 x double> @test_fpext(float %f) {
%0:
%1 = insertelement <2 x float> { poison, 0.000000 }, float %f, i32 0
%2 = fpext <2 x float> %1 to <2 x double>
ret <2 x double> %2
}
Transformation seems to be correct!
----------------------------------------
define <4 x double> @test_shuffle(<4 x double> %f) {
%0:
%ret = shufflevector <4 x double> %f, <4 x double> { undef, 1.000000, undef, undef }, 0, 1, 2, 5
ret <4 x double> %ret
}
=>
define <4 x double> @test_shuffle(<4 x double> %f) {
%0:
%ret1 = insertelement <4 x double> %f, double 1.000000, i32 3
ret <4 x double> %ret1
}
Transformation seems to be correct!
----------------------------------------
define <4 x float> @test_select(float %f, float %g) {
%0:
%a0 = insertelement <4 x float> undef, float %f, i32 0
%a1 = insertelement <4 x float> %a0, float 1.000000, i32 1
%a2 = insertelement <4 x float> %a1, float 2.000000, i32 2
%a3 = insertelement <4 x float> %a2, float 3.000000, i32 3
%b0 = insertelement <4 x float> undef, float %g, i32 0
%b1 = insertelement <4 x float> %b0, float 4.000000, i32 1
%b2 = insertelement <4 x float> %b1, float 5.000000, i32 2
%b3 = insertelement <4 x float> %b2, float 6.000000, i32 3
%ret = select <4 x i1> { 1, 0, 0, 1 }, <4 x float> %a3, <4 x float> %b3
ret <4 x float> %ret
}
=>
define <4 x float> @test_select(float %f, float %g) {
%0:
%a3 = insertelement <4 x float> { poison, poison, poison, 3.000000 }, float %f, i32 0
%ret = shufflevector <4 x float> %a3, <4 x float> { poison, 4.000000, 5.000000, poison }, 0, 5, 6, 3
ret <4 x float> %ret
}
Transformation seems to be correct!
----------------------------------------
define <2 x i64> @PR24922(<2 x i64> %v) {
%0:
%__constexpr_2 = bitcast <4 x i32> { 15, 15, 15, 15 } to <2 x i64>
%__constexpr_1 = extractelement <2 x i64> %__constexpr_2, i64 0
%__constexpr_0 = icmp eq i64 %__constexpr_1, 0
%__copy_0 = <2 x i1> { %__constexpr_0, 1 }
%result = select <2 x i1> %__copy_0, <2 x i64> %v, <2 x i64> { 0, 0 }
ret <2 x i64> %result
}
=>
define <2 x i64> @PR24922(<2 x i64> %v) {
%0:
%result1 = insertelement <2 x i64> %v, i64 0, i32 0
ret <2 x i64> %result1
}
Transformation seems to be correct!
----------------------------------------
define <4 x float> @inselt_shuf_no_demand(float %a1, float %a2, float %a3) {
%0:
%out1 = insertelement <4 x float> undef, float %a1, i32 1
%out12 = insertelement <4 x float> %out1, float %a2, i32 2
%out123 = insertelement <4 x float> %out12, float %a3, i32 3
%shuffle = shufflevector <4 x float> %out123, <4 x float> undef, 0, 4294967295, 4294967295, 4294967295
ret <4 x float> %shuffle
}
=>
define <4 x float> @inselt_shuf_no_demand(float %a1, float %a2, float %a3) {
%0:
ret <4 x float> undef
}
Transformation seems to be correct!
----------------------------------------
define <4 x float> @inselt_shuf_no_demand_commute(float %a1, float %a2, float %a3) {
%0:
%out1 = insertelement <4 x float> undef, float %a1, i32 1
%out12 = insertelement <4 x float> %out1, float %a2, i32 2
%out123 = insertelement <4 x float> %out12, float %a3, i32 3
%shuffle = shufflevector <4 x float> undef, <4 x float> %out123, 4, 4294967295, 4294967295, 4294967295
ret <4 x float> %shuffle
}
=>
define <4 x float> @inselt_shuf_no_demand_commute(float %a1, float %a2, float %a3) {
%0:
ret <4 x float> undef
}
Transformation seems to be correct!
----------------------------------------
define <4 x i32> @inselt_shuf_no_demand_multiuse(i32 %a0, i32 %a1, <4 x i32> %b) {
%0:
%out0 = insertelement <4 x i32> undef, i32 %a0, i32 0
%out01 = insertelement <4 x i32> %out0, i32 %a1, i32 1
%out012 = insertelement <4 x i32> %out01, i32 %a0, i32 2
%foo = add <4 x i32> %out012, %b
%out0123 = insertelement <4 x i32> %foo, i32 %a1, i32 3
%shuffle = shufflevector <4 x i32> %out0123, <4 x i32> undef, 0, 1, 4294967295, 4294967295
ret <4 x i32> %shuffle
}
=>
define <4 x i32> @inselt_shuf_no_demand_multiuse(i32 %a0, i32 %a1, <4 x i32> %b) {
%0:
%out0 = insertelement <4 x i32> undef, i32 %a0, i32 0
%out01 = insertelement <4 x i32> %out0, i32 %a1, i32 1
%foo = add <4 x i32> %out01, %b
%shuffle = shufflevector <4 x i32> %foo, <4 x i32> undef, 0, 1, 4294967295, 4294967295
ret <4 x i32> %shuffle
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define <4 x float> @inselt_shuf_no_demand_bogus_insert_index_in_chain(float %a1, float %a2, float %a3, i32 %variable_index) {
%0:
%out1 = insertelement <4 x float> undef, float %a1, i32 1
%out12 = insertelement <4 x float> %out1, float %a2, i32 %variable_index
%out123 = insertelement <4 x float> %out12, float %a3, i32 3
%shuffle = shufflevector <4 x float> %out123, <4 x float> undef, 0, 4294967295, 4294967295, 4294967295
ret <4 x float> %shuffle
}
=>
define <4 x float> @inselt_shuf_no_demand_bogus_insert_index_in_chain(float %a1, float %a2, float %a3, i32 %variable_index) {
%0:
%out12 = insertelement <4 x float> undef, float %a2, i32 %variable_index
%shuffle = shufflevector <4 x float> %out12, <4 x float> undef, 0, 4294967295, 4294967295, 4294967295
ret <4 x float> %shuffle
}
Transformation seems to be correct!
----------------------------------------
define <3 x i8> @shuf_add(<3 x i8> %x) {
%0:
%bo = add nsw <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 4294967295, 2
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_add(<3 x i8> %x) {
%0:
%bo = add <3 x i8> %x, { poison, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 4294967295, 2
ret <3 x i8> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x i8> @shuf_sub(<3 x i8> %x) {
%0:
%bo = sub nuw <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 4294967295, 2
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_sub(<3 x i8> %x) {
%0:
%bo = sub <3 x i8> { 1, poison, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 4294967295, 2
ret <3 x i8> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x i8> @shuf_mul(<3 x i8> %x) {
%0:
%bo = mul nsw <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 2, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_mul(<3 x i8> %x) {
%0:
%bo = mul <3 x i8> %x, { 1, poison, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 2, 0
ret <3 x i8> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x i8> @shuf_and(<3 x i8> %x) {
%0:
%bo = and <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 1, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_and(<3 x i8> %x) {
%0:
%bo = and <3 x i8> %x, { 1, 2, poison }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 1, 0
ret <3 x i8> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x i8> @shuf_or(<3 x i8> %x) {
%0:
%bo = or <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 4294967295, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_or(<3 x i8> %x) {
%0:
%bo = or <3 x i8> %x, { 1, 2, poison }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 4294967295, 0
ret <3 x i8> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x i8> @shuf_xor(<3 x i8> %x) {
%0:
%bo = xor <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_xor(<3 x i8> %x) {
%0:
%bo = xor <3 x i8> %x, { 1, poison, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x i8> @shuf_lshr_const_op0(<3 x i8> %x) {
%0:
%bo = lshr <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 1, 4294967295
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_lshr_const_op0(<3 x i8> %x) {
%0:
%bo = lshr <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 1, 4294967295
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_lshr_const_op1(<3 x i8> %x) {
%0:
%bo = lshr exact <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 1, 4294967295
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_lshr_const_op1(<3 x i8> %x) {
%0:
%bo = lshr exact <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 1, 4294967295
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_ashr_const_op0(<3 x i8> %x) {
%0:
%bo = ashr <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 4294967295, 1
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_ashr_const_op0(<3 x i8> %x) {
%0:
%bo = lshr <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 4294967295, 1
ret <3 x i8> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x i8> @shuf_ashr_const_op1(<3 x i8> %x) {
%0:
%bo = ashr exact <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 4294967295, 1
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_ashr_const_op1(<3 x i8> %x) {
%0:
%bo = ashr exact <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 4294967295, 1
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_shl_const_op0(<3 x i8> %x) {
%0:
%bo = shl nsw <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_shl_const_op0(<3 x i8> %x) {
%0:
%bo = shl nsw <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_shl_const_op1(<3 x i8> %x) {
%0:
%bo = shl nuw <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_shl_const_op1(<3 x i8> %x) {
%0:
%bo = shl nuw <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_sdiv_const_op0(<3 x i8> %x) {
%0:
%bo = sdiv exact <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 4294967295, 1
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_sdiv_const_op0(<3 x i8> %x) {
%0:
%bo = sdiv exact <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 0, 4294967295, 1
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_sdiv_const_op1(<3 x i8> %x) {
%0:
%bo = sdiv <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 4294967295, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_sdiv_const_op1(<3 x i8> %x) {
%0:
%bo = sdiv <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 4294967295, 0
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_srem_const_op0(<3 x i8> %x) {
%0:
%bo = srem <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 4294967295, 2
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_srem_const_op0(<3 x i8> %x) {
%0:
%bo = srem <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 1, 4294967295, 2
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_srem_const_op1(<3 x i8> %x) {
%0:
%bo = srem <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 1
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_srem_const_op1(<3 x i8> %x) {
%0:
%bo = srem <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 1
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_udiv_const_op0(<3 x i8> %x) {
%0:
%bo = udiv exact <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_udiv_const_op0(<3 x i8> %x) {
%0:
%bo = udiv exact <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_udiv_const_op1(<3 x i8> %x) {
%0:
%bo = udiv <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_udiv_const_op1(<3 x i8> %x) {
%0:
%bo = udiv <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 4294967295, 0
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_urem_const_op0(<3 x i8> %x) {
%0:
%bo = urem <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 1, 4294967295
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_urem_const_op0(<3 x i8> %x) {
%0:
%bo = urem <3 x i8> { 1, 2, 3 }, %x
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 2, 1, 4294967295
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x i8> @shuf_urem_const_op1(<3 x i8> %x) {
%0:
%bo = urem <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 4294967295, 1, 0
ret <3 x i8> %r
}
=>
define <3 x i8> @shuf_urem_const_op1(<3 x i8> %x) {
%0:
%bo = urem <3 x i8> %x, { 1, 2, 3 }
%r = shufflevector <3 x i8> %bo, <3 x i8> undef, 4294967295, 1, 0
ret <3 x i8> %r
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define <3 x float> @shuf_fadd(<3 x float> %x) {
%0:
%bo = fadd <3 x float> %x, { 1.000000, 2.000000, 3.000000 }
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 1, 0
ret <3 x float> %r
}
=>
define <3 x float> @shuf_fadd(<3 x float> %x) {
%0:
%bo = fadd <3 x float> %x, { 1.000000, 2.000000, poison }
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 1, 0
ret <3 x float> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x float> @shuf_fsub(<3 x float> %x) {
%0:
%bo = fsub fast <3 x float> { 1.000000, 2.000000, 3.000000 }, %x
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 0, 2
ret <3 x float> %r
}
=>
define <3 x float> @shuf_fsub(<3 x float> %x) {
%0:
%bo = fsub fast <3 x float> { 1.000000, poison, 3.000000 }, %x
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 0, 2
ret <3 x float> %r
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define <3 x float> @shuf_fmul(<3 x float> %x) {
%0:
%bo = fmul reassoc <3 x float> %x, { 1.000000, 2.000000, 3.000000 }
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 1, 0
ret <3 x float> %r
}
=>
define <3 x float> @shuf_fmul(<3 x float> %x) {
%0:
%bo = fmul reassoc <3 x float> %x, { 1.000000, 2.000000, poison }
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 1, 0
ret <3 x float> %r
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define <3 x float> @shuf_fdiv_const_op0(<3 x float> %x) {
%0:
%bo = fdiv ninf reassoc <3 x float> { 1.000000, 2.000000, 3.000000 }, %x
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 0, 2
ret <3 x float> %r
}
=>
define <3 x float> @shuf_fdiv_const_op0(<3 x float> %x) {
%0:
%bo = fdiv ninf reassoc <3 x float> { 1.000000, poison, 3.000000 }, %x
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 0, 2
ret <3 x float> %r
}
Transformation seems to be correct!
----------------------------------------
define <3 x float> @shuf_fdiv_const_op1(<3 x float> %x) {
%0:
%bo = fdiv nnan ninf <3 x float> %x, { 1.000000, 2.000000, 3.000000 }
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 1, 0
ret <3 x float> %r
}
=>
define <3 x float> @shuf_fdiv_const_op1(<3 x float> %x) {
%0:
%bo = fdiv nnan ninf <3 x float> %x, { 1.000000, 2.000000, poison }
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 1, 0
ret <3 x float> %r
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define <3 x float> @shuf_frem_const_op0(<3 x float> %x) {
%0:
%bo = frem nnan <3 x float> { 1.000000, 2.000000, 3.000000 }, %x
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 2, 0
ret <3 x float> %r
}
=>
define <3 x float> @shuf_frem_const_op0(<3 x float> %x) {
%0:
%bo = frem nnan <3 x float> { 1.000000, poison, 3.000000 }, %x
%r = shufflevector <3 x float> %bo, <3 x float> undef, 4294967295, 2, 0
ret <3 x float> %r
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define <3 x float> @shuf_frem_const_op1(<3 x float> %x) {
%0:
%bo = frem ninf reassoc <3 x float> %x, { 1.000000, 2.000000, 3.000000 }
%r = shufflevector <3 x float> %bo, <3 x float> undef, 1, 4294967295, 2
ret <3 x float> %r
}
=>
define <3 x float> @shuf_frem_const_op1(<3 x float> %x) {
%0:
%bo = frem ninf reassoc <3 x float> %x, { poison, 2.000000, 3.000000 }
%r = shufflevector <3 x float> %bo, <3 x float> undef, 1, 4294967295, 2
ret <3 x float> %r
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define * @gep_vbase_w_s_idx(<2 x *> %base, i64 %index) {
%0:
%gep = gep <2 x *> %base, 4 x i64 %index
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
define * @gep_vbase_w_s_idx(<2 x *> %base, i64 %index) {
%0:
%1 = extractelement <2 x *> %base, i32 1
%ee = gep * %1, 4 x i64 %index
ret * %ee
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define * @gep_splat_base_w_s_idx(* %base) {
%0:
%basevec1 = insertelement <2 x *> undef, * %base, i32 0
%basevec2 = shufflevector <2 x *> %basevec1, <2 x *> undef, 0, 0
%gep = gep <2 x *> %basevec2, 4 x i64 1
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
define * @gep_splat_base_w_s_idx(* %base) {
%0:
%ee = gep * %base, 4 x i64 1
ret * %ee
}
Transformation seems to be correct!
----------------------------------------
define * @gep_splat_base_w_cv_idx(* %base) {
%0:
%basevec1 = insertelement <2 x *> undef, * %base, i32 0
%basevec2 = shufflevector <2 x *> %basevec1, <2 x *> undef, 0, 0
%gep = gep <2 x *> %basevec2, 4 x <2 x i64> { 0, 1 }
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
define * @gep_splat_base_w_cv_idx(* %base) {
%0:
%basevec2 = insertelement <2 x *> undef, * %base, i32 1
%gep = gep <2 x *> %basevec2, 4 x <2 x i64> { poison, 1 }
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
Transformation seems to be correct!
----------------------------------------
define * @gep_splat_base_w_vidx(* %base, <2 x i64> %idxvec) {
%0:
%basevec1 = insertelement <2 x *> undef, * %base, i32 0
%basevec2 = shufflevector <2 x *> %basevec1, <2 x *> undef, 0, 0
%gep = gep <2 x *> %basevec2, 4 x <2 x i64> %idxvec
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
define * @gep_splat_base_w_vidx(* %base, <2 x i64> %idxvec) {
%0:
%basevec2 = insertelement <2 x *> undef, * %base, i32 1
%gep = gep <2 x *> %basevec2, 4 x <2 x i64> %idxvec
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
@GLOBAL = global 4 bytes, align 4
define * @gep_cvbase_w_s_idx(<2 x *> %base, i64 %raw_addr) {
%0:
%__copy_0 = <2 x *> { @GLOBAL, @GLOBAL }
%gep = gep <2 x *> %__copy_0, 4 x i64 %raw_addr
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
@GLOBAL = global 4 bytes, align 4
define * @gep_cvbase_w_s_idx(<2 x *> %base, i64 %raw_addr) {
%0:
%ee = gep * @GLOBAL, 4 x i64 %raw_addr
ret * %ee
}
Transformation seems to be correct!
----------------------------------------
@GLOBAL = global 4 bytes, align 4
define * @gep_cvbase_w_cv_idx(<2 x *> %base, i64 %raw_addr) {
%0:
%__copy_0 = <2 x *> { @GLOBAL, @GLOBAL }
%gep = gep <2 x *> %__copy_0, 4 x <2 x i64> { 0, 1 }
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
@GLOBAL = global 4 bytes, align 4
define * @gep_cvbase_w_cv_idx(<2 x *> %base, i64 %raw_addr) {
%0:
%__constexpr_0 = gep inbounds * @GLOBAL, 4 x i64 1
ret * %__constexpr_0
}
Transformation seems to be correct!
----------------------------------------
define * @gep_sbase_w_cv_idx(* %base) {
%0:
%gep = gep * %base, 4 x <2 x i64> { 0, 1 }
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
define * @gep_sbase_w_cv_idx(* %base) {
%0:
%ee = gep * %base, 4 x i64 1
ret * %ee
}
Transformation seems to be correct!
----------------------------------------
define * @gep_sbase_w_splat_idx(* %base, i64 %idx) {
%0:
%idxvec1 = insertelement <2 x i64> undef, i64 %idx, i32 0
%idxvec2 = shufflevector <2 x i64> %idxvec1, <2 x i64> undef, 0, 0
%gep = gep * %base, 4 x <2 x i64> %idxvec2
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
define * @gep_sbase_w_splat_idx(* %base, i64 %idx) {
%0:
%ee = gep * %base, 4 x i64 %idx
ret * %ee
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define * @gep_splat_both(* %base, i64 %idx) {
%0:
%basevec1 = insertelement <2 x *> undef, * %base, i32 0
%basevec2 = shufflevector <2 x *> %basevec1, <2 x *> undef, 0, 0
%idxvec1 = insertelement <2 x i64> undef, i64 %idx, i32 0
%idxvec2 = shufflevector <2 x i64> %idxvec1, <2 x i64> undef, 0, 0
%gep = gep <2 x *> %basevec2, 4 x <2 x i64> %idxvec2
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
=>
define * @gep_splat_both(* %base, i64 %idx) {
%0:
%basevec2 = insertelement <2 x *> undef, * %base, i32 1
%idxvec2 = insertelement <2 x i64> undef, i64 %idx, i32 1
%gep = gep <2 x *> %basevec2, 4 x <2 x i64> %idxvec2
%ee = extractelement <2 x *> %gep, i32 1
ret * %ee
}
Transformation doesn't verify!
ERROR: Timeout
----------------------------------------
define <2 x *> @gep_all_lanes_undef(* %base, i64 %idx) {
%0:
%basevec = insertelement <2 x *> undef, * %base, i32 0
%idxvec = insertelement <2 x i64> undef, i64 %idx, i32 1
%gep = gep <2 x *> %basevec, 4 x <2 x i64> %idxvec
ret <2 x *> %gep
}
=>
define <2 x *> @gep_all_lanes_undef(* %base, i64 %idx) {
%0:
ret <2 x *> undef
}
Transformation doesn't verify!
ERROR: Value mismatch
Example:
* %base = null
i64 %idx = poison
Source:
<2 x *> %basevec = < null, null >
<2 x i64> %idxvec = < any, poison >
<2 x *> %gep = < null [based on undef value], poison >
SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 > size: 0 align: 1 alloc type: 0
Block 1 > size: 0 align: 2 alloc type: 0
Target:
Source value: < null, poison >
Target value: < pointer(non-local, block_id=1, offset=0), null >
------------------- SMT STATS -------------------
Num queries: 122
Num invalid: 0
Num skips: 0
Num trivial: 130 (51.6%)
Num timeout: 11 (9.0%)
Num errors: 0 (0.0%)
Num SAT: 39 (32.0%)
Num UNSAT: 72 (59.0%)
Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -instcombine -S + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/vec_demanded_elts.ll