[Mlir-commits] [mlir] [MLIR][LLVM] Implement LLVM dialect support for global aliases (PR #125295)

[Christian Ulmann]

================
@@ -0,0 +1,81 @@
+; RUN: mlir-translate --import-llvm %s | FileCheck %s
+
+ at foo_alias = alias ptr, ptr @callee
+
+; CHECK: llvm.mlir.alias external @foo_alias {addr_space = 0 : i32} : !llvm.ptr {
+; CHECK:   %0 = llvm.mlir.addressof @callee : !llvm.ptr
+; CHECK:   llvm.return %0 : !llvm.ptr
+; CHECK: }
+
+define internal ptr @callee() {
+entry:
+  ret ptr null
+}
+
+ at zed = global i32 42
+ at foo = alias i32, ptr @zed
+ at foo2 = alias i16, ptr @zed
+
+; CHECK: llvm.mlir.alias external @foo {addr_space = 0 : i32} : i32 {
+; CHECK:   %0 = llvm.mlir.addressof @zed : !llvm.ptr
+; CHECK:   llvm.return %0 : !llvm.ptr
+; CHECK: }
+; CHECK: llvm.mlir.alias external @foo2 {addr_space = 0 : i32} : i16 {
+; CHECK:   %0 = llvm.mlir.addressof @zed : !llvm.ptr
+; CHECK:   llvm.return %0 : !llvm.ptr
+; CHECK: }
+
+ at v1 = global i32 0
+ at a3 = alias i32, addrspacecast (ptr @v1 to ptr addrspace(2))
+; CHECK: llvm.mlir.alias external @a3 {addr_space = 2 : i32} : i32 {
+; CHECK:   %0 = llvm.mlir.addressof @v1 : !llvm.ptr
+; CHECK:   %1 = llvm.addrspacecast %0 : !llvm.ptr to !llvm.ptr<2>
+; CHECK:   llvm.return %1 : !llvm.ptr<2>
+; CHECK: }
+
+ at some_name = constant { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr null] }
+ at _ZTV1D = alias { [3 x ptr] }, ptr @some_name
----------------
Dinistro wrote:

Nit: Please avoid mangled names and use descriptive names instead.

https://github.com/llvm/llvm-project/pull/125295