/*
 * 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();
  }
}