Lines Matching refs:mkU64
1187 #define mkU64(v) IRExpr_Const(IRConst_U64(v)) macro
1334 return unop(Iop_1Uto32, binop(Iop_CmpEQ64, cc_dep1, mkU64(0))); in guest_s390x_spechelper()
1337 return unop(Iop_1Uto32, binop(Iop_CmpNE64, cc_dep1, mkU64(0))); in guest_s390x_spechelper()
1340 return unop(Iop_1Uto32, binop(Iop_CmpLT64S, cc_dep1, mkU64(0))); in guest_s390x_spechelper()
1343 return unop(Iop_1Uto32, binop(Iop_CmpLE64S, cc_dep1, mkU64(0))); in guest_s390x_spechelper()
1347 return unop(Iop_1Uto32, binop(Iop_CmpLT64S, mkU64(0), cc_dep1)); in guest_s390x_spechelper()
1350 return unop(Iop_1Uto32, binop(Iop_CmpLE64S, mkU64(0), cc_dep1)); in guest_s390x_spechelper()
1379 return unop(Iop_1Uto32, binop(Iop_CmpEQ64, cc_dep1, mkU64(0))); in guest_s390x_spechelper()
1382 return unop(Iop_1Uto32, binop(Iop_CmpNE64, cc_dep1, mkU64(0))); in guest_s390x_spechelper()
1485 mkU64(0))); in guest_s390x_spechelper()
1490 mkU64(0))); in guest_s390x_spechelper()
1526 mkU64(0))); in guest_s390x_spechelper()
1531 mkU64(0))); in guest_s390x_spechelper()
1536 mkU64(mask16))); in guest_s390x_spechelper()
1541 mkU64(mask16))); in guest_s390x_spechelper()
1554 binop(Iop_And64, cc_dep1, mkU64(msb)), mkU64(0)); in guest_s390x_spechelper()
1557 mkU64(mask16)); in guest_s390x_spechelper()
1567 binop(Iop_And64, cc_dep1, mkU64(msb)), mkU64(0)); in guest_s390x_spechelper()
1570 mkU64(0)); in guest_s390x_spechelper()
1579 binop(Iop_And64, cc_dep1, mkU64(msb)), mkU64(0)); in guest_s390x_spechelper()
1582 mkU64(0)); in guest_s390x_spechelper()
1590 binop(Iop_And64, cc_dep1, mkU64(msb)), in guest_s390x_spechelper()
1591 mkU64(0))); in guest_s390x_spechelper()
1596 binop(Iop_And64, cc_dep1, mkU64(msb)), in guest_s390x_spechelper()
1597 mkU64(0))); in guest_s390x_spechelper()
1659 mkU64(0))); in guest_s390x_spechelper()
1665 mkU64(0))); in guest_s390x_spechelper()
1670 mkU64(0))); in guest_s390x_spechelper()
1675 mkU64(0))); in guest_s390x_spechelper()
1694 mkU64(0))); in guest_s390x_spechelper()
1700 mkU64(0))); in guest_s390x_spechelper()
1730 mkU64(8)), in guest_s390x_spechelper()
1731 mkU64(0))); in guest_s390x_spechelper()