98 lines · plain
1; RUN: mlir-translate --import-llvm %s -split-input-file | FileCheck %s2 3@foo_alias = alias ptr, ptr @callee4 5; CHECK: llvm.mlir.alias external @foo_alias : !llvm.ptr {6; CHECK: %[[ADDR:.*]] = llvm.mlir.addressof @callee : !llvm.ptr7; CHECK: llvm.return %[[ADDR]] : !llvm.ptr8; CHECK: }9 10define internal ptr @callee() {11entry:12 ret ptr null13}14 15; // -----16 17@zed = global i32 4218@foo = alias i32, ptr @zed19@foo2 = alias i16, ptr @zed20 21; CHECK: llvm.mlir.alias external @foo : i32 {22; CHECK: %[[ADDR:.*]] = llvm.mlir.addressof @zed : !llvm.ptr23; CHECK: llvm.return %[[ADDR]] : !llvm.ptr24; CHECK: }25; CHECK: llvm.mlir.alias external @foo2 : i16 {26; CHECK: %[[ADDR:.*]] = llvm.mlir.addressof @zed : !llvm.ptr27; CHECK: llvm.return %[[ADDR]] : !llvm.ptr28; CHECK: }29 30; // -----31 32@v1 = global i32 033@a3 = alias i32, addrspacecast (ptr @v1 to ptr addrspace(2))34; CHECK: llvm.mlir.alias external @a3 : i32 {35; CHECK: %[[ADDR:.*]] = llvm.mlir.addressof @v1 : !llvm.ptr36; CHECK: %[[CASTED_ADDR:.*]] = llvm.addrspacecast %[[ADDR]] : !llvm.ptr to !llvm.ptr<2>37; CHECK: llvm.return %[[CASTED_ADDR]] : !llvm.ptr<2>38; CHECK: }39 40; // -----41 42@some_name = constant { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr null] }43@vtable = alias { [3 x ptr] }, ptr @some_name44 45; CHECK: llvm.mlir.alias external @vtable : !llvm.struct<(array<3 x ptr>)> {46; CHECK: %[[ADDR:.*]] = llvm.mlir.addressof @some_name : !llvm.ptr47; CHECK: llvm.return %[[ADDR]] : !llvm.ptr48; CHECK: }49 50; // -----51 52@glob.private = private constant [32 x i32] zeroinitializer53@glob = linkonce_odr hidden alias [32 x i32], inttoptr (i64 add (i64 ptrtoint (ptr @glob.private to i64), i64 1234) to ptr)54 55; CHECK: llvm.mlir.alias linkonce_odr hidden @glob {dso_local} : !llvm.array<32 x i32> {56; CHECK: %[[CST:.*]] = llvm.mlir.constant(1234 : i64) : i6457; CHECK: %[[ADDR:.*]] = llvm.mlir.addressof @glob.private : !llvm.ptr58; CHECK: %[[PTRTOINT:.*]] = llvm.ptrtoint %[[ADDR]] : !llvm.ptr to i6459; CHECK: %[[INTTOPTR:.*]] = llvm.add %[[PTRTOINT]], %[[CST]] : i6460; CHECK: %[[RET:.*]] = llvm.inttoptr %[[INTTOPTR]] : i64 to !llvm.ptr61; CHECK: llvm.return %[[RET]] : !llvm.ptr62 63; // -----64 65@glob.private2 = private constant [32 x i32] zeroinitializer66@glob2 = weak_odr hidden alias [32 x i32], inttoptr (i64 add (i64 ptrtoint (ptr @glob.private2 to i64), i64 1234) to ptr)67 68; CHECK: llvm.mlir.alias weak_odr hidden @glob2 {dso_local} : !llvm.array<32 x i32> {69 70; // -----71 72@g1 = private global i32 073@g2 = internal constant ptr @a174@g3 = internal constant ptr @a275@a1 = private alias i32, ptr @g176@a2 = private alias ptr, ptr @a177 78 79; CHECK: llvm.mlir.global internal constant @g2() {addr_space = 0 : i32, dso_local} : !llvm.ptr {80; CHECK-NEXT: %[[ADDR:.*]] = llvm.mlir.addressof @a1 : !llvm.ptr81; CHECK-NEXT: llvm.return %[[ADDR]] : !llvm.ptr82; CHECK-NEXT: }83 84; CHECK: llvm.mlir.global internal constant @g3() {addr_space = 0 : i32, dso_local} : !llvm.ptr {85; CHECK-NEXT: %[[ADDR:.*]] = llvm.mlir.addressof @a2 : !llvm.ptr86; CHECK-NEXT: llvm.return %[[ADDR]] : !llvm.ptr87; CHECK-NEXT: }88 89; CHECK: llvm.mlir.alias private @a1 {dso_local} : i32 {90; CHECK-NEXT: %[[ADDR:.*]] = llvm.mlir.addressof @g1 : !llvm.ptr91; CHECK-NEXT: llvm.return %[[ADDR]] : !llvm.ptr92; CHECK-NEXT: }93 94; CHECK: llvm.mlir.alias private @a2 {dso_local} : !llvm.ptr {95; CHECK-NEXT: %[[ADDR:.*]] = llvm.mlir.addressof @a1 : !llvm.ptr96; CHECK-NEXT: llvm.return %[[ADDR]] : !llvm.ptr97; CHECK-NEXT: }98