1// RUN: tco %s | FileCheck %s
2
3func.func @array_coor_box_value(%29 : !fir.box<!fir.array<2xf64>>,
4     			   %33 : index) -> f64 {
5  %34 = fir.array_coor %29 %33 : (!fir.box<!fir.array<2xf64>>, index) ->
6      		       	          !fir.ref<f64>
7  %35 = fir.load %34 : !fir.ref<f64>
8  return %35 : f64
9}
10
11// CHECK-LABEL: define double @array_coor_box_value
12// CHECK: %[[t3:.*]] = sub i64 %{{.*}}, 1
13// CHECK: %[[t4:.*]] = mul i64 %[[t3]], 1
14// CHECK: %[[t5:.*]] = getelementptr { ptr, i64, i32, i8, i8, i8, i8, [1 x [3 x i64]] }, ptr %{{.*}}, i32 0, i32 7, i64 0, i32 2
15// CHECK: %[[t6:.*]] = load i64, ptr %[[t5]]
16// CHECK: %[[t7:.*]] = mul i64 %[[t4]], %[[t6]]
17// CHECK: %[[t8:.*]] = add i64 %[[t7]], 0
18// CHECK: %[[t9:.*]] = getelementptr { ptr, i64, i32, i8, i8, i8, i8, [1 x [3 x i64]] }, ptr %{{.*}}, i32 0, i32 0
19// CHECK: %[[t10:.*]] = load ptr, ptr %[[t9]]
20// CHECK: %[[t11:.*]] = getelementptr i8, ptr %[[t10]], i64 %[[t8]]
21// CHECK: %[[t12:.*]] = load double, ptr %[[t11]]
22// CHECK: ret double %[[t12]]
23