test: Fix linkage for global variables, as default setting from clang…

… is NoCommon.
trailofbits · Oct 8, 2024 · 70afe59 · 70afe59
1 parent 894a79a
commit 70afe59
Show file tree

Hide file tree

Showing 18 changed files with 54 additions and 54 deletions.
diff --git a/test/vast/Dialect/HighLevel/array-a.c b/test/vast/Dialect/HighLevel/array-a.c
@@ -1,26 +1,26 @@
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o - | %file-check %s
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
 
-// CHECK: hl.var @ai, <common> : !hl.lvalue<!hl.array<10, !hl.int>>
+// CHECK: hl.var @ai, <external> : !hl.lvalue<!hl.array<10, !hl.int>>
 int ai[10];
 
-// CHECK: hl.var @aci, <common> : !hl.lvalue<!hl.array<5, !hl.int< const >>>
+// CHECK: hl.var @aci, <external> : !hl.lvalue<!hl.array<5, !hl.int< const >>>
 const int aci[5];
 
-// CHECK: hl.var @avi, <common> : !hl.lvalue<!hl.array<5, !hl.int< volatile >>>
+// CHECK: hl.var @avi, <external> : !hl.lvalue<!hl.array<5, !hl.int< volatile >>>
 volatile int avi[5];
 
-// CHECK: hl.var @acvi, <common> : !hl.lvalue<!hl.array<5, !hl.int< const, volatile >>>
+// CHECK: hl.var @acvi, <external> : !hl.lvalue<!hl.array<5, !hl.int< const, volatile >>>
 const volatile int acvi[5];
 
-// CHECK: hl.var @acvui, <common> : !hl.lvalue<!hl.array<5, !hl.int< unsigned, const, volatile >>>
+// CHECK: hl.var @acvui, <external> : !hl.lvalue<!hl.array<5, !hl.int< unsigned, const, volatile >>>
 const volatile unsigned int acvui[5];
 
-// CHECK: hl.var @af, <common> : !hl.lvalue<!hl.array<10, !hl.float>>
+// CHECK: hl.var @af, <external> : !hl.lvalue<!hl.array<10, !hl.float>>
 float af[10];
 
-// CHECK: hl.var @a3d, <common> : !hl.lvalue<!hl.array<2, !hl.array<4, !hl.array<3, !hl.float>>>>
+// CHECK: hl.var @a3d, <external> : !hl.lvalue<!hl.array<2, !hl.array<4, !hl.array<3, !hl.float>>>>
 float a3d[2][4][3];
 
-// CHECK: hl.var @ae, <common> : !hl.lvalue<!hl.array<404, !hl.int>>
+// CHECK: hl.var @ae, <external> : !hl.lvalue<!hl.array<404, !hl.int>>
 int ae[4 + 4*100];
diff --git a/test/vast/Dialect/HighLevel/cast-b.c b/test/vast/Dialect/HighLevel/cast-b.c
@@ -4,7 +4,7 @@
 // CHECK: hl.typedef @function_type : !core.fn<(!hl.lvalue<!hl.int>, !hl.lvalue<!hl.int>) -> (!hl.int)>
 typedef int function_type(int a, int b);
 
