Package edu.cmu.cs.crystal.tac.model

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

196
197
198
199
200
201
202
203
204
    if(astNode == null)
      throw new IllegalArgumentException("No node given.");

    if(instr.containsKey(astNode))
      return instr.get(astNode);
    TACInstruction result = createInstruction(astNode);
    instr.put(astNode, result);
    return result;
  }
View Full Code Here
208
209
210
211
212
213
214
215
216
217
218
      throw new IllegalArgumentException("No node given.");
   
    // first look for a matching instruction
    // need this order because SimpleName nodes can have instruction
    // (see ConditionalExpression) and be a variable by themselves
    TACInstruction result = instruction(astNode);
    if(result != null) {
      if(result instanceof ResultfulInstruction)
        return ((ResultfulInstruction<?>) result).getResultVariable();
      throw new IllegalArgumentException("AST node has no result: " + astNode);
    }
View Full Code Here
49
50
51
52
53
54
55
56
57
58
59
       * @see org.eclipse.jdt.core.dom.ASTVisitor#postVisit(org.eclipse.jdt.core.dom.ASTNode)
       */
      @Override
      public void postVisit(ASTNode node) {
        try {
          TACInstruction instr = tac.instruction(node);
          if(log.isLoggable(Level.FINE)) {
            log.fine("Node: " + node);
            log.fine("Instruction: " + instr);
          }
        }
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
  public void testArrayRead() throws Exception {
    CompilationUnit cu = EclipseTACSimpleTestDriver.parseCode("ArrayRead", ARRAY_READ);
    MethodDeclaration m = EclipseTACSimpleTestDriver.getFirstMethod(cu);
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    ArrayAccess read = (ArrayAccess) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(read);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof LoadArrayInstruction);
    LoadArrayInstruction load = (LoadArrayInstruction) instr;
   
    Assert.assertEquals(tac.variable(read.getArray()), load.getSourceArray());
View Full Code Here
77
78
79
80
81
82
83
84
85
86
87
  public void testArrayWrite() throws Exception {
    CompilationUnit cu = EclipseTACSimpleTestDriver.parseCode("ArrayWrite", ARRAY_WRITE);
    MethodDeclaration m = EclipseTACSimpleTestDriver.getFirstMethod(cu);
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    Assignment write = (Assignment) ((ExpressionStatement) EclipseTACSimpleTestDriver.getLastStatement(m)).getExpression();
    TACInstruction instr = tac.instruction(write);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof StoreArrayInstruction);
    StoreArrayInstruction store = (StoreArrayInstruction) instr;

    EclipseTACSimpleTestDriver.assertMethodParameter(store.getDestinationArray(), m, 0, tac);
View Full Code Here
105
106
107
108
109
110
111
112
113
114
115
  public void testArrayInc() throws Exception {
    CompilationUnit cu = EclipseTACSimpleTestDriver.parseCode("ArrayInc", ARRAY_INC);
    MethodDeclaration m = EclipseTACSimpleTestDriver.getFirstMethod(cu);
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    PrefixExpression inc = (PrefixExpression) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(inc);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof EclipseInstructionSequence);
    LoadArrayInstruction load = (LoadArrayInstruction) tac.instruction(inc.getOperand());
   
    EclipseInstructionSequence seq = (EclipseInstructionSequence) instr;
View Full Code Here
140
141
142
143
144
145
146
147
148
149
150
  public void testNestedArrayWrite() throws Exception {
    CompilationUnit cu = EclipseTACSimpleTestDriver.parseCode("NestedArrayWrite", NESTED_ARRAY_WRITE);
    MethodDeclaration m = EclipseTACSimpleTestDriver.getFirstMethod(cu);
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    MethodInvocation inv = (MethodInvocation) ((ExpressionStatement) EclipseTACSimpleTestDriver.getLastStatement(m)).getExpression();
    TACInstruction instr = tac.instruction(inv);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof MethodCallInstruction);
    MethodCallInstruction call = (MethodCallInstruction) instr;
   
    List<Variable> args = call.getArgOperands();
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
    EclipseTAC tac = new EclipseTAC(c.resolveBinding());
    VariableDeclarationFragment f = EclipseTACSimpleTestDriver.getFirstField(cu);
    Expression init = f.getInitializer();
    Assert.assertNotNull(init);

    TACInstruction decl = tac.instruction(f);
    Assert.assertNotNull(decl);
    Assert.assertTrue(decl instanceof StoreFieldInstruction);
   
    StoreFieldInstruction store = (StoreFieldInstruction) decl;
    Assert.assertTrue(store.getDestinationObject() instanceof ThisVariable);
    Assert.assertEquals("f", store.getFieldName());

    TACInstruction instr = tac.instruction(init);
    Assert.assertNotNull(instr);
    Assert.assertTrue(instr instanceof LoadLiteralInstruction);
   
    LoadLiteralInstruction load = (LoadLiteralInstruction) instr;
    Assert.assertEquals(load.getTarget(), store.getSourceOperand());
   
    Assignment write = (Assignment) ((ExpressionStatement) EclipseTACSimpleTestDriver.getLastStatement(c)).getExpression();
    TACInstruction again = tac.instruction(write);
    Assert.assertNotNull(again);
    Assert.assertTrue(again instanceof StoreFieldInstruction);
    Assert.assertFalse(store.equals(again));
  }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
    EclipseTAC tac = new EclipseTAC(c.resolveBinding());
    VariableDeclarationFragment f = EclipseTACSimpleTestDriver.getFirstField(cu);
    Expression init = f.getInitializer();
    Assert.assertNotNull(init);

    TACInstruction decl = tac.instruction(f);
    Assert.assertNotNull(decl);
    Assert.assertTrue(decl instanceof StoreFieldInstruction);
   
    StoreFieldInstruction store = (StoreFieldInstruction) decl;
    Assert.assertTrue(store.getDestinationObject() instanceof ThisVariable);
    Assert.assertEquals("f", store.getFieldName());

    TACInstruction instr = tac.instruction(init);
    Assert.assertNotNull(instr);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
   
    NewObjectInstruction alloc = (NewObjectInstruction) instr;
    Assert.assertEquals(alloc.getTarget(), store.getSourceOperand());
View Full Code Here
130
131
132
133
134
135
136
137
    EclipseTAC tac = new EclipseTAC(c.resolveBinding());
    VariableDeclarationFragment f = EclipseTACSimpleTestDriver.getFirstField(cu);
    Expression init = f.getInitializer();
    Assert.assertNull(init);

    TACInstruction decl = tac.instruction(f);
    Assert.assertNull(decl); // make sure the field declaration doesn't become a local
  }
View Full Code Here
TOP

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

  • edu.cmu.cs.crystal.tac.eclipse.EclipseInstructionSequence
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTAC
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACArrayTest
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACFieldInitTest
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACFieldTest
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACInstructionFactory
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACNewObjectTest
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACSimpleTest
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACTargetSelectionTest
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACTestRunAnalysis
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.