| /* |
| * 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 $noinline$testLiveArgument(int arg1, Integer arg2) { |
| doStaticNativeCallLiveVreg(); |
| return arg1 + arg2.intValue(); |
| } |
| |
| static void moveArgToCalleeSave() { |
| try { |
| Thread.sleep(0); |
| } catch (Exception e) { |
| throw new Error(e); |
| } |
| } |
| |
| static void $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 ($noinline$testLiveArgument(staticField3, Integer.valueOf(1)) != staticField3 + 1) { |
| throw new Error("Expected " + staticField3 + 1); |
| } |
| |
| if ($noinline$testLiveArgument(staticField3,Integer.valueOf(1)) != staticField3 + 1) { |
| throw new Error("Expected " + staticField3 + 1); |
| } |
| |
| testWrapperIntervalHole(1, true); |
| testWrapperIntervalHole(1, false); |
| |
| $noinline$testCodeSinking(1); |
| } |
| |
| // Wrapper method to avoid inlining, which affects liveness |
| // of dex registers. |
| static void testWrapperIntervalHole(int arg, boolean test) { |
| try { |
| Thread.sleep(0); |
| $noinline$testIntervalHole(arg, test); |
| } catch (Exception e) { |
| throw new Error(e); |
| } |
| } |
| |
| // The value of dex register which originally holded "Object[] o = new Object[1];" will not be |
| // live at the call to doStaticNativeCallLiveVreg after code sinking optimizizaion. |
| static void $noinline$testCodeSinking(int x) { |
| Object[] o = new Object[1]; |
| o[0] = o; |
| doStaticNativeCallLiveVreg(); |
| if (doThrow) { |
| throw new Error(o.toString()); |
| } |
| } |
| |
| static boolean doThrow; |
| |
| static int staticField1; |
| static int staticField2; |
| static int staticField3 = 42; |
| } |