/*
 * Copyright (C) 2016 The Android Open Source Project
 *
 * 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.
 */

import java.lang.reflect.InvocationHandler;
import java.lang.reflect.Method;
import java.lang.reflect.Proxy;

class Main1 {
    void foo(int i) {
        if (i != 1) {
            printError("error1");
        }
    }

    void printError(String msg) {
        System.out.println(msg);
    }
}

class Main2 extends Main1 {
    void foo(int i) {
        if (i != 2) {
            printError("error2");
        }
    }
}

class Proxied implements Runnable {
    public void run() {
        synchronized(Main.class) {
            Main.sOtherThreadStarted = true;
            // Wait for Main2 to be linked and deoptimization is triggered.
            try {
                Main.class.wait();
            } catch (Exception e) {
            }
        }
    }
}

class MyInvocationHandler implements InvocationHandler {
    private final Proxied proxied;

    public MyInvocationHandler(Proxied proxied) {
        this.proxied = proxied;
    }

    public Object invoke(Object proxy, Method method, Object[] args) throws Throwable {
        return method.invoke(proxied, args);
    }
}

public class Main {
    static Main1 sMain1;
    static Main1 sMain2;
    static volatile boolean sOtherThreadStarted;

    // sMain1.foo() will be always be Main1.foo() before Main2 is loaded/linked.
    // So sMain1.foo() can be devirtualized to Main1.foo() and be inlined.
    // After Helper.createMain2() which links in Main2, live testOverride() on stack
    // should be deoptimized.
    static void testOverride() {
        sMain1.foo(sMain1.getClass() == Main1.class ? 1 : 2);

        // Wait for the other thread to start.
        while (!sOtherThreadStarted);
        // Create an Main2 instance and assign it to sMain2.
        // sMain1 is kept the same.
        sMain2 = Helper.createMain2();
        // Wake up the other thread.
        synchronized(Main.class) {
            Main.class.notify();
        }

        // There should be a deoptimization here right after Main2 is linked by
        // calling Helper.createMain2(), even though sMain1 didn't change.
        // The behavior here would be different if inline-cache is used, which
        // doesn't deoptimize since sMain1 still hits the type cache.
        sMain1.foo(sMain1.getClass() == Main1.class ? 1 : 2);
        if (sMain2 != null) {
            sMain2.foo(sMain2.getClass() == Main1.class ? 1 : 2);
        }
    }

    // Test scenarios under which CHA-based devirtualization happens,
    // and class loading that overrides a method can invalidate compiled code.
    // Also create a proxy method such that a proxy method's frame is visited
    // during stack walking.
    public static void main(String[] args) {
        System.loadLibrary(args[0]);
        // sMain1 is an instance of Main1. Main2 hasn't bee loaded yet.
        sMain1 = new Main1();

        // Create another thread that calls a proxy method.
        new Thread() {
            public void run() {
                Runnable proxy = (Runnable)Proxy.newProxyInstance(
                        Proxied.class.getClassLoader(),
                        new Class[] { Runnable.class },
                        new MyInvocationHandler(new Proxied()));
                proxy.run();
            }
        }.start();

        ensureJitCompiled(Main.class, "testOverride");
        // This will create Main2 instance in the middle of testOverride().
        testOverride();
    }

    private static native void ensureJitCompiled(Class<?> itf, String method_name);
}

// Put createMain2() in another class to avoid class loading due to verifier.
class Helper {
    static Main1 createMain2() {
        return new Main2();
    }
}