From 0adf17d6e113565f9a8e9ffb63d3b8494658337b Mon Sep 17 00:00:00 2001 From: Jeremy Kun Date: Fri, 8 Mar 2024 07:12:51 -0800 Subject: [PATCH] update tests --- tests/simd/box_blur_4x4.mlir | 4 +- tests/simd/box_blur_4x4_unrolled.mlir | 188 ------- tests/simd/box_blur_64x64.mlir | 10 +- tests/simd/boxblur_4_tensor2fhe.mlir | 716 -------------------------- 4 files changed, 9 insertions(+), 909 deletions(-) delete mode 100644 tests/simd/box_blur_4x4_unrolled.mlir delete mode 100644 tests/simd/boxblur_4_tensor2fhe.mlir diff --git a/tests/simd/box_blur_4x4.mlir b/tests/simd/box_blur_4x4.mlir index 6d7973f1c..007ba1d35 100644 --- a/tests/simd/box_blur_4x4.mlir +++ b/tests/simd/box_blur_4x4.mlir @@ -1,10 +1,12 @@ // RUN: heir-opt --secretize=entry-function=box_blur --wrap-generic --canonicalize --cse \ // RUN: --full-loop-unroll \ -// RUN: --insert-rotate \ +// RUN: --insert-rotate --cse --canonicalize --collapse-insertion-chains --canonicalize --cse \ // RUN: %s | FileCheck %s module { // CHECK-LABEL: @box_blur + // CHECK-NOT: tensor.extract + // CHECK-COUNT-7: tensor_ext.rotate func.func @box_blur(%arg0: tensor<16xi16> {secret.secret}) -> tensor<16xi16> { %c16 = arith.constant 16 : index %c4 = arith.constant 4 : index diff --git a/tests/simd/box_blur_4x4_unrolled.mlir b/tests/simd/box_blur_4x4_unrolled.mlir deleted file mode 100644 index 544230a1e..000000000 --- a/tests/simd/box_blur_4x4_unrolled.mlir +++ /dev/null @@ -1,188 +0,0 @@ -// RUN: heir-opt --insert-rotate --canonicalize --cse %s | FileCheck %s - -module { - // CHECK-LABEL: @box_blur - func.func @box_blur(%arg0: !secret.secret>) -> !secret.secret> { - %c15 = arith.constant 15 : index - %c4 = arith.constant 4 : index - %c0 = arith.constant 0 : index - %c12 = arith.constant 12 : index - %c3 = arith.constant 3 : index - %c11 = arith.constant 11 : index - %c2 = arith.constant 2 : index - %c14 = arith.constant 14 : index - %c10 = arith.constant 10 : index - %c1 = arith.constant 1 : index - %c13 = arith.constant 13 : index - %c9 = arith.constant 9 : index - %c8 = arith.constant 8 : index - %c7 = arith.constant 7 : index - %c6 = arith.constant 6 : index - %c5 = arith.constant 5 : index - %0 = secret.generic ins(%arg0 : !secret.secret>) { - ^bb0(%arg1: tensor<16xi16>): - %extracted = tensor.extract %arg1[%c11] : tensor<16xi16> - %extracted_0 = tensor.extract %arg1[%c15] : tensor<16xi16> - %1 = arith.addi %extracted, %extracted_0 : i16 - %extracted_1 = tensor.extract %arg1[%c3] : tensor<16xi16> - %2 = arith.addi %1, %extracted_1 : i16 - %extracted_2 = tensor.extract %arg1[%c12] : tensor<16xi16> - %3 = arith.addi %2, %extracted_2 : i16 - %extracted_3 = tensor.extract %arg1[%c0] : tensor<16xi16> - %4 = arith.addi %3, %extracted_3 : i16 - %extracted_4 = tensor.extract %arg1[%c4] : tensor<16xi16> - %5 = arith.addi %4, %extracted_4 : i16 - %extracted_5 = tensor.extract %arg1[%c13] : tensor<16xi16> - %6 = arith.addi %5, %extracted_5 : i16 - %extracted_6 = tensor.extract %arg1[%c1] : tensor<16xi16> - %7 = arith.addi %6, %extracted_6 : i16 - %extracted_7 = tensor.extract %arg1[%c5] : tensor<16xi16> - %8 = arith.addi %7, %extracted_7 : i16 - %inserted = tensor.insert %8 into %arg1[%c0] : tensor<16xi16> - %9 = arith.addi %extracted_2, %extracted_3 : i16 - %10 = arith.addi %9, %extracted_4 : i16 - %11 = arith.addi %10, %extracted_5 : i16 - %12 = arith.addi %11, %extracted_6 : i16 - %13 = arith.addi %12, %extracted_7 : i16 - %extracted_8 = tensor.extract %arg1[%c14] : tensor<16xi16> - %14 = arith.addi %13, %extracted_8 : i16 - %extracted_9 = tensor.extract %arg1[%c2] : tensor<16xi16> - %15 = arith.addi %14, %extracted_9 : i16 - %extracted_10 = tensor.extract %arg1[%c6] : tensor<16xi16> - %16 = arith.addi %15, %extracted_10 : i16 - %inserted_11 = tensor.insert %16 into %inserted[%c1] : tensor<16xi16> - %17 = arith.addi %extracted_5, %extracted_6 : i16 - %18 = arith.addi %17, %extracted_7 : i16 - %19 = arith.addi %18, %extracted_8 : i16 - %20 = arith.addi %19, %extracted_9 : i16 - %21 = arith.addi %20, %extracted_10 : i16 - %22 = arith.addi %21, %extracted_0 : i16 - %23 = arith.addi %22, %extracted_1 : i16 - %extracted_12 = tensor.extract %arg1[%c7] : tensor<16xi16> - %24 = arith.addi %23, %extracted_12 : i16 - %inserted_13 = tensor.insert %24 into %inserted_11[%c2] : tensor<16xi16> - %25 = arith.addi %extracted_8, %extracted_9 : i16 - %26 = arith.addi %25, %extracted_10 : i16 - %27 = arith.addi %26, %extracted_0 : i16 - %28 = arith.addi %27, %extracted_1 : i16 - %29 = arith.addi %28, %extracted_12 : i16 - %30 = arith.addi %29, %extracted_3 : i16 - %31 = arith.addi %30, %extracted_4 : i16 - %extracted_14 = tensor.extract %arg1[%c8] : tensor<16xi16> - %32 = arith.addi %31, %extracted_14 : i16 - %inserted_15 = tensor.insert %32 into %inserted_13[%c3] : tensor<16xi16> - %33 = arith.addi %extracted_0, %extracted_1 : i16 - %34 = arith.addi %33, %extracted_12 : i16 - %35 = arith.addi %34, %extracted_3 : i16 - %36 = arith.addi %35, %extracted_4 : i16 - %37 = arith.addi %36, %extracted_14 : i16 - %38 = arith.addi %37, %extracted_6 : i16 - %39 = arith.addi %38, %extracted_7 : i16 - %extracted_16 = tensor.extract %arg1[%c9] : tensor<16xi16> - %40 = arith.addi %39, %extracted_16 : i16 - %inserted_17 = tensor.insert %40 into %inserted_15[%c4] : tensor<16xi16> - %41 = arith.addi %extracted_3, %extracted_4 : i16 - %42 = arith.addi %41, %extracted_14 : i16 - %43 = arith.addi %42, %extracted_6 : i16 - %44 = arith.addi %43, %extracted_7 : i16 - %45 = arith.addi %44, %extracted_16 : i16 - %46 = arith.addi %45, %extracted_9 : i16 - %47 = arith.addi %46, %extracted_10 : i16 - %extracted_18 = tensor.extract %arg1[%c10] : tensor<16xi16> - %48 = arith.addi %47, %extracted_18 : i16 - %inserted_19 = tensor.insert %48 into %inserted_17[%c5] : tensor<16xi16> - %49 = arith.addi %extracted_6, %extracted_7 : i16 - %50 = arith.addi %49, %extracted_16 : i16 - %51 = arith.addi %50, %extracted_9 : i16 - %52 = arith.addi %51, %extracted_10 : i16 - %53 = arith.addi %52, %extracted_18 : i16 - %54 = arith.addi %53, %extracted_1 : i16 - %55 = arith.addi %54, %extracted_12 : i16 - %56 = arith.addi %55, %extracted : i16 - %inserted_20 = tensor.insert %56 into %inserted_19[%c6] : tensor<16xi16> - %57 = arith.addi %extracted_9, %extracted_10 : i16 - %58 = arith.addi %57, %extracted_18 : i16 - %59 = arith.addi %58, %extracted_1 : i16 - %60 = arith.addi %59, %extracted_12 : i16 - %61 = arith.addi %60, %extracted : i16 - %62 = arith.addi %61, %extracted_4 : i16 - %63 = arith.addi %62, %extracted_14 : i16 - %64 = arith.addi %63, %extracted_2 : i16 - %inserted_21 = tensor.insert %64 into %inserted_20[%c7] : tensor<16xi16> - %65 = arith.addi %extracted_1, %extracted_12 : i16 - %66 = arith.addi %65, %extracted : i16 - %67 = arith.addi %66, %extracted_4 : i16 - %68 = arith.addi %67, %extracted_14 : i16 - %69 = arith.addi %68, %extracted_2 : i16 - %70 = arith.addi %69, %extracted_7 : i16 - %71 = arith.addi %70, %extracted_16 : i16 - %72 = arith.addi %71, %extracted_5 : i16 - %inserted_22 = tensor.insert %72 into %inserted_21[%c8] : tensor<16xi16> - %73 = arith.addi %extracted_4, %extracted_14 : i16 - %74 = arith.addi %73, %extracted_2 : i16 - %75 = arith.addi %74, %extracted_7 : i16 - %76 = arith.addi %75, %extracted_16 : i16 - %77 = arith.addi %76, %extracted_5 : i16 - %78 = arith.addi %77, %extracted_10 : i16 - %79 = arith.addi %78, %extracted_18 : i16 - %80 = arith.addi %79, %extracted_8 : i16 - %inserted_23 = tensor.insert %80 into %inserted_22[%c9] : tensor<16xi16> - %81 = arith.addi %extracted_7, %extracted_16 : i16 - %82 = arith.addi %81, %extracted_5 : i16 - %83 = arith.addi %82, %extracted_10 : i16 - %84 = arith.addi %83, %extracted_18 : i16 - %85 = arith.addi %84, %extracted_8 : i16 - %86 = arith.addi %85, %extracted_12 : i16 - %87 = arith.addi %86, %extracted : i16 - %88 = arith.addi %87, %extracted_0 : i16 - %inserted_24 = tensor.insert %88 into %inserted_23[%c10] : tensor<16xi16> - %89 = arith.addi %extracted_10, %extracted_18 : i16 - %90 = arith.addi %89, %extracted_8 : i16 - %91 = arith.addi %90, %extracted_12 : i16 - %92 = arith.addi %91, %extracted : i16 - %93 = arith.addi %92, %extracted_0 : i16 - %94 = arith.addi %93, %extracted_14 : i16 - %95 = arith.addi %94, %extracted_2 : i16 - %96 = arith.addi %95, %extracted_3 : i16 - %inserted_25 = tensor.insert %96 into %inserted_24[%c11] : tensor<16xi16> - %97 = arith.addi %extracted_12, %extracted : i16 - %98 = arith.addi %97, %extracted_0 : i16 - %99 = arith.addi %98, %extracted_14 : i16 - %100 = arith.addi %99, %extracted_2 : i16 - %101 = arith.addi %100, %extracted_3 : i16 - %102 = arith.addi %101, %extracted_16 : i16 - %103 = arith.addi %102, %extracted_5 : i16 - %104 = arith.addi %103, %extracted_6 : i16 - %inserted_26 = tensor.insert %104 into %inserted_25[%c12] : tensor<16xi16> - %105 = arith.addi %extracted_14, %extracted_2 : i16 - %106 = arith.addi %105, %extracted_3 : i16 - %107 = arith.addi %106, %extracted_16 : i16 - %108 = arith.addi %107, %extracted_5 : i16 - %109 = arith.addi %108, %extracted_6 : i16 - %110 = arith.addi %109, %extracted_18 : i16 - %111 = arith.addi %110, %extracted_8 : i16 - %112 = arith.addi %111, %extracted_9 : i16 - %inserted_27 = tensor.insert %112 into %inserted_26[%c13] : tensor<16xi16> - %113 = arith.addi %extracted_16, %extracted_5 : i16 - %114 = arith.addi %113, %extracted_6 : i16 - %115 = arith.addi %114, %extracted_18 : i16 - %116 = arith.addi %115, %extracted_8 : i16 - %117 = arith.addi %116, %extracted_9 : i16 - %118 = arith.addi %117, %extracted : i16 - %119 = arith.addi %118, %extracted_0 : i16 - %120 = arith.addi %119, %extracted_1 : i16 - %inserted_28 = tensor.insert %120 into %inserted_27[%c14] : tensor<16xi16> - %121 = arith.addi %extracted_18, %extracted_8 : i16 - %122 = arith.addi %121, %extracted_9 : i16 - %123 = arith.addi %122, %extracted : i16 - %124 = arith.addi %123, %extracted_0 : i16 - %125 = arith.addi %124, %extracted_1 : i16 - %126 = arith.addi %125, %extracted_2 : i16 - %127 = arith.addi %126, %extracted_3 : i16 - %128 = arith.addi %127, %extracted_4 : i16 - %inserted_29 = tensor.insert %128 into %inserted_28[%c15] : tensor<16xi16> - secret.yield %inserted_29 : tensor<16xi16> - } -> !secret.secret> - return %0 : !secret.secret> - } -} diff --git a/tests/simd/box_blur_64x64.mlir b/tests/simd/box_blur_64x64.mlir index 2a4663e62..96e63b130 100644 --- a/tests/simd/box_blur_64x64.mlir +++ b/tests/simd/box_blur_64x64.mlir @@ -1,10 +1,12 @@ // RUN: heir-opt --secretize=entry-function=box_blur --wrap-generic --canonicalize --cse \ -// RUN: --affine-loop-unroll=unroll-factor=2 \ -// RUN: --affine-loop-unroll=unroll-factor=2 --canonicalize --cse \ -// RUN: --affine-loop-unroll=unroll-factor=64 --canonicalize --cse \ -// RUN: < %s +// RUN: --full-loop-unroll \ +// RUN: --insert-rotate --cse --canonicalize --collapse-insertion-chains --canonicalize --cse \ +// RUN: %s | FileCheck %s module { + // CHECK-LABEL: @box_blur + // CHECK-NOT: tensor.extract + // CHECK-COUNT-7: tensor_ext.rotate func.func @box_blur(%arg0: tensor<4096xi16> {secret.secret}) -> tensor<4096xi16> { %c4096 = arith.constant 4096 : index %c64 = arith.constant 64 : index diff --git a/tests/simd/boxblur_4_tensor2fhe.mlir b/tests/simd/boxblur_4_tensor2fhe.mlir deleted file mode 100644 index 42df89cd2..000000000 --- a/tests/simd/boxblur_4_tensor2fhe.mlir +++ /dev/null @@ -1,716 +0,0 @@ -//RUN: heir-opt --insert-rotate --canonicalize --cse --canonicalize < %s | FileCheck %s - -module { - // CHECK-LABEL: @encryptedBoxBlur - func.func private @encryptedBoxBlur(%enc_arg0: !secret.secret>) -> !secret.secret> { - %c0 = arith.constant 0 : index - %c1 = arith.constant 1 : index - %c2 = arith.constant 2 : index - %c3 = arith.constant 3 : index - %c4 = arith.constant 4 : index - %c5 = arith.constant 5 : index - %c6 = arith.constant 6 : index - %c7 = arith.constant 7 : index - %c8 = arith.constant 8 : index - %c9 = arith.constant 9 : index - %c10 = arith.constant 10 : index - %c11 = arith.constant 11 : index - %c12 = arith.constant 12 : index - %c13 = arith.constant 13 : index - %c14 = arith.constant 14 : index - %c15 = arith.constant 15 : index - %c16 = arith.constant 16 : index - %c17 = arith.constant 17 : index - %c18 = arith.constant 18 : index - %c19 = arith.constant 19 : index - %c20 = arith.constant 20 : index - %c21 = arith.constant 21 : index - %c22 = arith.constant 22 : index - %c23 = arith.constant 23 : index - %c24 = arith.constant 24 : index - %c25 = arith.constant 25 : index - %c26 = arith.constant 26 : index - %c27 = arith.constant 27 : index - %c28 = arith.constant 28 : index - %c29 = arith.constant 29 : index - %c30 = arith.constant 30 : index - %c31 = arith.constant 31 : index - %c32 = arith.constant 32 : index - %c33 = arith.constant 33 : index - %c34 = arith.constant 34 : index - %c35 = arith.constant 35 : index - %c36 = arith.constant 36 : index - %c37 = arith.constant 37 : index - %c38 = arith.constant 38 : index - %c39 = arith.constant 39 : index - %c40 = arith.constant 40 : index - %c41 = arith.constant 41 : index - %c42 = arith.constant 42 : index - %c43 = arith.constant 43 : index - %c44 = arith.constant 44 : index - %c45 = arith.constant 45 : index - %c46 = arith.constant 46 : index - %c47 = arith.constant 47 : index - %c48 = arith.constant 48 : index - %c49 = arith.constant 49 : index - %c50 = arith.constant 50 : index - %c51 = arith.constant 51 : index - %c52 = arith.constant 52 : index - %c53 = arith.constant 53 : index - %c54 = arith.constant 54 : index - %c55 = arith.constant 55 : index - %c56 = arith.constant 56 : index - %c57 = arith.constant 57 : index - %c58 = arith.constant 58 : index - %c59 = arith.constant 59 : index - %c60 = arith.constant 60 : index - %c61 = arith.constant 61 : index - %c62 = arith.constant 62 : index - %c63 = arith.constant 63 : index - %0 = secret.generic ins(%enc_arg0 : !secret.secret>) { - ^bb0(%arg0: tensor<64xi16>): - %0 = tensor.extract %arg0[%c55] : tensor<64 x i16> - %1 = tensor.extract %arg0[%c63] : tensor<64 x i16> - %2 = tensor.extract %arg0[%c7] : tensor<64 x i16> - %3 = tensor.extract %arg0[%c56] : tensor<64 x i16> - %4 = tensor.extract %arg0[%c0] : tensor<64 x i16> - %5 = tensor.extract %arg0[%c8] : tensor<64 x i16> - %6 = tensor.extract %arg0[%c57] : tensor<64 x i16> - %7 = tensor.extract %arg0[%c1] : tensor<64 x i16> - %8 = tensor.extract %arg0[%c9] : tensor<64 x i16> - %v9_0 = arith.addi %8, %7 : i16 - %v9_1 = arith.addi %6, %v9_0 : i16 - %v9_2 = arith.addi %5, %v9_1 : i16 - %v9_3 = arith.addi %4, %v9_2 : i16 - %v9_4 = arith.addi %3, %v9_3 : i16 - %v9_5 = arith.addi %2, %v9_4 : i16 - %v9_5_1 = arith.addi %0, %v9_5 : i16 - %9 = arith.addi %v9_5_1, %1 : i16 - %10 = tensor.insert %9 into %arg0[%c0] : tensor<64 x i16> - %11 = tensor.extract %arg0[%c58] : tensor<64 x i16> - %12 = tensor.extract %arg0[%c2] : tensor<64 x i16> - %13 = tensor.extract %arg0[%c10] : tensor<64 x i16> - %v14_0 = arith.addi %13, %12 : i16 - %v14_1 = arith.addi %11, %v14_0 : i16 - %v14_2 = arith.addi %8, %v14_1 : i16 - %v14_3 = arith.addi %7, %v14_2 : i16 - %v14_4 = arith.addi %6, %v14_3 : i16 - %v14_5 = arith.addi %5, %v14_4 : i16 - %v14_5_1 = arith.addi %3, %v14_5 : i16 - %14 = arith.addi %v14_5_1, %4 : i16 - %15 = tensor.insert %14 into %10[%c1] : tensor<64 x i16> - %16 = tensor.extract %arg0[%c59] : tensor<64 x i16> - %17 = tensor.extract %arg0[%c3] : tensor<64 x i16> - %18 = tensor.extract %arg0[%c11] : tensor<64 x i16> - %v19_0 = arith.addi %18, %17 : i16 - %v19_1 = arith.addi %16, %v19_0 : i16 - %v19_2 = arith.addi %13, %v19_1 : i16 - %v19_3 = arith.addi %12, %v19_2 : i16 - %v19_4 = arith.addi %11, %v19_3 : i16 - %v19_5 = arith.addi %8, %v19_4 : i16 - %v19_5_1 = arith.addi %6, %v19_5 : i16 - %19 = arith.addi %v19_5_1, %7 : i16 - %20 = tensor.insert %19 into %15[%c2] : tensor<64 x i16> - %21 = tensor.extract %arg0[%c60] : tensor<64 x i16> - %22 = tensor.extract %arg0[%c4] : tensor<64 x i16> - %23 = tensor.extract %arg0[%c12] : tensor<64 x i16> - %v24_0 = arith.addi %23, %22 : i16 - %v24_1 = arith.addi %21, %v24_0 : i16 - %v24_2 = arith.addi %18, %v24_1 : i16 - %v24_3 = arith.addi %17, %v24_2 : i16 - %v24_4 = arith.addi %16, %v24_3 : i16 - %v24_5 = arith.addi %13, %v24_4 : i16 - %v24_5_1 = arith.addi %11, %v24_5 : i16 - %24 = arith.addi %v24_5_1, %12 : i16 - %25 = tensor.insert %24 into %20[%c3] : tensor<64 x i16> - %26 = tensor.extract %arg0[%c61] : tensor<64 x i16> - %27 = tensor.extract %arg0[%c5] : tensor<64 x i16> - %28 = tensor.extract %arg0[%c13] : tensor<64 x i16> - %v29_0 = arith.addi %28, %27 : i16 - %v29_1 = arith.addi %26, %v29_0 : i16 - %v29_2 = arith.addi %23, %v29_1 : i16 - %v29_3 = arith.addi %22, %v29_2 : i16 - %v29_4 = arith.addi %21, %v29_3 : i16 - %v29_5 = arith.addi %18, %v29_4 : i16 - %v29_5_1 = arith.addi %16, %v29_5 : i16 - %29 = arith.addi %v29_5_1, %17 : i16 - %30 = tensor.insert %29 into %25[%c4] : tensor<64 x i16> - %31 = tensor.extract %arg0[%c62] : tensor<64 x i16> - %32 = tensor.extract %arg0[%c6] : tensor<64 x i16> - %33 = tensor.extract %arg0[%c14] : tensor<64 x i16> - %v34_0 = arith.addi %33, %32 : i16 - %v34_1 = arith.addi %31, %v34_0 : i16 - %v34_2 = arith.addi %28, %v34_1 : i16 - %v34_3 = arith.addi %27, %v34_2 : i16 - %v34_4 = arith.addi %26, %v34_3 : i16 - %v34_5 = arith.addi %23, %v34_4 : i16 - %v34_5_1 = arith.addi %21, %v34_5 : i16 - %34 = arith.addi %v34_5_1, %22 : i16 - %35 = tensor.insert %34 into %30[%c5] : tensor<64 x i16> - %36 = tensor.extract %arg0[%c15] : tensor<64 x i16> - %v37_0 = arith.addi %36, %2 : i16 - %v37_1 = arith.addi %1, %v37_0 : i16 - %v37_2 = arith.addi %33, %v37_1 : i16 - %v37_3 = arith.addi %32, %v37_2 : i16 - %v37_4 = arith.addi %31, %v37_3 : i16 - %v37_5 = arith.addi %28, %v37_4 : i16 - %v37_5_1 = arith.addi %26, %v37_5 : i16 - %37 = arith.addi %v37_5_1, %27 : i16 - %38 = tensor.insert %37 into %35[%c6] : tensor<64 x i16> - %39 = tensor.extract %arg0[%c16] : tensor<64 x i16> - %v40_0 = arith.addi %39, %5 : i16 - %v40_1 = arith.addi %4, %v40_0 : i16 - %v40_2 = arith.addi %36, %v40_1 : i16 - %v40_3 = arith.addi %2, %v40_2 : i16 - %v40_4 = arith.addi %1, %v40_3 : i16 - %v40_5 = arith.addi %33, %v40_4 : i16 - %v40_5_1 = arith.addi %31, %v40_5 : i16 - %40 = arith.addi %v40_5_1, %32 : i16 - %41 = tensor.insert %40 into %38[%c7] : tensor<64 x i16> - %42 = tensor.extract %arg0[%c17] : tensor<64 x i16> - %v43_0 = arith.addi %42, %8 : i16 - %v43_1 = arith.addi %7, %v43_0 : i16 - %v43_2 = arith.addi %39, %v43_1 : i16 - %v43_3 = arith.addi %5, %v43_2 : i16 - %v43_4 = arith.addi %4, %v43_3 : i16 - %v43_5 = arith.addi %36, %v43_4 : i16 - %v43_5_1 = arith.addi %1, %v43_5 : i16 - %43 = arith.addi %v43_5_1, %2 : i16 - %44 = tensor.insert %43 into %41[%c8] : tensor<64 x i16> - %45 = tensor.extract %arg0[%c18] : tensor<64 x i16> - %v46_0 = arith.addi %45, %13 : i16 - %v46_1 = arith.addi %12, %v46_0 : i16 - %v46_2 = arith.addi %42, %v46_1 : i16 - %v46_3 = arith.addi %8, %v46_2 : i16 - %v46_4 = arith.addi %7, %v46_3 : i16 - %v46_5 = arith.addi %39, %v46_4 : i16 - %v46_5_1 = arith.addi %4, %v46_5 : i16 - %46 = arith.addi %v46_5_1, %5 : i16 - %47 = tensor.insert %46 into %44[%c9] : tensor<64 x i16> - %48 = tensor.extract %arg0[%c19] : tensor<64 x i16> - %v49_0 = arith.addi %48, %18 : i16 - %v49_1 = arith.addi %17, %v49_0 : i16 - %v49_2 = arith.addi %45, %v49_1 : i16 - %v49_3 = arith.addi %13, %v49_2 : i16 - %v49_4 = arith.addi %12, %v49_3 : i16 - %v49_5 = arith.addi %42, %v49_4 : i16 - %v49_5_1 = arith.addi %7, %v49_5 : i16 - %49 = arith.addi %v49_5_1, %8 : i16 - %50 = tensor.insert %49 into %47[%c10] : tensor<64 x i16> - %51 = tensor.extract %arg0[%c20] : tensor<64 x i16> - %v52_0 = arith.addi %51, %23 : i16 - %v52_1 = arith.addi %22, %v52_0 : i16 - %v52_2 = arith.addi %48, %v52_1 : i16 - %v52_3 = arith.addi %18, %v52_2 : i16 - %v52_4 = arith.addi %17, %v52_3 : i16 - %v52_5 = arith.addi %45, %v52_4 : i16 - %v52_5_1 = arith.addi %12, %v52_5 : i16 - %52 = arith.addi %v52_5_1, %13 : i16 - %53 = tensor.insert %52 into %50[%c11] : tensor<64 x i16> - %54 = tensor.extract %arg0[%c21] : tensor<64 x i16> - %v55_0 = arith.addi %54, %28 : i16 - %v55_1 = arith.addi %27, %v55_0 : i16 - %v55_2 = arith.addi %51, %v55_1 : i16 - %v55_3 = arith.addi %23, %v55_2 : i16 - %v55_4 = arith.addi %22, %v55_3 : i16 - %v55_5 = arith.addi %48, %v55_4 : i16 - %v55_5_1 = arith.addi %17, %v55_5 : i16 - %55 = arith.addi %v55_5_1, %18 : i16 - %56 = tensor.insert %55 into %53[%c12] : tensor<64 x i16> - %57 = tensor.extract %arg0[%c22] : tensor<64 x i16> - %v58_0 = arith.addi %57, %33 : i16 - %v58_1 = arith.addi %32, %v58_0 : i16 - %v58_2 = arith.addi %54, %v58_1 : i16 - %v58_3 = arith.addi %28, %v58_2 : i16 - %v58_4 = arith.addi %27, %v58_3 : i16 - %v58_5 = arith.addi %51, %v58_4 : i16 - %v58_5_1 = arith.addi %22, %v58_5 : i16 - %58 = arith.addi %v58_5_1, %23 : i16 - %59 = tensor.insert %58 into %56[%c13] : tensor<64 x i16> - %60 = tensor.extract %arg0[%c23] : tensor<64 x i16> - %v61_0 = arith.addi %60, %36 : i16 - %v61_1 = arith.addi %2, %v61_0 : i16 - %v61_2 = arith.addi %57, %v61_1 : i16 - %v61_3 = arith.addi %33, %v61_2 : i16 - %v61_4 = arith.addi %32, %v61_3 : i16 - %v61_5 = arith.addi %54, %v61_4 : i16 - %v61_5_1 = arith.addi %27, %v61_5 : i16 - %61 = arith.addi %v61_5_1, %28 : i16 - %62 = tensor.insert %61 into %59[%c14] : tensor<64 x i16> - %63 = tensor.extract %arg0[%c24] : tensor<64 x i16> - %v64_0 = arith.addi %63, %39 : i16 - %v64_1 = arith.addi %5, %v64_0 : i16 - %v64_2 = arith.addi %60, %v64_1 : i16 - %v64_3 = arith.addi %36, %v64_2 : i16 - %v64_4 = arith.addi %2, %v64_3 : i16 - %v64_5 = arith.addi %57, %v64_4 : i16 - %v64_5_1 = arith.addi %32, %v64_5 : i16 - %64 = arith.addi %v64_5_1, %33 : i16 - %65 = tensor.insert %64 into %62[%c15] : tensor<64 x i16> - %66 = tensor.extract %arg0[%c25] : tensor<64 x i16> - %v67_0 = arith.addi %66, %42 : i16 - %v67_1 = arith.addi %8, %v67_0 : i16 - %v67_2 = arith.addi %63, %v67_1 : i16 - %v67_3 = arith.addi %39, %v67_2 : i16 - %v67_4 = arith.addi %5, %v67_3 : i16 - %v67_5 = arith.addi %60, %v67_4 : i16 - %v67_5_1 = arith.addi %2, %v67_5 : i16 - %67 = arith.addi %v67_5_1, %36 : i16 - %68 = tensor.insert %67 into %65[%c16] : tensor<64 x i16> - %69 = tensor.extract %arg0[%c26] : tensor<64 x i16> - %v70_0 = arith.addi %69, %45 : i16 - %v70_1 = arith.addi %13, %v70_0 : i16 - %v70_2 = arith.addi %66, %v70_1 : i16 - %v70_3 = arith.addi %42, %v70_2 : i16 - %v70_4 = arith.addi %8, %v70_3 : i16 - %v70_5 = arith.addi %63, %v70_4 : i16 - %v70_5_1 = arith.addi %5, %v70_5 : i16 - %70 = arith.addi %v70_5_1, %39 : i16 - %71 = tensor.insert %70 into %68[%c17] : tensor<64 x i16> - %72 = tensor.extract %arg0[%c27] : tensor<64 x i16> - %v73_0 = arith.addi %72, %48 : i16 - %v73_1 = arith.addi %18, %v73_0 : i16 - %v73_2 = arith.addi %69, %v73_1 : i16 - %v73_3 = arith.addi %45, %v73_2 : i16 - %v73_4 = arith.addi %13, %v73_3 : i16 - %v73_5 = arith.addi %66, %v73_4 : i16 - %v73_5_1 = arith.addi %8, %v73_5 : i16 - %73 = arith.addi %v73_5_1, %42 : i16 - %74 = tensor.insert %73 into %71[%c18] : tensor<64 x i16> - %75 = tensor.extract %arg0[%c28] : tensor<64 x i16> - %v76_0 = arith.addi %75, %51 : i16 - %v76_1 = arith.addi %23, %v76_0 : i16 - %v76_2 = arith.addi %72, %v76_1 : i16 - %v76_3 = arith.addi %48, %v76_2 : i16 - %v76_4 = arith.addi %18, %v76_3 : i16 - %v76_5 = arith.addi %69, %v76_4 : i16 - %v76_5_1 = arith.addi %13, %v76_5 : i16 - %76 = arith.addi %v76_5_1, %45 : i16 - %77 = tensor.insert %76 into %74[%c19] : tensor<64 x i16> - %78 = tensor.extract %arg0[%c29] : tensor<64 x i16> - %v79_0 = arith.addi %78, %54 : i16 - %v79_1 = arith.addi %28, %v79_0 : i16 - %v79_2 = arith.addi %75, %v79_1 : i16 - %v79_3 = arith.addi %51, %v79_2 : i16 - %v79_4 = arith.addi %23, %v79_3 : i16 - %v79_5 = arith.addi %72, %v79_4 : i16 - %v79_5_1 = arith.addi %18, %v79_5 : i16 - %79 = arith.addi %v79_5_1, %48 : i16 - %80 = tensor.insert %79 into %77[%c20] : tensor<64 x i16> - %81 = tensor.extract %arg0[%c30] : tensor<64 x i16> - %v82_0 = arith.addi %81, %57 : i16 - %v82_1 = arith.addi %33, %v82_0 : i16 - %v82_2 = arith.addi %78, %v82_1 : i16 - %v82_3 = arith.addi %54, %v82_2 : i16 - %v82_4 = arith.addi %28, %v82_3 : i16 - %v82_5 = arith.addi %75, %v82_4 : i16 - %v82_5_1 = arith.addi %23, %v82_5 : i16 - %82 = arith.addi %v82_5_1, %51 : i16 - %83 = tensor.insert %82 into %80[%c21] : tensor<64 x i16> - %84 = tensor.extract %arg0[%c31] : tensor<64 x i16> - %v85_0 = arith.addi %84, %60 : i16 - %v85_1 = arith.addi %36, %v85_0 : i16 - %v85_2 = arith.addi %81, %v85_1 : i16 - %v85_3 = arith.addi %57, %v85_2 : i16 - %v85_4 = arith.addi %33, %v85_3 : i16 - %v85_5 = arith.addi %78, %v85_4 : i16 - %v85_5_1 = arith.addi %28, %v85_5 : i16 - %85 = arith.addi %v85_5_1, %54 : i16 - %86 = tensor.insert %85 into %83[%c22] : tensor<64 x i16> - %87 = tensor.extract %arg0[%c32] : tensor<64 x i16> - %v88_0 = arith.addi %87, %63 : i16 - %v88_1 = arith.addi %39, %v88_0 : i16 - %v88_2 = arith.addi %84, %v88_1 : i16 - %v88_3 = arith.addi %60, %v88_2 : i16 - %v88_4 = arith.addi %36, %v88_3 : i16 - %v88_5 = arith.addi %81, %v88_4 : i16 - %v88_5_1 = arith.addi %33, %v88_5 : i16 - %88 = arith.addi %v88_5_1, %57 : i16 - %89 = tensor.insert %88 into %86[%c23] : tensor<64 x i16> - %90 = tensor.extract %arg0[%c33] : tensor<64 x i16> - %v91_0 = arith.addi %90, %66 : i16 - %v91_1 = arith.addi %42, %v91_0 : i16 - %v91_2 = arith.addi %87, %v91_1 : i16 - %v91_3 = arith.addi %63, %v91_2 : i16 - %v91_4 = arith.addi %39, %v91_3 : i16 - %v91_5 = arith.addi %84, %v91_4 : i16 - %v91_5_1 = arith.addi %36, %v91_5 : i16 - %91 = arith.addi %v91_5_1, %60 : i16 - %92 = tensor.insert %91 into %89[%c24] : tensor<64 x i16> - %93 = tensor.extract %arg0[%c34] : tensor<64 x i16> - %v94_0 = arith.addi %93, %69 : i16 - %v94_1 = arith.addi %45, %v94_0 : i16 - %v94_2 = arith.addi %90, %v94_1 : i16 - %v94_3 = arith.addi %66, %v94_2 : i16 - %v94_4 = arith.addi %42, %v94_3 : i16 - %v94_5 = arith.addi %87, %v94_4 : i16 - %v94_5_1 = arith.addi %39, %v94_5 : i16 - %94 = arith.addi %v94_5_1, %63 : i16 - %95 = tensor.insert %94 into %92[%c25] : tensor<64 x i16> - %96 = tensor.extract %arg0[%c35] : tensor<64 x i16> - %v97_0 = arith.addi %96, %72 : i16 - %v97_1 = arith.addi %48, %v97_0 : i16 - %v97_2 = arith.addi %93, %v97_1 : i16 - %v97_3 = arith.addi %69, %v97_2 : i16 - %v97_4 = arith.addi %45, %v97_3 : i16 - %v97_5 = arith.addi %90, %v97_4 : i16 - %v97_5_1 = arith.addi %42, %v97_5 : i16 - %97 = arith.addi %v97_5_1, %66 : i16 - %98 = tensor.insert %97 into %95[%c26] : tensor<64 x i16> - %99 = tensor.extract %arg0[%c36] : tensor<64 x i16> - %v100_0 = arith.addi %99, %75 : i16 - %v100_1 = arith.addi %51, %v100_0 : i16 - %v100_2 = arith.addi %96, %v100_1 : i16 - %v100_3 = arith.addi %72, %v100_2 : i16 - %v100_4 = arith.addi %48, %v100_3 : i16 - %v100_5 = arith.addi %93, %v100_4 : i16 - %v100_5_1 = arith.addi %45, %v100_5 : i16 - %100 = arith.addi %v100_5_1, %69 : i16 - %101 = tensor.insert %100 into %98[%c27] : tensor<64 x i16> - %102 = tensor.extract %arg0[%c37] : tensor<64 x i16> - %v103_0 = arith.addi %102, %78 : i16 - %v103_1 = arith.addi %54, %v103_0 : i16 - %v103_2 = arith.addi %99, %v103_1 : i16 - %v103_3 = arith.addi %75, %v103_2 : i16 - %v103_4 = arith.addi %51, %v103_3 : i16 - %v103_5 = arith.addi %96, %v103_4 : i16 - %v103_5_1 = arith.addi %48, %v103_5 : i16 - %103 = arith.addi %v103_5_1, %72 : i16 - %104 = tensor.insert %103 into %101[%c28] : tensor<64 x i16> - %105 = tensor.extract %arg0[%c38] : tensor<64 x i16> - %v106_0 = arith.addi %105, %81 : i16 - %v106_1 = arith.addi %57, %v106_0 : i16 - %v106_2 = arith.addi %102, %v106_1 : i16 - %v106_3 = arith.addi %78, %v106_2 : i16 - %v106_4 = arith.addi %54, %v106_3 : i16 - %v106_5 = arith.addi %99, %v106_4 : i16 - %v106_5_1 = arith.addi %51, %v106_5 : i16 - %106 = arith.addi %v106_5_1, %75 : i16 - %107 = tensor.insert %106 into %104[%c29] : tensor<64 x i16> - %108 = tensor.extract %arg0[%c39] : tensor<64 x i16> - %v109_0 = arith.addi %108, %84 : i16 - %v109_1 = arith.addi %60, %v109_0 : i16 - %v109_2 = arith.addi %105, %v109_1 : i16 - %v109_3 = arith.addi %81, %v109_2 : i16 - %v109_4 = arith.addi %57, %v109_3 : i16 - %v109_5 = arith.addi %102, %v109_4 : i16 - %v109_5_1 = arith.addi %54, %v109_5 : i16 - %109 = arith.addi %v109_5_1, %78 : i16 - %110 = tensor.insert %109 into %107[%c30] : tensor<64 x i16> - %111 = tensor.extract %arg0[%c40] : tensor<64 x i16> - %v112_0 = arith.addi %111, %87 : i16 - %v112_1 = arith.addi %63, %v112_0 : i16 - %v112_2 = arith.addi %108, %v112_1 : i16 - %v112_3 = arith.addi %84, %v112_2 : i16 - %v112_4 = arith.addi %60, %v112_3 : i16 - %v112_5 = arith.addi %105, %v112_4 : i16 - %v112_5_1 = arith.addi %57, %v112_5 : i16 - %112 = arith.addi %v112_5_1, %81 : i16 - %113 = tensor.insert %112 into %110[%c31] : tensor<64 x i16> - %114 = tensor.extract %arg0[%c41] : tensor<64 x i16> - %v115_0 = arith.addi %114, %90 : i16 - %v115_1 = arith.addi %66, %v115_0 : i16 - %v115_2 = arith.addi %111, %v115_1 : i16 - %v115_3 = arith.addi %87, %v115_2 : i16 - %v115_4 = arith.addi %63, %v115_3 : i16 - %v115_5 = arith.addi %108, %v115_4 : i16 - %v115_5_1 = arith.addi %60, %v115_5 : i16 - %115 = arith.addi %v115_5_1, %84 : i16 - %116 = tensor.insert %115 into %113[%c32] : tensor<64 x i16> - %117 = tensor.extract %arg0[%c42] : tensor<64 x i16> - %v118_0 = arith.addi %117, %93 : i16 - %v118_1 = arith.addi %69, %v118_0 : i16 - %v118_2 = arith.addi %114, %v118_1 : i16 - %v118_3 = arith.addi %90, %v118_2 : i16 - %v118_4 = arith.addi %66, %v118_3 : i16 - %v118_5 = arith.addi %111, %v118_4 : i16 - %v118_5_1 = arith.addi %63, %v118_5 : i16 - %118 = arith.addi %v118_5_1, %87 : i16 - %119 = tensor.insert %118 into %116[%c33] : tensor<64 x i16> - %120 = tensor.extract %arg0[%c43] : tensor<64 x i16> - %v121_0 = arith.addi %120, %96 : i16 - %v121_1 = arith.addi %72, %v121_0 : i16 - %v121_2 = arith.addi %117, %v121_1 : i16 - %v121_3 = arith.addi %93, %v121_2 : i16 - %v121_4 = arith.addi %69, %v121_3 : i16 - %v121_5 = arith.addi %114, %v121_4 : i16 - %v121_5_1 = arith.addi %66, %v121_5 : i16 - %121 = arith.addi %v121_5_1, %90 : i16 - %122 = tensor.insert %121 into %119[%c34] : tensor<64 x i16> - %123 = tensor.extract %arg0[%c44] : tensor<64 x i16> - %v124_0 = arith.addi %123, %99 : i16 - %v124_1 = arith.addi %75, %v124_0 : i16 - %v124_2 = arith.addi %120, %v124_1 : i16 - %v124_3 = arith.addi %96, %v124_2 : i16 - %v124_4 = arith.addi %72, %v124_3 : i16 - %v124_5 = arith.addi %117, %v124_4 : i16 - %v124_5_1 = arith.addi %69, %v124_5 : i16 - %124 = arith.addi %v124_5_1, %93 : i16 - %125 = tensor.insert %124 into %122[%c35] : tensor<64 x i16> - %126 = tensor.extract %arg0[%c45] : tensor<64 x i16> - %v127_0 = arith.addi %126, %102 : i16 - %v127_1 = arith.addi %78, %v127_0 : i16 - %v127_2 = arith.addi %123, %v127_1 : i16 - %v127_3 = arith.addi %99, %v127_2 : i16 - %v127_4 = arith.addi %75, %v127_3 : i16 - %v127_5 = arith.addi %120, %v127_4 : i16 - %v127_5_1 = arith.addi %72, %v127_5 : i16 - %127 = arith.addi %v127_5_1, %96 : i16 - %128 = tensor.insert %127 into %125[%c36] : tensor<64 x i16> - %129 = tensor.extract %arg0[%c46] : tensor<64 x i16> - %v130_0 = arith.addi %129, %105 : i16 - %v130_1 = arith.addi %81, %v130_0 : i16 - %v130_2 = arith.addi %126, %v130_1 : i16 - %v130_3 = arith.addi %102, %v130_2 : i16 - %v130_4 = arith.addi %78, %v130_3 : i16 - %v130_5 = arith.addi %123, %v130_4 : i16 - %v130_5_1 = arith.addi %75, %v130_5 : i16 - %130 = arith.addi %v130_5_1, %99 : i16 - %131 = tensor.insert %130 into %128[%c37] : tensor<64 x i16> - %132 = tensor.extract %arg0[%c47] : tensor<64 x i16> - %v133_0 = arith.addi %132, %108 : i16 - %v133_1 = arith.addi %84, %v133_0 : i16 - %v133_2 = arith.addi %129, %v133_1 : i16 - %v133_3 = arith.addi %105, %v133_2 : i16 - %v133_4 = arith.addi %81, %v133_3 : i16 - %v133_5 = arith.addi %126, %v133_4 : i16 - %v133_5_1 = arith.addi %78, %v133_5 : i16 - %133 = arith.addi %v133_5_1, %102 : i16 - %134 = tensor.insert %133 into %131[%c38] : tensor<64 x i16> - %135 = tensor.extract %arg0[%c48] : tensor<64 x i16> - %v136_0 = arith.addi %135, %111 : i16 - %v136_1 = arith.addi %87, %v136_0 : i16 - %v136_2 = arith.addi %132, %v136_1 : i16 - %v136_3 = arith.addi %108, %v136_2 : i16 - %v136_4 = arith.addi %84, %v136_3 : i16 - %v136_5 = arith.addi %129, %v136_4 : i16 - %v136_5_1 = arith.addi %81, %v136_5 : i16 - %136 = arith.addi %v136_5_1, %105 : i16 - %137 = tensor.insert %136 into %134[%c39] : tensor<64 x i16> - %138 = tensor.extract %arg0[%c49] : tensor<64 x i16> - %v139_0 = arith.addi %138, %114 : i16 - %v139_1 = arith.addi %90, %v139_0 : i16 - %v139_2 = arith.addi %135, %v139_1 : i16 - %v139_3 = arith.addi %111, %v139_2 : i16 - %v139_4 = arith.addi %87, %v139_3 : i16 - %v139_5 = arith.addi %132, %v139_4 : i16 - %v139_5_1 = arith.addi %84, %v139_5 : i16 - %139 = arith.addi %v139_5_1, %108 : i16 - %140 = tensor.insert %139 into %137[%c40] : tensor<64 x i16> - %141 = tensor.extract %arg0[%c50] : tensor<64 x i16> - %v142_0 = arith.addi %141, %117 : i16 - %v142_1 = arith.addi %93, %v142_0 : i16 - %v142_2 = arith.addi %138, %v142_1 : i16 - %v142_3 = arith.addi %114, %v142_2 : i16 - %v142_4 = arith.addi %90, %v142_3 : i16 - %v142_5 = arith.addi %135, %v142_4 : i16 - %v142_5_1 = arith.addi %87, %v142_5 : i16 - %142 = arith.addi %v142_5_1, %111 : i16 - %143 = tensor.insert %142 into %140[%c41] : tensor<64 x i16> - %144 = tensor.extract %arg0[%c51] : tensor<64 x i16> - %v145_0 = arith.addi %144, %120 : i16 - %v145_1 = arith.addi %96, %v145_0 : i16 - %v145_2 = arith.addi %141, %v145_1 : i16 - %v145_3 = arith.addi %117, %v145_2 : i16 - %v145_4 = arith.addi %93, %v145_3 : i16 - %v145_5 = arith.addi %138, %v145_4 : i16 - %v145_5_1 = arith.addi %90, %v145_5 : i16 - %145 = arith.addi %v145_5_1, %114 : i16 - %146 = tensor.insert %145 into %143[%c42] : tensor<64 x i16> - %147 = tensor.extract %arg0[%c52] : tensor<64 x i16> - %v148_0 = arith.addi %147, %123 : i16 - %v148_1 = arith.addi %99, %v148_0 : i16 - %v148_2 = arith.addi %144, %v148_1 : i16 - %v148_3 = arith.addi %120, %v148_2 : i16 - %v148_4 = arith.addi %96, %v148_3 : i16 - %v148_5 = arith.addi %141, %v148_4 : i16 - %v148_5_1 = arith.addi %93, %v148_5 : i16 - %148 = arith.addi %v148_5_1, %117 : i16 - %149 = tensor.insert %148 into %146[%c43] : tensor<64 x i16> - %150 = tensor.extract %arg0[%c53] : tensor<64 x i16> - %v151_0 = arith.addi %150, %126 : i16 - %v151_1 = arith.addi %102, %v151_0 : i16 - %v151_2 = arith.addi %147, %v151_1 : i16 - %v151_3 = arith.addi %123, %v151_2 : i16 - %v151_4 = arith.addi %99, %v151_3 : i16 - %v151_5 = arith.addi %144, %v151_4 : i16 - %v151_5_1 = arith.addi %96, %v151_5 : i16 - %151 = arith.addi %v151_5_1, %120 : i16 - %152 = tensor.insert %151 into %149[%c44] : tensor<64 x i16> - %153 = tensor.extract %arg0[%c54] : tensor<64 x i16> - %v154_0 = arith.addi %153, %129 : i16 - %v154_1 = arith.addi %105, %v154_0 : i16 - %v154_2 = arith.addi %150, %v154_1 : i16 - %v154_3 = arith.addi %126, %v154_2 : i16 - %v154_4 = arith.addi %102, %v154_3 : i16 - %v154_5 = arith.addi %147, %v154_4 : i16 - %v154_5_1 = arith.addi %99, %v154_5 : i16 - %154 = arith.addi %v154_5_1, %123 : i16 - %155 = tensor.insert %154 into %152[%c45] : tensor<64 x i16> - %v156_0 = arith.addi %0, %132 : i16 - %v156_1 = arith.addi %108, %v156_0 : i16 - %v156_2 = arith.addi %153, %v156_1 : i16 - %v156_3 = arith.addi %129, %v156_2 : i16 - %v156_4 = arith.addi %105, %v156_3 : i16 - %v156_5 = arith.addi %150, %v156_4 : i16 - %v156_5_1 = arith.addi %102, %v156_5 : i16 - %156 = arith.addi %v156_5_1, %126 : i16 - %157 = tensor.insert %156 into %155[%c46] : tensor<64 x i16> - %v158_0 = arith.addi %3, %135 : i16 - %v158_1 = arith.addi %111, %v158_0 : i16 - %v158_2 = arith.addi %0, %v158_1 : i16 - %v158_3 = arith.addi %132, %v158_2 : i16 - %v158_4 = arith.addi %108, %v158_3 : i16 - %v158_5 = arith.addi %153, %v158_4 : i16 - %v158_5_1 = arith.addi %105, %v158_5 : i16 - %158 = arith.addi %v158_5_1, %129 : i16 - %159 = tensor.insert %158 into %157[%c47] : tensor<64 x i16> - %v160_0 = arith.addi %6, %138 : i16 - %v160_1 = arith.addi %114, %v160_0 : i16 - %v160_2 = arith.addi %3, %v160_1 : i16 - %v160_3 = arith.addi %135, %v160_2 : i16 - %v160_4 = arith.addi %111, %v160_3 : i16 - %v160_5 = arith.addi %0, %v160_4 : i16 - %v160_5_1 = arith.addi %108, %v160_5 : i16 - %160 = arith.addi %v160_5_1, %132 : i16 - %161 = tensor.insert %160 into %159[%c48] : tensor<64 x i16> - %v162_0 = arith.addi %11, %141 : i16 - %v162_1 = arith.addi %117, %v162_0 : i16 - %v162_2 = arith.addi %6, %v162_1 : i16 - %v162_3 = arith.addi %138, %v162_2 : i16 - %v162_4 = arith.addi %114, %v162_3 : i16 - %v162_5 = arith.addi %3, %v162_4 : i16 - %v162_5_1 = arith.addi %111, %v162_5 : i16 - %162 = arith.addi %v162_5_1, %135 : i16 - %163 = tensor.insert %162 into %161[%c49] : tensor<64 x i16> - %v164_0 = arith.addi %16, %144 : i16 - %v164_1 = arith.addi %120, %v164_0 : i16 - %v164_2 = arith.addi %11, %v164_1 : i16 - %v164_3 = arith.addi %141, %v164_2 : i16 - %v164_4 = arith.addi %117, %v164_3 : i16 - %v164_5 = arith.addi %6, %v164_4 : i16 - %v164_5_1 = arith.addi %114, %v164_5 : i16 - %164 = arith.addi %v164_5_1, %138 : i16 - %165 = tensor.insert %164 into %163[%c50] : tensor<64 x i16> - %v166_0 = arith.addi %21, %147 : i16 - %v166_1 = arith.addi %123, %v166_0 : i16 - %v166_2 = arith.addi %16, %v166_1 : i16 - %v166_3 = arith.addi %144, %v166_2 : i16 - %v166_4 = arith.addi %120, %v166_3 : i16 - %v166_5 = arith.addi %11, %v166_4 : i16 - %v166_5_1 = arith.addi %117, %v166_5 : i16 - %166 = arith.addi %v166_5_1, %141 : i16 - %167 = tensor.insert %166 into %165[%c51] : tensor<64 x i16> - %v168_0 = arith.addi %26, %150 : i16 - %v168_1 = arith.addi %126, %v168_0 : i16 - %v168_2 = arith.addi %21, %v168_1 : i16 - %v168_3 = arith.addi %147, %v168_2 : i16 - %v168_4 = arith.addi %123, %v168_3 : i16 - %v168_5 = arith.addi %16, %v168_4 : i16 - %v168_5_1 = arith.addi %120, %v168_5 : i16 - %168 = arith.addi %v168_5_1, %144 : i16 - %169 = tensor.insert %168 into %167[%c52] : tensor<64 x i16> - %v170_0 = arith.addi %31, %153 : i16 - %v170_1 = arith.addi %129, %v170_0 : i16 - %v170_2 = arith.addi %26, %v170_1 : i16 - %v170_3 = arith.addi %150, %v170_2 : i16 - %v170_4 = arith.addi %126, %v170_3 : i16 - %v170_5 = arith.addi %21, %v170_4 : i16 - %v170_5_1 = arith.addi %123, %v170_5 : i16 - %170 = arith.addi %v170_5_1, %147 : i16 - %171 = tensor.insert %170 into %169[%c53] : tensor<64 x i16> - %v172_0 = arith.addi %1, %0 : i16 - %v172_1 = arith.addi %132, %v172_0 : i16 - %v172_2 = arith.addi %31, %v172_1 : i16 - %v172_3 = arith.addi %153, %v172_2 : i16 - %v172_4 = arith.addi %129, %v172_3 : i16 - %v172_5 = arith.addi %26, %v172_4 : i16 - %v172_5_1 = arith.addi %126, %v172_5 : i16 - %172 = arith.addi %v172_5_1, %150 : i16 - %173 = tensor.insert %172 into %171[%c54] : tensor<64 x i16> - %v174_0 = arith.addi %4, %3 : i16 - %v174_1 = arith.addi %135, %v174_0 : i16 - %v174_2 = arith.addi %1, %v174_1 : i16 - %v174_3 = arith.addi %0, %v174_2 : i16 - %v174_4 = arith.addi %132, %v174_3 : i16 - %v174_5 = arith.addi %31, %v174_4 : i16 - %v174_5_1 = arith.addi %129, %v174_5 : i16 - %174 = arith.addi %v174_5_1, %153 : i16 - %175 = tensor.insert %174 into %173[%c55] : tensor<64 x i16> - %v176_0 = arith.addi %7, %6 : i16 - %v176_1 = arith.addi %138, %v176_0 : i16 - %v176_2 = arith.addi %4, %v176_1 : i16 - %v176_3 = arith.addi %3, %v176_2 : i16 - %v176_4 = arith.addi %135, %v176_3 : i16 - %v176_5 = arith.addi %1, %v176_4 : i16 - %v176_5_1 = arith.addi %132, %v176_5 : i16 - %176 = arith.addi %v176_5_1, %0 : i16 - %177 = tensor.insert %176 into %175[%c56] : tensor<64 x i16> - %v178_0 = arith.addi %12, %11 : i16 - %v178_1 = arith.addi %141, %v178_0 : i16 - %v178_2 = arith.addi %7, %v178_1 : i16 - %v178_3 = arith.addi %6, %v178_2 : i16 - %v178_4 = arith.addi %138, %v178_3 : i16 - %v178_5 = arith.addi %4, %v178_4 : i16 - %v178_5_1 = arith.addi %135, %v178_5 : i16 - %178 = arith.addi %v178_5_1, %3 : i16 - %179 = tensor.insert %178 into %177[%c57] : tensor<64 x i16> - %v180_0 = arith.addi %17, %16 : i16 - %v180_1 = arith.addi %144, %v180_0 : i16 - %v180_2 = arith.addi %12, %v180_1 : i16 - %v180_3 = arith.addi %11, %v180_2 : i16 - %v180_4 = arith.addi %141, %v180_3 : i16 - %v180_5 = arith.addi %7, %v180_4 : i16 - %v180_5_1 = arith.addi %138, %v180_5 : i16 - %180 = arith.addi %v180_5_1, %6 : i16 - %181 = tensor.insert %180 into %179[%c58] : tensor<64 x i16> - %v182_0 = arith.addi %22, %21 : i16 - %v182_1 = arith.addi %147, %v182_0 : i16 - %v182_2 = arith.addi %17, %v182_1 : i16 - %v182_3 = arith.addi %16, %v182_2 : i16 - %v182_4 = arith.addi %144, %v182_3 : i16 - %v182_5 = arith.addi %12, %v182_4 : i16 - %v182_5_1 = arith.addi %141, %v182_5 : i16 - %182 = arith.addi %v182_5_1, %11 : i16 - %183 = tensor.insert %182 into %181[%c59] : tensor<64 x i16> - %v184_0 = arith.addi %27, %26 : i16 - %v184_1 = arith.addi %150, %v184_0 : i16 - %v184_2 = arith.addi %22, %v184_1 : i16 - %v184_3 = arith.addi %21, %v184_2 : i16 - %v184_4 = arith.addi %147, %v184_3 : i16 - %v184_5 = arith.addi %17, %v184_4 : i16 - %v184_5_1 = arith.addi %144, %v184_5 : i16 - %184 = arith.addi %v184_5_1, %16 : i16 - %185 = tensor.insert %184 into %183[%c60] : tensor<64 x i16> - %v186_0 = arith.addi %32, %31 : i16 - %v186_1 = arith.addi %153, %v186_0 : i16 - %v186_2 = arith.addi %27, %v186_1 : i16 - %v186_3 = arith.addi %26, %v186_2 : i16 - %v186_4 = arith.addi %150, %v186_3 : i16 - %v186_5 = arith.addi %22, %v186_4 : i16 - %v186_5_1 = arith.addi %147, %v186_5 : i16 - %186 = arith.addi %v186_5_1, %21 : i16 - %187 = tensor.insert %186 into %185[%c61] : tensor<64 x i16> - %v188_0 = arith.addi %2, %1 : i16 - %v188_1 = arith.addi %0, %v188_0 : i16 - %v188_2 = arith.addi %32, %v188_1 : i16 - %v188_3 = arith.addi %31, %v188_2 : i16 - %v188_4 = arith.addi %153, %v188_3 : i16 - %v188_5 = arith.addi %27, %v188_4 : i16 - %v188_5_1 = arith.addi %150, %v188_5 : i16 - %188 = arith.addi %v188_5_1, %26 : i16 - %189 = tensor.insert %188 into %187[%c62] : tensor<64 x i16> - %v190_0 = arith.addi %5, %4 : i16 - %v190_1 = arith.addi %3, %v190_0 : i16 - %v190_2 = arith.addi %2, %v190_1 : i16 - %v190_3 = arith.addi %1, %v190_2 : i16 - %v190_4 = arith.addi %0, %v190_3 : i16 - %v190_5 = arith.addi %32, %v190_4 : i16 - %v190_5_1 = arith.addi %153, %v190_5 : i16 - %190 = arith.addi %v190_5_1, %31 : i16 - %191 = tensor.insert %190 into %189[%c63] : tensor<64 x i16> - secret.yield %191 : tensor<64xi16> - } -> !secret.secret> - return %0 : !secret.secret> - } -}