/*
* Copyright 2008 Google Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not
* use this file except in compliance with the License. You may obtain a copy of
* the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
* License for the specific language governing permissions and limitations under
* the License.
*/
package com.google.gwt.dev.jjs.impl.gflow.copy;
import com.google.gwt.dev.jjs.impl.gflow.Analysis;
import com.google.gwt.dev.jjs.impl.gflow.CfgAnalysisTestBase;
import com.google.gwt.dev.jjs.impl.gflow.cfg.Cfg;
import com.google.gwt.dev.jjs.impl.gflow.cfg.CfgEdge;
import com.google.gwt.dev.jjs.impl.gflow.cfg.CfgNode;
/**
* Test for {@link CopyAnalysis} dataflow analysis.
*/
public class CopyAnalysisTest extends CfgAnalysisTestBase<CopyAssumption> {
@Override
protected void setUp() throws Exception {
super.setUp();
addSnippetClassDecl("static boolean b;");
}
public void testCopyCreation() throws Exception {
analyze("void", "int i = 1; int j = i;").into(
"BLOCK -> [* T]",
"STMT -> [* T]",
"WRITE(i, 1) -> [* T]",
"STMT -> [* T]",
"READ(i) -> [* T]",
"WRITE(j, i) -> [* {j = i}]",
"END");
}
public void testCopyKill1() throws Exception {
analyze("void", "int i = 1; int j = i; j = 1;").into(
"BLOCK -> [* T]",
"STMT -> [* T]",
"WRITE(i, 1) -> [* T]",
"STMT -> [* T]",
"READ(i) -> [* T]",
"WRITE(j, i) -> [* {j = i}]",
"STMT -> [* {j = i}]",
"WRITE(j, 1) -> [* {j = T}]",
"END");
}
public void testCopyKill2() throws Exception {
analyze("void", "int i = 1; int j = i; i = 2;").into(
"BLOCK -> [* T]",
"STMT -> [* T]",
"WRITE(i, 1) -> [* T]",
"STMT -> [* T]",
"READ(i) -> [* T]",
"WRITE(j, i) -> [* {j = i}]",
"STMT -> [* {j = i}]",
"WRITE(i, 2) -> [* {i = T, j = T}]",
"END");
}
public void testConditionalKill() throws Exception {
analyze("void", "int i = 1; int j = i; if (b) { j = 1; } int k = j;").into(
"BLOCK -> [* T]",
"STMT -> [* T]",
"WRITE(i, 1) -> [* T]",
"STMT -> [* T]",
"READ(i) -> [* T]",
"WRITE(j, i) -> [* {j = i}]",
"STMT -> [* {j = i}]",
"READ(b) -> [* {j = i}]",
"COND (EntryPoint.b) -> [THEN=* {j = i}, ELSE=1 {j = i}]",
"BLOCK -> [* {j = i}]",
"STMT -> [* {j = i}]",
"WRITE(j, 1) -> [* {j = T}]",
"1: STMT -> [* {j = T}]",
"READ(j) -> [* {j = T}]",
"WRITE(k, j) -> [* {j = T, k = j}]",
"END");
}
public void testRecursion() throws Exception {
analyze("void", "int i = 1; int j = 1; j = i; i = j;").into(
"BLOCK -> [* T]",
"STMT -> [* T]",
"WRITE(i, 1) -> [* T]",
"STMT -> [* T]",
"WRITE(j, 1) -> [* T]",
"STMT -> [* T]",
"READ(i) -> [* T]",
"WRITE(j, i) -> [* {j = i}]",
"STMT -> [* {j = i}]",
"READ(j) -> [* {j = i}]",
"WRITE(i, j) -> [* {j = i}]",
"END");
}
@Override
protected Analysis<CfgNode<?>, CfgEdge, Cfg, CopyAssumption> createAnalysis() {
return new CopyAnalysis();
}
}