[MLIR][mlir-link] Add adapted tests for unnamed_addr

Author: Jezurko

mlir/test/mlir-link/adapted/unnamed-addr-err-a.mlir

@@ -0,0 +1,7 @@
+// RUN: not mlir-link %s %S/unnamed-addr-err-b.mlir 2>&1 | FileCheck %s
+
+// CHECK: Appending variables with different unnamed_addr need to be linked
+
+module {
+  llvm.mlir.global appending unnamed_addr @foo(dense<42> : tensor<1xi32>) {addr_space = 0 : i32} : !llvm.array<1 x i32>
+}

mlir/test/mlir-link/adapted/unnamed-addr-err-b.mlir

@@ -0,0 +1,5 @@
+// RUN: true
+
+module {
+  llvm.mlir.global appending @foo(dense<42> : tensor<1xi32>) {addr_space = 0 : i32} : !llvm.array<1 x i32>
+}

mlir/test/mlir-link/adapted/unnamed-addr1-a.mlir

@@ -0,0 +1,94 @@
+// RUN: mlir-link %s %S/unnamed-addr1-b.ll -o - | FileCheck %s
+
+// llvm.mlir.alias not yet supported
+// XFAIL: *
+
+module {
+  // CHECK-DAG: llvm.mlir.global common @"global-a"(0 : i32)
+  llvm.mlir.global common @"global-a"(0 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global common unnamed_addr @"global-b"(0 : i32)
+  llvm.mlir.global common unnamed_addr @"global-b"(0 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global common unnamed_addr @"global-c"(0 : i32)
+  llvm.mlir.global common unnamed_addr @"global-c"(0 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global external @"global-d"(42 : i32)
+  llvm.mlir.global external @"global-d"() {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global external unnamed_addr @"global-e"(42 : i32)
+  llvm.mlir.global external unnamed_addr @"global-e"() {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global external @"global-f"(42 : i32)
+  llvm.mlir.global weak @"global-f"(42 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.alias external @"alias-a" : i32 {
+  llvm.mlir.global weak @"alias-a"(42 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.alias external unnamed_addr @"alias-b" : i32 {
+  llvm.mlir.global weak unnamed_addr @"alias-b"(42 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global common @"global-g"(0: i32)
+  llvm.mlir.global common unnamed_addr @"global-g"(0 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global external @"global-h"(42 : i32)
+  llvm.mlir.global external @"global-h"() {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global external @"global-i"(42 : i32)
+  llvm.mlir.global external unnamed_addr @"global-i"() {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.global external @"global-j"(42 : i32)
+  llvm.mlir.global weak @"global-j"(42 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.alias external @"alias-c" : i32 {
+  llvm.mlir.global weak @"alias-c"(42 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.mlir.alias external @"alias-d" : i32 {
+  llvm.mlir.global weak unnamed_addr @"alias-d"(42 : i32) {addr_space = 0 : i32} : i32
+
+  // CHECK-DAG: llvm.func weak @"func-a"() {
+  llvm.func weak @"func-a"() {
+    llvm.return
+  }
+
+  // CHECK-DAG: llvm.func weak unnamed_addr @"func-b"() {
+  llvm.func weak unnamed_addr @"func-b"() {
+    llvm.return
+  }
+
+  llvm.func @"use-global-d"() -> !llvm.ptr {
+    %0 = llvm.mlir.addressof @"global-d" : !llvm.ptr
+    llvm.return %0 : !llvm.ptr
+  }
+
+  // CHECK-DAG: llvm.func weak @"func-c"() {
+  llvm.func @"func-c"()
+
+  llvm.func @"use-func-c"() {
+    llvm.call @"func-c"() : () -> ()
+    llvm.return
+  }
+
+  // CHECK-DAG: llvm.func weak @"func-d"() {
+  llvm.func weak @"func-d"() {
+    llvm.return
+  }
+
+  // CHECK-DAG llvm.func weak unnamed_addr @"func-e"() {
+  llvm.func weak unnamed_addr @"func-e"() {
+    llvm.return
+  }
+
+  // CHECK-DAG: llvm.func weak @"func-g"() {
+  llvm.func @"func-g"()
+
+  // CHECK-DAG: llvm.func weak @"func-h"() {
+  llvm.func weak @"func-h"() {
+    llvm.return
+  }
+
+  // CHECK-DAG: llvm.func weak @"func-i"() {
+  llvm.func weak unnamed_addr @"func-i"() {
+    llvm.return
+  }
+}

mlir/test/mlir-link/adapted/unnamed-addr1-b.mlir

@@ -0,0 +1,46 @@
+// RUN: true
+
+module {
+  llvm.mlir.global common unnamed_addr @"global-c"(0 : i32) {addr_space = 0 : i32} : i32
+  llvm.mlir.global external unnamed_addr @"global-d"(42 : i32) {addr_space = 0 : i32} : i32
+  llvm.mlir.global external unnamed_addr @"global-e"(42 : i32) {addr_space = 0 : i32} : i32
+  llvm.mlir.global external unnamed_addr @"global-f"(42 : i32) {addr_space = 0 : i32} : i32
+  llvm.mlir.global common @"global-g"(0 : i32) {addr_space = 0 : i32} : i32
+  llvm.mlir.global external @"global-h"(42 : i32) {addr_space = 0 : i32} : i32
+  llvm.mlir.global external @"global-i"(42 : i32) {addr_space = 0 : i32} : i32
+  llvm.mlir.global external @"global-j"(42 : i32) {addr_space = 0 : i32} : i32
+  llvm.mlir.alias external unnamed_addr @"alias-a" : i32 {
+    %0 = llvm.mlir.addressof @"global-f" : !llvm.ptr
+    llvm.return %0 : !llvm.ptr
+  }
+  llvm.mlir.alias external unnamed_addr @"alias-b" : i32 {
+    %0 = llvm.mlir.addressof @"global-f" : !llvm.ptr
+    llvm.return %0 : !llvm.ptr
+  }
+  llvm.mlir.alias external @"alias-c" : i32 {
+    %0 = llvm.mlir.addressof @"global-f" : !llvm.ptr
+    llvm.return %0 : !llvm.ptr
+  }
+  llvm.mlir.alias external @"alias-d" : i32 {
+    %0 = llvm.mlir.addressof @"global-f" : !llvm.ptr
+    llvm.return %0 : !llvm.ptr
+  }
+  llvm.func weak unnamed_addr @"func-c"() {
+    llvm.return
+  }
+  llvm.func weak unnamed_addr @"func-d"() {
+    llvm.return
+  }
+  llvm.func weak unnamed_addr @"func-e"() {
+    llvm.return
+  }
+  llvm.func weak @"func-g"() {
+    llvm.return
+  }
+  llvm.func weak @"func-h"() {
+    llvm.return
+  }
+  llvm.func weak @"func-i"() {
+    llvm.return
+  }
+}