| David Majnemer | 63da0c2 | 2017-01-06 22:58:02 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -instsimplify -S | FileCheck %s |
| 2 | |||||
| 3 | declare i32 @external() | ||||
| 4 | |||||
| 5 | define i32 @div1() { | ||||
| 6 | ; CHECK-LABEL: @div1( | ||||
| 7 | ; CHECK: [[CALL:%.*]] = call i32 @external(), !range !0 | ||||
| 8 | ; CHECK-NEXT: ret i32 0 | ||||
| 9 | ; | ||||
| 10 | %call = call i32 @external(), !range !0 | ||||
| 11 | %urem = udiv i32 %call, 3 | ||||
| 12 | ret i32 %urem | ||||
| 13 | } | ||||
| 14 | |||||
| 15 | !0 = !{i32 0, i32 3} | ||||