addUsersToWorklist(phiResultReg, phiResultValue);
addUsersToWorklist(phiResultReg, phiResultValue);
addUsersToWorklist(phiResultReg, phiResultValue);
addUsersToWorklist(phiResultReg, phiResultValue);
addUsersToWorklist(phiResultReg, phiResultValue);
addUsersToWorklist(phiResultReg, phiResultValue);
addUsersToWorklist(phiResultReg, phiResultValue);
addUsersToWorklist(phiResultReg, phiResultValue);
addUsersToWorklist(resultReg, resultValue);
addUsersToWorklist(resultReg, resultValue);
addUsersToWorklist(resultReg, resultValue);
addUsersToWorklist(resultReg, resultValue);
addUsersToWorklist(resultReg, resultValue);
addUsersToWorklist(resultReg, resultValue);
addUsersToWorklist(resultReg, resultValue);
addUsersToWorklist(resultReg, resultValue);