Examples of edu.cmu.cs.crystal.tac.model.BinaryOperation

edu.cmu.cs.crystal.tac.model.BinaryOperation
x = y binop z, representing all binary operations. Example:
a = f + g;
To find out which type of binary operation this is, you have to call getOperator() and compare it with the {@link BinaryOperator} enumerated type.
@author Kevin Bierhoff @see org.eclipse.jdt.core.dom.InfixExpression

      return store;
    }
    else
      throw new IllegalArgumentException("Unknown assignment operator \"" + node.getOperator() + "\" in: " + node);


    BinaryOperation binop = new EclipseBinaryAssignOperation(
        node, operator, eclipseVariableQuery);
    TACInstruction store = createStore(
        node, 
        node.getLeftHandSide(),
        binop.getTarget(),
        eclipseVariableQuery);
    return new EclipseInstructionSequence(node, new TACInstruction[] { binop, store }, 0, eclipseVariableQuery);
  }

View Full Code Here

    Assert.assertTrue(seq.getInstructions()[1] instanceof LoadLiteralInstruction);
    Assert.assertTrue(seq.getInstructions()[2] instanceof BinaryOperation);
    Assert.assertTrue(seq.getInstructions()[3] instanceof StoreFieldInstruction);
    CopyInstruction copy = (CopyInstruction) seq.getInstructions()[0];
    LoadLiteralInstruction one = (LoadLiteralInstruction) seq.getInstructions()[1];
    BinaryOperation add = (BinaryOperation) seq.getInstructions()[2];
    StoreFieldInstruction store = (StoreFieldInstruction) seq.getInstructions()[3];
    Assert.assertEquals(load.getTarget(), add.getOperand1());
    Assert.assertEquals(one.getTarget(), add.getOperand2());
    Assert.assertEquals(add.getTarget(), store.getSourceOperand());
    Assert.assertEquals(copy.getTarget(), seq.getResultVariable());
    Assert.assertFalse(add.getTarget().equals(seq.getResultVariable()));
    
    Assert.assertEquals(load.getTarget(), copy.getOperand());
    
    Assert.assertTrue(load.resolveFieldBinding().equals(store.resolveFieldBinding()));
  }

View Full Code Here

    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    InfixExpression infix = (InfixExpression) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(infix);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof BinaryOperation);
    BinaryOperation binop = (BinaryOperation) instr;
    Assert.assertEquals(tac.variable(infix.getLeftOperand()), binop.getOperand1());
    Assert.assertEquals(tac.variable(infix.getRightOperand()), binop.getOperand2());
  }

View Full Code Here

        3, seq.getInstructions().length);
    Assert.assertTrue(seq.getInstructions()[0] instanceof LoadLiteralInstruction);
    Assert.assertTrue(seq.getInstructions()[1] instanceof BinaryOperation);
    Assert.assertTrue(seq.getInstructions()[2] instanceof StoreArrayInstruction);
    LoadLiteralInstruction one = (LoadLiteralInstruction) seq.getInstructions()[0];
    BinaryOperation add = (BinaryOperation) seq.getInstructions()[1];
    StoreArrayInstruction store = (StoreArrayInstruction) seq.getInstructions()[2];
    Assert.assertEquals(load.getTarget(), add.getOperand1());
    Assert.assertEquals(one.getTarget(), add.getOperand2());
    Assert.assertEquals(add.getTarget(), store.getSourceOperand());
    Assert.assertEquals(add.getTarget(), seq.getResultVariable());
    Assert.assertFalse(add.getTarget().equals(load.getTarget()));
  }

View Full Code Here

TOP

Related Classes of edu.cmu.cs.crystal.tac.model.BinaryOperation

edu.cmu.cs.crystal.tac.eclipse.EclipseTACArrayTest

edu.cmu.cs.crystal.tac.eclipse.EclipseTACFieldTest

edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory

edu.cmu.cs.crystal.tac.eclipse.EclipseTACSimpleTest

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.