[llvm] r367069 - [InstCombine] add tests for lerp patterns (PR42716); NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Jul 25 15:25:21 PDT 2019
Author: spatel
Date: Thu Jul 25 15:25:21 2019
New Revision: 367069
URL: http://llvm.org/viewvc/llvm-project?rev=367069&view=rev
Log:
[InstCombine] add tests for lerp patterns (PR42716); NFC
Modified:
llvm/trunk/test/Transforms/InstCombine/fadd-fsub-factor.ll
Modified: llvm/trunk/test/Transforms/InstCombine/fadd-fsub-factor.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/fadd-fsub-factor.ll?rev=367069&r1=367068&r2=367069&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/fadd-fsub-factor.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/fadd-fsub-factor.ll Thu Jul 25 15:25:21 2019
@@ -471,3 +471,173 @@ define float @fdiv_fsub_denorm(float %x)
ret float %r
}
+define float @lerp_commute0(float %a, float %b, float %c) {
+; CHECK-LABEL: @lerp_commute0(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast float 1.000000e+00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul fast float [[C]], [[B:%.*]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast float [[MUL]], [[BC]]
+; CHECK-NEXT: ret float [[ADD]]
+;
+ %sub = fsub fast float 1.0, %c
+ %mul = fmul fast float %sub, %a
+ %bc = fmul fast float %c, %b
+ %add = fadd fast float %mul, %bc
+ ret float %add
+}
+
+define <2 x float> @lerp_commute1(<2 x float> %a, <2 x float> %b, <2 x float> %c) {
+; CHECK-LABEL: @lerp_commute1(
+; CHECK-NEXT: [[SUB:%.*]] = fsub <2 x float> <float 1.000000e+00, float 1.000000e+00>, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul <2 x float> [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul <2 x float> [[C]], [[B:%.*]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast <2 x float> [[BC]], [[MUL]]
+; CHECK-NEXT: ret <2 x float> [[ADD]]
+;
+ %sub = fsub <2 x float> <float 1.0, float 1.0>, %c
+ %mul = fmul <2 x float> %sub, %a
+ %bc = fmul <2 x float> %c, %b
+ %add = fadd fast <2 x float> %bc, %mul
+ ret <2 x float> %add
+}
+
+define float @lerp_commute2(float %a, float %b, float %c) {
+; CHECK-LABEL: @lerp_commute2(
+; CHECK-NEXT: [[SUB:%.*]] = fsub float 1.000000e+00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul float [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul float [[B:%.*]], [[C]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd reassoc nsz float [[MUL]], [[BC]]
+; CHECK-NEXT: ret float [[ADD]]
+;
+ %sub = fsub float 1.0, %c
+ %mul = fmul float %sub, %a
+ %bc = fmul float %b, %c
+ %add = fadd reassoc nsz float %mul, %bc
+ ret float %add
+}
+
+define float @lerp_commute3(float %a, float %b, float %c) {
+; CHECK-LABEL: @lerp_commute3(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast float 1.000000e+00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul float [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul float [[B:%.*]], [[C]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd reassoc ninf nsz float [[BC]], [[MUL]]
+; CHECK-NEXT: ret float [[ADD]]
+;
+ %sub = fsub fast float 1.0, %c
+ %mul = fmul float %sub, %a
+ %bc = fmul float %b, %c
+ %add = fadd reassoc nsz ninf float %bc, %mul
+ ret float %add
+}
+
+define double @lerp_commute4(double %a, double %b, double %c) {
+; CHECK-LABEL: @lerp_commute4(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast double 1.000000e+00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul fast double [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul fast double [[C]], [[B:%.*]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast double [[MUL]], [[BC]]
+; CHECK-NEXT: ret double [[ADD]]
+;
+ %sub = fsub fast double 1.0, %c
+ %mul = fmul fast double %a, %sub
+ %bc = fmul fast double %c, %b
+ %add = fadd fast double %mul, %bc
+ ret double %add
+}
+
+define double @lerp_commute5(double %a, double %b, double %c) {
+; CHECK-LABEL: @lerp_commute5(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast double 1.000000e+00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul fast double [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul fast double [[C]], [[B:%.*]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast double [[BC]], [[MUL]]
+; CHECK-NEXT: ret double [[ADD]]
+;
+ %sub = fsub fast double 1.0, %c
+ %mul = fmul fast double %a, %sub
+ %bc = fmul fast double %c, %b
+ %add = fadd fast double %bc, %mul
+ ret double %add
+}
+
+define half @lerp_commute6(half %a, half %b, half %c) {
+; CHECK-LABEL: @lerp_commute6(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast half 0xH3C00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul fast half [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul fast half [[B:%.*]], [[C]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast half [[MUL]], [[BC]]
+; CHECK-NEXT: ret half [[ADD]]
+;
+ %sub = fsub fast half 1.0, %c
+ %mul = fmul fast half %a, %sub
+ %bc = fmul fast half %b, %c
+ %add = fadd fast half %mul, %bc
+ ret half %add
+}
+
+define half @lerp_commute7(half %a, half %b, half %c) {
+; CHECK-LABEL: @lerp_commute7(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast half 0xH3C00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul fast half [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul fast half [[B:%.*]], [[C]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast half [[BC]], [[MUL]]
+; CHECK-NEXT: ret half [[ADD]]
+;
+ %sub = fsub fast half 1.0, %c
+ %mul = fmul fast half %a, %sub
+ %bc = fmul fast half %b, %c
+ %add = fadd fast half %bc, %mul
+ ret half %add
+}
+
+define float @lerp_extra_use1(float %a, float %b, float %c) {
+; CHECK-LABEL: @lerp_extra_use1(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast float 1.000000e+00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul fast float [[B:%.*]], [[C]]
+; CHECK-NEXT: call void @use(float [[BC]])
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast float [[BC]], [[MUL]]
+; CHECK-NEXT: ret float [[ADD]]
+;
+ %sub = fsub fast float 1.0, %c
+ %mul = fmul fast float %a, %sub
+ %bc = fmul fast float %b, %c
+ call void @use(float %bc)
+ %add = fadd fast float %bc, %mul
+ ret float %add
+}
+
+define float @lerp_extra_use2(float %a, float %b, float %c) {
+; CHECK-LABEL: @lerp_extra_use2(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast float 1.000000e+00, [[C:%.*]]
+; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[SUB]], [[A:%.*]]
+; CHECK-NEXT: call void @use(float [[MUL]])
+; CHECK-NEXT: [[BC:%.*]] = fmul fast float [[B:%.*]], [[C]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast float [[BC]], [[MUL]]
+; CHECK-NEXT: ret float [[ADD]]
+;
+ %sub = fsub fast float 1.0, %c
+ %mul = fmul fast float %a, %sub
+ call void @use(float %mul)
+ %bc = fmul fast float %b, %c
+ %add = fadd fast float %bc, %mul
+ ret float %add
+}
+
+define float @lerp_extra_use3(float %a, float %b, float %c) {
+; CHECK-LABEL: @lerp_extra_use3(
+; CHECK-NEXT: [[SUB:%.*]] = fsub fast float 1.000000e+00, [[C:%.*]]
+; CHECK-NEXT: call void @use(float [[SUB]])
+; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[SUB]], [[A:%.*]]
+; CHECK-NEXT: [[BC:%.*]] = fmul fast float [[B:%.*]], [[C]]
+; CHECK-NEXT: [[ADD:%.*]] = fadd fast float [[BC]], [[MUL]]
+; CHECK-NEXT: ret float [[ADD]]
+;
+ %sub = fsub fast float 1.0, %c
+ call void @use(float %sub)
+ %mul = fmul fast float %a, %sub
+ %bc = fmul fast float %b, %c
+ %add = fadd fast float %bc, %mul
+ ret float %add
+}
More information about the llvm-commits
mailing list