| ; 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, | |