| ! Test for PassBy::Value |
| ! RUN: bbc -emit-fir %s -o - | FileCheck %s |
| |
| !CHECK-LABEL: func @_QQmain() |
| !CHECK: %[[LOGICAL:.*]] = fir.alloca !fir.logical<1> |
| !CHECK: %false = arith.constant false |
| !CHECK: %[[VALUE:.*]] = fir.convert %false : (i1) -> !fir.logical<1> |
| !CHECK: fir.store %[[VALUE]] to %[[LOGICAL]] |
| !CHECK: %[[LOAD:.*]] = fir.load %[[LOGICAL]] |
| !CHECK: fir.call @omp_set_nested(%[[LOAD]]) {{.*}}: {{.*}} |
| |
| program call_by_value |
| use iso_c_binding, only: c_bool |
| interface |
| subroutine omp_set_nested(enable) bind(c) |
| import c_bool |
| logical(c_bool), value :: enable |
| end subroutine omp_set_nested |
| end interface |
| |
| logical(c_bool) do_nested |
| do_nested = .FALSE. |
| call omp_set_nested(do_nested) |
| end program call_by_value |
| |
| ! CHECK-LABEL: func.func @test_integer_value( |
| ! CHECK-SAME: %[[VAL_0:.*]]: i32 {fir.bindc_name = "x"}) attributes {fir.bindc_name = "test_integer_value"} { |
| ! CHECK: %[[VAL_1:.*]] = fir.alloca i32 |
| ! CHECK: fir.store %[[VAL_0]] to %[[VAL_1]] : !fir.ref<i32> |
| ! CHECK: fir.call @_QPinternal_call(%[[VAL_1]]) {{.*}}: (!fir.ref<i32>) -> () |
| ! CHECK: return |
| ! CHECK: } |
| |
| subroutine test_integer_value(x) bind(c) |
| integer, value :: x |
| call internal_call(x) |
| end |
| |
| ! CHECK-LABEL: func.func @test_real_value( |
| ! CHECK-SAME: %[[VAL_0:.*]]: f32 {fir.bindc_name = "x"}) attributes {fir.bindc_name = "test_real_value"} { |
| ! CHECK: %[[VAL_1:.*]] = fir.alloca f32 |
| ! CHECK: fir.store %[[VAL_0]] to %[[VAL_1]] : !fir.ref<f32> |
| ! CHECK: fir.call @_QPinternal_call2(%[[VAL_1]]) {{.*}}: (!fir.ref<f32>) -> () |
| ! CHECK: return |
| ! CHECK: } |
| |
| subroutine test_real_value(x) bind(c) |
| real, value :: x |
| call internal_call2(x) |
| end |
| |
| ! CHECK-LABEL: func.func @test_complex_value( |
| ! CHECK-SAME: %[[VAL_0:.*]]: !fir.complex<4> {fir.bindc_name = "x"}) attributes {fir.bindc_name = "test_complex_value"} { |
| ! CHECK: %[[VAL_1:.*]] = fir.alloca !fir.complex<4> |
| ! CHECK: fir.store %[[VAL_0]] to %[[VAL_1]] : !fir.ref<!fir.complex<4>> |
| ! CHECK: fir.call @_QPinternal_call3(%[[VAL_1]]) {{.*}}: (!fir.ref<!fir.complex<4>>) -> () |
| ! CHECK: return |
| ! CHECK: } |
| |
| subroutine test_complex_value(x) bind(c) |
| complex, value :: x |
| call internal_call3(x) |
| end |
| |
| ! CHECK-LABEL: func.func @test_char_value( |
| ! CHECK-SAME: %[[VAL_0:.*]]: !fir.boxchar<1> {fir.bindc_name = "x"}) attributes {fir.bindc_name = "test_char_value"} { |
| ! CHECK: %[[VAL_1:.*]]:2 = fir.unboxchar %[[VAL_0]] : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index) |
| ! CHECK: %[[VAL_2:.*]] = arith.constant 1 : index |
| ! CHECK: %[[VAL_3:.*]] = fir.convert %[[VAL_1]]#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<!fir.char<1>> |
| ! CHECK: %[[VAL_4:.*]] = fir.convert %[[VAL_3]] : (!fir.ref<!fir.char<1>>) -> !fir.ref<!fir.char<1,?>> |
| ! CHECK: %[[VAL_5:.*]] = fir.emboxchar %[[VAL_4]], %[[VAL_2]] : (!fir.ref<!fir.char<1,?>>, index) -> !fir.boxchar<1> |
| ! CHECK: fir.call @_QPinternal_call4(%[[VAL_5]]) fastmath<contract> : (!fir.boxchar<1>) -> () |
| ! CHECK: return |
| ! CHECK: } |
| |
| subroutine test_char_value(x) bind(c) |
| character(1), value :: x |
| call internal_call4(x) |
| end |
| |
| ! CHECK-LABEL: func.func @_QPtest_cptr_value( |
| ! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64> {fir.bindc_name = "x"}) { |
| ! CHECK: %[[VAL_1:.*]] = fir.alloca !fir.type<_QM__fortran_builtinsT__builtin_c_ptr{__address:i64}> |
| ! CHECK: %[[VAL_2:.*]] = fir.field_index __address, !fir.type<_QM__fortran_builtinsT__builtin_c_ptr{__address:i64}> |
| ! CHECK: %[[VAL_3:.*]] = fir.coordinate_of %[[VAL_1]], %[[VAL_2]] : (!fir.ref<!fir.type<_QM__fortran_builtinsT__builtin_c_ptr{__address:i64}>>, !fir.field) -> !fir.ref<i64> |
| ! CHECK: %[[VAL_4:.*]] = fir.convert %[[VAL_0]] : (!fir.ref<i64>) -> i64 |
| ! CHECK: fir.store %[[VAL_4]] to %[[VAL_3]] : !fir.ref<i64> |
| ! CHECK: fir.call @_QPinternal_call5(%[[VAL_1]]) {{.*}}: (!fir.ref<!fir.type<_QM__fortran_builtinsT__builtin_c_ptr{__address:i64}>>) -> () |
| ! CHECK: return |
| ! CHECK: } |
| |
| subroutine test_cptr_value(x) |
| use iso_c_binding |
| type(c_ptr), value :: x |
| call internal_call5(x) |
| end |