64 lines · plain
1; RUN: mlir-translate --import-llvm %s --split-input-file | FileCheck %s2 3; CHECK: llvm.mlir.ifunc external @foo : !llvm.func<void (ptr, i32)>, !llvm.ptr @resolve_foo {dso_local}4@foo = dso_local ifunc void (ptr, i32), ptr @resolve_foo5 6define dso_local void @call_foo(ptr noundef %0, i32 noundef %1) {7; CHECK: llvm.call @foo8 call void @foo(ptr noundef %0, i32 noundef %1)9 ret void10}11 12define dso_local ptr @foo_fptr() {13; CHECK: [[FPTR:%[0-9]+]] = llvm.mlir.addressof @foo14; CHECK: llvm.return [[FPTR]]15 ret ptr @foo16}17 18define internal ptr @resolve_foo() {19 ret ptr @foo_120}21 22declare void @foo_1(ptr noundef, i32 noundef)23 24; // -----25 26define ptr @resolver() {27 ret ptr inttoptr (i64 333 to ptr)28}29 30@resolver_alias = alias ptr (), ptr @resolver31@resolver_alias_alias = alias ptr (), ptr @resolver_alias32 33; CHECK-DAG: llvm.mlir.ifunc external @ifunc : !llvm.func<f32 (i64)>, !llvm.ptr @resolver_alias34@ifunc = ifunc float (i64), ptr @resolver_alias35; CHECK-DAG: llvm.mlir.ifunc external @ifunc2 : !llvm.func<f32 (i64)>, !llvm.ptr @resolver_alias_alias36@ifunc2 = ifunc float (i64), ptr @resolver_alias_alias37 38; // -----39 40define ptr @resolver() {41 ret ptr inttoptr (i64 333 to ptr)42}43 44; CHECK: llvm.mlir.ifunc linkonce_odr hidden @ifunc45@ifunc = linkonce_odr hidden ifunc float (i64), ptr @resolver46 47; // -----48 49define ptr @resolver() {50 ret ptr inttoptr (i64 333 to ptr)51}52 53; CHECK: llvm.mlir.ifunc private @ifunc {{.*}} {dso_local}54@ifunc = private dso_local ifunc float (i64), ptr @resolver55 56; // -----57 58define ptr @resolver() {59 ret ptr inttoptr (i64 333 to ptr)60}61 62; CHECK: llvm.mlir.ifunc weak @ifunc63@ifunc = weak ifunc float (i64), ptr @resolver64