114 lines · plain
1// RUN: fir-opt --function-attr="set-noalias=true" %s | FileCheck %s2 3// Test the annotation of function arguments with llvm.noalias.4 5// Test !fir.ref arguments.6// CHECK-LABEL: func.func private @test_ref(7// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<i32> {llvm.noalias}) {8func.func private @test_ref(%arg0: !fir.ref<i32>) {9 return10}11 12// CHECK-LABEL: func.func private @test_ref_target(13// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<i32> {fir.target}) {14func.func private @test_ref_target(%arg0: !fir.ref<i32> {fir.target}) {15 return16}17 18// CHECK-LABEL: func.func private @test_ref_volatile(19// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<i32> {fir.volatile}) {20func.func private @test_ref_volatile(%arg0: !fir.ref<i32> {fir.volatile}) {21 return22}23 24// CHECK-LABEL: func.func private @test_ref_asynchronous(25// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<i32> {fir.asynchronous}) {26func.func private @test_ref_asynchronous(%arg0: !fir.ref<i32> {fir.asynchronous}) {27 return28}29 30// CHECK-LABEL: func.func private @test_ref_box(31// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<!fir.box<i32>> {llvm.noalias}) {32// Test !fir.ref<!fir.box<>> arguments:33func.func private @test_ref_box(%arg0: !fir.ref<!fir.box<i32>>) {34 return35}36 37// CHECK-LABEL: func.func private @test_ref_box_target(38// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<!fir.box<i32>> {fir.target}) {39func.func private @test_ref_box_target(%arg0: !fir.ref<!fir.box<i32>> {fir.target}) {40 return41}42 43// CHECK-LABEL: func.func private @test_ref_box_volatile(44// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<!fir.box<i32>> {fir.volatile}) {45func.func private @test_ref_box_volatile(%arg0: !fir.ref<!fir.box<i32>> {fir.volatile}) {46 return47}48 49// CHECK-LABEL: func.func private @test_ref_box_asynchronous(50// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<!fir.box<i32>> {fir.asynchronous}) {51func.func private @test_ref_box_asynchronous(%arg0: !fir.ref<!fir.box<i32>> {fir.asynchronous}) {52 return53}54 55// Test POINTER arguments.56// CHECK-LABEL: func.func private @test_ref_box_ptr(57// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<!fir.box<!fir.ptr<i32>>>) {58func.func private @test_ref_box_ptr(%arg0: !fir.ref<!fir.box<!fir.ptr<i32>>>) {59 return60}61 62// Test ALLOCATABLE arguments.63// CHECK-LABEL: func.func private @test_ref_box_heap(64// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<!fir.box<!fir.heap<i32>>> {llvm.noalias}) {65func.func private @test_ref_box_heap(%arg0: !fir.ref<!fir.box<!fir.heap<i32>>>) {66 return67}68 69// BIND(C) functions are not annotated.70// CHECK-LABEL: func.func private @test_ref_bindc(71// CHECK-SAME: %[[ARG0:.*]]: !fir.ref<i32>)72func.func private @test_ref_bindc(%arg0: !fir.ref<i32>) attributes {fir.bindc_name = "test_ref_bindc", fir.proc_attrs = #fir.proc_attrs<bind_c>} {73 return74}75 76// Test function declaration from a module.77// CHECK-LABEL: func.func private @_QMtest_modPcheck_module(78// CHECK-SAME: !fir.ref<i32> {llvm.noalias})79func.func private @_QMtest_modPcheck_module(!fir.ref<i32>)80 81// Test !fir.box arguments:82// CHECK-LABEL: func.func private @test_box(83// CHECK-SAME: %[[ARG0:.*]]: !fir.box<i32> {llvm.noalias}) {84func.func private @test_box(%arg0: !fir.box<i32>) {85 return86}87 88// CHECK-LABEL: func.func private @test_box_target(89// CHECK-SAME: %[[ARG0:.*]]: !fir.box<i32> {fir.target, llvm.noalias}) {90func.func private @test_box_target(%arg0: !fir.box<i32> {fir.target}) {91 return92}93 94// CHECK-LABEL: func.func private @test_box_volatile(95// CHECK-SAME: %[[ARG0:.*]]: !fir.box<i32> {fir.volatile, llvm.noalias}) {96func.func private @test_box_volatile(%arg0: !fir.box<i32> {fir.volatile}) {97 return98}99 100// CHECK-LABEL: func.func private @test_box_asynchronous(101// CHECK-SAME: %[[ARG0:.*]]: !fir.box<i32> {fir.asynchronous, llvm.noalias}) {102func.func private @test_box_asynchronous(%arg0: !fir.box<i32> {fir.asynchronous}) {103 return104}105 106// !fir.boxchar<> is lowered before FunctionAttrPass, but let's107// make sure we do not annotate it.108// CHECK-LABEL: func.func private @test_boxchar(109// CHECK-SAME: %[[ARG0:.*]]: !fir.boxchar<1>) {110func.func private @test_boxchar(%arg0: !fir.boxchar<1>) {111 return112}113 114