| ; 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 |
| } |