; RUN: opt -S -passes=debugify,jump-threading < %s | FileCheck %s
; Tests Bug 37966

define void @test0(i32 %i) {
; CHECK-LABEL: @test0(
; CHECK: left:
; CHECK: br label %left, !dbg ![[DBG0:[0-9]+]]
 entry:
  %c0 = icmp ult i32 %i, 5
  br i1 %c0, label %left, label %right

 left:
  br i1 %c0, label %left, label %right ; "line 3" to -debugify

 right:
  ret void
}

define void @test1(i32 %i, i32 %len) {
; CHECK-LABEL: @test1(
; CHECK: left:
; CHECK: br label %right, !dbg ![[DBG1:[0-9]+]]
 entry:
  %i.inc = add nuw i32 %i, 1
  %c0 = icmp ult i32 %i.inc, %len
  br i1 %c0, label %left, label %right

 left:
  %c1 = icmp ult i32 %i, %len
  br i1 %c1, label %right, label %left0 ; "line 9" to -debugify

 left0:
  ret void

 right:
  ret void
}

; CHECK-DAG: ![[DBG0]] = !DILocation(line: 3,
; CHECK-DAG: ![[DBG1]] = !DILocation(line: 9,