[llvm] 5edf900 - [NFC][Test] Format the test PowerPC/recipest.ll with update_llc_test_checks.py
QingShan Zhang via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 11 01:50:37 PDT 2020
Author: QingShan Zhang
Date: 2020-03-11T08:49:53Z
New Revision: 5edf900da0db653fb064e1e28de12a185d624b2b
URL: https://github.com/llvm/llvm-project/commit/5edf900da0db653fb064e1e28de12a185d624b2b
DIFF: https://github.com/llvm/llvm-project/commit/5edf900da0db653fb064e1e28de12a185d624b2b.diff
LOG: [NFC][Test] Format the test PowerPC/recipest.ll with update_llc_test_checks.py
Added:
Modified:
llvm/test/CodeGen/PowerPC/recipest.ll
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/PowerPC/recipest.ll b/llvm/test/CodeGen/PowerPC/recipest.ll
index 80b700dd3bb4..7323d1e775b1 100644
--- a/llvm/test/CodeGen/PowerPC/recipest.ll
+++ b/llvm/test/CodeGen/PowerPC/recipest.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -mattr=-vsx | FileCheck %s
target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
@@ -8,54 +9,64 @@ declare float @llvm.sqrt.f32(float)
declare <4 x float> @llvm.sqrt.v4f32(<4 x float>)
define double @foo_fmf(double %a, double %b) nounwind {
-; CHECK: @foo_fmf
-; CHECK: frsqrte
-; CHECK: fmul
-; CHECK-NEXT: fmadd
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmadd
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK: blr
+; CHECK-LABEL: foo_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: frsqrte 0, 2
+; CHECK-NEXT: addis 3, 2, .LCPI0_0 at toc@ha
+; CHECK-NEXT: addis 4, 2, .LCPI0_1 at toc@ha
+; CHECK-NEXT: lfs 4, .LCPI0_0 at toc@l(3)
+; CHECK-NEXT: lfs 5, .LCPI0_1 at toc@l(4)
+; CHECK-NEXT: fmul 3, 2, 0
+; CHECK-NEXT: fmadd 3, 3, 0, 4
+; CHECK-NEXT: fmul 0, 0, 5
+; CHECK-NEXT: fmul 0, 0, 3
+; CHECK-NEXT: fmul 2, 2, 0
+; CHECK-NEXT: fmadd 2, 2, 0, 4
+; CHECK-NEXT: fmul 0, 0, 5
+; CHECK-NEXT: fmul 0, 0, 2
+; CHECK-NEXT: fmul 1, 1, 0
+; CHECK-NEXT: blr
%x = call fast double @llvm.sqrt.f64(double %b)
%r = fdiv fast double %a, %x
ret double %r
}
define double @foo_safe(double %a, double %b) nounwind {
-; CHECK: @foo_safe
-; CHECK: fsqrt
-; CHECK: fdiv
-; CHECK: blr
+; CHECK-LABEL: foo_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fsqrt 0, 2
+; CHECK-NEXT: fdiv 1, 1, 0
+; CHECK-NEXT: blr
%x = call double @llvm.sqrt.f64(double %b)
%r = fdiv double %a, %x
ret double %r
}
define double @no_estimate_refinement_f64(double %a, double %b) #0 {
-; CHECK-LABEL: @no_estimate_refinement_f64
-; CHECK: frsqrte
-; CHECK-NOT: fmadd
-; CHECK: fmul
-; CHECK-NOT: fmadd
-; CHECK: blr
+; CHECK-LABEL: no_estimate_refinement_f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: frsqrte 0, 2
+; CHECK-NEXT: fmul 1, 1, 0
+; CHECK-NEXT: blr
%x = call fast double @llvm.sqrt.f64(double %b)
%r = fdiv fast double %a, %x
ret double %r
}
define double @foof_fmf(double %a, float %b) nounwind {
-; CHECK: @foof_fmf
-; CHECK-DAG: frsqrtes
-; CHECK: fmuls
-; CHECK-NEXT: fmadds
-; CHECK-NEXT: fmuls
-; CHECK-NEXT: fmuls
-; CHECK-NEXT: fmul
-; CHECK-NEXT: blr
+; CHECK-LABEL: foof_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: frsqrtes 0, 2
+; CHECK-NEXT: addis 3, 2, .LCPI3_0 at toc@ha
+; CHECK-NEXT: addis 4, 2, .LCPI3_1 at toc@ha
+; CHECK-NEXT: lfs 3, .LCPI3_0 at toc@l(3)
+; CHECK-NEXT: lfs 4, .LCPI3_1 at toc@l(4)
+; CHECK-NEXT: fmuls 2, 2, 0
+; CHECK-NEXT: fmadds 2, 2, 0, 3
+; CHECK-NEXT: fmuls 0, 0, 4
+; CHECK-NEXT: fmuls 0, 0, 2
+; CHECK-NEXT: fmul 1, 1, 0
+; CHECK-NEXT: blr
%x = call fast float @llvm.sqrt.f32(float %b)
%y = fpext float %x to double
%r = fdiv fast double %a, %y
@@ -63,10 +74,11 @@ define double @foof_fmf(double %a, float %b) nounwind {
}
define double @foof_safe(double %a, float %b) nounwind {
-; CHECK: @foof_safe
-; CHECK: fsqrts
-; CHECK: fdiv
-; CHECK: blr
+; CHECK-LABEL: foof_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fsqrts 0, 2
+; CHECK-NEXT: fdiv 1, 1, 0
+; CHECK-NEXT: blr
%x = call float @llvm.sqrt.f32(float %b)
%y = fpext float %x to double
%r = fdiv double %a, %y
@@ -74,19 +86,24 @@ define double @foof_safe(double %a, float %b) nounwind {
}
define float @food_fmf(float %a, double %b) nounwind {
-; CHECK: @food_fmf
-; CHECK-DAG: frsqrte
-; CHECK: fmul
-; CHECK-NEXT: fmadd
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmadd
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK-NEXT: frsp
-; CHECK-NEXT: fmuls
-; CHECK-NEXT: blr
+; CHECK-LABEL: food_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: frsqrte 0, 2
+; CHECK-NEXT: addis 3, 2, .LCPI5_0 at toc@ha
+; CHECK-NEXT: addis 4, 2, .LCPI5_1 at toc@ha
+; CHECK-NEXT: lfs 4, .LCPI5_0 at toc@l(3)
+; CHECK-NEXT: lfs 5, .LCPI5_1 at toc@l(4)
+; CHECK-NEXT: fmul 3, 2, 0
+; CHECK-NEXT: fmadd 3, 3, 0, 4
+; CHECK-NEXT: fmul 0, 0, 5
+; CHECK-NEXT: fmul 0, 0, 3
+; CHECK-NEXT: fmul 2, 2, 0
+; CHECK-NEXT: fmadd 2, 2, 0, 4
+; CHECK-NEXT: fmul 0, 0, 5
+; CHECK-NEXT: fmul 0, 0, 2
+; CHECK-NEXT: frsp 0, 0
+; CHECK-NEXT: fmuls 1, 1, 0
+; CHECK-NEXT: blr
%x = call fast double @llvm.sqrt.f64(double %b)
%y = fptrunc double %x to float
%r = fdiv fast float %a, %y
@@ -94,10 +111,12 @@ define float @food_fmf(float %a, double %b) nounwind {
}
define float @food_safe(float %a, double %b) nounwind {
-; CHECK: @food_safe
-; CHECK: fsqrt
-; CHECK: fdivs
-; CHECK: blr
+; CHECK-LABEL: food_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fsqrt 0, 2
+; CHECK-NEXT: frsp 0, 0
+; CHECK-NEXT: fdivs 1, 1, 0
+; CHECK-NEXT: blr
%x = call double @llvm.sqrt.f64(double %b)
%y = fptrunc double %x to float
%r = fdiv float %a, %y
@@ -105,205 +124,359 @@ define float @food_safe(float %a, double %b) nounwind {
}
define float @goo_fmf(float %a, float %b) nounwind {
-; CHECK: @goo_fmf
-; CHECK-DAG: frsqrtes
-; CHECK: fmuls
-; CHECK-NEXT: fmadds
-; CHECK-NEXT: fmuls
-; CHECK-NEXT: fmuls
-; CHECK-NEXT: fmuls
-; CHECK-NEXT: blr
+; CHECK-LABEL: goo_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: frsqrtes 0, 2
+; CHECK-NEXT: addis 3, 2, .LCPI7_0 at toc@ha
+; CHECK-NEXT: addis 4, 2, .LCPI7_1 at toc@ha
+; CHECK-NEXT: lfs 3, .LCPI7_0 at toc@l(3)
+; CHECK-NEXT: lfs 4, .LCPI7_1 at toc@l(4)
+; CHECK-NEXT: fmuls 2, 2, 0
+; CHECK-NEXT: fmadds 2, 2, 0, 3
+; CHECK-NEXT: fmuls 0, 0, 4
+; CHECK-NEXT: fmuls 0, 0, 2
+; CHECK-NEXT: fmuls 1, 1, 0
+; CHECK-NEXT: blr
%x = call fast float @llvm.sqrt.f32(float %b)
%r = fdiv fast float %a, %x
ret float %r
}
define float @goo_safe(float %a, float %b) nounwind {
-; CHECK: @goo_safe
-; CHECK: fsqrts
-; CHECK: fdivs
-; CHECK: blr
+; CHECK-LABEL: goo_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fsqrts 0, 2
+; CHECK-NEXT: fdivs 1, 1, 0
+; CHECK-NEXT: blr
%x = call float @llvm.sqrt.f32(float %b)
%r = fdiv float %a, %x
ret float %r
}
define float @no_estimate_refinement_f32(float %a, float %b) #0 {
-; CHECK-LABEL: @no_estimate_refinement_f32
-; CHECK: frsqrtes
-; CHECK-NOT: fmadds
-; CHECK: fmuls
-; CHECK-NOT: fmadds
-; CHECK: blr
+; CHECK-LABEL: no_estimate_refinement_f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: frsqrtes 0, 2
+; CHECK-NEXT: fmuls 1, 1, 0
+; CHECK-NEXT: blr
%x = call fast float @llvm.sqrt.f32(float %b)
%r = fdiv fast float %a, %x
ret float %r
}
-; Recognize that this is rsqrt(a) * rcp(b) * c,
+; Recognize that this is rsqrt(a) * rcp(b) * c,
; not 1 / ( 1 / sqrt(a)) * rcp(b) * c.
define float @rsqrt_fmul_fmf(float %a, float %b, float %c) {
-; CHECK: @rsqrt_fmul_fmf
-; CHECK-DAG: frsqrtes
-; CHECK: fmuls
-; CHECK-NEXT: fmadds
-; CHECK-NEXT: fmuls
-; CHECK-DAG: fres
-; CHECK-COUNT-3: fmuls
-; CHECK-NEXT: fmsubs
-; CHECK-NEXT: fmadds
-; CHECK-NEXT: fmuls
-; CHECK-NEXT: blr
+; CHECK-LABEL: rsqrt_fmul_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: frsqrtes 0, 1
+; CHECK-NEXT: addis 3, 2, .LCPI10_0 at toc@ha
+; CHECK-NEXT: addis 4, 2, .LCPI10_1 at toc@ha
+; CHECK-NEXT: lfs 4, .LCPI10_0 at toc@l(3)
+; CHECK-NEXT: lfs 5, .LCPI10_1 at toc@l(4)
+; CHECK-NEXT: fmuls 1, 1, 0
+; CHECK-NEXT: fmadds 1, 1, 0, 4
+; CHECK-NEXT: fmuls 0, 0, 5
+; CHECK-NEXT: fres 5, 2
+; CHECK-NEXT: fmuls 4, 0, 1
+; CHECK-NEXT: fmuls 4, 4, 5
+; CHECK-NEXT: fmuls 2, 2, 4
+; CHECK-NEXT: fmsubs 0, 0, 1, 2
+; CHECK-NEXT: fmadds 0, 5, 0, 4
+; CHECK-NEXT: fmuls 1, 3, 0
+; CHECK-NEXT: blr
%x = call fast float @llvm.sqrt.f32(float %a)
- %y = fmul fast float %x, %b
+ %y = fmul fast float %x, %b
%z = fdiv fast float %c, %y
ret float %z
}
-; Recognize that this is rsqrt(a) * rcp(b) * c,
+; Recognize that this is rsqrt(a) * rcp(b) * c,
; not 1 / ( 1 / sqrt(a)) * rcp(b) * c.
define float @rsqrt_fmul_safe(float %a, float %b, float %c) {
-; CHECK: @rsqrt_fmul_safe
-; CHECK: fsqrts
-; CHECK: fmuls
-; CHECK: fdivs
-; CHECK: blr
+; CHECK-LABEL: rsqrt_fmul_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fsqrts 0, 1
+; CHECK-NEXT: fmuls 0, 0, 2
+; CHECK-NEXT: fdivs 1, 3, 0
+; CHECK-NEXT: blr
%x = call float @llvm.sqrt.f32(float %a)
- %y = fmul float %x, %b
+ %y = fmul float %x, %b
%z = fdiv float %c, %y
ret float %z
}
define <4 x float> @hoo_fmf(<4 x float> %a, <4 x float> %b) nounwind {
-; CHECK: @hoo_fmf
-; CHECK: vrsqrtefp
+; CHECK-LABEL: hoo_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: vspltisw 4, -1
+; CHECK-NEXT: addis 3, 2, .LCPI12_0 at toc@ha
+; CHECK-NEXT: vrsqrtefp 5, 3
+; CHECK-NEXT: addi 3, 3, .LCPI12_0 at toc@l
+; CHECK-NEXT: lvx 0, 0, 3
+; CHECK-NEXT: addis 3, 2, .LCPI12_1 at toc@ha
+; CHECK-NEXT: addi 3, 3, .LCPI12_1 at toc@l
+; CHECK-NEXT: lvx 1, 0, 3
+; CHECK-NEXT: vslw 4, 4, 4
+; CHECK-NEXT: vmaddfp 3, 3, 5, 4
+; CHECK-NEXT: vmaddfp 3, 3, 5, 0
+; CHECK-NEXT: vmaddfp 5, 5, 1, 4
+; CHECK-NEXT: vmaddfp 3, 5, 3, 4
+; CHECK-NEXT: vmaddfp 2, 2, 3, 4
+; CHECK-NEXT: blr
%x = call fast <4 x float> @llvm.sqrt.v4f32(<4 x float> %b)
%r = fdiv fast <4 x float> %a, %x
ret <4 x float> %r
}
define <4 x float> @hoo_safe(<4 x float> %a, <4 x float> %b) nounwind {
-; CHECK: @hoo_safe
-; CHECK-NOT: vrsqrtefp
-; CHECK: blr
+; CHECK-LABEL: hoo_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi 3, 1, -32
+; CHECK-NEXT: stvx 3, 0, 3
+; CHECK-NEXT: addi 3, 1, -48
+; CHECK-NEXT: lfs 0, -20(1)
+; CHECK-NEXT: lfs 3, -24(1)
+; CHECK-NEXT: lfs 1, -32(1)
+; CHECK-NEXT: lfs 2, -28(1)
+; CHECK-NEXT: stvx 2, 0, 3
+; CHECK-NEXT: addi 3, 1, -16
+; CHECK-NEXT: fsqrts 0, 0
+; CHECK-NEXT: lfs 4, -36(1)
+; CHECK-NEXT: fsqrts 3, 3
+; CHECK-NEXT: fsqrts 2, 2
+; CHECK-NEXT: fsqrts 1, 1
+; CHECK-NEXT: fdivs 0, 4, 0
+; CHECK-NEXT: stfs 0, -4(1)
+; CHECK-NEXT: lfs 0, -40(1)
+; CHECK-NEXT: fdivs 0, 0, 3
+; CHECK-NEXT: stfs 0, -8(1)
+; CHECK-NEXT: lfs 0, -44(1)
+; CHECK-NEXT: fdivs 0, 0, 2
+; CHECK-NEXT: stfs 0, -12(1)
+; CHECK-NEXT: lfs 0, -48(1)
+; CHECK-NEXT: fdivs 0, 0, 1
+; CHECK-NEXT: stfs 0, -16(1)
+; CHECK-NEXT: lvx 2, 0, 3
+; CHECK-NEXT: blr
%x = call <4 x float> @llvm.sqrt.v4f32(<4 x float> %b)
%r = fdiv <4 x float> %a, %x
ret <4 x float> %r
}
define double @foo2_fmf(double %a, double %b) nounwind {
-; CHECK: @foo2_fmf
-; CHECK-DAG: fre
-; CHECK-DAG: fmadd
-; CHECK: fnmsub
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fnmsub
-; CHECK-NEXT: fmadd
-; CHECK-NEXT: blr
+; CHECK-LABEL: foo2_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fre 0, 2
+; CHECK-NEXT: addis 3, 2, .LCPI14_0 at toc@ha
+; CHECK-NEXT: lfs 3, .LCPI14_0 at toc@l(3)
+; CHECK-NEXT: fmadd 3, 2, 0, 3
+; CHECK-NEXT: fnmsub 0, 0, 3, 0
+; CHECK-NEXT: fmul 3, 1, 0
+; CHECK-NEXT: fnmsub 1, 2, 3, 1
+; CHECK-NEXT: fmadd 1, 0, 1, 3
+; CHECK-NEXT: blr
%r = fdiv fast double %a, %b
ret double %r
}
define double @foo2_safe(double %a, double %b) nounwind {
-; CHECK: @foo2_safe
-; CHECK: fdiv
-; CHECK: blr
+; CHECK-LABEL: foo2_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fdiv 1, 1, 2
+; CHECK-NEXT: blr
%r = fdiv double %a, %b
ret double %r
}
define float @goo2_fmf(float %a, float %b) nounwind {
-; CHECK: @goo2_fmf
-; CHECK-DAG: fres
-; CHECK-NEXT: fmuls
-; CHECK-DAG: fnmsubs
-; CHECK: fmadds
-; CHECK-NEXT: blr
+; CHECK-LABEL: goo2_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fres 0, 2
+; CHECK-NEXT: fmuls 3, 1, 0
+; CHECK-NEXT: fnmsubs 1, 2, 3, 1
+; CHECK-NEXT: fmadds 1, 0, 1, 3
+; CHECK-NEXT: blr
%r = fdiv fast float %a, %b
ret float %r
}
define float @goo2_safe(float %a, float %b) nounwind {
-; CHECK: @goo2_safe
-; CHECK: fdivs
-; CHECK: blr
+; CHECK-LABEL: goo2_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fdivs 1, 1, 2
+; CHECK-NEXT: blr
%r = fdiv float %a, %b
ret float %r
}
define <4 x float> @hoo2_fmf(<4 x float> %a, <4 x float> %b) nounwind {
-; CHECK: @hoo2_fmf
-; CHECK: vrefp
+; CHECK-LABEL: hoo2_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: vspltisw 4, -1
+; CHECK-NEXT: vrefp 5, 3
+; CHECK-NEXT: vspltisb 0, -1
+; CHECK-NEXT: vslw 0, 0, 0
+; CHECK-NEXT: vslw 4, 4, 4
+; CHECK-NEXT: vsubfp 3, 0, 3
+; CHECK-NEXT: vmaddfp 4, 2, 5, 4
+; CHECK-NEXT: vmaddfp 2, 3, 4, 2
+; CHECK-NEXT: vmaddfp 2, 5, 2, 4
+; CHECK-NEXT: blr
%r = fdiv fast <4 x float> %a, %b
ret <4 x float> %r
}
define <4 x float> @hoo2_safe(<4 x float> %a, <4 x float> %b) nounwind {
-; CHECK: @hoo2_safe
-; CHECK-NOT: vrefp
-; CHECK: blr
+; CHECK-LABEL: hoo2_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi 3, 1, -32
+; CHECK-NEXT: addi 4, 1, -48
+; CHECK-NEXT: stvx 3, 0, 3
+; CHECK-NEXT: stvx 2, 0, 4
+; CHECK-NEXT: lfs 0, -20(1)
+; CHECK-NEXT: lfs 1, -36(1)
+; CHECK-NEXT: addi 3, 1, -16
+; CHECK-NEXT: fdivs 0, 1, 0
+; CHECK-NEXT: lfs 1, -40(1)
+; CHECK-NEXT: stfs 0, -4(1)
+; CHECK-NEXT: lfs 0, -24(1)
+; CHECK-NEXT: fdivs 0, 1, 0
+; CHECK-NEXT: lfs 1, -44(1)
+; CHECK-NEXT: stfs 0, -8(1)
+; CHECK-NEXT: lfs 0, -28(1)
+; CHECK-NEXT: fdivs 0, 1, 0
+; CHECK-NEXT: lfs 1, -48(1)
+; CHECK-NEXT: stfs 0, -12(1)
+; CHECK-NEXT: lfs 0, -32(1)
+; CHECK-NEXT: fdivs 0, 1, 0
+; CHECK-NEXT: stfs 0, -16(1)
+; CHECK-NEXT: lvx 2, 0, 3
+; CHECK-NEXT: blr
%r = fdiv <4 x float> %a, %b
ret <4 x float> %r
}
define double @foo3_fmf(double %a) nounwind {
-; CHECK: @foo3_fmf
-; CHECK: fcmpu
-; CHECK-DAG: frsqrte
-; CHECK: fmul
-; CHECK-NEXT: fmadd
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmadd
-; CHECK-NEXT: fmul
-; CHECK-NEXT: fmul
-; CHECK: blr
+; CHECK-LABEL: foo3_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fabs 0, 1
+; CHECK-NEXT: addis 3, 2, .LCPI20_2 at toc@ha
+; CHECK-NEXT: lfd 2, .LCPI20_2 at toc@l(3)
+; CHECK-NEXT: fcmpu 0, 0, 2
+; CHECK-NEXT: blt 0, .LBB20_2
+; CHECK-NEXT: # %bb.1:
+; CHECK-NEXT: frsqrte 0, 1
+; CHECK-NEXT: addis 3, 2, .LCPI20_0 at toc@ha
+; CHECK-NEXT: addis 4, 2, .LCPI20_1 at toc@ha
+; CHECK-NEXT: lfs 3, .LCPI20_0 at toc@l(3)
+; CHECK-NEXT: lfs 4, .LCPI20_1 at toc@l(4)
+; CHECK-NEXT: fmul 2, 1, 0
+; CHECK-NEXT: fmadd 2, 2, 0, 3
+; CHECK-NEXT: fmul 0, 0, 4
+; CHECK-NEXT: fmul 0, 0, 2
+; CHECK-NEXT: fmul 1, 1, 0
+; CHECK-NEXT: fmadd 0, 1, 0, 3
+; CHECK-NEXT: fmul 1, 1, 4
+; CHECK-NEXT: fmul 1, 1, 0
+; CHECK-NEXT: blr
+; CHECK-NEXT: .LBB20_2:
+; CHECK-NEXT: addis 3, 2, .LCPI20_3 at toc@ha
+; CHECK-NEXT: lfs 1, .LCPI20_3 at toc@l(3)
+; CHECK-NEXT: blr
%r = call fast double @llvm.sqrt.f64(double %a)
ret double %r
}
define double @foo3_safe(double %a) nounwind {
-; CHECK: @foo3_safe
-; CHECK: fsqrt
-; CHECK: blr
+; CHECK-LABEL: foo3_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fsqrt 1, 1
+; CHECK-NEXT: blr
%r = call double @llvm.sqrt.f64(double %a)
ret double %r
}
define float @goo3_fmf(float %a) nounwind {
-; CHECK: @goo3_fmf
-; CHECK: fcmpu
-; CHECK-DAG: frsqrtes
-; CHECK: fmuls
-; CHECK-NEXT: fmadds
-; CHECK-NEXT: fmuls
-; CHECK-NEXT: fmuls
-; CHECK: blr
+; CHECK-LABEL: goo3_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fabs 0, 1
+; CHECK-NEXT: addis 3, 2, .LCPI22_2 at toc@ha
+; CHECK-NEXT: lfs 2, .LCPI22_2 at toc@l(3)
+; CHECK-NEXT: fcmpu 0, 0, 2
+; CHECK-NEXT: blt 0, .LBB22_2
+; CHECK-NEXT: # %bb.1:
+; CHECK-NEXT: frsqrtes 0, 1
+; CHECK-NEXT: addis 3, 2, .LCPI22_0 at toc@ha
+; CHECK-NEXT: addis 4, 2, .LCPI22_1 at toc@ha
+; CHECK-NEXT: lfs 2, .LCPI22_0 at toc@l(3)
+; CHECK-NEXT: lfs 3, .LCPI22_1 at toc@l(4)
+; CHECK-NEXT: fmuls 1, 1, 0
+; CHECK-NEXT: fmadds 0, 1, 0, 2
+; CHECK-NEXT: fmuls 1, 1, 3
+; CHECK-NEXT: fmuls 1, 1, 0
+; CHECK-NEXT: blr
+; CHECK-NEXT: .LBB22_2:
+; CHECK-NEXT: addis 3, 2, .LCPI22_3 at toc@ha
+; CHECK-NEXT: lfs 1, .LCPI22_3 at toc@l(3)
+; CHECK-NEXT: blr
%r = call fast float @llvm.sqrt.f32(float %a)
ret float %r
}
define float @goo3_safe(float %a) nounwind {
-; CHECK: @goo3_safe
-; CHECK: fsqrts
-; CHECK: blr
+; CHECK-LABEL: goo3_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fsqrts 1, 1
+; CHECK-NEXT: blr
%r = call float @llvm.sqrt.f32(float %a)
ret float %r
}
define <4 x float> @hoo3_fmf(<4 x float> %a) #1 {
-; CHECK: @hoo3_fmf
-; CHECK: vrsqrtefp
-; CHECK-DAG: vcmpeqfp
+; CHECK-LABEL: hoo3_fmf:
+; CHECK: # %bb.0:
+; CHECK-NEXT: vspltisw 3, -1
+; CHECK-NEXT: addis 3, 2, .LCPI24_0 at toc@ha
+; CHECK-NEXT: vrsqrtefp 4, 2
+; CHECK-NEXT: addi 3, 3, .LCPI24_0 at toc@l
+; CHECK-NEXT: lvx 0, 0, 3
+; CHECK-NEXT: addis 3, 2, .LCPI24_1 at toc@ha
+; CHECK-NEXT: addi 3, 3, .LCPI24_1 at toc@l
+; CHECK-NEXT: lvx 1, 0, 3
+; CHECK-NEXT: vslw 3, 3, 3
+; CHECK-NEXT: vmaddfp 5, 2, 4, 3
+; CHECK-NEXT: vmaddfp 4, 5, 4, 0
+; CHECK-NEXT: vmaddfp 5, 5, 1, 3
+; CHECK-NEXT: vxor 0, 0, 0
+; CHECK-NEXT: vmaddfp 3, 5, 4, 3
+; CHECK-NEXT: vcmpeqfp 2, 2, 0
+; CHECK-NEXT: vsel 2, 3, 0, 2
+; CHECK-NEXT: blr
%r = call fast <4 x float> @llvm.sqrt.v4f32(<4 x float> %a)
ret <4 x float> %r
}
define <4 x float> @hoo3_safe(<4 x float> %a) nounwind {
-; CHECK: @hoo3_safe
-; CHECK-NOT: vrsqrtefp
-; CHECK: blr
+; CHECK-LABEL: hoo3_safe:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi 3, 1, -32
+; CHECK-NEXT: stvx 2, 0, 3
+; CHECK-NEXT: addi 3, 1, -16
+; CHECK-NEXT: lfs 0, -20(1)
+; CHECK-NEXT: fsqrts 0, 0
+; CHECK-NEXT: stfs 0, -4(1)
+; CHECK-NEXT: lfs 0, -24(1)
+; CHECK-NEXT: fsqrts 0, 0
+; CHECK-NEXT: stfs 0, -8(1)
+; CHECK-NEXT: lfs 0, -28(1)
+; CHECK-NEXT: fsqrts 0, 0
+; CHECK-NEXT: stfs 0, -12(1)
+; CHECK-NEXT: lfs 0, -32(1)
+; CHECK-NEXT: fsqrts 0, 0
+; CHECK-NEXT: stfs 0, -16(1)
+; CHECK-NEXT: lvx 2, 0, 3
+; CHECK-NEXT: blr
%r = call <4 x float> @llvm.sqrt.v4f32(<4 x float> %a)
ret <4 x float> %r
}
More information about the llvm-commits
mailing list