From b5d2e11e4e6ceeb3af4d57d7af75ee7e8a8da0b5 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Thu, 9 Nov 2017 22:41:39 +0000 Subject: [PATCH] [Reassociate] regenerate test checks; NFC llvm-svn: 317841 --- llvm/test/Transforms/Reassociate/fp-expr.ll | 37 ++++++++++++---------- .../test/Transforms/Reassociate/propagate-flags.ll | 11 +++---- 2 files changed, 26 insertions(+), 22 deletions(-) diff --git a/llvm/test/Transforms/Reassociate/fp-expr.ll b/llvm/test/Transforms/Reassociate/fp-expr.ll index 5af3b19..d0ad555 100644 --- a/llvm/test/Transforms/Reassociate/fp-expr.ll +++ b/llvm/test/Transforms/Reassociate/fp-expr.ll @@ -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> , [[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 } diff --git a/llvm/test/Transforms/Reassociate/propagate-flags.ll b/llvm/test/Transforms/Reassociate/propagate-flags.ll index b898785..b6cc9ba 100644 --- a/llvm/test/Transforms/Reassociate/propagate-flags.ll +++ b/llvm/test/Transforms/Reassociate/propagate-flags.ll @@ -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 -- 2.7.4