Move HLFHE.dot_eint_int to HLFHELinalg.

Resolves #183
This commit is contained in:
rudy
2021-11-08 16:11:39 +01:00
committed by Ayoub Benaissa
parent 0670d4efc1
commit 97389a3b06
18 changed files with 165 additions and 126 deletions

View File

@@ -21,7 +21,7 @@ from zamalang import CompilerEngine
"""
func @main(%arg0: tensor<4x!HLFHE.eint<7>>, %arg1: tensor<4xi8>) -> !HLFHE.eint<7>
{
%ret = "HLFHE.dot_eint_int"(%arg0, %arg1) :
%ret = "HLFHELinalg.dot_eint_int"(%arg0, %arg1) :
(tensor<4x!HLFHE.eint<7>>, tensor<4xi8>) -> !HLFHE.eint<7>
return %ret : !HLFHE.eint<7>
}
@@ -163,7 +163,7 @@ def test_compile_and_run_tlu(mlir_input, args, expected_result, tab_size):
"""
func @test(%arg0: tensor<4x!HLFHE.eint<7>>, %arg1: tensor<4xi8>) -> !HLFHE.eint<7>
{
%ret = "HLFHE.dot_eint_int"(%arg0, %arg1) :
%ret = "HLFHELinalg.dot_eint_int"(%arg0, %arg1) :
(tensor<4x!HLFHE.eint<7>>, tensor<4xi8>) -> !HLFHE.eint<7>
return %ret : !HLFHE.eint<7>
}

View File

@@ -27,7 +27,7 @@ VALID_INPUTS = [
func @dot_eint_int(%arg0: tensor<2x!HLFHE.eint<2>>,
%arg1: tensor<2xi3>) -> !HLFHE.eint<2>
{
%1 = "HLFHE.dot_eint_int"(%arg0, %arg1) :
%1 = "HLFHELinalg.dot_eint_int"(%arg0, %arg1) :
(tensor<2x!HLFHE.eint<2>>, tensor<2xi3>) -> !HLFHE.eint<2>
return %1 : !HLFHE.eint<2>
}