blob: 68aadac1de44fd27d4de55799ebead5d77e87b3f [file] [log] [blame]
Reid Spencerea8b07e2007-03-23 20:48:34 +00001; This test makes sure that div instructions are properly eliminated.
2; This test is for Integer BitWidth < 64 && BitWidth % 2 != 0.
3;
Dan Gohman72a13d22009-09-08 22:34:10 +00004; RUN: opt < %s -instcombine -S | not grep div
Reid Spencerea8b07e2007-03-23 20:48:34 +00005
Reid Spencerea8b07e2007-03-23 20:48:34 +00006
7define i33 @test1(i33 %X) {
8 %Y = udiv i33 %X, 4096
9 ret i33 %Y
10}
11
12define i49 @test2(i49 %X) {
13 %tmp.0 = shl i49 4096, 17
14 %Y = udiv i49 %X, %tmp.0
15 ret i49 %Y
16}
17
Reid Spencer7e4bde72007-04-14 18:30:06 +000018define i59 @test3(i59 %X, i1 %C) {
Reid Spencer26f76222007-04-14 18:28:16 +000019 %V = select i1 %C, i59 1024, i59 4096
Reid Spencerea8b07e2007-03-23 20:48:34 +000020 %R = udiv i59 %X, %V
21 ret i59 %R
22}