[llvm] r317841 - [Reassociate] regenerate test checks; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Nov 9 14:41:40 PST 2017
Author: spatel
Date: Thu Nov 9 14:41:39 2017
New Revision: 317841
URL: http://llvm.org/viewvc/llvm-project?rev=317841&view=rev
Log:
[Reassociate] regenerate test checks; NFC
Modified:
llvm/trunk/test/Transforms/Reassociate/fp-expr.ll
llvm/trunk/test/Transforms/Reassociate/propagate-flags.ll
Modified: llvm/trunk/test/Transforms/Reassociate/fp-expr.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/Reassociate/fp-expr.ll?rev=317841&r1=317840&r2=317841&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/Reassociate/fp-expr.ll (original)
+++ llvm/trunk/test/Transforms/Reassociate/fp-expr.ll Thu Nov 9 14:41:39 2017
@@ -1,26 +1,31 @@
; RUN: opt -S -reassociate < %s | FileCheck %s
define void @test1() {
-; CHECK-LABEL: @test1
-; CHECK: call
-; CHECK: fsub
-; CHECK: fadd
- %tmp = tail call <4 x float> @blam()
- %tmp23 = fsub fast <4 x float> undef, %tmp
- %tmp24 = fadd fast <4 x float> %tmp23, undef
- tail call void @wombat(<4 x float> %tmp24)
+; CHECK-LABEL: @test1(
+; CHECK-NEXT: [[T1:%.*]] = tail call <4 x float> @blam()
+; CHECK-NEXT: [[T1_NEG:%.*]] = fsub fast <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, [[T1]]
+; CHECK-NEXT: [[T24:%.*]] = fadd fast <4 x float> [[T1_NEG]], fadd (<4 x float> undef, <4 x float> undef)
+; CHECK-NEXT: tail call void @wombat(<4 x float> [[T24]])
+; CHECK-NEXT: ret void
+;
+ %t1 = tail call <4 x float> @blam()
+ %t23 = fsub fast <4 x float> undef, %t1
+ %t24 = fadd fast <4 x float> %t23, undef
+ tail call void @wombat(<4 x float> %t24)
ret void
}
define half @test2() {
-; CHECK-LABEL: @test2
-; CHECK: fsub
-; CHECK: fsub
-; CHECK: fadd
- %tmp15 = fsub fast half undef, undef
- %tmp17 = fsub fast half undef, %tmp15
- %tmp18 = fadd fast half undef, %tmp17
- ret half %tmp18
+; CHECK-LABEL: @test2(
+; CHECK-NEXT: [[T15:%.*]] = fsub fast half undef, undef
+; CHECK-NEXT: [[T15_NEG:%.*]] = fsub fast half 0xH8000, [[T15]]
+; CHECK-NEXT: [[T18:%.*]] = fadd fast half [[T15_NEG]], fadd (half undef, half undef)
+; CHECK-NEXT: ret half [[T18]]
+;
+ %t15 = fsub fast half undef, undef
+ %t17 = fsub fast half undef, %t15
+ %t18 = fadd fast half undef, %t17
+ ret half %t18
}
Modified: llvm/trunk/test/Transforms/Reassociate/propagate-flags.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/Reassociate/propagate-flags.ll?rev=317841&r1=317840&r2=317841&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/Reassociate/propagate-flags.ll (original)
+++ llvm/trunk/test/Transforms/Reassociate/propagate-flags.ll Thu Nov 9 14:41:39 2017
@@ -1,12 +1,11 @@
; RUN: opt < %s -reassociate -S | FileCheck %s
-
-; CHECK-LABEL: func
-; CHECK: fmul fast double
-; CHECK-NEXT: fmul fast double
-; CHECK-NEXT: ret
define double @func(double %a, double %b) {
-entry:
+; CHECK-LABEL: @func(
+; CHECK-NEXT: [[TMP1:%.*]] = fmul fast double %b, %a
+; CHECK-NEXT: [[TMP2:%.*]] = fmul fast double [[TMP1]], [[TMP1]]
+; CHECK-NEXT: ret double [[TMP2]]
+;
%mul1 = fmul fast double %a, %a
%mul2 = fmul fast double %b, %b
%mul3 = fmul fast double %mul1, %mul2
More information about the llvm-commits
mailing list