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

[X86] Add some test coverage for Issue #55271 

We needed something that would delay the creation of the undef until after the rem-by-constant expansion, so I used a SSE shift of undef by zero which will expand to undef.
This commit is contained in:
Simon Pilgrim 2022-05-05 20:06:09 +01:00
parent dcb906757a
commit c2a5a87500
2 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
llvm/test/CodeGen/X86/combine-srem.ll
View File

@ -371,6 +371,18 @@ define <4 x i32> @combine_vec_srem_by_pow2b_neg(<4 x i32> %x) {
ret <4 x i32> %1 ret <4 x i32> %1
} }
; FIXME: PR55271 - srem(undef, 3) != undef
; Use PSLLI intrinsic to postpone the undef creation until after urem-by-constant expansion
define <4 x i32> @combine_vec_srem_undef_by_3(<4 x i32> %in) {
; CHECK-LABEL: combine_vec_srem_undef_by_3:
; CHECK: # %bb.0:
; CHECK-NEXT: retq
%x = call <4 x i32> @llvm.x86.sse2.pslli.d(<4 x i32> undef, i32 0)
%y = srem <4 x i32> %x, <i32 3, i32 3, i32 3, i32 3>
ret <4 x i32> %y
}
declare <4 x i32> @llvm.x86.sse2.pslli.d(<4 x i32>, i32)
; OSS-Fuzz #6883 ; OSS-Fuzz #6883
; https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=6883 ; https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=6883
define i32 @ossfuzz6883() { define i32 @ossfuzz6883() {

12
llvm/test/CodeGen/X86/combine-urem.ll
View File

@ -336,6 +336,18 @@ define <4 x i32> @combine_vec_urem_by_shl_pow2b(<4 x i32> %x, <4 x i32> %y) {
ret <4 x i32> %2 ret <4 x i32> %2
} }
; FIXME: PR55271 - urem(undef, 3) != undef
; Use PSLLI intrinsic to postpone the undef creation until after urem-by-constant expansion
define <4 x i32> @combine_vec_urem_undef_by_3(<4 x i32> %in) {
; CHECK-LABEL: combine_vec_urem_undef_by_3:
; CHECK: # %bb.0:
; CHECK-NEXT: retq
%x = call <4 x i32> @llvm.x86.sse2.pslli.d(<4 x i32> undef, i32 0)
%y = urem <4 x i32> %x, <i32 3, i32 3, i32 3, i32 3>
ret <4 x i32> %y
}
declare <4 x i32> @llvm.x86.sse2.pslli.d(<4 x i32>, i32)
define i1 @bool_urem(i1 %x, i1 %y) { define i1 @bool_urem(i1 %x, i1 %y) {
; CHECK-LABEL: bool_urem: ; CHECK-LABEL: bool_urem:
; CHECK: # %bb.0: ; CHECK: # %bb.0: