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

[GVN] add tests for >2 arg commutable intrinsics; NFC

This commit is contained in:
Sanjay Patel 2020-09-03 09:27:16 -04:00
parent db367ff2d8
commit 4013cfd34d
2 changed files with 89 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
llvm/test/Transforms/GVN/commute.ll
View File

@ -67,3 +67,47 @@ if.end:
%umul = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %x, i32 %y) %umul = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %x, i32 %y)
ret { i32, i1 } %umul ret { i32, i1 } %umul
} }
declare i16 @llvm.smul.fix.i16(i16, i16, i32)
declare i16 @llvm.umul.fix.i16(i16, i16, i32)
define i16 @intrinsic_3_args(i16 %x, i16 %y) {
; CHECK-LABEL: @intrinsic_3_args(
; CHECK-NEXT: [[M1:%.*]] = call i16 @llvm.smul.fix.i16(i16 [[X:%.*]], i16 [[Y:%.*]], i32 1)
; CHECK-NEXT: [[M2:%.*]] = call i16 @llvm.smul.fix.i16(i16 [[Y]], i16 [[X]], i32 1)
; CHECK-NEXT: [[R:%.*]] = sub i16 [[M1]], [[M2]]
; CHECK-NEXT: ret i16 [[R]]
;
%m1 = call i16 @llvm.smul.fix.i16(i16 %x, i16 %y, i32 1)
%m2 = call i16 @llvm.smul.fix.i16(i16 %y, i16 %x, i32 1)
%r = sub i16 %m1, %m2
ret i16 %r
}
define i16 @intrinsic_3_args_not_same(i16 %x, i16 %y) {
; CHECK-LABEL: @intrinsic_3_args_not_same(
; CHECK-NEXT: [[M1:%.*]] = call i16 @llvm.umul.fix.i16(i16 [[X:%.*]], i16 [[Y:%.*]], i32 2)
; CHECK-NEXT: [[M2:%.*]] = call i16 @llvm.umul.fix.i16(i16 [[Y]], i16 [[X]], i32 1)
; CHECK-NEXT: [[R:%.*]] = sub i16 [[M1]], [[M2]]
; CHECK-NEXT: ret i16 [[R]]
;
%m1 = call i16 @llvm.umul.fix.i16(i16 %x, i16 %y, i32 2)
%m2 = call i16 @llvm.umul.fix.i16(i16 %y, i16 %x, i32 1)
%r = sub i16 %m1, %m2
ret i16 %r
}
declare float @llvm.fma.f32(float, float, float)
define float @fma(float %x, float %y) {
; CHECK-LABEL: @fma(
; CHECK-NEXT: [[M1:%.*]] = call float @llvm.fma.f32(float [[X:%.*]], float [[Y:%.*]], float 1.000000e+00)
; CHECK-NEXT: [[M2:%.*]] = call float @llvm.fma.f32(float [[Y]], float [[X]], float 1.000000e+00)
; CHECK-NEXT: [[R:%.*]] = fdiv nnan float [[M1]], [[M2]]
; CHECK-NEXT: ret float [[R]]
;
%m1 = call float @llvm.fma.f32(float %x, float %y, float 1.0)
%m2 = call float @llvm.fma.f32(float %y, float %x, float 1.0)
%r = fdiv nnan float %m1, %m2
ret float %r
}

46
llvm/test/Transforms/NewGVN/commute.ll
View File

@ -29,6 +29,8 @@ define void @cmp(i32 %x, i32 %y) {
ret void ret void
} }
declare i32 @llvm.smax.i32(i32, i32)
define void @intrinsic(i32 %x, i32 %y) { define void @intrinsic(i32 %x, i32 %y) {
; CHECK-LABEL: @intrinsic( ; CHECK-LABEL: @intrinsic(
; CHECK-NEXT: [[M1:%.*]] = call i32 @llvm.smax.i32(i32 [[X:%.*]], i32 [[Y:%.*]]) ; CHECK-NEXT: [[M1:%.*]] = call i32 @llvm.smax.i32(i32 [[X:%.*]], i32 [[Y:%.*]])
@ -42,4 +44,46 @@ define void @intrinsic(i32 %x, i32 %y) {
ret void ret void
} }
declare i32 @llvm.smax.i32(i32, i32) declare i16 @llvm.smul.fix.i16(i16, i16, i32)
declare i16 @llvm.umul.fix.i16(i16, i16, i32)
define i16 @intrinsic_3_args(i16 %x, i16 %y) {
; CHECK-LABEL: @intrinsic_3_args(
; CHECK-NEXT: [[M1:%.*]] = call i16 @llvm.smul.fix.i16(i16 [[X:%.*]], i16 [[Y:%.*]], i32 1)
; CHECK-NEXT: [[M2:%.*]] = call i16 @llvm.smul.fix.i16(i16 [[Y]], i16 [[X]], i32 1)
; CHECK-NEXT: [[R:%.*]] = sub i16 [[M1]], [[M2]]
; CHECK-NEXT: ret i16 [[R]]
;
%m1 = call i16 @llvm.smul.fix.i16(i16 %x, i16 %y, i32 1)
%m2 = call i16 @llvm.smul.fix.i16(i16 %y, i16 %x, i32 1)
%r = sub i16 %m1, %m2
ret i16 %r
}
define i16 @intrinsic_3_args_not_same(i16 %x, i16 %y) {
; CHECK-LABEL: @intrinsic_3_args_not_same(
; CHECK-NEXT: [[M1:%.*]] = call i16 @llvm.umul.fix.i16(i16 [[X:%.*]], i16 [[Y:%.*]], i32 2)
; CHECK-NEXT: [[M2:%.*]] = call i16 @llvm.umul.fix.i16(i16 [[Y]], i16 [[X]], i32 1)
; CHECK-NEXT: [[R:%.*]] = sub i16 [[M1]], [[M2]]
; CHECK-NEXT: ret i16 [[R]]
;
%m1 = call i16 @llvm.umul.fix.i16(i16 %x, i16 %y, i32 2)
%m2 = call i16 @llvm.umul.fix.i16(i16 %y, i16 %x, i32 1)
%r = sub i16 %m1, %m2
ret i16 %r
}
declare float @llvm.fma.f32(float, float, float)
define float @fma(float %x, float %y) {
; CHECK-LABEL: @fma(
; CHECK-NEXT: [[M1:%.*]] = call float @llvm.fma.f32(float [[X:%.*]], float [[Y:%.*]], float 1.000000e+00)
; CHECK-NEXT: [[M2:%.*]] = call float @llvm.fma.f32(float [[Y]], float [[X]], float 1.000000e+00)
; CHECK-NEXT: [[R:%.*]] = fdiv nnan float [[M1]], [[M2]]
; CHECK-NEXT: ret float [[R]]
;
%m1 = call float @llvm.fma.f32(float %x, float %y, float 1.0)
%m2 = call float @llvm.fma.f32(float %y, float %x, float 1.0)
%r = fdiv nnan float %m1, %m2
ret float %r
}