71 lines · plain
1// RUN: mlir-translate -mlir-to-llvmir %s --split-input-file | FileCheck %s2 3// CHECK: @foo = dso_local ifunc void (ptr, i32), ptr @resolve_foo4llvm.mlir.ifunc external @foo : !llvm.func<void (ptr, i32)>, !llvm.ptr @resolve_foo {dso_local}5llvm.func @call_foo(%arg0: !llvm.ptr {llvm.noundef}, %arg1: i32 {llvm.noundef}) attributes {dso_local} {6// CHECK: call void @foo7 llvm.call @foo(%arg0, %arg1) : (!llvm.ptr {llvm.noundef}, i32 {llvm.noundef}) -> ()8 llvm.return9}10llvm.func @foo_fptr() -> !llvm.ptr attributes {dso_local} {11 %1 = llvm.mlir.addressof @foo : !llvm.ptr12// CHECK: ret ptr @foo13 llvm.return %1 : !llvm.ptr14}15llvm.func internal @resolve_foo() -> !llvm.ptr attributes {dso_local} {16 %0 = llvm.mlir.addressof @foo_1 : !llvm.ptr17 llvm.return %0 : !llvm.ptr18}19llvm.func @foo_1(!llvm.ptr {llvm.noundef}, i32 {llvm.noundef})20 21// -----22 23llvm.mlir.alias external @resolver_alias : !llvm.func<ptr ()> {24 %0 = llvm.mlir.addressof @resolver : !llvm.ptr25 llvm.return %0 : !llvm.ptr26}27llvm.mlir.alias external @resolver_alias_alias : !llvm.func<ptr ()> {28 %0 = llvm.mlir.addressof @resolver_alias : !llvm.ptr29 llvm.return %0 : !llvm.ptr30}31 32// CHECK-DAG: @ifunc = ifunc float (i64), ptr @resolver_alias33// CHECK-DAG: @ifunc2 = ifunc float (i64), ptr @resolver_alias_alias34llvm.mlir.ifunc external @ifunc2 : !llvm.func<f32 (i64)>, !llvm.ptr @resolver_alias_alias35llvm.mlir.ifunc external @ifunc : !llvm.func<f32 (i64)>, !llvm.ptr @resolver_alias36llvm.func @resolver() -> !llvm.ptr {37 %0 = llvm.mlir.constant(333 : i64) : i6438 %1 = llvm.inttoptr %0 : i64 to !llvm.ptr39 llvm.return %1 : !llvm.ptr40}41 42// -----43 44// CHECK: @ifunc = linkonce_odr hidden ifunc45llvm.mlir.ifunc linkonce_odr hidden @ifunc : !llvm.func<f32 (i64)>, !llvm.ptr @resolver {dso_local}46llvm.func @resolver() -> !llvm.ptr {47 %0 = llvm.mlir.constant(333 : i64) : i6448 %1 = llvm.inttoptr %0 : i64 to !llvm.ptr49 llvm.return %1 : !llvm.ptr50}51 52// -----53 54// CHECK: @ifunc = private ifunc55llvm.mlir.ifunc private @ifunc : !llvm.func<f32 (i64)>, !llvm.ptr @resolver {dso_local}56llvm.func @resolver() -> !llvm.ptr {57 %0 = llvm.mlir.constant(333 : i64) : i6458 %1 = llvm.inttoptr %0 : i64 to !llvm.ptr59 llvm.return %1 : !llvm.ptr60}61 62// -----63 64// CHECK: @ifunc = weak ifunc65llvm.mlir.ifunc weak @ifunc : !llvm.func<f32 (i64)>, !llvm.ptr @resolver66llvm.func @resolver() -> !llvm.ptr {67 %0 = llvm.mlir.constant(333 : i64) : i6468 %1 = llvm.inttoptr %0 : i64 to !llvm.ptr69 llvm.return %1 : !llvm.ptr70}71