if (setLatticeValueTo(phiResultReg, phiResultValue, phiConstant)) { addUsersToWorklist(phiResultReg, phiResultValue);
if (setLatticeValueTo(phiResultReg, phiResultValue, phiConstant)) { addUsersToWorklist(phiResultReg, phiResultValue);
if (setLatticeValueTo(phiResultReg, phiResultValue, phiConstant)) { addUsersToWorklist(phiResultReg, phiResultValue);
if (setLatticeValueTo(phiResultReg, phiResultValue, phiConstant)) { addUsersToWorklist(phiResultReg, phiResultValue);
if (setLatticeValueTo(phiResultReg, phiResultValue, phiConstant)) { addUsersToWorklist(phiResultReg, phiResultValue);
if (setLatticeValueTo(phiResultReg, phiResultValue, phiConstant)) { addUsersToWorklist(phiResultReg, phiResultValue);
if (setLatticeValueTo(phiResultReg, phiResultValue, phiConstant)) { addUsersToWorklist(phiResultReg, phiResultValue);
if (setLatticeValueTo(phiResultReg, phiResultValue, phiConstant)) { addUsersToWorklist(phiResultReg, phiResultValue);
if (setLatticeValueTo(resultReg, resultValue, resultConstant)) { addUsersToWorklist(resultReg, resultValue);
if (setLatticeValueTo(resultReg, resultValue, resultConstant)) { addUsersToWorklist(resultReg, resultValue);
if (setLatticeValueTo(resultReg, resultValue, resultConstant)) { addUsersToWorklist(resultReg, resultValue);
if (setLatticeValueTo(resultReg, resultValue, resultConstant)) { addUsersToWorklist(resultReg, resultValue);
if (setLatticeValueTo(resultReg, resultValue, resultConstant)) { addUsersToWorklist(resultReg, resultValue);
if (setLatticeValueTo(resultReg, resultValue, resultConstant)) { addUsersToWorklist(resultReg, resultValue);
if (setLatticeValueTo(resultReg, resultValue, resultConstant)) { addUsersToWorklist(resultReg, resultValue);
if (setLatticeValueTo(resultReg, resultValue, resultConstant)) { addUsersToWorklist(resultReg, resultValue);