/*
 * Copyright (C) 2015 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.
 */

public class Main {
  public Main() {
  }

  static int testLiveArgument(int arg) {
    doStaticNativeCallLiveVreg();
    return arg;
  }

  static void moveArgToCalleeSave() {
    try {
      Thread.sleep(0);
    } catch (Exception e) {
      throw new Error(e);
    }
  }

  static void $opt$noinline$testIntervalHole(int arg, boolean test) {
    // Move the argument to callee save to ensure it is in
    // a readable register.
    moveArgToCalleeSave();
    if (test) {
      staticField1 = arg;
      // The environment use of `arg` should not make it live.
      doStaticNativeCallLiveVreg();
    } else {
      staticField2 = arg;
      // The environment use of `arg` should not make it live.
      doStaticNativeCallLiveVreg();
    }
    if (staticField1 == 2) {
      throw new Error("");
    }
  }

  static native void doStaticNativeCallLiveVreg();

  public static void main(String[] args) {
    System.loadLibrary(args[0]);
    if (testLiveArgument(staticField3) != staticField3) {
      throw new Error("Expected " + staticField3);
    }

    if (testLiveArgument(staticField3) != staticField3) {
      throw new Error("Expected " + staticField3);
    }

    testWrapperIntervalHole(1, true);
    testWrapperIntervalHole(1, false);
  }

  // Wrapper method to avoid inlining, which affects liveness
  // of dex registers.
  static void testWrapperIntervalHole(int arg, boolean test) {
    try {
      Thread.sleep(0);
      $opt$noinline$testIntervalHole(arg, test);
    } catch (Exception e) {
      throw new Error(e);
    }
  }

  static int staticField1;
  static int staticField2;
  static int staticField3 = 42;
}