flang/test/Integration/debug-common-block-1.f90

   1 ! RUN: %flang_fc1 -emit-llvm -debug-info-kind=standalone %s -o - | FileCheck  %s
   2
   3 subroutine f1
   4   real(kind=4) :: x, y, xa, ya
   5   common // x, y
   6   common /a/ xa, ya
   7   x = 1.1
   8   y = 2.2
   9   xa = 3.3
  10   ya = 4.4
  11   print *, x, y, xa, ya
  12 end subroutine
  13 ! CHECK-DAG: ![[XF1:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "x", linkageName: "_QFf1Ex", scope: ![[CBF1:[0-9]+]], file: !5, line: [[@LINE-9]], type: ![[REAL:[0-9]+]]{{.*}})
  14 ! CHECK-DAG: ![[EXPXF1:[0-9]+]] = !DIGlobalVariableExpression(var: ![[XF1]], expr: !DIExpression())
  15 ! CHECK-DAG: ![[YF1:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "y", linkageName: "_QFf1Ey", scope: ![[CBF1]], file: !{{[0-9]+}}, line: [[@LINE-11]], type: ![[REAL]]{{.*}})
  16 ! CHECK-DAG: ![[EXPYF1:[0-9]+]] = !DIGlobalVariableExpression(var: ![[YF1]], expr: !DIExpression(DW_OP_plus_uconst, 4))
  17 ! CHECK-DAG: ![[XAF1:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "xa", linkageName: "_QFf1Exa", scope: ![[CBAF1:[0-9]+]], file: !{{[0-9]+}}, line: [[@LINE-13]], type: ![[REAL]]{{.*}})
  18 ! CHECK-DAG: ![[EXPXAF1:[0-9]+]] = !DIGlobalVariableExpression(var: ![[XAF1]], expr: !DIExpression())
  19 ! CHECK-DAG: ![[YAF1:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "ya", linkageName: "_QFf1Eya", scope: ![[CBAF1]], file: !{{[0-9]+}}, line: [[@LINE-15]], type: ![[REAL]]{{.*}})
  20 ! CHECK-DAG: ![[EXPYAF1:[0-9]+]] = !DIGlobalVariableExpression(var: ![[YAF1]], expr: !DIExpression(DW_OP_plus_uconst, 4))
  21
  22
  23 subroutine f2
  24   real(kind=4) :: x, y, z, xa, ya, za
  25   common // x, y, z
  26   common /a/ xa, ya, za
  27   print *, x, y, z, xa, ya, za
  28 end subroutine
  29 ! CHECK-DAG: ![[XF2:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "x", linkageName: "_QFf2Ex", scope: ![[CBF2:[0-9]+]], file: !{{[0-9]+}}, line: [[@LINE-5]], type: ![[REAL]]{{.*}})
  30 ! CHECK-DAG: ![[EXPXF2:[0-9]+]] = !DIGlobalVariableExpression(var: ![[XF2]], expr: !DIExpression())
  31 ! CHECK-DAG: ![[YF2:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "y", linkageName: "_QFf2Ey", scope: ![[CBF2]], file: !{{[0-9]+}}, line: [[@LINE-7]], type: ![[REAL]]{{.*}})
  32 ! CHECK-DAG: ![[EXPYF2:[0-9]+]] = !DIGlobalVariableExpression(var: ![[YF2]], expr: !DIExpression(DW_OP_plus_uconst, 4))
  33 ! CHECK-DAG: ![[ZF2:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "z", linkageName: "_QFf2Ez", scope: ![[CBF2]], file: !{{[0-9]+}}, line: [[@LINE-9]], type: ![[REAL]]{{.*}})
  34 ! CHECK-DAG: ![[EXPZF2:[0-9]+]] = !DIGlobalVariableExpression(var: ![[ZF2]], expr: !DIExpression(DW_OP_plus_uconst, 8))
  35 ! CHECK-DAG: ![[XAF2:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "xa", linkageName: "_QFf2Exa", scope: ![[CBAF2:[0-9]+]], file: !{{[0-9]+}}, line: [[@LINE-11]], type: ![[REAL]]{{.*}})
  36 ! CHECK-DAG: ![[EXPXAF2:[0-9]+]] = !DIGlobalVariableExpression(var: ![[XAF2]], expr: !DIExpression())
  37 ! CHECK-DAG: ![[YAF2:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "ya", linkageName: "_QFf2Eya", scope: ![[CBAF2]], file: !{{[0-9]+}}, line: [[@LINE-13]], type: ![[REAL]]{{.*}})
  38 ! CHECK-DAG: ![[EXPYAF2:[0-9]+]] = !DIGlobalVariableExpression(var: ![[YAF2]], expr: !DIExpression(DW_OP_plus_uconst, 4))
  39 ! CHECK-DAG: ![[ZAF2:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "za", linkageName: "_QFf2Eza", scope: ![[CBAF2]], file: !{{[0-9]+}}, line: [[@LINE-15]], type: ![[REAL]]{{.*}})
  40 ! CHECK-DAG: ![[EXPZAF2:[0-9]+]] = !DIGlobalVariableExpression(var: ![[ZAF2]], expr: !DIExpression(DW_OP_plus_uconst, 8))
  41
  42 subroutine f3
  43   integer(kind=4) :: x = 42, xa = 42
  44   common // x
  45   common /a/ xa
  46   print *, x
  47   print *, xa
  48 end subroutine
  49 ! CHECK-DAG: ![[XF3:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "x", linkageName: "_QFf3Ex", scope: ![[CBF3:[0-9]+]], file: !{{[0-9]+}}, line: [[@LINE-6]], type: ![[INT:[0-9]+]]{{.*}})
  50 ! CHECK-DAG: ![[EXPXF3:[0-9]+]] = !DIGlobalVariableExpression(var: ![[XF3]], expr: !DIExpression())
  51 ! CHECK-DAG: ![[XAF3:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "xa", linkageName: "_QFf3Exa", scope: ![[CBAF3:[0-9]+]], file: !{{[0-9]+}}, line: [[@LINE-8]], type: ![[INT]]{{.*}})
  52 ! CHECK-DAG: ![[EXPXAF3:[0-9]+]] = !DIGlobalVariableExpression(var: ![[XAF3]], expr: !DIExpression())
  53
  54 program test
  55   real(kind=4) :: v1, v2, v3, va1, va2, va3
  56   common // v1, v2, v3
  57   common /a/ va1, va2, va3
  58   call f1()
  59   call f2()
  60   call f3()
  61   print *, v1, va1, va3
  62 END
  63 ! CHECK-DAG: ![[V1:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "v1", linkageName: "_QFEv1", scope: ![[CBM:[0-9]+]], file: !{{[0-9]+}}, line: [[@LINE-8]], type: ![[REAL]]{{.*}})
  64 ! CHECK-DAG: ![[EXPV1:[0-9]+]] = !DIGlobalVariableExpression(var: ![[V1]], expr: !DIExpression())
  65 ! CHECK-DAG: ![[V2:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "v2", linkageName: "_QFEv2", scope: ![[CBM]], file: !{{[0-9]+}}, line: [[@LINE-10]], type: ![[REAL]]{{.*}})
  66 ! CHECK-DAG: ![[EXPV2:[0-9]+]] = !DIGlobalVariableExpression(var: ![[V2]], expr: !DIExpression(DW_OP_plus_uconst, 4))
  67 ! CHECK-DAG: ![[V3:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "v3", linkageName: "_QFEv3", scope: ![[CBM]], file: !{{[0-9]+}}, line: [[@LINE-12]], type: ![[REAL]]{{.*}})
  68 ! CHECK-DAG: ![[EXPV3:[0-9]+]] = !DIGlobalVariableExpression(var: ![[V3]], expr: !DIExpression(DW_OP_plus_uconst, 8))
  69 ! CHECK-DAG: ![[VA1:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "va1", linkageName: "_QFEva1", scope: ![[CBAM:[0-9]+]], file: !{{[0-9]+}}, line: [[@LINE-14]], type: ![[REAL]]{{.*}})
  70 ! CHECK-DAG: ![[EXPVA1:[0-9]+]] = !DIGlobalVariableExpression(var: ![[VA1]], expr: !DIExpression())
  71 ! CHECK-DAG: ![[VA2:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "va2", linkageName: "_QFEva2", scope: ![[CBAM]], file: !{{[0-9]+}}, line: [[@LINE-16]], type: ![[REAL]]{{.*}})
  72 ! CHECK-DAG: ![[EXPVA2:[0-9]+]] = !DIGlobalVariableExpression(var: ![[VA2]], expr: !DIExpression(DW_OP_plus_uconst, 4))
  73 ! CHECK-DAG: ![[VA3:[0-9]+]] = {{.*}}!DIGlobalVariable(name: "va3", linkageName: "_QFEva3", scope: ![[CBAM]], file: !{{[0-9]+}}, line: [[@LINE-18]], type: ![[REAL]]{{.*}})
  74 ! CHECK-DAG: ![[EXPVA3:[0-9]+]] = !DIGlobalVariableExpression(var: ![[VA3]], expr: !DIExpression(DW_OP_plus_uconst, 8))
  75
  76
  77 ! CHECK-DAG: ![[REAL]] = !DIBasicType(name: "real", size: 32, encoding: DW_ATE_float)
  78 ! CHECK-DAG: ![[INT]] = !DIBasicType(name: "integer", size: 32, encoding: DW_ATE_signed)
  79
  80 ! CHECK-DAG: ![[F1:[0-9]+]] = {{.*}}!DISubprogram(name: "f1"{{.*}})
  81 ! CHECK-DAG: ![[CBF1]] = !DICommonBlock(scope: ![[F1]], declaration: null, name: "__BLNK__"{{.*}})
  82 ! CHECK-DAG: ![[CBAF1]] = !DICommonBlock(scope: ![[F1]], declaration: null, name: "a"{{.*}})
  83
  84 ! CHECK-DAG: ![[F2:[0-9]+]] = {{.*}}!DISubprogram(name: "f2"{{.*}})
  85 ! CHECK-DAG: ![[CBF2]] = !DICommonBlock(scope: ![[F2]], declaration: null, name: "__BLNK__"{{.*}})
  86 ! CHECK-DAG: ![[CBAF2]] = !DICommonBlock(scope: ![[F2]], declaration: null, name: "a"{{.*}})
  87
  88 ! CHECK-DAG: ![[F3:[0-9]+]] = {{.*}}!DISubprogram(name: "f3"{{.*}})
  89 ! CHECK-DAG: ![[CBF3]] = !DICommonBlock(scope: ![[F3]], declaration: null, name: "__BLNK__"{{.*}})
  90 ! CHECK-DAG: ![[CBAF3]] = !DICommonBlock(scope: ![[F3]], declaration: null, name: "a"{{.*}})
  91
  92 ! CHECK-DAG: ![[MAIN:[0-9]+]] = {{.*}}!DISubprogram(name: "test"{{.*}})
  93 ! CHECK-DAG: ![[CBM]] = !DICommonBlock(scope: ![[MAIN]], declaration: null, name: "__BLNK__"{{.*}})
  94 ! CHECK-DAG: ![[CBAM]] = !DICommonBlock(scope: ![[MAIN]], declaration: null, name: "a"{{.*}})
  95
  96 ! Using CHECK-DAG-SAME so that we are not dependent on order of variable in these lists.
  97 ! CHECK-DAG: @__BLNK__ = global{{.*}}
  98 ! CHECK-DAG-SAME: !dbg ![[EXPXF1]]
  99 ! CHECK-DAG-SAME: !dbg ![[EXPYF1]]
 100 ! CHECK-DAG-SAME: !dbg ![[EXPXF2]]
 101 ! CHECK-DAG-SAME: !dbg ![[EXPYF2]]
 102 ! CHECK-DAG-SAME: !dbg ![[EXPZF2]]
 103 ! CHECK-DAG-SAME: !dbg ![[EXPXF3]]
 104 ! CHECK-DAG-SAME: !dbg ![[EXPV1]]
 105 ! CHECK-DAG-SAME: !dbg ![[EXPV2]]
 106 ! CHECK-DAG-SAME: !dbg ![[EXPV3]]
 107
 108 ! CHECK-DAG: @a_ = global{{.*}}
 109 ! CHECK-DAG-SAME: !dbg ![[EXPXAF1]]
 110 ! CHECK-DAG-SAME: !dbg ![[EXPYAF1]]
 111 ! CHECK-DAG-SAME: !dbg ![[EXPXAF2]]
 112 ! CHECK-DAG-SAME: !dbg ![[EXPYAF2]]
 113 ! CHECK-DAG-SAME: !dbg ![[EXPZAF2]]
 114 ! CHECK-DAG-SAME: !dbg ![[EXPXAF3]]
 115 ! CHECK-DAG-SAME: !dbg ![[EXPVA1]]
 116 ! CHECK-DAG-SAME: !dbg ![[EXPVA2]]
 117 ! CHECK-DAG-SAME: !dbg ![[EXPVA3]]
 118
 119 ! CHECK-DAG: !DICompileUnit({{.*}}, globals: ![[GLOBALS:[0-9]+]])
 120 ! CHECK-DAG: ![[GLOBALS]]
 121 ! CHECK-DAG-SAME: ![[EXPXF1]]
 122 ! CHECK-DAG-SAME: ![[EXPYF1]]
 123 ! CHECK-DAG-SAME: ![[EXPXAF1]]
 124 ! CHECK-DAG-SAME: ![[EXPYAF1]]
 125 ! CHECK-DAG-SAME: ![[EXPXF2]]
 126 ! CHECK-DAG-SAME: ![[EXPYF2]]
 127 ! CHECK-DAG-SAME: ![[EXPZF2]]
 128 ! CHECK-DAG-SAME: ![[EXPXAF2]]
 129 ! CHECK-DAG-SAME: ![[EXPYAF2]]
 130 ! CHECK-DAG-SAME: ![[EXPZAF2]]
 131 ! CHECK-DAG-SAME: ![[EXPXF3]]
 132 ! CHECK-DAG-SAME: ![[EXPXAF3]]
 133 ! CHECK-DAG-SAME: ![[EXPV1]]
 134 ! CHECK-DAG-SAME: ![[EXPV2]]
 135 ! CHECK-DAG-SAME: ![[EXPV3]]
 136 ! CHECK-DAG-SAME: ![[EXPVA1]]
 137 ! CHECK-DAG-SAME: ![[EXPVA2]]
 138 ! CHECK-DAG-SAME: ![[EXPVA3]]