private int target(Value v) {
        // -2 signifies temporary inserted to resolve phi cycles
        if(v.getColor() == -2) {
            return t2;
        }
        if(isSpilled(v)) {
            // then this value has been spilled, will need to be put home later
            return t1;
        }
        int reg = minAvail + v.getColor();
        return reg;
    }