Examples of avrora.core.Register$Set

avrora.core.Register
The Set class represents a set of registers. This is used to represent classes of registers that are used as operands to various instructions. For example, an instruction might expect one of its operands to be a general purpose register that has a number greater than 15; a set of those registers can be constructed and then a membership test performed.
In practice, the needed register sets are all allocated statically.

        policy.addEdge(caller, type, rstate);
    }


    private void mergeReturnStateIntoCaller(StateCache.State caller, MutableState rstate, ISEState rs) {
        for ( int cntr = 0; cntr < MutableState.NUM_REGS; cntr++ ) {
            Register reg = Register.getRegisterByNumber(cntr);
            // get the value that is in the return state
            char retval = rstate.getRegisterAV(reg);
            // interpret the ISE abstract value: is it a new value or an old value?
            char av = interpret(caller, rs.getRegister(reg), retval);
            rstate.setRegisterAV(reg, av);

View Full Code Here

        rstate.setIORegisterAV(ior, av);
    }


    private char interpret(StateCache.State caller, byte rsval, char defval) {
        // if the ISE value refers to the value of a register before the call, return it from the caller state
        Register reg = ISEValue.asRegister(rsval);
        if ( reg != null ) return caller.getRegisterAV(reg);
        // if the ISE value refers to the value of an IO register before the call, return it from the caller state
        int ior = ISEValue.asIORegister(rsval);
        if ( ior > 0 ) return caller.getIORegisterAV(ior);
        // otherwise, return the default (value in the return state)

View Full Code Here

        newRetCount++;
    }


    private void maskIrrelevantState(MutableState s, ISEState rs) {
        for ( int cntr = 0; cntr < MutableState.NUM_REGS; cntr++ ) {
            Register reg = Register.getRegisterByNumber(cntr);
            if ( !rs.isRegisterRead(reg) )
                s.setRegisterAV(reg, AbstractArithmetic.UNKNOWN);
        }
        // TODO: these interrupt flags do matter!
        //maskIORegister(IORegisterConstants.SREG, s, rs);

View Full Code Here

TOP

Related Classes of avrora.core.Register$Set

avrora.stack.Analyzer

beaver.spec.GrammarSymbol

beaver.spec.NonTerminal

com.dtrules.interpreter.IRObject

com.dtrules.interpreter.RTable

org.eclipse.imp.pdb.facts.ISetWriter

org.eclipse.imp.pdb.facts.type.Type

org.rascalmpl.interpreter.matching.SetPattern

org.rascalmpl.interpreter.staticErrors.NonVoidTypeRequired

org.rascalmpl.interpreter.staticErrors.NonWellformedType

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.