Examples with OperandMode org.graalvm.compiler.lir.LIRInstruction.OperandMode used on opensource projects

Example 6 with OperandMode

use of org.graalvm.compiler.lir.LIRInstruction.OperandMode in project graal by oracle.

the class RegisterVerifier method processOperations.

void processOperations(AbstractBlockBase<?> block, final Interval[] inputState) {
    ArrayList<LIRInstruction> ops = allocator.getLIR().getLIRforBlock(block);
    DebugContext debug = allocator.getDebug();
    InstructionValueConsumer useConsumer = new InstructionValueConsumer() {

        @Override
        public void visitValue(LIRInstruction op, Value operand, OperandMode mode, EnumSet<OperandFlag> flags) {
            // we skip spill moves inserted by the spill position optimization
            if (LinearScan.isVariableOrRegister(operand) && allocator.isProcessed(operand) && op.id() != LinearScan.DOMINATOR_SPILL_MOVE_ID) {
                Interval interval = intervalAt(operand);
                if (op.id() != -1) {
                    interval = interval.getSplitChildAtOpId(op.id(), mode, allocator);
                }
                assert checkState(block, op, inputState, interval.operand, interval.location(), interval.splitParent());
            }
        }
    };
    InstructionValueConsumer defConsumer = (op, operand, mode, flags) -> {
        if (LinearScan.isVariableOrRegister(operand) && allocator.isProcessed(operand)) {
            Interval interval = intervalAt(operand);
            if (op.id() != -1) {
                interval = interval.getSplitChildAtOpId(op.id(), mode, allocator);
            }
            statePut(debug, inputState, interval.location(), interval.splitParent());
        }
    };
    // visit all instructions of the block
    for (int i = 0; i < ops.size(); i++) {
        final LIRInstruction op = ops.get(i);
        if (debug.isLogEnabled()) {
            debug.log("%s", op.toStringWithIdPrefix());
        }
        // check if input operands are correct
        op.visitEachInput(useConsumer);
        // invalidate all caller save registers at calls
        if (op.destroysCallerSavedRegisters()) {
            for (Register r : allocator.getRegisterAllocationConfig().getRegisterConfig().getCallerSaveRegisters()) {
                statePut(debug, inputState, r.asValue(), null);
            }
        }
        op.visitEachAlive(useConsumer);
        // set temp operands (some operations use temp operands also as output operands, so
        // can't set them null)
        op.visitEachTemp(defConsumer);
        // set output operands
        op.visitEachOutput(defConsumer);
    }
}

Example 7 with OperandMode

use of org.graalvm.compiler.lir.LIRInstruction.OperandMode in project graal by oracle.

the class LIRVerifier method verify.

private void verify() {
    ValueConsumer useConsumer = new ValueConsumer() {

        @Override
        public void visitValue(Value value, OperandMode mode, EnumSet<OperandFlag> flags) {
            use(value, mode, flags);
        }
    };
    ValueConsumer defConsumer = new ValueConsumer() {

        @Override
        public void visitValue(Value value, OperandMode mode, EnumSet<OperandFlag> flags) {
            def(value, mode, flags);
        }
    };
    int maxRegisterNum = maxRegisterNum();
    curRegistersDefined = new BitSet();
    for (AbstractBlockBase<?> block : lir.linearScanOrder()) {
        curBlock = block;
        curVariablesLive = new BitSet();
        curRegistersLive = new Value[maxRegisterNum];
        if (block.getDominator() != null) {
            curVariablesLive.or(liveOutFor(block.getDominator()));
        }
        assert lir.getLIRforBlock(block).get(0) instanceof StandardOp.LabelOp : "block must start with label";
        if (block.getSuccessorCount() > 0) {
            LIRInstruction last = lir.getLIRforBlock(block).get(lir.getLIRforBlock(block).size() - 1);
            assert last instanceof StandardOp.JumpOp : "block with successor must end with unconditional jump";
        }
        if (block.getPredecessorCount() > 1) {
            SSAUtil.verifyPhi(lir, block);
        }
        for (LIRInstruction op : lir.getLIRforBlock(block)) {
            curInstruction = op;
            op.visitEachInput(useConsumer);
            if (op.destroysCallerSavedRegisters()) {
                for (Register register : frameMap.getRegisterConfig().getCallerSaveRegisters()) {
                    curRegistersLive[register.number] = null;
                }
            }
            curRegistersDefined.clear();
            op.visitEachAlive(useConsumer);
            op.visitEachState(useConsumer);
            op.visitEachTemp(defConsumer);
            op.visitEachOutput(defConsumer);
            curInstruction = null;
        }
        setLiveOutFor(block, curVariablesLive);
    }
}

