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))