llvm/test/DebugInfo/X86/debug-info-jump-table.ll

   1 ; REQUIRES: asserts
   2 ; RUN: llc -debug-only=isel %s -o /dev/null 2>&1 | FileCheck --match-full-lines %s
   3
   4 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 @str = private unnamed_addr constant [2 x i8] c"1\00", align 1
   8 @str.12 = private unnamed_addr constant [2 x i8] c"2\00", align 1
   9 @str.13 = private unnamed_addr constant [2 x i8] c"3\00", align 1
  10 @str.14 = private unnamed_addr constant [2 x i8] c"4\00", align 1
  11 @str.15 = private unnamed_addr constant [2 x i8] c"5\00", align 1
  12 @str.16 = private unnamed_addr constant [2 x i8] c"6\00", align 1
  13 @str.17 = private unnamed_addr constant [2 x i8] c"7\00", align 1
  14 @str.18 = private unnamed_addr constant [2 x i8] c"8\00", align 1
  15 @str.19 = private unnamed_addr constant [2 x i8] c"9\00", align 1
  16 @str.20 = private unnamed_addr constant [3 x i8] c"10\00", align 1
  17 @str.21 = private unnamed_addr constant [3 x i8] c"11\00", align 1
  18 @str.22 = private unnamed_addr constant [3 x i8] c"12\00", align 1
  19
  20
  21
  22 ; Function Attrs: nofree nounwind uwtable
  23 define dso_local void @foo(i32 noundef %cond) local_unnamed_addr #0 !dbg !42 {
  24 ;CHECK: Initial selection DAG: %bb.{{[0-9]+}} 'foo:entry'
  25 ;CHECK: SelectionDAG has 5 nodes:
  26 ;CHECK:     [[TMP1:t.*]]: ch,glue = EntryToken
  27 ;CHECK:   [[TMP2:t.*]]: i64,ch = CopyFromReg [[TMP1]], Register:i64 %{{[0-9]+}}, jump_table.c:4:3
  28 ;CHECK:   t{{[0-9]+}}: ch = br_jt [[TMP2]]:1, JumpTable:i64<0>, [[TMP2]], jump_table.c:4:3
  29
  30 entry:
  31   call void @llvm.dbg.value(metadata i32 %cond, metadata !47, metadata !DIExpression()), !dbg !48
  32   switch i32 %cond, label %sw.epilog [
  33     i32 1, label %sw.bb
  34     i32 2, label %sw.bb1
  35     i32 3, label %sw.bb3
  36     i32 4, label %sw.bb5
  37     i32 5, label %sw.bb7
  38     i32 6, label %sw.bb9
  39     i32 7, label %sw.bb11
  40     i32 8, label %sw.bb13
  41     i32 9, label %sw.bb15
  42     i32 10, label %sw.bb17
  43     i32 11, label %sw.bb19
  44     i32 12, label %sw.bb21
  45   ], !dbg !49
  46
  47 sw.bb:                                            ; preds = %entry
  48   %puts = tail call i32 @puts(ptr nonnull dereferenceable(1) @str), !dbg !50
  49   br label %sw.bb1, !dbg !50
  50
  51 sw.bb1:                                           ; preds = %entry, %sw.bb
  52   %puts23 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.12), !dbg !52
  53   br label %sw.bb3, !dbg !52
  54
  55 sw.bb3:                                           ; preds = %entry, %sw.bb1
  56   %puts24 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.13), !dbg !53
  57   br label %sw.bb5, !dbg !53
  58
  59 sw.bb5:                                           ; preds = %entry, %sw.bb3
  60   %puts25 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.14), !dbg !54
  61   br label %sw.bb7, !dbg !54
  62
  63 sw.bb7:                                           ; preds = %entry, %sw.bb5
  64   %puts26 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.15), !dbg !55
  65   br label %sw.bb9, !dbg !55
  66
  67 sw.bb9:                                           ; preds = %entry, %sw.bb7
  68   %puts27 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.16), !dbg !56
  69   br label %sw.bb11, !dbg !56
  70
  71 sw.bb11:                                          ; preds = %entry, %sw.bb9
  72   %puts28 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.17), !dbg !57
  73   br label %sw.bb13, !dbg !57
  74
  75 sw.bb13:                                          ; preds = %entry, %sw.bb11
  76   %puts29 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.18), !dbg !58
  77   br label %sw.bb15, !dbg !58
  78
  79 sw.bb15:                                          ; preds = %entry, %sw.bb13
  80   %puts30 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.19), !dbg !59
  81   br label %sw.bb17, !dbg !59
  82
  83 sw.bb17:                                          ; preds = %entry, %sw.bb15
  84   %puts31 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.20), !dbg !60
  85   br label %sw.bb19, !dbg !60
  86
  87 sw.bb19:                                          ; preds = %entry, %sw.bb17
  88   %puts32 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.21), !dbg !61
  89   br label %sw.bb21, !dbg !61
  90
  91 sw.bb21:                                          ; preds = %entry, %sw.bb19
  92   %puts33 = tail call i32 @puts(ptr nonnull dereferenceable(1) @str.22), !dbg !62
  93   ret void, !dbg !63
  94
  95 sw.epilog:                                        ; preds = %entry
  96   ret void, !dbg !63
  97 }
  98
  99 ; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
 100 declare void @llvm.dbg.value(metadata, metadata, metadata) #1
 101
 102 ; Function Attrs: nofree nounwind
 103 declare noundef i32 @puts(ptr nocapture noundef readonly) local_unnamed_addr #2
 104
 105 attributes #0 = { nofree nounwind uwtable }
 106 attributes #1 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
 107 attributes #2 = { nofree nounwind }
 108
 109 !llvm.dbg.cu = !{!0}
 110 !llvm.module.flags = !{!34, !35, !36, !37, !38, !39, !40}
 111 !llvm.ident = !{!41}
 112
 113 !0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang version 18.0.0 (https://github.com/llvm/llvm-project.git 24cf476bd6d144b9fa28325b4d16e3c9dbfc4d4f)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, globals: !2, splitDebugInlining: false, nameTableKind: None)
 114 !1 = !DIFile(filename: "jump_table.c", directory: "/export/compilers/llvm-project", checksumkind: CSK_MD5, checksum: "0847b70de02e07499cd0177d1bdc6dae")
 115 !2 = !{!3, !9, !11, !13, !15, !17, !19, !21, !23, !25, !30, !32}
 116 !3 = !DIGlobalVariableExpression(var: !4, expr: !DIExpression())
 117 !4 = distinct !DIGlobalVariable(scope: null, file: !1, line: 6, type: !5, isLocal: true, isDefinition: true)
 118 !5 = !DICompositeType(tag: DW_TAG_array_type, baseType: !6, size: 24, elements: !7)
 119 !6 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
 120 !7 = !{!8}
 121 !8 = !DISubrange(count: 3)
 122 !9 = !DIGlobalVariableExpression(var: !10, expr: !DIExpression())
 123 !10 = distinct !DIGlobalVariable(scope: null, file: !1, line: 8, type: !5, isLocal: true, isDefinition: true)
 124 !11 = !DIGlobalVariableExpression(var: !12, expr: !DIExpression())
 125 !12 = distinct !DIGlobalVariable(scope: null, file: !1, line: 10, type: !5, isLocal: true, isDefinition: true)
 126 !13 = !DIGlobalVariableExpression(var: !14, expr: !DIExpression())
 127 !14 = distinct !DIGlobalVariable(scope: null, file: !1, line: 12, type: !5, isLocal: true, isDefinition: true)
 128 !15 = !DIGlobalVariableExpression(var: !16, expr: !DIExpression())
 129 !16 = distinct !DIGlobalVariable(scope: null, file: !1, line: 14, type: !5, isLocal: true, isDefinition: true)
 130 !17 = !DIGlobalVariableExpression(var: !18, expr: !DIExpression())
 131 !18 = distinct !DIGlobalVariable(scope: null, file: !1, line: 16, type: !5, isLocal: true, isDefinition: true)
 132 !19 = !DIGlobalVariableExpression(var: !20, expr: !DIExpression())
 133 !20 = distinct !DIGlobalVariable(scope: null, file: !1, line: 18, type: !5, isLocal: true, isDefinition: true)
 134 !21 = !DIGlobalVariableExpression(var: !22, expr: !DIExpression())
 135 !22 = distinct !DIGlobalVariable(scope: null, file: !1, line: 20, type: !5, isLocal: true, isDefinition: true)
 136 !23 = !DIGlobalVariableExpression(var: !24, expr: !DIExpression())
 137 !24 = distinct !DIGlobalVariable(scope: null, file: !1, line: 22, type: !5, isLocal: true, isDefinition: true)
 138 !25 = !DIGlobalVariableExpression(var: !26, expr: !DIExpression())
 139 !26 = distinct !DIGlobalVariable(scope: null, file: !1, line: 24, type: !27, isLocal: true, isDefinition: true)
 140 !27 = !DICompositeType(tag: DW_TAG_array_type, baseType: !6, size: 32, elements: !28)
 141 !28 = !{!29}
 142 !29 = !DISubrange(count: 4)
 143 !30 = !DIGlobalVariableExpression(var: !31, expr: !DIExpression())
 144 !31 = distinct !DIGlobalVariable(scope: null, file: !1, line: 26, type: !27, isLocal: true, isDefinition: true)
 145 !32 = !DIGlobalVariableExpression(var: !33, expr: !DIExpression())
 146 !33 = distinct !DIGlobalVariable(scope: null, file: !1, line: 28, type: !27, isLocal: true, isDefinition: true)
 147 !34 = !{i32 7, !"Dwarf Version", i32 5}
 148 !35 = !{i32 2, !"Debug Info Version", i32 3}
 149 !36 = !{i32 1, !"wchar_size", i32 4}
 150 !37 = !{i32 8, !"PIC Level", i32 2}
 151 !38 = !{i32 7, !"PIE Level", i32 2}
 152 !39 = !{i32 7, !"uwtable", i32 2}
 153 !40 = !{i32 7, !"debug-info-assignment-tracking", i1 true}
 154 !41 = !{!"clang version 18.0.0 (https://github.com/llvm/llvm-project.git 24cf476bd6d144b9fa28325b4d16e3c9dbfc4d4f)"}
 155 !42 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 3, type: !43, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !46)
 156 !43 = !DISubroutineType(types: !44)
 157 !44 = !{null, !45}
 158 !45 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 159 !46 = !{!47}
 160 !47 = !DILocalVariable(name: "cond", arg: 1, scope: !42, file: !1, line: 3, type: !45)
 161 !48 = !DILocation(line: 0, scope: !42)
 162 !49 = !DILocation(line: 4, column: 3, scope: !42)
 163 !50 = !DILocation(line: 6, column: 5, scope: !51)
 164 !51 = distinct !DILexicalBlock(scope: !42, file: !1, line: 4, column: 17)
 165 !52 = !DILocation(line: 8, column: 5, scope: !51)
 166 !53 = !DILocation(line: 10, column: 5, scope: !51)
 167 !54 = !DILocation(line: 12, column: 5, scope: !51)
 168 !55 = !DILocation(line: 14, column: 5, scope: !51)
 169 !56 = !DILocation(line: 16, column: 5, scope: !51)
 170 !57 = !DILocation(line: 18, column: 5, scope: !51)
 171 !58 = !DILocation(line: 20, column: 5, scope: !51)
 172 !59 = !DILocation(line: 22, column: 5, scope: !51)
 173 !60 = !DILocation(line: 24, column: 5, scope: !51)
 174 !61 = !DILocation(line: 26, column: 5, scope: !51)
 175 !62 = !DILocation(line: 28, column: 5, scope: !51)
 176 !63 = !DILocation(line: 30, column: 1, scope: !42)