| Eli Friedman | a81a82d | 2011-03-09 01:28:35 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 2 | ; PR9346 | ||||
| 3 | |||||
| 4 | define i32 @test(i64 %x) nounwind { | ||||
| 5 | ; CHECK: ret i32 0 | ||||
| 6 | entry: | ||||
| 7 | %or = or i64 %x, 4294967294 | ||||
| 8 | %conv = trunc i64 %or to i32 | ||||
| 9 | %rem.i = srem i32 %conv, -1 | ||||
| 10 | ret i32 %rem.i | ||||
| 11 | } | ||||
| 12 | |||||