fix(tests): add more input values to 16bit test to catch cases where 3 byte (i17) values are not aligned properly.

This commit is contained in:
Antoniu Pop
2022-08-12 10:02:51 +01:00
committed by Quentin Bourgerie
parent 93802d128b
commit 8bacd9e7ac

View File

@@ -20,19 +20,19 @@ tests:
description: add_eint_int_term_to_term_16bits
program: |
// Returns the term to term addition of `%a0` with `%a1`
func.func @main(%a0: tensor<4x!FHE.eint<16>>, %a1: tensor<4xi17>) -> tensor<4x!FHE.eint<16>> {
%res = "FHELinalg.add_eint_int"(%a0, %a1) : (tensor<4x!FHE.eint<16>>, tensor<4xi17>) -> tensor<4x!FHE.eint<16>>
return %res : tensor<4x!FHE.eint<16>>
func.func @main(%a0: tensor<7x!FHE.eint<16>>, %a1: tensor<7xi17>) -> tensor<7x!FHE.eint<16>> {
%res = "FHELinalg.add_eint_int"(%a0, %a1) : (tensor<7x!FHE.eint<16>>, tensor<7xi17>) -> tensor<7x!FHE.eint<16>>
return %res : tensor<7x!FHE.eint<16>>
}
tests:
- inputs:
- tensor: [32767, 1276, 10212, 0]
shape: [4]
- tensor: [32768, 20967, 3, 0]
shape: [4]
- tensor: [32767, 0, 10212, 1276, 55, 24000, 1766]
shape: [7]
- tensor: [32768, 0, 3, 20967, 57, 123, 31000]
shape: [7]
outputs:
- tensor: [65535, 22243, 10215, 0]
shape: [4]
- tensor: [65535, 0, 10215, 22243, 112, 24123, 32766]
shape: [7]
v0-constraint: [16, 0]
v0-parameter: [1,11,565,1,23,5,3]
large-integer-crt-decomposition: [7,8,9,11,13]