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

// CHECK-LABEL: func.func @sub_int_eint(%arg0: !TFHE.glwe<{_,_,_}{7}>) -> !TFHE.glwe<{_,_,_}{7}>
func.func @sub_int_eint(%arg0: !FHE.eint<7>) -> !FHE.eint<7> {
    // CHECK-NEXT: %c1_i8 = arith.constant 1 : i8
    // CHECK-NEXT: %0 = arith.extui %c1_i8 : i8 to i64
    // CHECK-NEXT: %c56_i64 = arith.constant 56 : i64
    // CHECK-NEXT: %1 = arith.shli %0, %c56_i64 : i64
    // CHECK-NEXT: %2 = "TFHE.sub_int_glwe"(%1, %arg0) : (i64, !TFHE.glwe<{_,_,_}{7}>) -> !TFHE.glwe<{_,_,_}{7}>
    // CHECK-NEXT: return %2 : !TFHE.glwe<{_,_,_}{7}>

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