1// RUN: mlir-opt %s -convert-scf-to-std -convert-vector-to-llvm -convert-std-to-llvm | \
2// RUN: mlir-cpu-runner -e entry -entry-point-result=void  \
3// RUN:   -shared-libs=%mlir_integration_test_dir/libmlir_c_runner_utils%shlibext | \
4// RUN: FileCheck %s
5
6func @entry() {
7  %f0 = constant 0.0: f32
8  %f1 = constant 1.0: f32
9  %f2 = constant 2.0: f32
10  %f3 = constant 3.0: f32
11  %f4 = constant 4.0: f32
12  %v1 = vector.broadcast %f1 : f32 to vector<8xf32>
13  %v2 = vector.broadcast %f2 : f32 to vector<8xf32>
14  %v3 = vector.broadcast %f3 : f32 to vector<8xf32>
15  %v4 = vector.broadcast %f4 : f32 to vector<8xf32>
16
17  %a0 = vector.broadcast %f0 : f32 to vector<4x4x8xf32>
18  %a1 = vector.insert %v1, %a0[1, 1] : vector<8xf32> into vector<4x4x8xf32>
19  %a2 = vector.insert %v2, %a1[1, 2] : vector<8xf32> into vector<4x4x8xf32>
20  %a3 = vector.insert %v3, %a2[2, 1] : vector<8xf32> into vector<4x4x8xf32>
21  %a4 = vector.insert %v4, %a3[2, 2] : vector<8xf32> into vector<4x4x8xf32>
22
23  %ss = vector.extract_strided_slice %a4 {offsets = [1, 1], sizes = [2, 2], strides = [1, 1]} : vector<4x4x8xf32> to vector<2x2x8xf32>
24
25  vector.print %ss : vector<2x2x8xf32>
26  //
27  // extract strided slice:
28  //
29  // CHECK: ( ( ( 1, 1, 1, 1, 1, 1, 1, 1 ), ( 2, 2, 2, 2, 2, 2, 2, 2 ) ), ( ( 3, 3, 3, 3, 3, 3, 3, 3 ), ( 4, 4, 4, 4, 4, 4, 4, 4 ) ) )
30
31  return
32}
33