Skip to content

Commit cfa0c16

Browse files
committed
[MLIR][mlir-link] Enable visibility tests
1 parent 31eb8ef commit cfa0c16

File tree

3 files changed

+17
-35
lines changed

3 files changed

+17
-35
lines changed

mlir/test/mlir-link/adapted/visibility.mlir

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
// RUN: mlir-link %s %p/Inputs/visibility.mlir -o - | FileCheck %s
22
// RUN: mlir-link %p/Inputs/visibility.mlir %s -o - | FileCheck %s
33

4-
// visibility not yet supported
4+
// mlir.alias not yet supported; comdat not yet supported
55
// XFAIL: *
66

77
module {
Lines changed: 8 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,11 @@
1+
// RUN: mlir-link %s -split-input-file -o - | FileCheck %s
2+
13
// The values in this chunk are weak the ones in the second chunk are strong,
24
// but we should still get the visibility from weak symbols.
35

4-
llvm.comdat @__llvm_global_comdat {
5-
llvm.comdat_selector @c1 any
6-
}
7-
86
llvm.mlir.global weak hidden @v1(0 : i32) {addr_space = 0 : i32, dso_local} : i32
97
llvm.mlir.global weak protected @v2(0 : i32) {addr_space = 0 : i32, dso_local} : i32
108
llvm.mlir.global weak hidden @v3(0 : i32) {addr_space = 0 : i32, dso_local} : i32
11-
llvm.mlir.global external hidden @v4(1 : i32) comdat(@__llvm_global_comdat::@c1) {addr_space = 0 : i32, dso_local} : i32
129

1310
llvm.func weak hidden @f1() {
1411
llvm.return
@@ -22,32 +19,26 @@ llvm.func weak hidden @f3() {
2219
llvm.return
2320
}
2421

25-
llvm.comdat @__llvm_global_comdat {
26-
llvm.comdat_selector @c1 any
27-
}
28-
2922
// -----
3023

31-
// CHECK: llvm.mlir.global external hidden @v1(0 : i32)
24+
// CHECK-DAG: llvm.mlir.global external hidden @v1(0 : i32)
3225
llvm.mlir.global external @v1(0 : i32) {addr_space = 0 : i32} : i32
33-
// CHECK: llvm.mlir.global external protected @v2(0 : i32)
26+
// CHECK-DAG: llvm.mlir.global external protected @v2(0 : i32)
3427
llvm.mlir.global external @v2(0 : i32) {addr_space = 0 : i32} : i32
35-
// CHECK: llvm.mlir.global external hidden @v3(0 : i32)
28+
// CHECK-DAG: llvm.mlir.global external hidden @v3(0 : i32)
3629
llvm.mlir.global external protected @v3(0 : i32) {addr_space = 0 : i32, dso_local} : i32
37-
// CHECK: llvm.mlir.global external hidden @v4(1 : i32) comdat(@__llvm_global_comdat::@c1)
38-
llvm.mlir.global external @v4(1 : i32) comdat(@__llvm_global_comdat::@c1) {addr_space = 0 : i32} : i32
3930

40-
// CHECK: llvm.func hidden @f1()
31+
// CHECK-DAG: llvm.func hidden @f1()
4132
llvm.func @f1() {
4233
llvm.return
4334
}
4435

45-
// CHECK: llvm.func protected @f2()
36+
// CHECK-DAG: llvm.func protected @f2()
4637
llvm.func @f2() {
4738
llvm.return
4839
}
4940

50-
// CHECK: llvm.func hidden @f3()
41+
// CHECK-DAG: llvm.func hidden @f3()
5142
llvm.func protected @f3() {
5243
llvm.return
5344
}

mlir/test/mlir-link/visibility.mlir

Lines changed: 8 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,44 +1,35 @@
1+
// RUN: mlir-link %s -split-input-file -o - | FileCheck %s
2+
13
// The values in this chunk are strong the ones in the second chunk are weak,
24
// but we should still get the visibility from them.
35

4-
llvm.comdat @__llvm_global_comdat {
5-
llvm.comdat_selector @c1 any
6-
}
7-
8-
// CHECK: llvm.mlir.global external hidden @v1(0 : i32)
6+
// CHECK-DAG: llvm.mlir.global external hidden @v1(0 : i32)
97
llvm.mlir.global external @v1(0 : i32) {addr_space = 0 : i32} : i32
10-
// CHECK: llvm.mlir.global external protected @v2(0 : i32)
8+
// CHECK-DAG: llvm.mlir.global external protected @v2(0 : i32)
119
llvm.mlir.global external @v2(0 : i32) {addr_space = 0 : i32} : i32
12-
// CHECK: llvm.mlir.global external hidden @v3(0 : i32)
10+
// CHECK-DAG: llvm.mlir.global external hidden @v3(0 : i32)
1311
llvm.mlir.global external protected @v3(0 : i32) {addr_space = 0 : i32, dso_local} : i32
14-
// CHECK: llvm.mlir.global external hidden @v4(1 : i32) comdat(@__llvm_global_comdat::@c1)
15-
llvm.mlir.global external @v4(1 : i32) comdat(@__llvm_global_comdat::@c1) {addr_space = 0 : i32} : i32
1612

17-
// CHECK: llvm.func hidden @f1()
13+
// CHECK-DAG: llvm.func hidden @f1()
1814
llvm.func @f1() {
1915
llvm.return
2016
}
2117

22-
// CHECK: llvm.func protected @f2()
18+
// CHECK-DAG: llvm.func protected @f2()
2319
llvm.func @f2() {
2420
llvm.return
2521
}
2622

27-
// CHECK: llvm.func hidden @f3()
23+
// CHECK-DAG: llvm.func hidden @f3()
2824
llvm.func protected @f3() {
2925
llvm.return
3026
}
3127

3228
// -----
3329

34-
llvm.comdat @__llvm_global_comdat {
35-
llvm.comdat_selector @c1 any
36-
}
37-
3830
llvm.mlir.global weak hidden @v1(0 : i32) {addr_space = 0 : i32, dso_local} : i32
3931
llvm.mlir.global weak protected @v2(0 : i32) {addr_space = 0 : i32, dso_local} : i32
4032
llvm.mlir.global weak hidden @v3(0 : i32) {addr_space = 0 : i32, dso_local} : i32
41-
llvm.mlir.global external hidden @v4(1 : i32) comdat(@__llvm_global_comdat::@c1) {addr_space = 0 : i32, dso_local} : i32
4233

4334
llvm.func weak hidden @f1() {
4435
llvm.return

0 commit comments

Comments
 (0)