test/DebugInfo/X86/dbg-value-terminator.ll

   1 ; RUN: llc -mtriple=x86_64-apple-macosx < %s -verify-machineinstrs | FileCheck %s
   2 ;
   3 ; PR16143: MachineOperand::setIsKill(bool): Assertion
   4 ;
   5 ; verify-machineinstrs should ensure that DEBUG_VALUEs go before the
   6 ; terminator.
   7 ;
   8 ; CHECK-LABEL: test:
   9 ; CHECK: ##DEBUG_VALUE: i
  10 %a = type { i32, i32 }
  11
  12 define hidden fastcc %a* @test() #1 {
  13 entry:
  14   %0 = icmp eq %a* undef, null, !dbg !12
  15   br i1 %0, label %"14", label %return, !dbg !12
  16
  17 "14":                                             ; preds = %"8"
  18   br i1 undef, label %"25", label %"21", !dbg !12
  19
  20 "21":                                             ; preds = %"14"
  21   br i1 undef, label %may_unswitch_on.exit, label %"6.i", !dbg !12
  22
  23 "6.i":                                            ; preds = %"21"
  24   br i1 undef, label %"10.i", label %may_unswitch_on.exit, !dbg !12
  25
  26 "10.i":                                           ; preds = %"6.i"
  27   br i1 undef, label %may_unswitch_on.exit, label %"12.i", !dbg !12
  28
  29 "12.i":                                           ; preds = %"10.i"
  30   br i1 undef, label %"4.i.i", label %"3.i.i", !dbg !12
  31
  32 "3.i.i":                                          ; preds = %"12.i"
  33   br i1 undef, label %"4.i.i", label %VEC_edge_base_index.exit.i, !dbg !12
  34
  35 "4.i.i":                                          ; preds = %"3.i.i", %"12.i"
  36   unreachable, !dbg !12
  37
  38 VEC_edge_base_index.exit.i:                       ; preds = %"3.i.i"
  39   br i1 undef, label %may_unswitch_on.exit, label %"16.i", !dbg !12
  40
  41 "16.i":                                           ; preds = %VEC_edge_base_index.exit.i
  42   br i1 undef, label %"4.i6.i", label %"3.i5.i", !dbg !12
  43
  44 "3.i5.i":                                         ; preds = %"16.i"
  45   br i1 undef, label %VEC_edge_base_index.exit7.i, label %"4.i6.i", !dbg !12
  46
  47 "4.i6.i":                                         ; preds = %"3.i5.i", %"16.i"
  48   unreachable, !dbg !12
  49
  50 VEC_edge_base_index.exit7.i:                      ; preds = %"3.i5.i"
  51   br i1 undef, label %may_unswitch_on.exit, label %"21.i", !dbg !12
  52
  53 "21.i":                                           ; preds = %VEC_edge_base_index.exit7.i
  54   br i1 undef, label %may_unswitch_on.exit, label %"23.i", !dbg !12
  55
  56 "23.i":                                           ; preds = %"21.i"
  57   br i1 undef, label %may_unswitch_on.exit, label %"26.i", !dbg !12
  58
  59 "26.i":                                           ; preds = %"34.i", %"23.i"
  60   %1 = icmp eq i32 undef, 9, !dbg !12
  61   br i1 %1, label %"34.i", label %"28.i", !dbg !12
  62
  63 "28.i":                                           ; preds = %"26.i"
  64   unreachable
  65
  66 "34.i":                                           ; preds = %"26.i"
  67   br i1 undef, label %"26.i", label %"36.i", !dbg !12
  68
  69 "36.i":                                           ; preds = %"34.i"
  70   br i1 undef, label %"37.i", label %"38.i", !dbg !12
  71
  72 "37.i":                                           ; preds = %"36.i"
  73   br label %"38.i", !dbg !12
  74
  75 "38.i":                                           ; preds = %"37.i", %"36.i"
  76   br i1 undef, label %"39.i", label %"45.i", !dbg !12
  77
  78 "39.i":                                           ; preds = %"38.i"
  79   br i1 undef, label %"41.i", label %may_unswitch_on.exit, !dbg !12
  80
  81 "41.i":                                           ; preds = %"39.i"
  82   br i1 undef, label %may_unswitch_on.exit, label %"42.i", !dbg !12
  83
  84 "42.i":                                           ; preds = %"41.i"
  85   br i1 undef, label %may_unswitch_on.exit, label %"44.i", !dbg !12
  86
  87 "44.i":                                           ; preds = %"42.i"
  88   %2 = load %a** undef, align 8, !dbg !12
  89   %3 = bitcast %a* %2 to %a*, !dbg !12
  90   call void @llvm.dbg.value(metadata %a* %3, i64 0, metadata !6, metadata !{!"0x102"}), !dbg !12
  91   br label %may_unswitch_on.exit, !dbg !12
  92
  93 "45.i":                                           ; preds = %"38.i"
  94   unreachable
  95
  96 may_unswitch_on.exit:                             ; preds = %"44.i", %"42.i", %"41.i", %"39.i", %"23.i", %"21.i", %VEC_edge_base_index.exit7.i, %VEC_edge_base_index.exit.i, %"10.i", %"6.i", %"21"
  97   %4 = phi %a* [ %3, %"44.i" ], [ null, %"6.i" ], [ null, %"10.i" ], [ null, %VEC_edge_base_index.exit7.i ], [ null, %VEC_edge_base_index.exit.i ], [ null, %"21.i" ], [ null, %"23.i" ], [ null, %"39.i" ], [ null, %"42.i" ], [ null, %"41.i" ], [ null, %"21" ]
  98   br label %return
  99
 100 "25":                                             ; preds = %"14"
 101   unreachable
 102
 103 "return":
 104   %result = phi %a* [ null, %entry ], [ %4, %may_unswitch_on.exit ]
 105   ret %a* %result, !dbg !12
 106 }
 107
 108 attributes #0 = { nounwind readnone }
 109 attributes #1 = { nounwind uwtable }
 110
 111 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
 112
 113 !llvm.dbg.cu = !{!0}
 114 !llvm.module.flags = !{!22}
 115
 116 !0 = !{!"0x11\0012\00Apple clang version\001\00\000\00\001", !20, !21, !21, !18, null,  null} ; [ DW_TAG_compile_unit ]
 117 !1 = !{!"0x2e\00foo\00\00\002\000\001\000\006\00256\001\000", !20, !2, !3, null, %a* ()* @test, null, null, !19} ; [ DW_TAG_subprogram ] [line 2] [def] [scope 0] [foo]
 118 !2 = !{!"0x29", !20} ; [ DW_TAG_file_type ]
 119 !3 = !{!"0x15\00\000\000\000\000\000\000", !20, !2, null, !4, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 120 !4 = !{!5}
 121 !5 = !{!"0x24\00int\000\0032\0032\000\000\005", null, !0} ; [ DW_TAG_base_type ]
 122 !6 = !{!"0x101\00i\0016777218\000", !1, !2, !5} ; [ DW_TAG_arg_variable ]
 123 !7 = !{!"0x101\00c\0033554434\000", !1, !2, !8} ; [ DW_TAG_arg_variable ]
 124 !8 = !{!"0xf\00\000\0064\0064\000\000", null, !0, !9} ; [ DW_TAG_pointer_type ]
 125 !9 = !{!"0x24\00char\000\008\008\000\000\006", null, !0} ; [ DW_TAG_base_type ]
 126 !10 = !{!"0x100\00a\003\000", !11, !2, !9} ; [ DW_TAG_auto_variable ]
 127 !11 = !{!"0xb\002\0025\000", !20, !1} ; [ DW_TAG_lexical_block ]
 128 !12 = !{i32 2, i32 13, !1, null}
 129 !18 = !{!1}
 130 !19 = !{!6, !7, !10}
 131 !20 = !{!"a.c", !"/private/tmp"}
 132 !21 = !{i32 0}
 133 !22 = !{i32 1, !"Debug Info Version", i32 2}