From cfbba621c54a0b9d198f1ad733958b2f5d8a2ab9 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Thu, 9 Nov 2017 16:23:32 +0000 Subject: [PATCH] [Reassociate] add tests with 'reassoc' FMF and regenerate checks; NFC llvm-svn: 317804 --- .../Reassociate/fast-ReassociateVector.ll | 338 ++++++++++++++++----- 1 file changed, 254 insertions(+), 84 deletions(-) diff --git a/llvm/test/Transforms/Reassociate/fast-ReassociateVector.ll b/llvm/test/Transforms/Reassociate/fast-ReassociateVector.ll index d4c7b80..bf7f703 100644 --- a/llvm/test/Transforms/Reassociate/fast-ReassociateVector.ll +++ b/llvm/test/Transforms/Reassociate/fast-ReassociateVector.ll @@ -1,26 +1,43 @@ ; RUN: opt < %s -reassociate -S | FileCheck %s ; Check that a*c+b*c is turned into (a+b)*c -define <4 x float> @test1(<4 x float> %a, <4 x float> %b, <4 x float> %c) { -; CHECK-LABEL: @test1 -; CHECK-NEXT: %tmp = fadd fast <4 x float> %b, %a -; CHECK-NEXT: %tmp1 = fmul fast <4 x float> %tmp, %c -; CHECK-NEXT: ret <4 x float> %tmp1 +define <4 x float> @test1(<4 x float> %a, <4 x float> %b, <4 x float> %c) { +; CHECK-LABEL: @test1( +; CHECK-NEXT: [[TMP:%.*]] = fadd fast <4 x float> %b, %a +; CHECK-NEXT: [[TMP1:%.*]] = fmul fast <4 x float> [[TMP]], %c +; CHECK-NEXT: ret <4 x float> [[TMP1]] +; %mul = fmul fast <4 x float> %a, %c %mul1 = fmul fast <4 x float> %b, %c %add = fadd fast <4 x float> %mul, %mul1 ret <4 x float> %add } +; Check that a*c+b*c is turned into (a+b)*c - minimum FMF subset version + +define <4 x float> @test1_reassoc(<4 x float> %a, <4 x float> %b, <4 x float> %c) { +; CHECK-LABEL: @test1_reassoc( +; CHECK-NEXT: [[MUL:%.*]] = fmul reassoc <4 x float> %a, %c +; CHECK-NEXT: [[MUL1:%.*]] = fmul reassoc <4 x float> %b, %c +; CHECK-NEXT: [[ADD:%.*]] = fadd reassoc <4 x float> [[MUL]], [[MUL1]] +; CHECK-NEXT: ret <4 x float> [[ADD]] +; + %mul = fmul reassoc <4 x float> %a, %c + %mul1 = fmul reassoc <4 x float> %b, %c + %add = fadd reassoc <4 x float> %mul, %mul1 + ret <4 x float> %add +} + ; Check that a*a*b+a*a*c is turned into a*(a*(b+c)). -define <2 x float> @test2(<2 x float> %a, <2 x float> %b, <2 x float> %c) { -; CHECK-LABEL: @test2 -; CHECK-NEXT: [[TMP1:%tmp.*]] = fadd fast <2 x float> %c, %b -; CHECK-NEXT: [[TMP2:%tmp.*]] = fmul fast <2 x float> %a, %a -; CHECK-NEXT: fmul fast <2 x float> [[TMP2]], [[TMP1]] -; CHECK-NEXT: ret <2 x float> +define <2 x float> @test2(<2 x float> %a, <2 x float> %b, <2 x float> %c) { +; CHECK-LABEL: @test2( +; CHECK-NEXT: [[TMP2:%.*]] = fadd fast <2 x float> %c, %b +; CHECK-NEXT: [[TMP3:%.*]] = fmul fast <2 x float> %a, %a +; CHECK-NEXT: [[TMP1:%.*]] = fmul fast <2 x float> [[TMP3]], [[TMP2]] +; CHECK-NEXT: ret <2 x float> [[TMP1]] +; %t0 = fmul fast <2 x float> %a, %b %t1 = fmul fast <2 x float> %a, %t0 %t2 = fmul fast <2 x float> %a, %c @@ -29,14 +46,34 @@ define <2 x float> @test2(<2 x float> %a, <2 x float> %b, <2 x float> %c) { ret <2 x float> %t4 } +; Check that a*a*b+a*a*c is turned into a*(a*(b+c)) - minimum FMF subset version + +define <2 x float> @test2_reassoc(<2 x float> %a, <2 x float> %b, <2 x float> %c) { +; CHECK-LABEL: @test2_reassoc( +; CHECK-NEXT: [[T0:%.*]] = fmul reassoc <2 x float> %a, %b +; CHECK-NEXT: [[T1:%.*]] = fmul reassoc <2 x float> %a, [[T0]] +; CHECK-NEXT: [[T2:%.*]] = fmul reassoc <2 x float> %a, %c +; CHECK-NEXT: [[T3:%.*]] = fmul reassoc <2 x float> %a, [[T2]] +; CHECK-NEXT: [[T4:%.*]] = fadd reassoc <2 x float> [[T1]], [[T3]] +; CHECK-NEXT: ret <2 x float> [[T4]] +; + %t0 = fmul reassoc <2 x float> %a, %b + %t1 = fmul reassoc <2 x float> %a, %t0 + %t2 = fmul reassoc <2 x float> %a, %c + %t3 = fmul reassoc <2 x float> %a, %t2 + %t4 = fadd reassoc <2 x float> %t1, %t3 + ret <2 x float> %t4 +} + ; Check that a*b+a*c+d is turned into a*(b+c)+d. -define <2 x double> @test3(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 x double> %d) { -; CHECK-LABEL: @test3 -; CHECK-NEXT: fadd fast <2 x double> %c, %b -; CHECK-NEXT: fmul fast <2 x double> %tmp, %a -; CHECK-NEXT: fadd fast <2 x double> %tmp1, %d -; CHECK-NEXT: ret <2 x double> +define <2 x double> @test3(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 x double> %d) { +; CHECK-LABEL: @test3( +; CHECK-NEXT: [[TMP:%.*]] = fadd fast <2 x double> %c, %b +; CHECK-NEXT: [[TMP1:%.*]] = fmul fast <2 x double> [[TMP]], %a +; CHECK-NEXT: [[T3:%.*]] = fadd fast <2 x double> [[TMP1]], %d +; CHECK-NEXT: ret <2 x double> [[T3]] +; %t0 = fmul fast <2 x double> %a, %b %t1 = fmul fast <2 x double> %a, %c %t2 = fadd fast <2 x double> %t1, %d @@ -44,14 +81,32 @@ define <2 x double> @test3(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 ret <2 x double> %t3 } +; Check that a*b+a*c+d is turned into a*(b+c)+d - minimum FMF subset version + +define <2 x double> @test3_reassoc(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 x double> %d) { +; CHECK-LABEL: @test3_reassoc( +; CHECK-NEXT: [[T0:%.*]] = fmul reassoc <2 x double> %a, %b +; CHECK-NEXT: [[T1:%.*]] = fmul reassoc <2 x double> %a, %c +; CHECK-NEXT: [[T2:%.*]] = fadd reassoc <2 x double> [[T1]], %d +; CHECK-NEXT: [[T3:%.*]] = fadd reassoc <2 x double> [[T0]], [[T2]] +; CHECK-NEXT: ret <2 x double> [[T3]] +; + %t0 = fmul reassoc <2 x double> %a, %b + %t1 = fmul reassoc <2 x double> %a, %c + %t2 = fadd reassoc <2 x double> %t1, %d + %t3 = fadd reassoc <2 x double> %t0, %t2 + ret <2 x double> %t3 +} + ; No fast-math. -define <2 x float> @test4(<2 x float> %A) { -; CHECK-LABEL: @test4 -; CHECK-NEXT: %X = fadd <2 x float> %A, -; CHECK-NEXT: %Y = fadd <2 x float> %A, -; CHECK-NEXT: %R = fsub <2 x float> %X, %Y -; CHECK-NEXT: ret <2 x float> %R +define <2 x float> @test4(<2 x float> %A) { +; CHECK-LABEL: @test4( +; CHECK-NEXT: [[X:%.*]] = fadd <2 x float> %A, +; CHECK-NEXT: [[Y:%.*]] = fadd <2 x float> %A, +; CHECK-NEXT: [[R:%.*]] = fsub <2 x float> [[X]], [[Y]] +; CHECK-NEXT: ret <2 x float> [[R]] +; %X = fadd <2 x float> %A, < float 1.000000e+00, float 1.000000e+00 > %Y = fadd <2 x float> %A, < float 1.000000e+00, float 1.000000e+00 > %R = fsub <2 x float> %X, %Y @@ -59,56 +114,116 @@ define <2 x float> @test4(<2 x float> %A) { } ; Check 47*X + 47*X -> 94*X. -define <2 x float> @test5(<2 x float> %X) { -; CHECK-LABEL: @test5 -; CHECK-NEXT: fmul fast <2 x float> %X, -; CHECK-NEXT: ret <2 x float> +define <2 x float> @test5(<2 x float> %X) { +; CHECK-LABEL: @test5( +; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast <2 x float> %X, +; CHECK-NEXT: ret <2 x float> [[FACTOR]] +; %Y = fmul fast <2 x float> %X, %Z = fadd fast <2 x float> %Y, %Y ret <2 x float> %Z } +; Check 47*X + 47*X -> 94*X - minimum FMF subset version + +define <2 x float> @test5_reassoc(<2 x float> %X) { +; CHECK-LABEL: @test5_reassoc( +; CHECK-NEXT: [[Y:%.*]] = fmul reassoc <2 x float> %X, +; CHECK-NEXT: [[Z:%.*]] = fadd reassoc <2 x float> [[Y]], [[Y]] +; CHECK-NEXT: ret <2 x float> [[Z]] +; + %Y = fmul reassoc <2 x float> %X, + %Z = fadd reassoc <2 x float> %Y, %Y + ret <2 x float> %Z +} + ; Check X+X+X -> 3*X. -define <2 x float> @test6(<2 x float> %X) { -; CHECK-LABEL: @test6 -; CHECK-NEXT: fmul fast <2 x float> %X, -; CHECK-NEXT: ret <2 x float> +define <2 x float> @test6(<2 x float> %X) { +; CHECK-LABEL: @test6( +; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast <2 x float> %X, +; CHECK-NEXT: ret <2 x float> [[FACTOR]] +; %Y = fadd fast <2 x float> %X ,%X %Z = fadd fast <2 x float> %Y, %X ret <2 x float> %Z } +; Check X+X+X -> 3*X - minimum FMF subset version + +define <2 x float> @test6_reassoc(<2 x float> %X) { +; CHECK-LABEL: @test6_reassoc( +; CHECK-NEXT: [[Y:%.*]] = fadd reassoc <2 x float> %X, %X +; CHECK-NEXT: [[Z:%.*]] = fadd reassoc <2 x float> %X, [[Y]] +; CHECK-NEXT: ret <2 x float> [[Z]] +; + %Y = fadd reassoc <2 x float> %X ,%X + %Z = fadd reassoc <2 x float> %Y, %X + ret <2 x float> %Z +} + ; Check 127*W+50*W -> 177*W. -define <2 x double> @test7(<2 x double> %W) { -; CHECK-LABEL: @test7 -; CHECK-NEXT: fmul fast <2 x double> %W, -; CHECK-NEXT: ret <2 x double> +define <2 x double> @test7(<2 x double> %W) { +; CHECK-LABEL: @test7( +; CHECK-NEXT: [[TMP1:%.*]] = fmul fast <2 x double> %W, +; CHECK-NEXT: ret <2 x double> [[TMP1]] +; %X = fmul fast <2 x double> %W, %Y = fmul fast <2 x double> %W, %Z = fadd fast <2 x double> %Y, %X ret <2 x double> %Z } +; Check 127*W+50*W -> 177*W - minimum FMF subset version + +define <2 x double> @test7_reassoc(<2 x double> %W) { +; CHECK-LABEL: @test7_reassoc( +; CHECK-NEXT: [[X:%.*]] = fmul reassoc <2 x double> %W, +; CHECK-NEXT: [[Y:%.*]] = fmul reassoc <2 x double> %W, +; CHECK-NEXT: [[Z:%.*]] = fadd reassoc <2 x double> [[Y]], [[X]] +; CHECK-NEXT: ret <2 x double> [[Z]] +; + %X = fmul reassoc <2 x double> %W, + %Y = fmul reassoc <2 x double> %W, + %Z = fadd reassoc <2 x double> %Y, %X + ret <2 x double> %Z +} + ; Check X*12*12 -> X*144. -define <2 x float> @test8(<2 x float> %arg) { -; CHECK-LABEL: @test8 -; CHECK: fmul fast <2 x float> %arg, -; CHECK-NEXT: ret <2 x float> %tmp2 +define <2 x float> @test8(<2 x float> %arg) { +; CHECK-LABEL: @test8( +; CHECK-NEXT: [[TMP2:%.*]] = fmul fast <2 x float> %arg, +; CHECK-NEXT: ret <2 x float> [[TMP2]] +; %tmp1 = fmul fast <2 x float> , %arg %tmp2 = fmul fast <2 x float> %tmp1, ret <2 x float> %tmp2 } +; Check X*12*12 -> X*144 - minimum FMF subset version + +define <2 x float> @test8_reassoc(<2 x float> %arg) { +; CHECK-LABEL: @test8_reassoc( +; CHECK-NEXT: [[TMP1:%.*]] = fmul reassoc <2 x float> %arg, +; CHECK-NEXT: [[TMP2:%.*]] = fmul reassoc <2 x float> [[TMP1]], +; CHECK-NEXT: ret <2 x float> [[TMP2]] +; + %tmp1 = fmul reassoc <2 x float> , %arg + %tmp2 = fmul reassoc <2 x float> %tmp1, + ret <2 x float> %tmp2 +} + ; Check (b+(a+1234))+-a -> b+1234. -define <2 x double> @test9(<2 x double> %b, <2 x double> %a) { -; CHECK-LABEL: @test9 -; CHECK: fadd fast <2 x double> %b, -; CHECK-NEXT: ret <2 x double> +define <2 x double> @test9(<2 x double> %b, <2 x double> %a) { +; CHECK-LABEL: @test9( +; CHECK-NEXT: [[TMP1:%.*]] = fsub fast <2 x double> zeroinitializer, %a +; CHECK-NEXT: [[TMP2:%.*]] = fadd fast <2 x double> %b, +; CHECK-NEXT: ret <2 x double> [[TMP2]] +; %1 = fadd fast <2 x double> %a, %2 = fadd fast <2 x double> %b, %1 %3 = fsub fast <2 x double> , %a @@ -116,13 +231,32 @@ define <2 x double> @test9(<2 x double> %b, <2 x double> %a) { ret <2 x double> %4 } +; Check (b+(a+1234))+-a -> b+1234 - minimum FMF subset version + +define <2 x double> @test9_reassoc(<2 x double> %b, <2 x double> %a) { +; CHECK-LABEL: @test9_reassoc( +; CHECK-NEXT: [[TMP1:%.*]] = fadd reassoc <2 x double> %a, +; CHECK-NEXT: [[TMP2:%.*]] = fadd reassoc <2 x double> %b, [[TMP1]] +; CHECK-NEXT: [[TMP3:%.*]] = fsub reassoc <2 x double> zeroinitializer, %a +; CHECK-NEXT: [[TMP4:%.*]] = fadd reassoc <2 x double> [[TMP3]], [[TMP2]] +; CHECK-NEXT: ret <2 x double> [[TMP4]] +; + %1 = fadd reassoc <2 x double> %a, + %2 = fadd reassoc <2 x double> %b, %1 + %3 = fsub reassoc <2 x double> , %a + %4 = fadd reassoc <2 x double> %2, %3 + ret <2 x double> %4 +} + ; Check -(-(z*40)*a) -> a*40*z. -define <2 x float> @test10(<2 x float> %a, <2 x float> %b, <2 x float> %z) { -; CHECK-LABEL: @test10 -; CHECK: fmul fast <2 x float> %a, -; CHECK-NEXT: fmul fast <2 x float> %e, %z -; CHECK-NEXT: ret <2 x float> +define <2 x float> @test10(<2 x float> %a, <2 x float> %b, <2 x float> %z) { +; CHECK-LABEL: @test10( +; CHECK-NEXT: [[TMP1:%.*]] = fsub fast <2 x float> zeroinitializer, zeroinitializer +; CHECK-NEXT: [[E:%.*]] = fmul fast <2 x float> %a, +; CHECK-NEXT: [[F:%.*]] = fmul fast <2 x float> [[E]], %z +; CHECK-NEXT: ret <2 x float> [[F]] +; %d = fmul fast <2 x float> %z, %c = fsub fast <2 x float> , %d %e = fmul fast <2 x float> %a, %c @@ -130,26 +264,60 @@ define <2 x float> @test10(<2 x float> %a, <2 x float> %b, <2 x float> %z) { ret <2 x float> %f } +; Check -(-(z*40)*a) -> a*40*z - minimum FMF subset version + +define <2 x float> @test10_reassoc(<2 x float> %a, <2 x float> %b, <2 x float> %z) { +; CHECK-LABEL: @test10_reassoc( +; CHECK-NEXT: [[D:%.*]] = fmul reassoc <2 x float> %z, +; CHECK-NEXT: [[C:%.*]] = fsub reassoc <2 x float> zeroinitializer, [[D]] +; CHECK-NEXT: [[E:%.*]] = fmul reassoc <2 x float> %a, [[C]] +; CHECK-NEXT: [[F:%.*]] = fsub reassoc <2 x float> zeroinitializer, [[E]] +; CHECK-NEXT: ret <2 x float> [[F]] +; + %d = fmul reassoc <2 x float> %z, + %c = fsub reassoc <2 x float> , %d + %e = fmul reassoc <2 x float> %a, %c + %f = fsub reassoc <2 x float> , %e + ret <2 x float> %f +} + ; Check x*y+y*x -> x*y*2. -define <2 x double> @test11(<2 x double> %x, <2 x double> %y) { -; CHECK-LABEL: @test11 -; CHECK-NEXT: %factor = fmul fast <2 x double> %x, -; CHECK-NEXT: %tmp1 = fmul fast <2 x double> %factor, %y -; CHECK-NEXT: ret <2 x double> %tmp1 +define <2 x double> @test11(<2 x double> %x, <2 x double> %y) { +; CHECK-LABEL: @test11( +; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast <2 x double> %x, +; CHECK-NEXT: [[TMP1:%.*]] = fmul fast <2 x double> [[FACTOR]], %y +; CHECK-NEXT: ret <2 x double> [[TMP1]] +; %1 = fmul fast <2 x double> %x, %y %2 = fmul fast <2 x double> %y, %x %3 = fadd fast <2 x double> %1, %2 ret <2 x double> %3 } +; Check x*y+y*x -> x*y*2 - minimum FMF subset version + +define <2 x double> @test11_reassoc(<2 x double> %x, <2 x double> %y) { +; CHECK-LABEL: @test11_reassoc( +; CHECK-NEXT: [[TMP1:%.*]] = fmul reassoc <2 x double> %x, %y +; CHECK-NEXT: [[TMP2:%.*]] = fmul reassoc <2 x double> %x, %y +; CHECK-NEXT: [[TMP3:%.*]] = fadd reassoc <2 x double> [[TMP1]], [[TMP2]] +; CHECK-NEXT: ret <2 x double> [[TMP3]] +; + %1 = fmul reassoc <2 x double> %x, %y + %2 = fmul reassoc <2 x double> %y, %x + %3 = fadd reassoc <2 x double> %1, %2 + ret <2 x double> %3 +} + ; FIXME: shifts should be converted to mul to assist further reassociation. -define <2 x i64> @test12(<2 x i64> %b, <2 x i64> %c) { -; CHECK-LABEL: @test12 -; CHECK-NEXT: %mul = mul <2 x i64> %c, %b -; CHECK-NEXT: %shl = shl <2 x i64> %mul, -; CHECK-NEXT: ret <2 x i64> %shl +define <2 x i64> @test12(<2 x i64> %b, <2 x i64> %c) { +; CHECK-LABEL: @test12( +; CHECK-NEXT: [[MUL:%.*]] = mul <2 x i64> %c, %b +; CHECK-NEXT: [[SHL:%.*]] = shl <2 x i64> [[MUL]], +; CHECK-NEXT: ret <2 x i64> [[SHL]] +; %mul = mul <2 x i64> %c, %b %shl = shl <2 x i64> %mul, ret <2 x i64> %shl @@ -158,12 +326,13 @@ define <2 x i64> @test12(<2 x i64> %b, <2 x i64> %c) { ; FIXME: expressions with a negative const should be canonicalized to assist ; further reassociation. ; We would expect (-5*b)+a -> a-(5*b) but only the constant operand is commuted. -define <4 x float> @test13(<4 x float> %a, <4 x float> %b) { -; CHECK-LABEL: @test13 -; CHECK-NEXT: %mul = fmul fast <4 x float> %b, -; CHECK-NEXT: %add = fadd fast <4 x float> %mul, %a -; CHECK-NEXT: ret <4 x float> %add +define <4 x float> @test13(<4 x float> %a, <4 x float> %b) { +; CHECK-LABEL: @test13( +; CHECK-NEXT: [[MUL:%.*]] = fmul fast <4 x float> %b, +; CHECK-NEXT: [[ADD:%.*]] = fadd fast <4 x float> [[MUL]], %a +; CHECK-NEXT: ret <4 x float> [[ADD]] +; %mul = fmul fast <4 x float> , %b %add = fadd fast <4 x float> %mul, %a ret <4 x float> %add @@ -171,23 +340,24 @@ define <4 x float> @test13(<4 x float> %a, <4 x float> %b) { ; Break up subtract to assist further reassociation. ; Check a+b-c -> a+b+-c. -define <2 x i64> @test14(<2 x i64> %a, <2 x i64> %b, <2 x i64> %c) { -; CHECK-LABEL: @test14 -; CHECK-NEXT: %add = add <2 x i64> %b, %a -; CHECK-NEXT: %c.neg = sub <2 x i64> zeroinitializer, %c -; CHECK-NEXT: %sub = add <2 x i64> %add, %c.neg -; CHECK-NEXT: ret <2 x i64> %sub +define <2 x i64> @test14(<2 x i64> %a, <2 x i64> %b, <2 x i64> %c) { +; CHECK-LABEL: @test14( +; CHECK-NEXT: [[ADD:%.*]] = add <2 x i64> %b, %a +; CHECK-NEXT: [[C_NEG:%.*]] = sub <2 x i64> zeroinitializer, %c +; CHECK-NEXT: [[SUB:%.*]] = add <2 x i64> [[ADD]], [[C_NEG]] +; CHECK-NEXT: ret <2 x i64> [[SUB]] +; %add = add <2 x i64> %b, %a %sub = sub <2 x i64> %add, %c ret <2 x i64> %sub } define <2 x i32> @test15(<2 x i32> %x, <2 x i32> %y) { -; CHECK-LABEL: test15 -; CHECK-NEXT: %tmp3 = and <2 x i32> %y, %x -; CHECK-NEXT: ret <2 x i32> %tmp3 - +; CHECK-LABEL: @test15( +; CHECK-NEXT: [[TMP3:%.*]] = and <2 x i32> %y, %x +; CHECK-NEXT: ret <2 x i32> [[TMP3]] +; %tmp1 = and <2 x i32> %x, %y %tmp2 = and <2 x i32> %y, %x %tmp3 = and <2 x i32> %tmp1, %tmp2 @@ -195,10 +365,10 @@ define <2 x i32> @test15(<2 x i32> %x, <2 x i32> %y) { } define <2 x i32> @test16(<2 x i32> %x, <2 x i32> %y) { -; CHECK-LABEL: test16 -; CHECK-NEXT: %tmp3 = or <2 x i32> %y, %x -; CHECK-NEXT: ret <2 x i32> %tmp3 - +; CHECK-LABEL: @test16( +; CHECK-NEXT: [[TMP3:%.*]] = or <2 x i32> %y, %x +; CHECK-NEXT: ret <2 x i32> [[TMP3]] +; %tmp1 = or <2 x i32> %x, %y %tmp2 = or <2 x i32> %y, %x %tmp3 = or <2 x i32> %tmp1, %tmp2 @@ -206,9 +376,9 @@ define <2 x i32> @test16(<2 x i32> %x, <2 x i32> %y) { } define <2 x i32> @test17(<2 x i32> %x, <2 x i32> %y) { -; CHECK-LABEL: test17 -; CHECK-NEXT: ret <2 x i32> zeroinitializer - +; CHECK-LABEL: @test17( +; CHECK-NEXT: ret <2 x i32> zeroinitializer +; %tmp1 = xor <2 x i32> %x, %y %tmp2 = xor <2 x i32> %y, %x %tmp3 = xor <2 x i32> %tmp1, %tmp2 @@ -216,10 +386,10 @@ define <2 x i32> @test17(<2 x i32> %x, <2 x i32> %y) { } define <2 x i32> @test18(<2 x i32> %x, <2 x i32> %y) { -; CHECK-LABEL: test18 -; CHECK-NEXT: %tmp5 = xor <2 x i32> %y, %x -; CHECK-NEXT: ret <2 x i32> %tmp5 - +; CHECK-LABEL: @test18( +; CHECK-NEXT: [[TMP5:%.*]] = xor <2 x i32> %y, %x +; CHECK-NEXT: ret <2 x i32> [[TMP5]] +; %tmp1 = xor <2 x i32> %x, %y %tmp2 = xor <2 x i32> %y, %x %tmp3 = xor <2 x i32> %x, %y -- 2.7.4