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

[InstCombine] add extra-use tests for fmul+sqrt; NFC

This commit is contained in:
Venkataramanan Kumar 2020-08-30 18:39:05 -04:00 committed by Sanjay Patel
parent d0518a2be3
commit 86163f885b
1 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
llvm/test/Transforms/InstCombine/fmul-sqrt.ll
View File

@ -99,6 +99,38 @@ define double @rsqrt_squared(double %x) {
ret double %squared
}
define double @rsqrt_x_reassociate_extra_use(double %x, double * %p) {
; CHECK-LABEL: @rsqrt_x_reassociate_extra_use(
; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[X:%.*]])
; CHECK-NEXT: [[RSQRT:%.*]] = fdiv fast double 1.000000e+00, [[SQRT]]
; CHECK-NEXT: [[RES:%.*]] = fmul reassoc double [[RSQRT]], [[X:%.*]]
; CHECK-NEXT: store double [[RSQRT]], double* %p
; CHECK-NEXT: ret double [[RES]]
;
%sqrt = call fast double @llvm.sqrt.f64(double %x)
%rsqrt = fdiv fast double 1.0, %sqrt
%res = fmul reassoc double %rsqrt, %x
store double %rsqrt, double* %p
ret double %res
}
define double @x_add_y_rsqrt_reassociate_extra_use(double %x, double %y, double * %p) {
; CHECK-LABEL: @x_add_y_rsqrt_reassociate_extra_use(
; CHECK-NEXT: [[ADD:%.*]] = fadd fast double %x, %y
; CHECK-NEXT: [[SQRT:%.*]] = call fast double @llvm.sqrt.f64(double [[ADD]])
; CHECK-NEXT: [[RSQRT:%.*]] = fdiv fast double 1.000000e+00, [[SQRT]]
; CHECK-NEXT: [[RES:%.*]] = fmul reassoc double [[ADD]], [[RSQRT]]
; CHECK-NEXT: store double [[RSQRT]], double* %p
; CHECK-NEXT: ret double [[RES]]
;
%add = fadd fast double %x, %y ; thwart complexity-based canonicalization
%sqrt = call fast double @llvm.sqrt.f64(double %add)
%rsqrt = fdiv fast double 1.0, %sqrt
%res = fmul reassoc double %add, %rsqrt
store double %rsqrt, double* %p
ret double %res
}
define double @sqrt_divisor_squared(double %x, double %y) {
; CHECK-LABEL: @sqrt_divisor_squared(
; CHECK-NEXT: [[TMP1:%.*]] = fmul reassoc nnan nsz double [[Y:%.*]], [[Y]]