; RUN: opt < %s -instsimplify -S | FileCheck %s

declare i32 @external()

define i32 @div1() {
; CHECK-LABEL: @div1(
; CHECK:         [[CALL:%.*]] = call i32 @external(), !range !0
; CHECK-NEXT:    ret i32 0
;
  %call = call i32 @external(), !range !0
  %urem = udiv i32 %call, 3
  ret i32 %urem
}

!0 = !{i32 0, i32 3}