Register allocation modeling question

[pschitte]

Hi,

When can a global operand be optional? In other words, when can an adjacent operand be assigned to a null-temporary?

I have looked in the manual, but do not think the factorial example has that possibility and could not come up with an example myself.

unison/src/solvers/gecode/models/parameters.cpp

Line 709 in 9f9857e

if (temps[p][0] == NULL_TEMPORARY) {