1; This test makes sure that div instructions are properly eliminated.
2; This test is for Integer BitWidth >= 64 && BitWidth <= 1024.
3;
4; RUN: opt < %s -instcombine -S | not grep div
5
6
7define i333 @test1(i333 %X) {
8    %Y = udiv i333 %X, 70368744177664
9    ret i333 %Y
10}
11
12define i499 @test2(i499 %X) {
13    %tmp.0 = shl i499 4096, 197
14    %Y = udiv i499 %X, %tmp.0
15    ret i499 %Y
16}
17
18define i599 @test3(i599 %X, i1 %C) {
19        %V = select i1 %C, i599 70368744177664, i599 4096
20        %R = udiv i599 %X, %V
21        ret i599 %R
22}
23