test/Transforms/InstCombine/apint-div2.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

; This test makes sure that div instructions are properly eliminated.
; This test is for Integer BitWidth >= 64 && BitWidth <= 1024.
;

; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep div

implementation

define i333 @test1(i333 %X) {
    %Y = udiv i333 %X, 70368744177664
    ret i333 %Y
}

define i499 @test2(i499 %X) {
    %tmp.0 = shl i499 4096, 197
    %Y = udiv i499 %X, %tmp.0
    ret i499 %Y
}

define i599 @test3(i599 %X, bool %C) {
        %V = select bool %C, i599 70368744177664, i599 4096
        %R = udiv i599 %X, %V
        ret i599 %R
}