def _op_fgeneric_Cmp(self, args): #pylint:disable=no-self-use
a, b = args[0].raw_to_fp(), args[1].raw_to_fp()
return claripy.ite_cases((
(claripy.fpLT(a, b), claripy.BVV(0x01, 32)),
(claripy.fpGT(a, b), claripy.BVV(0x00, 32)),
(claripy.fpEQ(a, b), claripy.BVV(0x40, 32)),
), claripy.BVV(0x45, 32))
def _op_fgeneric_Cmp(self, args): #pylint:disable=no-self-use
a, b = args[0].raw_to_fp(), args[1].raw_to_fp()
return claripy.ite_cases((
(claripy.fpLT(a, b), claripy.BVV(0x01, 32)),
(claripy.fpGT(a, b), claripy.BVV(0x00, 32)),
(claripy.fpEQ(a, b), claripy.BVV(0x40, 32)),
), claripy.BVV(0x45, 32))
def _op_fgeneric_Cmp(self, args): #pylint:disable=no-self-use
# see https://github.com/angr/vex/blob/master/pub/libvex_ir.h#L580
a, b = args[0].raw_to_fp(), args[1].raw_to_fp()
return claripy.ite_cases((
(claripy.fpLT(a, b), claripy.BVV(0x01, 32)),
(claripy.fpGT(a, b), claripy.BVV(0x00, 32)),
(claripy.fpEQ(a, b), claripy.BVV(0x40, 32)),
), claripy.BVV(0x45, 32))
