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

[InstSimplify] add tests for srem with sext bool divisor; NFC 

llvm-svn: 335609
This commit is contained in:
Sanjay Patel 2018-06-26 14:47:31 +00:00
parent a7f9e66cfd
commit 0e0dbebeed
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/InstSimplify/rem.ll
View File

@ -306,3 +306,26 @@ define i32 @rem10(i32 %x, i32 %y) {
%mod = urem i32 %shl, %x
ret i32 %mod
}
define i32 @srem_with_sext_bool_divisor(i1 %x, i32 %y) {
; CHECK-LABEL: @srem_with_sext_bool_divisor(
; CHECK-NEXT: [[S:%.*]] = sext i1 [[X:%.*]] to i32
; CHECK-NEXT: [[R:%.*]] = srem i32 [[Y:%.*]], [[S]]
; CHECK-NEXT: ret i32 [[R]]
;
%s = sext i1 %x to i32
%r = srem i32 %y, %s
ret i32 %r
}
define <2 x i32> @srem_with_sext_bool_divisor_vec(<2 x i1> %x, <2 x i32> %y) {
; CHECK-LABEL: @srem_with_sext_bool_divisor_vec(
; CHECK-NEXT: [[S:%.*]] = sext <2 x i1> [[X:%.*]] to <2 x i32>
; CHECK-NEXT: [[R:%.*]] = srem <2 x i32> [[Y:%.*]], [[S]]
; CHECK-NEXT: ret <2 x i32> [[R]]
;
%s = sext <2 x i1> %x to <2 x i32>
%r = srem <2 x i32> %y, %s
ret <2 x i32> %r
}