Verifier: Call verifyModule() from llc and opt
[oota-llvm.git] / test / Transforms / InstCombine / apint-rem1.ll
1 ; This test makes sure that these instructions are properly eliminated.
2 ; This test is for Integer BitWidth < 64 && BitWidth % 2 != 0.
3 ;
4 ; RUN: opt < %s -instcombine -S | not grep rem
5
6
7 define i33 @test1(i33 %A) {
8     %B = urem i33 %A, 4096
9     ret i33 %B
10 }
11
12 define i49 @test2(i49 %A) {
13     %B = shl i49 4096, 11
14     %Y = urem i49 %A, %B
15     ret i49 %Y
16 }
17
18 define i59 @test3(i59 %X, i1 %C) {
19         %V = select i1 %C, i59 70368744177664, i59 4096
20         %R = urem i59 %X, %V
21         ret i59 %R
22 }