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: -lower-matrix-intrinsics -matrix-allow-contract -matrix-default-layout=row-major \ 4// RUN: -shared-libs=%mlir_integration_test_dir/libmlir_c_runner_utils%shlibext | \ 5// RUN: FileCheck %s 6 7func @entry() { 8 %f0 = constant 0.0: f64 9 %f1 = constant 1.0: f64 10 %f2 = constant 2.0: f64 11 %f3 = constant 3.0: f64 12 %f4 = constant 4.0: f64 13 %f5 = constant 5.0: f64 14 %f6 = constant 6.0: f64 15 %f7 = constant 7.0: f64 16 17 // Construct test vectors. 18 %0 = vector.broadcast %f0 : f64 to vector<4xf64> 19 %1 = vector.insert %f1, %0[1] : f64 into vector<4xf64> 20 %2 = vector.insert %f2, %1[2] : f64 into vector<4xf64> 21 %a = vector.insert %f3, %2[3] : f64 into vector<4xf64> 22 %3 = vector.broadcast %f4 : f64 to vector<4xf64> 23 %4 = vector.insert %f5, %3[1] : f64 into vector<4xf64> 24 %5 = vector.insert %f6, %4[2] : f64 into vector<4xf64> 25 %b = vector.insert %f7, %5[3] : f64 into vector<4xf64> 26 %6 = vector.broadcast %f0 : f64 to vector<6xf64> 27 %7 = vector.insert %f1, %6[1] : f64 into vector<6xf64> 28 %8 = vector.insert %f2, %7[2] : f64 into vector<6xf64> 29 %9 = vector.insert %f3, %8[3] : f64 into vector<6xf64> 30 %10 = vector.insert %f4, %9[4] : f64 into vector<6xf64> 31 %c = vector.insert %f5, %10[5] : f64 into vector<6xf64> 32 33 vector.print %a : vector<4xf64> 34 vector.print %b : vector<4xf64> 35 vector.print %c : vector<6xf64> 36 // 37 // Test vectors: 38 // 39 // CHECK: ( 0, 1, 2, 3 ) 40 // CHECK: ( 4, 5, 6, 7 ) 41 // CHECK: ( 0, 1, 2, 3, 4, 5 ) 42 43 // Performs matrix transpositions interpreting the vectors as 44 // flattened row-major 2-D matrices. 45 // 46 // ( 0, 1 ) ( 0, 2 ) 47 // ( 2, 3 ) -> ( 1, 3 ) 48 // 49 // ( 4, 5 ) ( 4, 6 ) 50 // ( 6, 7 ) -> ( 5, 7 ) 51 // 52 // ( 0, 1, 2 ) ( 0, 3 ) 53 // ( 3, 4, 5 ) -> ( 1, 4 ) 54 // ( 2, 5 ) 55 // 56 // ( 0, 1 ) ( 0, 2, 4 ) 57 // ( 2, 3 ) -> ( 1, 3, 5 ) 58 // ( 4, 5 ) 59 // 60 %d = vector.flat_transpose %a { rows = 2: i32, columns = 2: i32 } : vector<4xf64> -> vector<4xf64> 61 %e = vector.flat_transpose %b { rows = 2: i32, columns = 2: i32 } : vector<4xf64> -> vector<4xf64> 62 %f = vector.flat_transpose %c { rows = 2: i32, columns = 3: i32 } : vector<6xf64> -> vector<6xf64> 63 %g = vector.flat_transpose %c { rows = 3: i32, columns = 2: i32 } : vector<6xf64> -> vector<6xf64> 64 65 vector.print %d : vector<4xf64> 66 vector.print %e : vector<4xf64> 67 vector.print %f : vector<6xf64> 68 vector.print %g : vector<6xf64> 69 // 70 // Transposed results: 71 // 72 // CHECK: ( 0, 2, 1, 3 ) 73 // CHECK: ( 4, 6, 5, 7 ) 74 // CHECK: ( 0, 3, 1, 4, 2, 5 ) 75 // CHECK: ( 0, 2, 4, 1, 3, 5 ) 76 77 return 78} 79