[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / apint-rem2.ll
blob9bfc4cde9521c706c7b74cdb6601ce82499ee98f
1 ; This test makes sure that these instructions are properly eliminated.
2 ; This test is for Integer BitWidth >= 64 && BitWidth <= 1024.
4 ; RUN: opt < %s -instcombine -S | not grep rem
7 define i333 @test1(i333 %A) {
8     %B = urem i333 %A, 70368744177664
9     ret i333 %B
12 define i499 @test2(i499 %A) {
13     %B = shl i499 4096, 111
14     %Y = urem i499 %A, %B
15     ret i499 %Y
18 define i599 @test3(i599 %X, i1 %C) {
19         %V = select i1 %C, i599 70368744177664, i599 4096
20         %R = urem i599 %X, %V
21         ret i599 %R