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
7define i33 @test1(i33 %A) {
8    %B = urem i33 %A, 4096
9    ret i33 %B
10}
11
12define i49 @test2(i49 %A) {
13    %B = shl i49 4096, 11
14    %Y = urem i49 %A, %B
15    ret i49 %Y
16}
17
18define 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}
23