aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/InstCombine/udiv-simplify-bug-1.ll
blob: 6e76bcfd75336458023be694e4860f0654e699a1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
; RUN: llvm-as < %s | opt -instcombine | llvm-dis > %t1.ll
; RUN: grep udiv %t1.ll | count 3
; RUN: grep zext %t1.ll | count 3
; PR2274

; The udiv instructions shouldn't be optimized away, and the
; sext instructions should be optimized to zext.

define i64 @foo(i32 %x) nounwind {
  %r = udiv i32 %x, -1
  %z = sext i32 %r to i64
  ret i64 %z
}
define i64 @bar(i32 %x) nounwind {
  %y = lshr i32 %x, 30
  %r = udiv i32 %y, 3
  %z = sext i32 %r to i64
  ret i64 %z
}
define i64 @qux(i32 %x, i32 %v) nounwind {
  %y = lshr i32 %x, 31
  %r = udiv i32 %y, %v
  %z = sext i32 %r to i64
  ret i64 %z
}