-// CHECK: hl.var @p, <common> : !hl.lvalue<!hl.array<2, !hl.ptr<!hl.elaborated<!hl.typedef<@function_type>>>>>
+// CHECK: hl.var @p, <external> : !hl.lvalue<!hl.array<2, !hl.ptr<!hl.elaborated<!hl.typedef<@function_type>>>>>
 function_type *p[2];
 
 int test_func(void) {

diff --git a/test/vast/Dialect/HighLevel/enum-a.c b/test/vast/Dialect/HighLevel/enum-a.c
@@ -17,5 +17,5 @@ enum color c = GREEN;
 // CHECK: hl.typedef @color : !hl.elaborated<!hl.enum<@color>>
 typedef enum color color;
 
-// CHECK: hl.var @tc, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@color>>>
+// CHECK: hl.var @tc, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@color>>>
 color tc;
diff --git a/test/vast/Dialect/HighLevel/glob-linkage-a.c b/test/vast/Dialect/HighLevel/glob-linkage-a.c
@@ -10,7 +10,7 @@ int __attribute__((weak)) wdef = 5;
 extern int __attribute__((weak)) ewdef = 5;
 // CHECK: hl.var @edef, <external>
 extern int edef = 5;
-// CHECK: hl.var @undef, <common>
+// CHECK: hl.var @undef, <external>
 int undef;
 // CHECK: hl.var @def, <external>
 int def = 5;
diff --git a/test/vast/Dialect/HighLevel/pointers-b.c b/test/vast/Dialect/HighLevel/pointers-b.c
@@ -1,12 +1,12 @@
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o - | %file-check %s
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
 
-// CHECK: hl.var @p, <common> : !hl.lvalue<!hl.ptr<!hl.float>>
-// CHECK: hl.var @pp, <common> : !hl.lvalue<!hl.ptr<!hl.ptr<!hl.float>>>
+// CHECK: hl.var @p, <external> : !hl.lvalue<!hl.ptr<!hl.float>>
+// CHECK: hl.var @pp, <external> : !hl.lvalue<!hl.ptr<!hl.ptr<!hl.float>>>
 float *p, **pp; // p is a pointer to float
                 // pp is a pointer to a pointer to float
 
-// CHECK: hl.var @fp, <common> : !hl.lvalue<!hl.ptr<!hl.paren<!core.fn<(!hl.lvalue<!hl.int>) -> (!hl.int)>>>>
+// CHECK: hl.var @fp, <external> : !hl.lvalue<!hl.ptr<!hl.paren<!core.fn<(!hl.lvalue<!hl.int>) -> (!hl.int)>>>>
 int (*fp)(int); // fp is a pointer to function with type int(int)
 
 // CHECK: hl.var @pc, <external> : !hl.lvalue<!hl.ptr<!hl.int< const >>>

diff --git a/test/vast/Dialect/HighLevel/qualifiers-e.c b/test/vast/Dialect/HighLevel/qualifiers-e.c
@@ -1,14 +1,14 @@
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o - | %file-check %s
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
 
-// CHECK: hl.var @ia, <common> : !hl.lvalue<!hl.array<10, !hl.int>>
+// CHECK: hl.var @ia, <external> : !hl.lvalue<!hl.array<10, !hl.int>>
 int ia[10];
 
-// CHECK: hl.var @cia, <common> : !hl.lvalue<!hl.array<10, !hl.int< const >>>
+// CHECK: hl.var @cia, <external> : !hl.lvalue<!hl.array<10, !hl.int< const >>>
 const int cia[10];
 
-// CHECK: hl.var @via, <common> : !hl.lvalue<!hl.array<10, !hl.int< volatile >>>
+// CHECK: hl.var @via, <external> : !hl.lvalue<!hl.array<10, !hl.int< volatile >>>
 volatile int via[10];
 
-// CHECK: hl.var @cvia, <common> : !hl.lvalue<!hl.array<10, !hl.int< const, volatile >>>
+// CHECK: hl.var @cvia, <external> : !hl.lvalue<!hl.array<10, !hl.int< const, volatile >>>
 const volatile int cvia[10];
diff --git a/test/vast/Dialect/HighLevel/qualifiers-g.c b/test/vast/Dialect/HighLevel/qualifiers-g.c
@@ -1,8 +1,8 @@
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o - | %file-check %s
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
 
-// CHECK: hl.var @a, <common> : !hl.lvalue<!hl.ptr<!hl.float,  restrict >>
-// CHECK: hl.var @b, <common> : !hl.lvalue<!hl.ptr<!hl.float,  restrict >>
+// CHECK: hl.var @a, <external> : !hl.lvalue<!hl.ptr<!hl.float,  restrict >>
+// CHECK: hl.var @b, <external> : !hl.lvalue<!hl.ptr<!hl.float,  restrict >>
 float * restrict a, * restrict b;
 
 // CHECK: @f {{.*}} (!hl.lvalue<!hl.int>, !hl.lvalue<!hl.ptr<!hl.float,  restrict >>, !hl.lvalue<!hl.ptr<!hl.float,  const >>)

diff --git a/test/vast/Dialect/HighLevel/qualifiers-h.c b/test/vast/Dialect/HighLevel/qualifiers-h.c
@@ -4,26 +4,26 @@
 // CHECK: hl.enum @e : !hl.int< unsigned >
 enum e { a, b, c };
 
-// CHECK: hl.var @v, <common> : !hl.lvalue<!hl.elaborated<!hl.enum<@e>>>
+// CHECK: hl.var @v, <external> : !hl.lvalue<!hl.elaborated<!hl.enum<@e>>>
 enum e v;
 
-// CHECK: hl.var @cv, <common> : !hl.lvalue<!hl.elaborated<!hl.enum<@e>,  const >>
+// CHECK: hl.var @cv, <external> : !hl.lvalue<!hl.elaborated<!hl.enum<@e>,  const >>
 const enum e cv;
 
-// CHECK: hl.var @cvv, <common> : !hl.lvalue<!hl.elaborated<!hl.enum<@e>,  const, volatile >>
+// CHECK: hl.var @cvv, <external> : !hl.lvalue<!hl.elaborated<!hl.enum<@e>,  const, volatile >>
 const volatile enum e cvv;
 
 // CHECK: hl.typedef @def : !hl.elaborated<!hl.enum<@e>>
 typedef enum e def;
 
-// CHECK: hl.var @d, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@def>>>
+// CHECK: hl.var @d, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@def>>>
 def d;
 
-// CHECK: hl.var @cd, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@def>,  const >>
+// CHECK: hl.var @cd, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@def>,  const >>
 const def cd;
 
-// CHECK: hl.var @vd, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@def>,  volatile >>
+// CHECK: hl.var @vd, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@def>,  volatile >>
 volatile def vd;
 
-// CHECK: hl.var @cvd, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@def>,  const, volatile >>
+// CHECK: hl.var @cvd, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@def>,  const, volatile >>
 const volatile def cvd;
diff --git a/test/vast/Dialect/HighLevel/qualifiers-i.c b/test/vast/Dialect/HighLevel/qualifiers-i.c
@@ -4,26 +4,26 @@
 // CHECK: hl.union @u
 union u { int i; double d; };
 
-// CHECK: hl.var @v, <common> : !hl.lvalue<!hl.elaborated<!hl.record<@u>>>
+// CHECK: hl.var @v, <external> : !hl.lvalue<!hl.elaborated<!hl.record<@u>>>
 union u v;
 
-// CHECK: hl.var @cv, <common> : !hl.lvalue<!hl.elaborated<!hl.record<@u>,  const >>
+// CHECK: hl.var @cv, <external> : !hl.lvalue<!hl.elaborated<!hl.record<@u>,  const >>
 const union u cv;
 
-// CHECK: hl.var @cvv, <common> : !hl.lvalue<!hl.elaborated<!hl.record<@u>,  const, volatile >>
+// CHECK: hl.var @cvv, <external> : !hl.lvalue<!hl.elaborated<!hl.record<@u>,  const, volatile >>
 const volatile union u cvv;
 
 // CHECK: hl.typedef @e : !hl.elaborated<!hl.record<@u>>
 typedef union u e;
 
-// CHECK: hl.var @v, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@e>>>
+// CHECK: hl.var @v, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@e>>>
 e v;
 
-// CHECK: hl.var @cv, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@e>,  const >>
+// CHECK: hl.var @cv, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@e>,  const >>
 const e cv;
 
-// CHECK: hl.var @vv, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@e>,  volatile >>
+// CHECK: hl.var @vv, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@e>,  volatile >>
 volatile e vv;
 
-// CHECK: hl.var @cvv, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@e>,  const, volatile >>
+// CHECK: hl.var @cvv, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@e>,  const, volatile >>
 const volatile e cvv;
diff --git a/test/vast/Dialect/HighLevel/qualifiers-j.c b/test/vast/Dialect/HighLevel/qualifiers-j.c
@@ -1,11 +1,11 @@
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o - | %file-check %s
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
 
-// CHECK: hl.var @fp, <common> : !hl.lvalue<!hl.ptr<!hl.paren<!core.fn<(!hl.lvalue<!hl.int>) -> (!hl.int)>>>>
+// CHECK: hl.var @fp, <external> : !hl.lvalue<!hl.ptr<!hl.paren<!core.fn<(!hl.lvalue<!hl.int>) -> (!hl.int)>>>>
 int (*fp) (int);
 
-// CHECK: hl.var @cfp, <common> : !hl.lvalue<!hl.ptr<!hl.paren<!core.fn<(!hl.lvalue<!hl.int>) -> (!hl.int< const >)>>>>
+// CHECK: hl.var @cfp, <external> : !hl.lvalue<!hl.ptr<!hl.paren<!core.fn<(!hl.lvalue<!hl.int>) -> (!hl.int< const >)>>>>
 const int (*cfp)(int);
 
-// CHECK: hl.var @fpc, <common> : !hl.lvalue<!hl.ptr<!hl.paren<!core.fn<(!hl.lvalue<!hl.int< const >>) -> (!hl.int)>>>>
+// CHECK: hl.var @fpc, <external> : !hl.lvalue<!hl.ptr<!hl.paren<!core.fn<(!hl.lvalue<!hl.int< const >>) -> (!hl.int)>>>>
 int (*fpc)(const int);
diff --git a/test/vast/Dialect/HighLevel/quirks-n.c b/test/vast/Dialect/HighLevel/quirks-n.c
@@ -12,9 +12,9 @@ unsigned int typedef u32;
 // CHECK: hl.typedef @baz : !hl.elaborated<!hl.record<@foo>,  const >
 struct foo { int bar; } const typedef baz;
 
-// CHECK: hl.var @a, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@s16>>>
+// CHECK: hl.var @a, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@s16>>>
 s16 a;
-// CHECK: hl.var @b, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@u32>>>
+// CHECK: hl.var @b, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@u32>>>
 u32 b;
-// CHECK: hl.var @c, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@baz>>>
+// CHECK: hl.var @c, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@baz>>>
 baz c;
diff --git a/test/vast/Dialect/HighLevel/storage-a.c b/test/vast/Dialect/HighLevel/storage-a.c
@@ -1,7 +1,7 @@
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o - | %file-check %s
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
 
-// CHECK: hl.var @i, <common> : !hl.lvalue<!hl.int>
+// CHECK: hl.var @i, <external> : !hl.lvalue<!hl.int>
 int i;
 
 // CHECKL: hl.var @ei, <external> sc_extern : !hl.lvalue<!hl.int>

diff --git a/test/vast/Dialect/HighLevel/struct-a.c b/test/vast/Dialect/HighLevel/struct-a.c
@@ -12,7 +12,7 @@ struct pair {
   int a, b;
 };
 
-// CHECK: hl.var @p, <common> : !hl.lvalue<!hl.elaborated<!hl.record<@pair>>>
+// CHECK: hl.var @p, <external> : !hl.lvalue<!hl.elaborated<!hl.record<@pair>>>
 struct pair p;
 
 struct forward;
@@ -33,7 +33,7 @@ typedef struct wrap {
   int v;
 } wrap_t;
 
-// CHECK: hl.var @w, <common> : !hl.lvalue<!hl.elaborated<!hl.typedef<@wrap_t>>>
+// CHECK: hl.var @w, <external> : !hl.lvalue<!hl.elaborated<!hl.typedef<@wrap_t>>>
 wrap_t w;
 
 // CHECK: hl.struct @compound : {

diff --git a/test/vast/Dialect/HighLevel/struct-c.c b/test/vast/Dialect/HighLevel/struct-c.c
@@ -4,7 +4,7 @@
 // CHECK: hl.struct @"[[N:anonymous\[[0-9]+\]]]" : {
 // CHECK:  hl.field @data : !hl.int
 // CHECK: }
-// CHECK: hl.var @named, <common> : !hl.lvalue<!hl.elaborated<!hl.record<@"[[N]]">>>
+// CHECK: hl.var @named, <external> : !hl.lvalue<!hl.elaborated<!hl.record<@"[[N]]">>>
 struct {
   int data;
 } named;
diff --git a/test/vast/Dialect/HighLevel/struct-f.c b/test/vast/Dialect/HighLevel/struct-f.c
@@ -8,7 +8,7 @@ struct X {};
 // CHECK: hl.typedef @X : !hl.elaborated<!hl.record<@Y>>
 typedef struct Y {} X;
 
-// CHECK: hl.var @x, <common> : !hl.lvalue<!hl.elaborated<!hl.record<@X>>>
+// CHECK: hl.var @x, <external> : !hl.lvalue<!hl.elaborated<!hl.record<@X>>>
 // TODO: this is elaborated "X"
 struct X x;
 

diff --git a/test/vast/Dialect/HighLevel/union-a.c b/test/vast/Dialect/HighLevel/union-a.c
@@ -6,7 +6,7 @@
 // CHECK:   hl.field @u16 : !hl.array<2, !hl.short< unsigned >>
 // CHECK:   hl.field @u8 : !hl.char< unsigned >
 // CHECK: }
-// CHECK: hl.var @u, <common> : !hl.lvalue<!hl.elaborated<!hl.record<@u>>
+// CHECK: hl.var @u, <external> : !hl.lvalue<!hl.elaborated<!hl.record<@u>>
 union u {
     unsigned int   u32;
     unsigned short u16[2];

diff --git a/test/vast/Dialect/HighLevel/union-b.c b/test/vast/Dialect/HighLevel/union-b.c
@@ -19,7 +19,7 @@ struct v {
    // CHECK: hl.field @"[[N5:anonymous\[[0-9]+\]]]" : !hl.record<@"[[N1]]">
    // CHECK: hl.field @m : !hl.int
    int m;
-// CHECK: hl.var @v1, <common> : !hl.lvalue<!hl.elaborated<!hl.record<@v>>>
+// CHECK: hl.var @v1, <external> : !hl.lvalue<!hl.elaborated<!hl.record<@v>>>
 } v1;
 
 int main() {

diff --git a/test/vast/Transform/HL/LowerTypes/array-a.c b/test/vast/Transform/HL/LowerTypes/array-a.c
@@ -1,22 +1,22 @@
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o - | %vast-opt --vast-hl-lower-types | %file-check %s
 
-// CHECK: hl.var @ai, <common> : !hl.lvalue<!hl.array<10, si32>>
+// CHECK: hl.var @ai, <external> : !hl.lvalue<!hl.array<10, si32>>
 int ai[10];
 
-// CHECK: hl.var @aci, <common> : !hl.lvalue<!hl.array<5, si32>>
+// CHECK: hl.var @aci, <external> : !hl.lvalue<!hl.array<5, si32>>
 const int aci[5];
 
-// CHECK: hl.var @avi, <common> : !hl.lvalue<!hl.array<5, si32>>
+// CHECK: hl.var @avi, <external> : !hl.lvalue<!hl.array<5, si32>>
 volatile int avi[5];
 
-// CHECK: hl.var @acvi, <common> : !hl.lvalue<!hl.array<5, si32>>
+// CHECK: hl.var @acvi, <external> : !hl.lvalue<!hl.array<5, si32>>
 const volatile int acvi[5];
 
-// CHECK: hl.var @acvui, <common> : !hl.lvalue<!hl.array<5, ui32>>
+// CHECK: hl.var @acvui, <external> : !hl.lvalue<!hl.array<5, ui32>>
 const volatile unsigned int acvui[5];
 
-// CHECK: hl.var @af, <common> : !hl.lvalue<!hl.array<10, f32>>
+// CHECK: hl.var @af, <external> : !hl.lvalue<!hl.array<10, f32>>
 float af[10];
 
-// CHECK: hl.var @a3d, <common> : !hl.lvalue<!hl.array<2, !hl.array<4, !hl.array<3, f32>>>>
+// CHECK: hl.var @a3d, <external> : !hl.lvalue<!hl.array<2, !hl.array<4, !hl.array<3, f32>>>>
 float a3d[2][4][3];