OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

[InstCombine] Precommit tests for smul_with_overflow. nfc

This commit is contained in:
Chenbing Zheng 2022-09-05 10:41:58 +08:00
parent 595c4a3c05
commit 3e84a955a3
1 changed files with 64 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

68
llvm/test/Transforms/InstCombine/with_overflow.ll
View File

@ -964,15 +964,75 @@ define i8 @umul_3(i8 %x, i1* %p) {
ret i8 %r
}
define i8 @smul_2(i8 %x, i1* %p) {
; CHECK-LABEL: @smul_2(
; CHECK-NEXT: [[M:%.*]] = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 [[X:%.*]], i8 2)
define i8 @smul_4(i8 %x, i1* %p) {
; CHECK-LABEL: @smul_4(
; CHECK-NEXT: [[M:%.*]] = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 [[X:%.*]], i8 4)
; CHECK-NEXT: [[R:%.*]] = extractvalue { i8, i1 } [[M]], 0
; CHECK-NEXT: [[OV:%.*]] = extractvalue { i8, i1 } [[M]], 1
; CHECK-NEXT: store i1 [[OV]], i1* [[P:%.*]], align 1
; CHECK-NEXT: ret i8 [[R]]
;
%m = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %x, i8 2)
%m = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %x, i8 4)
%r = extractvalue { i8, i1 } %m, 0
%ov = extractvalue { i8, i1 } %m, 1
store i1 %ov, i1* %p
ret i8 %r
}
define i8 @smul_16(i8 %x, i1* %p) {
; CHECK-LABEL: @smul_16(
; CHECK-NEXT: [[M:%.*]] = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 [[X:%.*]], i8 16)
; CHECK-NEXT: [[R:%.*]] = extractvalue { i8, i1 } [[M]], 0
; CHECK-NEXT: [[OV:%.*]] = extractvalue { i8, i1 } [[M]], 1
; CHECK-NEXT: store i1 [[OV]], i1* [[P:%.*]], align 1
; CHECK-NEXT: ret i8 [[R]]
;
%m = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %x, i8 16)
%r = extractvalue { i8, i1 } %m, 0
%ov = extractvalue { i8, i1 } %m, 1
store i1 %ov, i1* %p
ret i8 %r
}
define i8 @smul_32(i8 %x, i1* %p) {
; CHECK-LABEL: @smul_32(
; CHECK-NEXT: [[M:%.*]] = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 [[X:%.*]], i8 32)
; CHECK-NEXT: [[R:%.*]] = extractvalue { i8, i1 } [[M]], 0
; CHECK-NEXT: [[OV:%.*]] = extractvalue { i8, i1 } [[M]], 1
; CHECK-NEXT: store i1 [[OV]], i1* [[P:%.*]], align 1
; CHECK-NEXT: ret i8 [[R]]
;
%m = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %x, i8 32)
%r = extractvalue { i8, i1 } %m, 0
%ov = extractvalue { i8, i1 } %m, 1
store i1 %ov, i1* %p
ret i8 %r
}
define i8 @smul_128(i8 %x, i1* %p) {
; CHECK-LABEL: @smul_128(
; CHECK-NEXT: [[M:%.*]] = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 [[X:%.*]], i8 -128)
; CHECK-NEXT: [[R:%.*]] = extractvalue { i8, i1 } [[M]], 0
; CHECK-NEXT: [[OV:%.*]] = extractvalue { i8, i1 } [[M]], 1
; CHECK-NEXT: store i1 [[OV]], i1* [[P:%.*]], align 1
; CHECK-NEXT: ret i8 [[R]]
;
%m = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %x, i8 128)
%r = extractvalue { i8, i1 } %m, 0
%ov = extractvalue { i8, i1 } %m, 1
store i1 %ov, i1* %p
ret i8 %r
}
define i8 @smul_7(i8 %x, i1* %p) {
; CHECK-LABEL: @smul_7(
; CHECK-NEXT: [[M:%.*]] = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 [[X:%.*]], i8 7)
; CHECK-NEXT: [[R:%.*]] = extractvalue { i8, i1 } [[M]], 0
; CHECK-NEXT: [[OV:%.*]] = extractvalue { i8, i1 } [[M]], 1
; CHECK-NEXT: store i1 [[OV]], i1* [[P:%.*]], align 1
; CHECK-NEXT: ret i8 [[R]]
;
%m = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %x, i8 7)
%r = extractvalue { i8, i1 } %m, 0
%ov = extractvalue { i8, i1 } %m, 1
store i1 %ov, i1* %p