50 lines · plain
1// RUN: fir-opt --split-input-file --verify-diagnostics %s2 3func.func @_QPcoordinate_box_derived_with_fir_len(%arg0: !fir.box<!fir.type<derived_2{len1:i32}>>) -> i32 {4 %lp = arith.constant 22 : i325 %e = fir.len_param_index len1, !fir.type<derived_1{len1:i32}>(%lp : i32)6 // expected-error@+1 {{'fir.coordinate_of' op len_param_index type not compatible with reference type}}7 %q = fir.coordinate_of %arg0, %e : (!fir.box<!fir.type<derived_2{len1:i32}>>, !fir.len) -> !fir.ref<i32>8 %val = fir.load %q : !fir.ref<i32>9 return %val : i3210}11 12// -----13 14func.func @_QPcoordinate_box_derived_with_fir_len2(%arg0: !fir.box<!fir.array<?x!fir.type<derived_2{len1:i32}>>>) -> i32 {15 %lp = arith.constant 22 : i3216 %e = fir.len_param_index len1, !fir.type<derived_1{len1:i32}>(%lp : i32)17 // expected-error@+1 {{'fir.coordinate_of' op too many operands for len_param_index case}}18 %q = fir.coordinate_of %arg0, %lp, %e : (!fir.box<!fir.array<?x!fir.type<derived_2{len1:i32}>>>, i32, !fir.len) -> !fir.ref<i32>19 %val = fir.load %q : !fir.ref<i32>20 return %val : i3221}22 23// -----24 25func.func @_QPcoordinate_box_derived_with_fir_len3(%arg0: !fir.box<!fir.type<derived_2{len1:i32}>>) -> i32 {26 %lp = arith.constant 22 : i3227 %e = fir.len_param_index len1, !fir.type<derived_1{len1:i32}>(%lp : i32)28 // expected-error@+1 {{'fir.coordinate_of' op len_param_index must be last argument}}29 %q = fir.coordinate_of %arg0, %e, %e : (!fir.box<!fir.type<derived_2{len1:i32}>>, !fir.len, !fir.len) -> !fir.ref<i32>30 %val = fir.load %q : !fir.ref<i32>31 return %val : i3232}33 34// -----35 36func.func @_QPtest_coordinate_of(%arr : !fir.ref<!fir.array<2 x !fir.char<10, 2>>>, %arg1: index) {37 %1 = arith.constant 10 : i3238 // expected-error@+1 {{'fir.coordinate_of' op character type mismatch}}39 %2 = fir.coordinate_of %arr, %arg1, %1 : (!fir.ref<!fir.array<2 x !fir.char<10, 2>>>, index, i32) -> !fir.ref<!fir.char<1,10>>40 return41}42 43// -----44 45func.func @_QPtest_coordinate_of(%arr : !fir.ref<!fir.array<2 x i32>>, %arg1: index) {46 // expected-error@+1 {{'fir.coordinate_of' op invalid parameters (too many)}}47 %2 = fir.coordinate_of %arr, %arg1, %arg1 : (!fir.ref<!fir.array<2 x i32>>, index, index) -> !fir.ref<i32>48 return49}50