llvm/test/Transforms/SimplifyCFG/pr39807.ll

   1 ; RUN: opt -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -hoist-common-insts=true < %s | FileCheck %s
   2
   3 declare void @personality()
   4
   5 define void @test(i1 %b) personality ptr @personality !dbg !1 {
   6 ; CHECK:      invoke void @inlinable()
   7 ; CHECK-NEXT:    to label %common.ret unwind label %failure, !dbg ![[DBGLOC:[0-9]+]]
   8     br i1 %b, label %if, label %else
   9
  10 if:
  11     invoke void @inlinable()
  12         to label %success unwind label %failure, !dbg !2
  13
  14 else:
  15     invoke void @inlinable()
  16         to label %success unwind label %failure, !dbg !8
  17
  18 success:
  19     ret void
  20
  21 failure:
  22     landingpad {}
  23         cleanup
  24     ret void
  25 }
  26
  27 define internal void @inlinable() !dbg !7 {
  28     ret void
  29 }
  30
  31 !llvm.dbg.cu = !{!0}
  32 !llvm.module.flags = !{!4, !5, !6}
  33
  34 ; CHECK: ![[DBGLOC]] = !DILocation(line: 0
  35 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, runtimeVersion: 0, file: !3)
  36 !1 = distinct !DISubprogram(name: "test", unit: !0)
  37 !2 = !DILocation(line: 2, scope: !1)
  38 !3 = !DIFile(filename: "foo", directory: ".")
  39 !4 = !{i32 2, !"Dwarf Version", i32 4}
  40 !5 = !{i32 2, !"Debug Info Version", i32 3}
  41 !6 = !{i32 1, !"wchar_size", i32 4}
  42 !7 = distinct !DISubprogram(name: "inlinable", unit: !0)
  43 !8 = !DILocation(line: 3, scope: !1)