From 4e41969f3e2688c18becc24538248024641cc430 Mon Sep 17 00:00:00 2001
From: Quentin Bourgerie <bourgerie.quentin@gmail.com>
Date: Wed, 16 Jun 2021 09:18:29 +0200
Subject: [PATCH] test(compiler): Add another test for mul_plain padding
 verification

---
 .../tests/Dialect/MidLFHE/op_mul_plain_err_padding3.mlir  | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 compiler/tests/Dialect/MidLFHE/op_mul_plain_err_padding3.mlir

diff --git a/compiler/tests/Dialect/MidLFHE/op_mul_plain_err_padding3.mlir b/compiler/tests/Dialect/MidLFHE/op_mul_plain_err_padding3.mlir
new file mode 100644
index 000000000..42d7dc51e
--- /dev/null
+++ b/compiler/tests/Dialect/MidLFHE/op_mul_plain_err_padding3.mlir
@@ -0,0 +1,8 @@
+// RUN: not zamacompiler %s 2>&1| FileCheck %s
+
+// CHECK-LABEL: error: 'MidLFHE.mul_plain' op has unexpected padding parameter of its GLWE result, expected:1
+func @mul_plain(%arg0: !MidLFHE.glwe<{1024,12,64}{3,7,0,50,-25}>) -> !MidLFHE.glwe<{1024,12,64}{3,7,0,50,-25}> {
+  %0 = constant 2 : i32
+  %1 = "MidLFHE.mul_plain"(%arg0, %0): (!MidLFHE.glwe<{1024,12,64}{3,7,0,50,-25}>, i32) -> (!MidLFHE.glwe<{1024,12,64}{3,7,0,50,-25}>)
+  return %1: !MidLFHE.glwe<{1024,12,64}{3,7,0,50,-25}>
+}
\ No newline at end of file