def ghash_field_xor_if
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
368def ghash_field_xor_if(a: U32, b: U32, yes: Bool) -> U32:
369 mask = U32.sub(0, Bool.to_u32(yes))
370 U32.xor(a, U32.and(mask, b))
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
368def ghash_field_xor_if(a: U32, b: U32, yes: Bool) -> U32:
369 mask = U32.sub(0, Bool.to_u32(yes))
370 U32.xor(a, U32.and(mask, b))