[llvm-bugs] [Bug 39807] New: SimplifyCFG may drop debugloc on invokes

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=39807

            Bug ID: 39807
           Summary: SimplifyCFG may drop debugloc on invokes
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: nikita.ppv at gmail.com
                CC: llvm-bugs at lists.llvm.org

Running the following LLVM IR under opt -S -simplifycfg results in a verifier
error:

inlinable function call in a function with debug info must have a !dbg location
  invoke void @inlinable()
          to label %success unwind label %failure

This issue affects Rust, ref https://github.com/rust-lang/rust/issues/56265.

Suspected cause is https://reviews.llvm.org/D53390, but I haven't verified this
yet.

-----

declare void @personality() 

define void @test(i1 %b) personality void()* @personality !dbg !1 {
    br i1 %b, label %if, label %else

if:
    invoke void @inlinable()
        to label %success unwind label %failure, !dbg !2

else:
    invoke void @inlinable()
        to label %success unwind label %failure, !dbg !2

success:
    ret void 

failure:
    landingpad {}
        cleanup
    ret void 
}   

define internal void @inlinable() !dbg !7 {
    ret void 
}

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!4, !5, !6}

!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, runtimeVersion: 0,
file: !3)
!1 = distinct !DISubprogram(name: "test", unit: !0)
!2 = !DILocation(line: 2, scope: !1)
!3 = !DIFile(filename: "foo", directory: ".")
!4 = !{i32 2, !"Dwarf Version", i32 4}
!5 = !{i32 2, !"Debug Info Version", i32 3}
!6 = !{i32 1, !"wchar_size", i32 4}
!7 = distinct !DISubprogram(name: "inlinable", unit: !0)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20181127/b11dadf4/attachment.html>