Use CMP_GE/CMP_LE/CMP_GE_UN/CMP_LE_UN instead of manual decomposition