maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[AggressiveInstCombine] add tests for sqrt with known positive operand; NFC

This commit is contained in:
Sanjay Patel 2022-07-27 10:33:15 -04:00
parent 35e781fb05
commit 3b718de2d3
1 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
llvm/test/Transforms/AggressiveInstCombine/X86/sqrt.ll
View File

@ -4,6 +4,7 @@
declare float @sqrtf(float)
declare double @sqrt(double)
declare fp128 @sqrtl(fp128)
declare float @llvm.fabs.f32(float)
; "nnan" implies no setting of errno and the target can lower this to an
; instruction, so transform to an intrinsic.
@ -51,3 +52,25 @@ define float @sqrt_call_nnan_f32_nobuiltin(float %x) {
%sqrt = call nnan float @sqrtf(float %x) nobuiltin
ret float %sqrt
}
define float @sqrt_call_f32_squared(float %x) {
; CHECK-LABEL: @sqrt_call_f32_squared(
; CHECK-NEXT: [[X2:%.*]] = fmul float [[X:%.*]], [[X]]
; CHECK-NEXT: [[SQRT:%.*]] = call float @sqrtf(float [[X2]])
; CHECK-NEXT: ret float [[SQRT]]
;
%x2 = fmul float %x, %x
%sqrt = call float @sqrtf(float %x2)
ret float %sqrt
}
define float @sqrt_call_f32_fabs(float %x) {
; CHECK-LABEL: @sqrt_call_f32_fabs(
; CHECK-NEXT: [[A:%.*]] = call float @llvm.fabs.f32(float [[X:%.*]])
; CHECK-NEXT: [[SQRT:%.*]] = call float @sqrtf(float [[A]])
; CHECK-NEXT: ret float [[SQRT]]
;
%a = call float @llvm.fabs.f32(float %x)
%sqrt = call float @sqrtf(float %a)
ret float %sqrt
}