Example 8 with OperandMode

use of org.graalvm.compiler.lir.LIRInstruction.OperandMode in project graal by oracle.

the class RegisterVerifier method processOperations.

void processOperations(AbstractBlockBase<?> block, final TraceInterval[] inputState) {
    ArrayList<LIRInstruction> ops = allocator.getLIR().getLIRforBlock(block);
    DebugContext debug = allocator.getDebug();
    InstructionValueConsumer useConsumer = new InstructionValueConsumer() {

        @Override
        public void visitValue(LIRInstruction op, Value operand, OperandMode mode, EnumSet<OperandFlag> flags) {
            // we skip spill moves inserted by the spill position optimization
            if (isVariableOrRegister(operand) && allocator.isProcessed(operand) && op.id() != TraceLinearScanPhase.DOMINATOR_SPILL_MOVE_ID) {
                TraceInterval interval = intervalAt(asVariable(operand));
                if (op.id() != -1) {
                    interval = interval.getSplitChildAtOpId(op.id(), mode);
                }
                assert checkState(block, op, inputState, allocator.getOperand(interval), interval.location(), interval.splitParent());
            }
        }
    };
    InstructionValueConsumer defConsumer = (op, operand, mode, flags) -> {
        if (isVariableOrRegister(operand) && allocator.isProcessed(operand)) {
            TraceInterval interval = intervalAt(asVariable(operand));
            if (op.id() != -1) {
                interval = interval.getSplitChildAtOpId(op.id(), mode);
            }
            statePut(debug, inputState, interval.location(), interval.splitParent());
        }
    };
    // visit all instructions of the block
    for (int i = 0; i < ops.size(); i++) {
        final LIRInstruction op = ops.get(i);
        if (debug.isLogEnabled()) {
            debug.log("%s", op.toStringWithIdPrefix());
        }
        // check if input operands are correct
        op.visitEachInput(useConsumer);
        // invalidate all caller save registers at calls
        if (op.destroysCallerSavedRegisters()) {
            for (Register r : allocator.getRegisterAllocationConfig().getRegisterConfig().getCallerSaveRegisters()) {
                statePut(debug, inputState, r.asValue(), null);
            }
        }
        op.visitEachAlive(useConsumer);
        // set temp operands (some operations use temp operands also as output operands, so
        // can't set them null)
        op.visitEachTemp(defConsumer);
        // set output operands
        op.visitEachOutput(defConsumer);
    }
}

Example 9 with OperandMode

use of org.graalvm.compiler.lir.LIRInstruction.OperandMode in project graal by oracle.

the class RegStackValueSet method addLiveValues.

public void addLiveValues(ReferenceMapBuilder refMap) {
    ValueConsumer addLiveValue = new ValueConsumer() {

        @Override
        public void visitValue(Value value, OperandMode mode, EnumSet<OperandFlag> flags) {
            refMap.addLiveValue(value);
        }
    };
    registers.visitEach(null, null, null, addLiveValue);
    stack.visitEach(null, null, null, addLiveValue);
    if (extraStack != null) {
        for (Value v : extraStack) {
            refMap.addLiveValue(v);
        }
    }
}

Example 10 with OperandMode

use of org.graalvm.compiler.lir.LIRInstruction.OperandMode in project graal by oracle.

the class FrameMapBuilderImpl method verifyStackSlotAllocation.

private static void verifyStackSlotAllocation(LIRGenerationResult res) {
    LIR lir = res.getLIR();
    InstructionValueConsumer verifySlots = (LIRInstruction op, Value value, OperandMode mode, EnumSet<OperandFlag> flags) -> {
        assert !isVirtualStackSlot(value) : String.format("Instruction %s contains a virtual stack slot %s", op, value);
    };
    for (AbstractBlockBase<?> block : lir.getControlFlowGraph().getBlocks()) {
        lir.getLIRforBlock(block).forEach(op -> {
            op.visitEachInput(verifySlots);
            op.visitEachAlive(verifySlots);
            op.visitEachState(verifySlots);
            op.visitEachTemp(verifySlots);
            op.visitEachOutput(verifySlots);
        });
    }
}