// RUN: concretecompiler %s --optimize-tfhe=false --action=dump-tfhe 2>&1| FileCheck %s

// CHECK-LABEL: func.func @mul_eint_int(%arg0: !TFHE.glwe<sk?>) -> !TFHE.glwe<sk?>
func.func @mul_eint_int(%arg0: !FHE.eint<7>) -> !FHE.eint<7> {
  // CHECK-NEXT:  %c2_i8 = arith.constant 2 : i8
  // CHECK-NEXT:  %0 = arith.extsi %c2_i8 : i8 to i64
  // CHECK-NEXT:  %1 = "TFHE.mul_glwe_int"(%arg0, %0) : (!TFHE.glwe<sk?>, i64) -> !TFHE.glwe<sk?>
  // CHECK-NEXT:  return %1 : !TFHE.glwe<sk?>

  %0 = arith.constant 2 : i8
  %1 = "FHE.mul_eint_int"(%arg0, %0): (!FHE.eint<7>, i8) -> (!FHE.eint<7>)
  return %1: !FHE.eint<7>
}
