23 lines · plain
1// Test hlfir.get_extent code generation to FIR2// RUN: fir-opt %s -convert-hlfir-to-fir | FileCheck %s3 4func.func @test1(%arg0: i1, %arg1: i32, %arg2: i64, %arg3: index) -> (index, index, index, index) {5 %0 = fir.shape %arg0, %arg1, %arg2, %arg3 : (i1, i32, i64, index) -> !fir.shape<4>6 %1 = hlfir.get_extent %0 {dim = 0 : index} : (!fir.shape<4>) -> index7 %2 = hlfir.get_extent %0 {dim = 1 : index} : (!fir.shape<4>) -> index8 %3 = hlfir.get_extent %0 {dim = 2 : index} : (!fir.shape<4>) -> index9 %4 = hlfir.get_extent %0 {dim = 3 : index} : (!fir.shape<4>) -> index10 return %1, %2, %3, %4 : index, index, index, index11}12// CHECK-LABEL: func.func @test1(13// CHECK-SAME: %[[VAL_0:.*]]: i1,14// CHECK-SAME: %[[VAL_1:.*]]: i32,15// CHECK-SAME: %[[VAL_2:.*]]: i64,16// CHECK-SAME: %[[VAL_3:.*]]: index) -> (index, index, index, index) {17// CHECK: %[[VAL_4:.*]] = fir.shape %[[VAL_0]], %[[VAL_1]], %[[VAL_2]], %[[VAL_3]] : (i1, i32, i64, index) -> !fir.shape<4>18// CHECK: %[[VAL_5:.*]] = fir.convert %[[VAL_0]] : (i1) -> index19// CHECK: %[[VAL_6:.*]] = fir.convert %[[VAL_1]] : (i32) -> index20// CHECK: %[[VAL_7:.*]] = fir.convert %[[VAL_2]] : (i64) -> index21// CHECK: return %[[VAL_5]], %[[VAL_6]], %[[VAL_7]], %[[VAL_3]] : index, index, index, index22// CHECK: }23