| // FIR ops diagnotic tests |
| |
| // RUN: fir-opt -split-input-file -verify-diagnostics %s |
| |
| // expected-error@+1{{custom op 'fir.string_lit' must have character type}} |
| %0 = fir.string_lit "Hello, World!"(13) : !fir.int<32> |
| |
| // ----- |
| |
| // expected-error@+1{{custom op 'fir.string_lit' found an invalid constant}} |
| %0 = fir.string_lit 20(13) : !fir.int<32> |
| |
| // ----- |
| |
| // expected-error@+1{{'fir.string_lit' op values in list must be integers}} |
| %2 = fir.string_lit [158, 2.0](2) : !fir.char<2> |
| |
| // ----- |
| |
| func @bad_rebox_1(%arg0: !fir.ref<!fir.array<?x?xf32>>) { |
| %c10 = arith.constant 10 : index |
| %0 = fir.shape %c10 : (index) -> !fir.shape<1> |
| // expected-error@+1{{op operand #0 must be The type of a Fortran descriptor, but got '!fir.ref<!fir.array<?x?xf32>>'}} |
| %1 = fir.rebox %arg0(%0) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shape<1>) -> !fir.box<!fir.array<?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_2(%arg0: !fir.box<!fir.array<?x?xf32>>) { |
| %c10 = arith.constant 10 : index |
| %0 = fir.shape %c10 : (index) -> !fir.shape<1> |
| // expected-error@+1{{op result #0 must be The type of a Fortran descriptor, but got '!fir.ref<!fir.array<?xf32>>'}} |
| %1 = fir.rebox %arg0(%0) : (!fir.box<!fir.array<?x?xf32>>, !fir.shape<1>) -> !fir.ref<!fir.array<?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_3(%arg0: !fir.box<!fir.array<*:f32>>) { |
| %c10 = arith.constant 10 : index |
| %0 = fir.shape %c10 : (index) -> !fir.shape<1> |
| // expected-error@+1{{op box operand must not have unknown rank or type}} |
| %1 = fir.rebox %arg0(%0) : (!fir.box<!fir.array<*:f32>>, !fir.shape<1>) -> !fir.box<!fir.array<?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_4(%arg0: !fir.box<!fir.array<?xf32>>) { |
| // expected-error@+1{{op result type must not have unknown rank or type}} |
| %0 = fir.rebox %arg0 : (!fir.box<!fir.array<?xf32>>) -> !fir.box<!fir.array<*:f32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_5(%arg0: !fir.box<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| %0 = fir.slice %c1, %c10, %c1 : (index, index, index) -> !fir.slice<1> |
| // expected-error@+1{{op slice operand rank must match box operand rank}} |
| %1 = fir.rebox %arg0 [%0] : (!fir.box<!fir.array<?x?xf32>>, !fir.slice<1>) -> !fir.box<!fir.array<?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_6(%arg0: !fir.box<!fir.array<?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| %0 = fir.slice %c1, %c10, %c1 : (index, index, index) -> !fir.slice<1> |
| %1 = fir.shift %c1, %c1 : (index, index) -> !fir.shift<2> |
| // expected-error@+1{{shape operand and input box ranks must match when there is a slice}} |
| %2 = fir.rebox %arg0(%1) [%0] : (!fir.box<!fir.array<?xf32>>, !fir.shift<2>, !fir.slice<1>) -> !fir.box<!fir.array<?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_7(%arg0: !fir.box<!fir.array<?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| %0 = fir.slice %c1, %c10, %c1 : (index, index, index) -> !fir.slice<1> |
| %1 = fir.shape %c10 : (index) -> !fir.shape<1> |
| // expected-error@+1{{shape operand must absent or be a fir.shift when there is a slice}} |
| %2 = fir.rebox %arg0(%1) [%0] : (!fir.box<!fir.array<?xf32>>, !fir.shape<1>, !fir.slice<1>) -> !fir.box<!fir.array<?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_8(%arg0: !fir.box<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| %undef = fir.undefined index |
| %0 = fir.slice %c1, %undef, %undef, %c1, %c10, %c1 : (index, index, index, index, index, index) -> !fir.slice<2> |
| // expected-error@+1{{result type rank and rank after applying slice operand must match}} |
| %1 = fir.rebox %arg0 [%0] : (!fir.box<!fir.array<?x?xf32>>, !fir.slice<2>) -> !fir.box<!fir.array<?x?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_9(%arg0: !fir.box<!fir.array<?xf32>>) { |
| %c10 = arith.constant 10 : index |
| %0 = fir.shift %c10, %c10 : (index, index) -> !fir.shift<2> |
| // expected-error@+1{{shape operand and input box ranks must match when the shape is a fir.shift}} |
| %1 = fir.rebox %arg0(%0) : (!fir.box<!fir.array<?xf32>>, !fir.shift<2>) -> !fir.box<!fir.array<?x?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_10(%arg0: !fir.box<!fir.array<?xf32>>) { |
| %c10 = arith.constant 10 : index |
| %0 = fir.shape %c10, %c10 : (index, index) -> !fir.shape<2> |
| // expected-error@+1{{result type and shape operand ranks must match}} |
| %1 = fir.rebox %arg0(%0) : (!fir.box<!fir.array<?xf32>>, !fir.shape<2>) -> !fir.box<!fir.array<?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_rebox_11(%arg0: !fir.box<!fir.array<?x?xf32>>) { |
| %c42 = arith.constant 42 : index |
| %0 = fir.shape %c42 : (index) -> !fir.shape<1> |
| // expected-error@+1{{op input and output element types must match for intrinsic types}} |
| %1 = fir.rebox %arg0(%0) : (!fir.box<!fir.array<?x?xf32>>, !fir.shape<1>) -> !fir.box<!fir.array<?xf64>> |
| return |
| } |
| |
| // ----- |
| |
| func @array_access(%arr : !fir.ref<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c100 = arith.constant 100 : index |
| %c50 = arith.constant 50 : index |
| %shape = fir.shape %c100, %c50 : (index, index) -> !fir.shape<2> |
| // expected-error@+1 {{'fir.array_coor' op operand #0 must be any reference or box, but got 'index'}} |
| %p = fir.array_coor %c100(%shape) %c1, %c1 : (index, !fir.shape<2>, index, index) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @array_access(%arr : !fir.ref<f32>) { |
| %c1 = arith.constant 1 : index |
| %c100 = arith.constant 100 : index |
| %c50 = arith.constant 50 : index |
| %shape = fir.shape %c100, %c50 : (index, index) -> !fir.shape<2> |
| // expected-error@+1 {{'fir.array_coor' op must be a reference to an array}} |
| %p = fir.array_coor %arr(%shape) %c1, %c1 : (!fir.ref<f32>, !fir.shape<2>, index, index) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @array_access(%arr : !fir.ref<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c100 = arith.constant 100 : index |
| %c50 = arith.constant 50 : index |
| %shape = fir.shape %c100, %c50 : (index, index) -> !fir.shape<2> |
| %c47 = arith.constant 47 : index |
| %c78 = arith.constant 78 : index |
| %c3 = arith.constant 3 : index |
| %slice = fir.slice %c47, %c78, %c3 : (index,index,index) -> !fir.slice<1> |
| // expected-error@+1 {{'fir.array_coor' op rank of dimension in slice mismatched}} |
| %p = fir.array_coor %arr(%shape)[%slice] %c1, %c1 : (!fir.ref<!fir.array<?x?xf32>>, !fir.shape<2>, !fir.slice<1>, index, index) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @array_access(%arr : !fir.ref<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c100 = arith.constant 100 : index |
| %shape = fir.shape %c100 : (index) -> !fir.shape<1> |
| // expected-error@+1 {{'fir.array_coor' op rank of dimension mismatched}} |
| %p = fir.array_coor %arr(%shape) %c1, %c1 : (!fir.ref<!fir.array<?x?xf32>>, !fir.shape<1>, index, index) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @array_access(%arr : !fir.ref<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c100 = arith.constant 100 : index |
| %shift = fir.shift %c1 : (index) -> !fir.shift<1> |
| // expected-error@+1 {{'fir.array_coor' op shift can only be provided with fir.box memref}} |
| %p = fir.array_coor %arr(%shift) %c1, %c1 : (!fir.ref<!fir.array<?x?xf32>>, !fir.shift<1>, index, index) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @array_access(%arr : !fir.ref<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c100 = arith.constant 100 : index |
| %c50 = arith.constant 50 : index |
| %shape = fir.shape %c100, %c50 : (index, index) -> !fir.shape<2> |
| // expected-error@+1 {{'fir.array_coor' op number of indices do not match dim rank}} |
| %p = fir.array_coor %arr(%shape) %c1 : (!fir.ref<!fir.array<?x?xf32>>, !fir.shape<2>, index) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %c2 = arith.constant 2 : index |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| // expected-error@+1 {{'fir.array_load' op operand #0 must be any reference or box, but got 'index'}} |
| %av1 = fir.array_load %c2(%s) : (index, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<f32>, %m : index, %n : index, %o : index, %p : index) { |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| // expected-error@+1 {{'fir.array_load' op must be a reference to an array}} |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<f32>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %s = fir.shape_shift %m, %n: (index, index) -> !fir.shapeshift<1> |
| // expected-error@+1 {{'fir.array_load' op rank of dimension mismatched}} |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<1>) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %c2 = arith.constant 2 : index |
| %shift = fir.shift %c2 : (index) -> !fir.shift<1> |
| // expected-error@+1 {{'fir.array_load' op shift can only be provided with fir.box memref}} |
| %av1 = fir.array_load %arr1(%shift) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shift<1>) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %c47 = arith.constant 47 : index |
| %c78 = arith.constant 78 : index |
| %c3 = arith.constant 3 : index |
| %slice = fir.slice %c47, %c78, %c3 : (index,index,index) -> !fir.slice<1> |
| %s = fir.shape_shift %m, %n, %o, %p: (index, index, index, index) -> !fir.shapeshift<2> |
| // expected-error@+1 {{'fir.array_load' op rank of dimension in slice mismatched}} |
| %av1 = fir.array_load %arr1(%s)[%slice] : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>, !fir.slice<1>) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_coordinate_of(%arr : !fir.ref<!fir.array<?x?xf32>>) { |
| %1 = arith.constant 10 : i32 |
| // expected-error@+1 {{'fir.coordinate_of' op cannot find coordinate with unknown extents}} |
| %2 = fir.coordinate_of %arr, %1 : (!fir.ref<!fir.array<?x?xf32>>, i32) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_coordinate_of(%arr : !fir.ref<!fir.array<*:f32>>) { |
| %1 = arith.constant 10 : i32 |
| // expected-error@+1 {{'fir.coordinate_of' op cannot find coordinate in unknown shape}} |
| %2 = fir.coordinate_of %arr, %1 : (!fir.ref<!fir.array<*:f32>>, i32) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_coordinate_of(%arr : !fir.ref<!fir.char<10>>) { |
| %1 = arith.constant 10 : i32 |
| // expected-error@+1 {{'fir.coordinate_of' op cannot apply coordinate_of to this type}} |
| %2 = fir.coordinate_of %arr, %1 : (!fir.ref<!fir.char<10>>, i32) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| %0 = arith.constant 22 : i32 |
| // expected-error@+1 {{'fir.embox' op operand #0 must be any reference, but got 'i32'}} |
| %1 = fir.embox %0 : (i32) -> !fir.box<i32> |
| |
| // ----- |
| |
| func @fun(%0 : !fir.ref<i32>) { |
| %c_100 = arith.constant 100 : index |
| %1 = fir.shape %c_100 : (index) -> !fir.shape<1> |
| // expected-error@+1 {{'fir.embox' op shape must not be provided for a scalar}} |
| %2 = fir.embox %0(%1) : (!fir.ref<i32>, !fir.shape<1>) -> !fir.box<i32> |
| } |
| |
| // ----- |
| |
| func @fun(%0 : !fir.ref<i32>) { |
| %c_100 = arith.constant 100 : index |
| %1 = fir.slice %c_100, %c_100, %c_100 : (index, index, index) -> !fir.slice<1> |
| // expected-error@+1 {{'fir.embox' op operand #1 must be any legal shape type, but got '!fir.slice<1>'}} |
| %2 = fir.embox %0(%1) : (!fir.ref<i32>, !fir.slice<1>) -> !fir.box<i32> |
| } |
| |
| // ----- |
| |
| func @fun(%0 : !fir.ref<i32>) { |
| %c_100 = arith.constant 100 : index |
| %1 = fir.shape %c_100 : (index) -> !fir.shape<1> |
| // expected-error@+1 {{'fir.embox' op operand #1 must be FIR slice, but got '!fir.shape<1>'}} |
| %2 = fir.embox %0[%1] : (!fir.ref<i32>, !fir.shape<1>) -> !fir.box<i32> |
| } |
| |
| // ----- |
| |
| func @fun(%0 : !fir.ref<i32>) { |
| %c_100 = arith.constant 100 : index |
| %1 = fir.slice %c_100, %c_100, %c_100 : (index, index, index) -> !fir.slice<1> |
| // expected-error@+1 {{'fir.embox' op slice must not be provided for a scalar}} |
| %2 = fir.embox %0[%1] : (!fir.ref<i32>, !fir.slice<1>) -> !fir.box<i32> |
| } |
| |
| // ----- |
| |
| %lo = arith.constant 1 : index |
| %c1 = arith.constant 1 : index |
| %up = arith.constant 10 : index |
| %okIn = arith.constant 1 : i1 |
| %shIn = arith.constant 1 : i16 |
| // expected-error@+1 {{'fir.iterate_while' op expected body first argument to be an index argument for the induction variable}} |
| %v:3 = fir.iterate_while (%i = %lo to %up step %c1) and (%ok = %okIn) iter_args(%sh = %shIn) -> (i16, i1, i16) { |
| %shNew = fir.call @bar(%sh) : (i16) -> i16 |
| %okNew = fir.call @foo(%sh) : (i16) -> i1 |
| fir.result %shNew, %okNew, %shNew : i16, i1, i16 |
| } |
| |
| // ----- |
| |
| %lo = arith.constant 1 : index |
| %c1 = arith.constant 1 : index |
| %up = arith.constant 10 : index |
| %okIn = arith.constant 1 : i1 |
| %shIn = arith.constant 1 : i16 |
| // expected-error@+1 {{'fir.iterate_while' op expected body second argument to be an index argument for the induction variable}} |
| %v:3 = fir.iterate_while (%i = %lo to %up step %c1) and (%ok = %okIn) iter_args(%sh = %shIn) -> (index, f32, i16) { |
| %shNew = fir.call @bar(%sh) : (i16) -> i16 |
| %dummy = fir.call @foo(%sh) : (i16) -> f32 |
| fir.result %i, %dummy, %shNew : index, f32, i16 |
| } |
| |
| // ----- |
| |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| // expected-error@+1 {{'fir.do_loop' op unordered loop has no final value}} |
| fir.do_loop %i = %c1 to %c10 step %c1 unordered -> index { |
| } |
| |
| // ----- |
| |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| fir.do_loop %i = %c1 to %c10 step %c1 -> index { |
| %f1 = arith.constant 1.0 : f32 |
| // expected-error@+1 {{'fir.result' op types mismatch between result op and its parent}} |
| fir.result %f1 : f32 |
| } |
| |
| // ----- |
| |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| // expected-error@+1 {{'fir.result' op parent of result must have same arity}} |
| fir.do_loop %i = %c1 to %c10 step %c1 -> index { |
| } |
| |
| // ----- |
| |
| func @ugly_char_convert() { |
| %1 = fir.undefined i32 |
| %2 = fir.undefined !fir.ref<!fir.char<1>> |
| %3 = fir.undefined !fir.ref<!fir.array<?x!fir.char<1>>> |
| // expected-error@+1 {{'fir.char_convert' op buffers must have different KIND values}} |
| fir.char_convert %2 for %1 to %3 : !fir.ref<!fir.char<1>>, i32, !fir.ref<!fir.array<?x!fir.char<1>>> |
| return |
| } |
| |
| // ----- |
| |
| func @ugly_char_convert() { |
| %1 = fir.undefined i32 |
| %2 = fir.undefined !fir.ref<!fir.char<1>> |
| %3 = fir.undefined !fir.ref<!fir.array<?xf32>> |
| // expected-error@+1 {{'fir.char_convert' op not a reference to a character}} |
| fir.char_convert %2 for %1 to %3 : !fir.ref<!fir.char<1>>, i32, !fir.ref<!fir.array<?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @ugly_char_convert() { |
| %1 = fir.undefined i32 |
| %2 = fir.undefined !fir.ref<!fir.char<1>> |
| %3 = fir.undefined !fir.ref<!fir.array<?x!fir.char<2,?>>> |
| // expected-error@+1 {{'fir.char_convert' op operand #0 must be any reference, but got 'i32'}} |
| fir.char_convert %1 for %1 to %3 : i32, i32, !fir.ref<!fir.array<?x!fir.char<2,?>>> |
| return |
| } |
| |
| // ----- |
| |
| func @ugly_char_convert() { |
| %1 = fir.undefined i32 |
| %2 = fir.undefined !fir.ref<!fir.char<1>> |
| %3 = fir.undefined !fir.ref<!fir.array<?x!fir.char<2,?>>> |
| // expected-error@+1 {{'fir.char_convert' op operand #1 must be any integer, but got '!fir.ref<!fir.char<1>>'}} |
| fir.char_convert %2 for %2 to %3 : !fir.ref<!fir.char<1>>, !fir.ref<!fir.char<1>>, !fir.ref<!fir.array<?x!fir.char<2,?>>> |
| return |
| } |
| |
| // ----- |
| |
| fir.global internal @_QEmultiarray : !fir.array<32x32xi32> { |
| %c0_i32 = arith.constant 1 : i32 |
| %0 = fir.undefined !fir.array<32x32xi32> |
| // expected-error@+1 {{'fir.insert_on_range' op has uneven number of values in ranges}} |
| %2 = "fir.insert_on_range"(%0, %c0_i32) { coor = dense<[0, 31, 0]> : tensor<3xindex> } : (!fir.array<32x32xi32>, i32) -> !fir.array<32x32xi32> |
| fir.has_value %2 : !fir.array<32x32xi32> |
| } |
| |
| // ----- |
| |
| fir.global internal @_QEmultiarray : !fir.array<32x32xi32> { |
| %c0_i32 = arith.constant 1 : i32 |
| %0 = fir.undefined !fir.array<32x32xi32> |
| // expected-error@+1 {{'fir.insert_on_range' op has uneven number of values in ranges}} |
| %2 = "fir.insert_on_range"(%0, %c0_i32) { coor = dense<[0]> : tensor<1xindex> } : (!fir.array<32x32xi32>, i32) -> !fir.array<32x32xi32> |
| fir.has_value %2 : !fir.array<32x32xi32> |
| } |
| |
| // ----- |
| |
| fir.global internal @_QEmultiarray : !fir.array<32x32xi32> { |
| %c0_i32 = arith.constant 1 : i32 |
| %0 = fir.undefined !fir.array<32x32xi32> |
| // expected-error@+1 {{'fir.insert_on_range' op negative range bound}} |
| %2 = fir.insert_on_range %0, %c0_i32 from (-1) to (0) : (!fir.array<32x32xi32>, i32) -> !fir.array<32x32xi32> |
| fir.has_value %2 : !fir.array<32x32xi32> |
| } |
| |
| // ----- |
| |
| fir.global internal @_QEmultiarray : !fir.array<32x32xi32> { |
| %c0_i32 = arith.constant 1 : i32 |
| %0 = fir.undefined !fir.array<32x32xi32> |
| // expected-error@+1 {{'fir.insert_on_range' op empty range}} |
| %2 = fir.insert_on_range %0, %c0_i32 from (10) to (9) : (!fir.array<32x32xi32>, i32) -> !fir.array<32x32xi32> |
| fir.has_value %2 : !fir.array<32x32xi32> |
| } |
| |
| // ----- |
| |
| fir.global internal @_QEmultiarray : !fir.array<?xi32> { |
| %c0_i32 = arith.constant 1 : i32 |
| %0 = fir.undefined !fir.array<?xi32> |
| // expected-error@+1 {{'fir.insert_on_range' op must have constant shape and size}} |
| %2 = fir.insert_on_range %0, %c0_i32 from (0) to (10) : (!fir.array<?xi32>, i32) -> !fir.array<?xi32> |
| fir.has_value %2 : !fir.array<?xi32> |
| } |
| |
| // ----- |
| |
| fir.global internal @_QEmultiarray : !fir.array<*:i32> { |
| %c0_i32 = arith.constant 1 : i32 |
| %0 = fir.undefined !fir.array<*:i32> |
| // expected-error@+1 {{'fir.insert_on_range' op must have constant shape and size}} |
| %2 = fir.insert_on_range %0, %c0_i32 from (0) to (10) : (!fir.array<*:i32>, i32) -> !fir.array<*:i32> |
| fir.has_value %2 : !fir.array<*:i32> |
| } |
| |
| // ----- |
| |
| func @bad_save_result(%buffer : !fir.ref<!fir.array<?xf64>>, %n :index) { |
| %res = fir.call @array_func() : () -> !fir.array<?xf32> |
| %shape = fir.shape %n : (index) -> !fir.shape<1> |
| // expected-error@+1 {{'fir.save_result' op value type must match memory reference type}} |
| fir.save_result %res to %buffer(%shape) : !fir.array<?xf32>, !fir.ref<!fir.array<?xf64>>, !fir.shape<1> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_save_result(%buffer : !fir.ref<!fir.box<!fir.array<*:f32>>>) { |
| %res = fir.call @array_func() : () -> !fir.box<!fir.array<*:f32>> |
| // expected-error@+1 {{'fir.save_result' op cannot save !fir.box of unknown rank or type}} |
| fir.save_result %res to %buffer : !fir.box<!fir.array<*:f32>>, !fir.ref<!fir.box<!fir.array<*:f32>>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_save_result(%buffer : !fir.ref<f64>) { |
| %res = fir.call @array_func() : () -> f64 |
| // expected-error@+1 {{'fir.save_result' op operand #0 must be fir.box, fir.array or fir.type, but got 'f64'}} |
| fir.save_result %res to %buffer : f64, !fir.ref<f64> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_save_result(%buffer : !fir.ref<!fir.box<!fir.array<?xf32>>>, %n : index) { |
| %res = fir.call @array_func() : () -> !fir.box<!fir.array<?xf32>> |
| %shape = fir.shape %n : (index) -> !fir.shape<1> |
| // expected-error@+1 {{'fir.save_result' op must not have shape or length operands if the value is a fir.box}} |
| fir.save_result %res to %buffer(%shape) : !fir.box<!fir.array<?xf32>>, !fir.ref<!fir.box<!fir.array<?xf32>>>, !fir.shape<1> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_save_result(%buffer : !fir.ref<!fir.array<?xf32>>, %n :index) { |
| %res = fir.call @array_func() : () -> !fir.array<?xf32> |
| %shape = fir.shape %n, %n : (index, index) -> !fir.shape<2> |
| // expected-error@+1 {{'fir.save_result' op shape operand must be provided and have the value rank when the value is a fir.array}} |
| fir.save_result %res to %buffer(%shape) : !fir.array<?xf32>, !fir.ref<!fir.array<?xf32>>, !fir.shape<2> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_save_result(%buffer : !fir.ref<!fir.type<t{x:f32}>>, %n :index) { |
| %res = fir.call @array_func() : () -> !fir.type<t{x:f32}> |
| %shape = fir.shape %n : (index) -> !fir.shape<1> |
| // expected-error@+1 {{'fir.save_result' op shape operand should only be provided if the value is a fir.array}} |
| fir.save_result %res to %buffer(%shape) : !fir.type<t{x:f32}>, !fir.ref<!fir.type<t{x:f32}>>, !fir.shape<1> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_save_result(%buffer : !fir.ref<!fir.type<t{x:f32}>>, %n :index) { |
| %res = fir.call @array_func() : () -> !fir.type<t{x:f32}> |
| // expected-error@+1 {{'fir.save_result' op length parameters number must match with the value type length parameters}} |
| fir.save_result %res to %buffer typeparams %n : !fir.type<t{x:f32}>, !fir.ref<!fir.type<t{x:f32}>>, index |
| return |
| } |
| |
| // ----- |
| |
| func @bad_save_result(%buffer : !fir.ref<!fir.array<?xf32>>, %n :index) { |
| %res = fir.call @array_func() : () -> !fir.array<?xf32> |
| %shape = fir.shape %n : (index) -> !fir.shape<1> |
| // expected-error@+1 {{'fir.save_result' op length parameters must not be provided for this value type}} |
| fir.save_result %res to %buffer(%shape) typeparams %n : !fir.array<?xf32>, !fir.ref<!fir.array<?xf32>>, !fir.shape<1>, index |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| // expected-error@+1 {{'fir.array_fetch' op number of indices != dimension of array}} |
| %f = fir.array_fetch %av1, %m : (!fir.array<?x?xf32>, index) -> f32 |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| // expected-error@+1 {{'fir.array_fetch' op return type does not match array}} |
| %f = fir.array_fetch %av1, %m, %n : (!fir.array<?x?xf32>, index, index) -> i32 |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| %f = fir.array_fetch %av1, %m, %n : (!fir.array<?x?xf32>, index, index) -> f32 |
| // expected-error@+1 {{'fir.array_update' op number of indices != dimension of array}} |
| %av2 = fir.array_update %av1, %f, %m : (!fir.array<?x?xf32>, f32, index) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| %c0 = arith.constant 0 : i32 |
| // expected-error@+1 {{'fir.array_update' op merged value does not have element type}} |
| %av2 = fir.array_update %av1, %c0, %m, %n : (!fir.array<?x?xf32>, i32, index, index) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index, %f: !fir.ref<i32>) { |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| // expected-error@+1 {{'fir.array_update' op does not support reference type for merge}} |
| %av2 = fir.array_update %av1, %f, %m, %n : (!fir.array<?x?xf32>, !fir.ref<i32>, index, index) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @test_misc_ops(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index) { |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| %f = fir.array_fetch %av1, %m, %n : (!fir.array<?x?xf32>, index, index) -> f32 |
| %av2 = fir.array_update %av1, %f, %m, %n : (!fir.array<?x?xf32>, f32, index, index) -> !fir.array<?x?xf32> |
| // expected-error@+1 {{'fir.array_merge_store' op operand #0 must be result of a fir.array_load op}} |
| fir.array_merge_store %av2, %av2 to %arr1 : !fir.array<?x?xf32>, !fir.array<?x?xf32>, !fir.ref<!fir.array<?x?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @bad_array_modify(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index, %f : f32) { |
| %i10 = arith.constant 10 : index |
| %j20 = arith.constant 20 : index |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| // expected-error@+1 {{'fir.array_modify' op number of indices must match array dimension}} |
| %addr, %av2 = fir.array_modify %av1, %i10 : (!fir.array<?x?xf32>, index) -> (!fir.ref<f32>, !fir.array<?x?xf32>) |
| fir.store %f to %addr : !fir.ref<f32> |
| fir.array_merge_store %av1, %av2 to %arr1 : !fir.array<?x?xf32>, !fir.array<?x?xf32>, !fir.ref<!fir.array<?x?xf32>> |
| return |
| } |
| |
| // ----- |
| |
| func @slice_must_be_integral() { |
| %0 = arith.constant 42 : i32 |
| %1 = fir.field_index field, !fir.type<t(param:i32){field:i32}> (%0 : i32) |
| // expected-error@+1 {{'fir.slice' op operand #0 must be any integer, but got '!fir.field'}} |
| %2 = fir.slice %1, %1, %1 : (!fir.field, !fir.field, !fir.field) -> !fir.slice<1> |
| return |
| } |
| |
| // ----- |
| |
| func @array_coor_no_slice_substr(%a : !fir.ref<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| %slice = fir.slice %c1, %c10, %c1 substr %c1, %c10 : (index, index, index, index, index) -> !fir.slice<1> |
| // expected-error@+1 {{'fir.array_coor' op array_coor cannot take a slice with substring}} |
| %p = fir.array_coor %a[%slice] %c1, %c1 : (!fir.ref<!fir.array<?x?xf32>>, !fir.slice<1>, index, index) -> !fir.ref<f32> |
| return |
| } |
| |
| // ----- |
| |
| func @array_coor_no_slice_substr(%a : !fir.ref<!fir.array<?x?xf32>>) { |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| %slice = fir.slice %c1, %c10, %c1 substr %c1, %c10 : (index, index, index, index, index) -> !fir.slice<1> |
| // expected-error@+1 {{'fir.array_load' op array_load cannot take a slice with substring}} |
| %v = fir.array_load %a[%slice] : (!fir.ref<!fir.array<?x?xf32>>, !fir.slice<1>) -> !fir.array<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func @array_merge_store_no_slice_substr(%arr1 : !fir.ref<!fir.array<?x?xf32>>, %m : index, %n : index, %o : index, %p : index, %f : f32) { |
| %i10 = arith.constant 10 : index |
| %j20 = arith.constant 20 : index |
| %c1 = arith.constant 1 : index |
| %c10 = arith.constant 10 : index |
| %s = fir.shape_shift %m, %n, %o, %p : (index, index, index, index) -> !fir.shapeshift<2> |
| %slice = fir.slice %c1, %c10, %c1 substr %c1, %c10 : (index, index, index, index, index) -> !fir.slice<1> |
| %av1 = fir.array_load %arr1(%s) : (!fir.ref<!fir.array<?x?xf32>>, !fir.shapeshift<2>) -> !fir.array<?x?xf32> |
| %addr, %av2 = fir.array_modify %av1, %i10, %i10 : (!fir.array<?x?xf32>, index, index) -> (!fir.ref<f32>, !fir.array<?x?xf32>) |
| fir.store %f to %addr : !fir.ref<f32> |
| // expected-error@+1 {{'fir.array_merge_store' op array_merge_store cannot take a slice with substring}} |
| fir.array_merge_store %av1, %av2 to %arr1[%slice] : !fir.array<?x?xf32>, !fir.array<?x?xf32>, !fir.ref<!fir.array<?x?xf32>>, !fir.slice<1> |
| return |
| } |
