llvm/test/DebugInfo/Symbolize/XCOFF/xcoff-symbolize-data.ll

   1 ;; This file shows that llvm-symbolizer can symbolize data symbols
   2 ;; from the DWARF info on AIX. Note that AIX is big endian.
   3
   4 ;; FIXME: use assembly rather than LLVM IR once integrated assembler supports
   5 ;; AIX assembly syntax.
   6
   7 ; REQUIRES: powerpc-registered-target
   8 ; RUN: llc -filetype=obj -o %t -mtriple=powerpc-aix-ibm-xcoff < %s
   9 ; RUN: llvm-symbolizer --obj=%t 'DATA 0x60' 'DATA 0x61' 'DATA 0x64' 'DATA 0X68' \
  10 ; RUN:   'DATA 0x90' 'DATA 0x94' 'DATA 0X98' | \
  11 ; RUN:   FileCheck %s
  12
  13 ;; Test an uninitialized global variable from offset 0.
  14 ; CHECK: bss_global
  15 ; CHECK-NEXT: 96 4
  16 ; CHECK-NEXT: /t.cpp:1
  17 ; CHECK-EMPTY:
  18
  19 ;; Test an uninitialized global variable from offset 1.
  20 ; CHECK: bss_global
  21 ; CHECK-NEXT: 96 4
  22 ; CHECK-NEXT: /t.cpp:1
  23 ; CHECK-EMPTY:
  24
  25 ;; Test an initialized global variable.
  26 ; CHECK: data_global
  27 ; CHECK-NEXT: 100 4
  28 ; CHECK-NEXT: /t.cpp:2
  29 ; CHECK-EMPTY:
  30
  31 ;; Test a pointer type global variable.
  32 ; CHECK: str
  33 ; CHECK-NEXT: 104 4
  34 ; CHECK-NEXT: /t.cpp:4
  35 ; CHECK-EMPTY:
  36
  37 ;; Test a function scope static variable.
  38 ; CHECK: f()::function_global
  39 ; CHECK-NEXT: 144 4
  40 ; CHECK-NEXT: /t.cpp:8
  41 ; CHECK-EMPTY:
  42
  43 ;; Test a global scope static variable that is used in current compilation unit.
  44 ; CHECK: beta
  45 ; CHECK-NEXT: 148 4
  46 ; CHECK-NEXT: /t.cpp:13
  47 ; CHECK-EMPTY:
  48
  49 ;; Test another global scope static variable that is used in current compilation unit.
  50 ; CHECK: alpha
  51 ; CHECK-NEXT: 152 4
  52 ; CHECK-NEXT: /t.cpp:12
  53 ; CHECK-EMPTY:
  54
  55 ;; The case is from `test/tools/llvm-symbolizer/data-location.yaml`, compiled with:
  56 ;; clang++ -g -gdwarf-3 -O3 t.cpp -nostdlib -target powerpc-aix-ibm-xcoff -S -emit-llvm
  57
  58 ;;     cat t.cpp
  59 ;;     1        int bss_global;
  60 ;;     2        int data_global = 2;
  61 ;;     3
  62 ;;     4        const char* str =
  63 ;;     5          "12345678";
  64 ;;     6
  65 ;;     7        int* f() {
  66 ;;     8          static int function_global;
  67 ;;     9          return &function_global;
  68 ;;    10        }
  69 ;;    11
  70 ;;    12        static int alpha;
  71 ;;    13        static int beta;
  72 ;;    14        int *f(bool b) { return beta ? &alpha : &beta; }
  73 ;;    15
  74
  75 ; ModuleID = 't.cpp'
  76 source_filename = "t.cpp"
  77 target datalayout = "E-m:a-p:32:32-Fi32-i64:64-n32"
  78 target triple = "powerpc-ibm-aix-xcoff"
  79
  80 @bss_global = local_unnamed_addr global i32 0, align 4, !dbg !0
  81 @data_global = local_unnamed_addr global i32 2, align 4, !dbg !5
  82 @.str = private unnamed_addr constant [9 x i8] c"12345678\00", align 1, !dbg !8
  83 @str = local_unnamed_addr global ptr @.str, align 4, !dbg !15
  84 @_ZZ1fvE15function_global = internal global i32 0, align 4, !dbg !18
  85 @_ZL4beta = internal global i32 0, align 4, !dbg !24
  86 @_ZL5alpha = internal global i32 0, align 4, !dbg !26
  87
  88 ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
  89 define noundef nonnull ptr @_Z1fv() local_unnamed_addr #0 !dbg !20 {
  90 entry:
  91   ret ptr @_ZZ1fvE15function_global, !dbg !34
  92 }
  93
  94 ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(read, argmem: none, inaccessiblemem: none)
  95 define noundef nonnull ptr @_Z1fb(i1 noundef zeroext %b) local_unnamed_addr #1 !dbg !35 {
  96 entry:
  97   call void @llvm.dbg.value(metadata i1 %b, metadata !40, metadata !DIExpression(DW_OP_LLVM_convert, 1, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value)), !dbg !41
  98   %0 = load i32, ptr @_ZL4beta, align 4, !dbg !42, !tbaa !43
  99   %tobool.not = icmp eq i32 %0, 0, !dbg !42
 100   %cond = select i1 %tobool.not, ptr @_ZL4beta, ptr @_ZL5alpha, !dbg !42
 101   ret ptr %cond, !dbg !42
 102 }
 103
 104 ; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
 105 declare void @llvm.dbg.value(metadata, metadata, metadata) #2
 106
 107 attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="pwr7" "target-features"="+altivec,+bpermd,+extdiv,+isa-v206-instructions,+vsx,-aix-small-local-exec-tls,-crbits,-crypto,-direct-move,-htm,-isa-v207-instructions,-isa-v30-instructions,-power8-vector,-power9-vector,-privileged,-quadword-atomics,-rop-protect,-spe" }
 108 attributes #1 = { mustprogress nofree norecurse nosync nounwind willreturn memory(read, argmem: none, inaccessiblemem: none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="pwr7" "target-features"="+altivec,+bpermd,+extdiv,+isa-v206-instructions,+vsx,-aix-small-local-exec-tls,-crbits,-crypto,-direct-move,-htm,-isa-v207-instructions,-isa-v30-instructions,-power8-vector,-power9-vector,-privileged,-quadword-atomics,-rop-protect,-spe" }
 109 attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
 110
 111 !llvm.dbg.cu = !{!2}
 112 !llvm.module.flags = !{!28, !29, !30, !31, !32}
 113 !llvm.ident = !{!33}
 114
 115 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
 116 !1 = distinct !DIGlobalVariable(name: "bss_global", scope: !2, file: !3, line: 1, type: !7, isLocal: false, isDefinition: true)
 117 !2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang version 18.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, globals: !4, splitDebugInlining: false, nameTableKind: None)
 118 !3 = !DIFile(filename: "t.cpp", directory: "/")
 119 !4 = !{!0, !5, !8, !15, !18, !24, !26}
 120 !5 = !DIGlobalVariableExpression(var: !6, expr: !DIExpression())
 121 !6 = distinct !DIGlobalVariable(name: "data_global", scope: !2, file: !3, line: 2, type: !7, isLocal: false, isDefinition: true)
 122 !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 123 !8 = !DIGlobalVariableExpression(var: !9, expr: !DIExpression())
 124 !9 = distinct !DIGlobalVariable(scope: null, file: !3, line: 5, type: !10, isLocal: true, isDefinition: true)
 125 !10 = !DICompositeType(tag: DW_TAG_array_type, baseType: !11, size: 72, elements: !13)
 126 !11 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !12)
 127 !12 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_unsigned_char)
 128 !13 = !{!14}
 129 !14 = !DISubrange(count: 9)
 130 !15 = !DIGlobalVariableExpression(var: !16, expr: !DIExpression())
 131 !16 = distinct !DIGlobalVariable(name: "str", scope: !2, file: !3, line: 4, type: !17, isLocal: false, isDefinition: true)
 132 !17 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 32)
 133 !18 = !DIGlobalVariableExpression(var: !19, expr: !DIExpression())
 134 !19 = distinct !DIGlobalVariable(name: "function_global", scope: !20, file: !3, line: 8, type: !7, isLocal: true, isDefinition: true)
 135 !20 = distinct !DISubprogram(name: "f", linkageName: "_Z1fv", scope: !3, file: !3, line: 7, type: !21, scopeLine: 7, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2)
 136 !21 = !DISubroutineType(types: !22)
 137 !22 = !{!23}
 138 !23 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 32)
 139 !24 = !DIGlobalVariableExpression(var: !25, expr: !DIExpression())
 140 !25 = distinct !DIGlobalVariable(name: "beta", linkageName: "_ZL4beta", scope: !2, file: !3, line: 13, type: !7, isLocal: true, isDefinition: true)
 141 !26 = !DIGlobalVariableExpression(var: !27, expr: !DIExpression())
 142 !27 = distinct !DIGlobalVariable(name: "alpha", linkageName: "_ZL5alpha", scope: !2, file: !3, line: 12, type: !7, isLocal: true, isDefinition: true)
 143 !28 = !{i32 7, !"Dwarf Version", i32 3}
 144 !29 = !{i32 2, !"Debug Info Version", i32 3}
 145 !30 = !{i32 1, !"wchar_size", i32 2}
 146 !31 = !{i32 8, !"PIC Level", i32 2}
 147 !32 = !{i32 7, !"debug-info-assignment-tracking", i1 true}
 148 !33 = !{!"clang version 18.0.0"}
 149 !34 = !DILocation(line: 9, scope: !20)
 150 !35 = distinct !DISubprogram(name: "f", linkageName: "_Z1fb", scope: !3, file: !3, line: 14, type: !36, scopeLine: 14, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !39)
 151 !36 = !DISubroutineType(types: !37)
 152 !37 = !{!23, !38}
 153 !38 = !DIBasicType(name: "bool", size: 8, encoding: DW_ATE_boolean)
 154 !39 = !{!40}
 155 !40 = !DILocalVariable(name: "b", arg: 1, scope: !35, file: !3, line: 14, type: !38)
 156 !41 = !DILocation(line: 0, scope: !35)
 157 !42 = !DILocation(line: 14, scope: !35)
 158 !43 = !{!44, !44, i64 0}
 159 !44 = !{!"int", !45, i64 0}
 160 !45 = !{!"omnipotent char", !46, i64 0}
 161 !46 = !{!"Simple C++ TBAA"}