1; RUN: opt < %s -instsimplify -S | FileCheck %s
2
3declare i32 @external()
4
5define 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}
16