| ; RUN: opt < %s -passes=debugify,tailcallelim -S | FileCheck %s | |
| define i32 @foo() { | |
| entry: | |
| ; CHECK-LABEL: entry: | |
| ; CHECK: br label %tailrecurse{{$}} | |
| %ret = call i32 @foo() ;; line 1 | |
| ret i32 0 ;; line 2 | |
| ; CHECK-LABEL: tailrecurse: | |
| ; CHECK: select i1 {{.+}}, !dbg ![[DbgLoc2:[0-9]+]] | |
| ; CHECK: br label %tailrecurse, !dbg ![[DbgLoc1:[0-9]+]] | |
| } | |
| ;; Make sure tailrecurse has the call instruction's DL | |
| ; CHECK: ![[DbgLoc1]] = !DILocation(line: 1 | |
| ; CHECK: ![[DbgLoc2]] = !DILocation(line: 2 |