63 lines · plain
1! Test various aspects around call lowering. More detailed tests around core2! requirements are done in call-xxx.f90 and dummy-argument-xxx.f90 files.3 4! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s5 6! CHECK-LABEL: func @_QPtest_nested_calls7subroutine test_nested_calls()8 interface9 subroutine foo(i)10 integer :: i11 end subroutine12 integer function bar()13 end function14 end interface15 ! CHECK: %[[result_storage:.*]] = fir.alloca i32 {adapt.valuebyref}16 ! CHECK: %[[result:.*]] = fir.call @_QPbar() {{.*}}: () -> i3217 ! CHECK: fir.store %[[result]] to %[[result_storage]] : !fir.ref<i32>18 ! CHECK: fir.call @_QPfoo(%[[result_storage]]) {{.*}}: (!fir.ref<i32>) -> ()19 call foo(bar())20end subroutine21 22! Check correct lowering of the result from call to bind(c) function that23! return a char.24subroutine call_bindc_char()25 interface26 function int_to_char(int) bind(c)27 use iso_c_binding28 character(kind=c_char) :: int_to_char29 integer(c_int), value :: int30 end function31 end interface32 33 print*, int_to_char(40)34end subroutine35! CHECK-LABEL: func.func @_QPcall_bindc_char36! CHECK: %{{.*}} = fir.call @int_to_char(%{{.*}}) {{.*}}: (i32) -> !fir.char<1>37 38! Check correct lowering of function body that return char and have the bind(c)39! attribute.40function f_int_to_char(i) bind(c, name="f_int_to_char")41 use iso_c_binding42 character(kind=c_char) :: f_int_to_char43 integer(c_int), value :: i44 f_int_to_char = char(i)45end function46 47! CHECK-LABEL: func.func @f_int_to_char(48! CHECK-SAME: %[[ARG0:.*]]: i32 {fir.bindc_name = "i"}) -> !fir.char<1> attributes {fir.bindc_name = "f_int_to_char", fir.proc_attrs = #fir.proc_attrs<bind_c>} {49! CHECK: %[[CHARBOX:.*]] = fir.alloca !fir.char<1> {adapt.valuebyref}50! CHECK: %[[RESULT:.*]] = fir.alloca !fir.char<1> {bindc_name = "f_int_to_char", uniq_name = "_QFf_int_to_charEf_int_to_char"}51! CHECK: %[[INT_I:.*]] = fir.alloca i3252! CHECK: fir.store %[[ARG0]] to %[[INT_I]] : !fir.ref<i32>53! CHECK: %[[ARG0_2:.*]] = fir.load %[[INT_I]] : !fir.ref<i32>54! CHECK: %[[ARG0_I64:.*]] = fir.convert %[[ARG0_2]] : (i32) -> i6455! CHECK: %[[ARG0_I8:.*]] = fir.convert %[[ARG0_I64]] : (i64) -> i856! CHECK: %[[UNDEF:.*]] = fir.undefined !fir.char<1>57! CHECK: %[[CHAR_RES:.*]] = fir.insert_value %[[UNDEF]], %[[ARG0_I8]], [0 : index] : (!fir.char<1>, i8) -> !fir.char<1>58! CHECK: fir.store %[[CHAR_RES]] to %[[CHARBOX]] : !fir.ref<!fir.char<1>>59! CHECK: %[[LOAD_CHARBOX:.*]] = fir.load %[[CHARBOX]] : !fir.ref<!fir.char<1>>60! CHECK: fir.store %[[LOAD_CHARBOX]] to %[[RESULT]] : !fir.ref<!fir.char<1>>61! CHECK: %[[LOAD_RES:.*]] = fir.load %[[RESULT]] : !fir.ref<!fir.char<1>>62! CHECK: return %[[LOAD_RES]] : !fir.char<1>63