/*
 * Copyright IBM Corp. and others 2020
 *
 * This program and the accompanying materials are made available under
 * the terms of the Eclipse Public License 2.0 which accompanies this
 * distribution and is available at https://www.eclipse.org/legal/epl-2.0/
 * or the Apache License, Version 2.0 which accompanies this distribution and
 * is available at https://www.apache.org/licenses/LICENSE-2.0.
 *
 * This Source Code may also be made available under the following
 * Secondary Licenses when the conditions for such availability set
 * forth in the Eclipse Public License, v. 2.0 are satisfied: GNU
 * General Public License, version 2 with the GNU Classpath
 * Exception [1] and GNU General Public License, version 2 with the
 * OpenJDK Assembly Exception [2].
 *
 * [1] https://www.gnu.org/software/classpath/license.html
 * [2] https://openjdk.org/legal/assembly-exception.html
 *
 * SPDX-License-Identifier: EPL-2.0 OR Apache-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0 OR GPL-2.0-only WITH OpenJDK-assembly-exception-1.0
 */

package jit.test.recognizedMethod;

import org.testng.AssertJUnit;
import org.testng.annotations.Test;

public class TestRecognizedCallTransformer {
	public static class Vector {
		int x;
		int y;
	}

	/**
	* Tests using the same stack slot for multiple computations results in the correct answer being produced. There
	* is a bug observed in which a call was recognized and transformed and the treetop on which the call was anchored
	* was removed. This resulted in the tree swinging down past stores to the same stack slot, which produces incorrect
	* results.
	*/
	@Test(groups = {"level.sanity"}, invocationCount=2)
	public void testReuseOfSameStackSlotForMultipleCalls() {
		Vector v = new Vector();
		v.x = 1;
		v.y = 2;
		int s = v.x;
		s = Math.abs(s) + (s = v.y);

		AssertJUnit.assertEquals(3, s);
	}
}
