/*
|
* 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.
|
*/
|
|
import java.lang.reflect.Method;
|
|
public class Main {
|
|
public static void assertBooleanEquals(boolean expected, boolean result) {
|
if (expected != result) {
|
throw new Error("Expected: " + expected + ", found: " + result);
|
}
|
}
|
|
public static void assertIntEquals(int expected, int result) {
|
if (expected != result) {
|
throw new Error("Expected: " + expected + ", found: " + result);
|
}
|
}
|
|
public static void assertLongEquals(long expected, long result) {
|
if (expected != result) {
|
throw new Error("Expected: " + expected + ", found: " + result);
|
}
|
}
|
|
public static void assertFloatEquals(float expected, float result) {
|
if (expected != result) {
|
throw new Error("Expected: " + expected + ", found: " + result);
|
}
|
}
|
|
public static void assertDoubleEquals(double expected, double result) {
|
if (expected != result) {
|
throw new Error("Expected: " + expected + ", found: " + result);
|
}
|
}
|
|
public static void assertStringEquals(String expected, String result) {
|
if (expected == null ? result != null : !expected.equals(result)) {
|
throw new Error("Expected: " + expected + ", found: " + result);
|
}
|
}
|
|
/**
|
* Tiny programs exercising optimizations of arithmetic identities.
|
*/
|
|
/// CHECK-START: long Main.$noinline$Add0(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:j\d+>> LongConstant 0
|
/// CHECK-DAG: <<Add:j\d+>> Add [<<Const0>>,<<Arg>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
/// CHECK-START: long Main.$noinline$Add0(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$Add0(long) instruction_simplifier (after)
|
/// CHECK-NOT: Add
|
|
public static long $noinline$Add0(long arg) {
|
return 0 + arg;
|
}
|
|
/// CHECK-START: int Main.$noinline$AddAddSubAddConst(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<ArgValue:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
|
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 2
|
/// CHECK-DAG: <<ConstM3:i\d+>> IntConstant -3
|
/// CHECK-DAG: <<Const4:i\d+>> IntConstant 4
|
/// CHECK-DAG: <<Add1:i\d+>> Add [<<ArgValue>>,<<Const1>>]
|
/// CHECK-DAG: <<Add2:i\d+>> Add [<<Add1>>,<<Const2>>]
|
/// CHECK-DAG: <<Add3:i\d+>> Add [<<Add2>>,<<ConstM3>>]
|
/// CHECK-DAG: <<Add4:i\d+>> Add [<<Add3>>,<<Const4>>]
|
/// CHECK-DAG: Return [<<Add4>>]
|
|
/// CHECK-START: int Main.$noinline$AddAddSubAddConst(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<ArgValue:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const4:i\d+>> IntConstant 4
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<ArgValue>>,<<Const4>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
public static int $noinline$AddAddSubAddConst(int arg) {
|
return arg + 1 + 2 - 3 + 4;
|
}
|
|
/// CHECK-START: int Main.$noinline$AndAllOnes(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstF:i\d+>> IntConstant -1
|
/// CHECK-DAG: <<And:i\d+>> And [<<Arg>>,<<ConstF>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$AndAllOnes(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: int Main.$noinline$AndAllOnes(int) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
|
public static int $noinline$AndAllOnes(int arg) {
|
return arg & -1;
|
}
|
|
/// CHECK-START: int Main.$noinline$UShr28And15(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const28:i\d+>> IntConstant 28
|
/// CHECK-DAG: <<Const15:i\d+>> IntConstant 15
|
/// CHECK-DAG: <<UShr:i\d+>> UShr [<<Arg>>,<<Const28>>]
|
/// CHECK-DAG: <<And:i\d+>> And [<<UShr>>,<<Const15>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$UShr28And15(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const28:i\d+>> IntConstant 28
|
/// CHECK-DAG: <<UShr:i\d+>> UShr [<<Arg>>,<<Const28>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
/// CHECK-START: int Main.$noinline$UShr28And15(int) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
|
public static int $noinline$UShr28And15(int arg) {
|
return (arg >>> 28) & 15;
|
}
|
|
/// CHECK-START: long Main.$noinline$UShr60And15(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const60:i\d+>> IntConstant 60
|
/// CHECK-DAG: <<Const15:j\d+>> LongConstant 15
|
/// CHECK-DAG: <<UShr:j\d+>> UShr [<<Arg>>,<<Const60>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<UShr>>,<<Const15>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: long Main.$noinline$UShr60And15(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const60:i\d+>> IntConstant 60
|
/// CHECK-DAG: <<UShr:j\d+>> UShr [<<Arg>>,<<Const60>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
/// CHECK-START: long Main.$noinline$UShr60And15(long) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
|
public static long $noinline$UShr60And15(long arg) {
|
return (arg >>> 60) & 15;
|
}
|
|
/// CHECK-START: int Main.$noinline$UShr28And7(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const28:i\d+>> IntConstant 28
|
/// CHECK-DAG: <<Const7:i\d+>> IntConstant 7
|
/// CHECK-DAG: <<UShr:i\d+>> UShr [<<Arg>>,<<Const28>>]
|
/// CHECK-DAG: <<And:i\d+>> And [<<UShr>>,<<Const7>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$UShr28And7(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const28:i\d+>> IntConstant 28
|
/// CHECK-DAG: <<Const7:i\d+>> IntConstant 7
|
/// CHECK-DAG: <<UShr:i\d+>> UShr [<<Arg>>,<<Const28>>]
|
/// CHECK-DAG: <<And:i\d+>> And [<<UShr>>,<<Const7>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
public static int $noinline$UShr28And7(int arg) {
|
return (arg >>> 28) & 7;
|
}
|
|
/// CHECK-START: long Main.$noinline$UShr60And7(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const60:i\d+>> IntConstant 60
|
/// CHECK-DAG: <<Const7:j\d+>> LongConstant 7
|
/// CHECK-DAG: <<UShr:j\d+>> UShr [<<Arg>>,<<Const60>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<UShr>>,<<Const7>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: long Main.$noinline$UShr60And7(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const60:i\d+>> IntConstant 60
|
/// CHECK-DAG: <<Const7:j\d+>> LongConstant 7
|
/// CHECK-DAG: <<UShr:j\d+>> UShr [<<Arg>>,<<Const60>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<UShr>>,<<Const7>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
public static long $noinline$UShr60And7(long arg) {
|
return (arg >>> 60) & 7;
|
}
|
|
/// CHECK-START: int Main.$noinline$Shr24And255(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const24:i\d+>> IntConstant 24
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Shr:i\d+>> Shr [<<Arg>>,<<Const24>>]
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shr>>,<<Const255>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$Shr24And255(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const24:i\d+>> IntConstant 24
|
/// CHECK-DAG: <<UShr:i\d+>> UShr [<<Arg>>,<<Const24>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
/// CHECK-START: int Main.$noinline$Shr24And255(int) instruction_simplifier (after)
|
/// CHECK-NOT: Shr
|
/// CHECK-NOT: And
|
|
public static int $noinline$Shr24And255(int arg) {
|
return (arg >> 24) & 255;
|
}
|
|
/// CHECK-START: int Main.$noinline$Shr25And127(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const25:i\d+>> IntConstant 25
|
/// CHECK-DAG: <<Const127:i\d+>> IntConstant 127
|
/// CHECK-DAG: <<Shr:i\d+>> Shr [<<Arg>>,<<Const25>>]
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shr>>,<<Const127>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$Shr25And127(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const25:i\d+>> IntConstant 25
|
/// CHECK-DAG: <<UShr:i\d+>> UShr [<<Arg>>,<<Const25>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
/// CHECK-START: int Main.$noinline$Shr25And127(int) instruction_simplifier (after)
|
/// CHECK-NOT: Shr
|
/// CHECK-NOT: And
|
|
public static int $noinline$Shr25And127(int arg) {
|
return (arg >> 25) & 127;
|
}
|
|
/// CHECK-START: long Main.$noinline$Shr56And255(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const56:i\d+>> IntConstant 56
|
/// CHECK-DAG: <<Const255:j\d+>> LongConstant 255
|
/// CHECK-DAG: <<Shr:j\d+>> Shr [<<Arg>>,<<Const56>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<Shr>>,<<Const255>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: long Main.$noinline$Shr56And255(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const56:i\d+>> IntConstant 56
|
/// CHECK-DAG: <<UShr:j\d+>> UShr [<<Arg>>,<<Const56>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
/// CHECK-START: long Main.$noinline$Shr56And255(long) instruction_simplifier (after)
|
/// CHECK-NOT: Shr
|
/// CHECK-NOT: And
|
|
public static long $noinline$Shr56And255(long arg) {
|
return (arg >> 56) & 255;
|
}
|
|
/// CHECK-START: long Main.$noinline$Shr57And127(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const57:i\d+>> IntConstant 57
|
/// CHECK-DAG: <<Const127:j\d+>> LongConstant 127
|
/// CHECK-DAG: <<Shr:j\d+>> Shr [<<Arg>>,<<Const57>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<Shr>>,<<Const127>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: long Main.$noinline$Shr57And127(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const57:i\d+>> IntConstant 57
|
/// CHECK-DAG: <<UShr:j\d+>> UShr [<<Arg>>,<<Const57>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
/// CHECK-START: long Main.$noinline$Shr57And127(long) instruction_simplifier (after)
|
/// CHECK-NOT: Shr
|
/// CHECK-NOT: And
|
|
public static long $noinline$Shr57And127(long arg) {
|
return (arg >> 57) & 127;
|
}
|
|
/// CHECK-START: int Main.$noinline$Shr24And127(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const24:i\d+>> IntConstant 24
|
/// CHECK-DAG: <<Const127:i\d+>> IntConstant 127
|
/// CHECK-DAG: <<Shr:i\d+>> Shr [<<Arg>>,<<Const24>>]
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shr>>,<<Const127>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$Shr24And127(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const24:i\d+>> IntConstant 24
|
/// CHECK-DAG: <<Const127:i\d+>> IntConstant 127
|
/// CHECK-DAG: <<Shr:i\d+>> Shr [<<Arg>>,<<Const24>>]
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shr>>,<<Const127>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
public static int $noinline$Shr24And127(int arg) {
|
return (arg >> 24) & 127;
|
}
|
|
/// CHECK-START: long Main.$noinline$Shr56And127(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const56:i\d+>> IntConstant 56
|
/// CHECK-DAG: <<Const127:j\d+>> LongConstant 127
|
/// CHECK-DAG: <<Shr:j\d+>> Shr [<<Arg>>,<<Const56>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<Shr>>,<<Const127>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: long Main.$noinline$Shr56And127(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const56:i\d+>> IntConstant 56
|
/// CHECK-DAG: <<Const127:j\d+>> LongConstant 127
|
/// CHECK-DAG: <<Shr:j\d+>> Shr [<<Arg>>,<<Const56>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<Shr>>,<<Const127>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
public static long $noinline$Shr56And127(long arg) {
|
return (arg >> 56) & 127;
|
}
|
|
/// CHECK-START: long Main.$noinline$Div1(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const1:j\d+>> LongConstant 1
|
/// CHECK-DAG: <<Div:j\d+>> Div [<<Arg>>,<<Const1>>]
|
/// CHECK-DAG: Return [<<Div>>]
|
|
/// CHECK-START: long Main.$noinline$Div1(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$Div1(long) instruction_simplifier (after)
|
/// CHECK-NOT: Div
|
|
public static long $noinline$Div1(long arg) {
|
return arg / 1;
|
}
|
|
/// CHECK-START: int Main.$noinline$DivN1(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstN1:i\d+>> IntConstant -1
|
/// CHECK-DAG: <<Div:i\d+>> Div [<<Arg>>,<<ConstN1>>]
|
/// CHECK-DAG: Return [<<Div>>]
|
|
/// CHECK-START: int Main.$noinline$DivN1(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Arg>>]
|
/// CHECK-DAG: Return [<<Neg>>]
|
|
/// CHECK-START: int Main.$noinline$DivN1(int) instruction_simplifier (after)
|
/// CHECK-NOT: Div
|
|
public static int $noinline$DivN1(int arg) {
|
return arg / -1;
|
}
|
|
/// CHECK-START: long Main.$noinline$Mul1(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const1:j\d+>> LongConstant 1
|
/// CHECK-DAG: <<Mul:j\d+>> Mul [<<Const1>>,<<Arg>>]
|
/// CHECK-DAG: Return [<<Mul>>]
|
|
/// CHECK-START: long Main.$noinline$Mul1(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$Mul1(long) instruction_simplifier (after)
|
/// CHECK-NOT: Mul
|
|
public static long $noinline$Mul1(long arg) {
|
return arg * 1;
|
}
|
|
/// CHECK-START: int Main.$noinline$MulN1(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstN1:i\d+>> IntConstant -1
|
/// CHECK-DAG: <<Mul:i\d+>> Mul [<<Arg>>,<<ConstN1>>]
|
/// CHECK-DAG: Return [<<Mul>>]
|
|
/// CHECK-START: int Main.$noinline$MulN1(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Arg>>]
|
/// CHECK-DAG: Return [<<Neg>>]
|
|
/// CHECK-START: int Main.$noinline$MulN1(int) instruction_simplifier (after)
|
/// CHECK-NOT: Mul
|
|
public static int $noinline$MulN1(int arg) {
|
return arg * -1;
|
}
|
|
/// CHECK-START: long Main.$noinline$MulPowerOfTwo128(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const128:j\d+>> LongConstant 128
|
/// CHECK-DAG: <<Mul:j\d+>> Mul [<<Const128>>,<<Arg>>]
|
/// CHECK-DAG: Return [<<Mul>>]
|
|
/// CHECK-START: long Main.$noinline$MulPowerOfTwo128(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const7:i\d+>> IntConstant 7
|
/// CHECK-DAG: <<Shl:j\d+>> Shl [<<Arg>>,<<Const7>>]
|
/// CHECK-DAG: Return [<<Shl>>]
|
|
/// CHECK-START: long Main.$noinline$MulPowerOfTwo128(long) instruction_simplifier (after)
|
/// CHECK-NOT: Mul
|
|
public static long $noinline$MulPowerOfTwo128(long arg) {
|
return arg * 128;
|
}
|
|
/// CHECK-START: long Main.$noinline$MulMulMulConst(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<ArgValue:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const10:j\d+>> LongConstant 10
|
/// CHECK-DAG: <<Const11:j\d+>> LongConstant 11
|
/// CHECK-DAG: <<Const12:j\d+>> LongConstant 12
|
/// CHECK-DAG: <<Mul1:j\d+>> Mul [<<Const10>>,<<ArgValue>>]
|
/// CHECK-DAG: <<Mul2:j\d+>> Mul [<<Mul1>>,<<Const11>>]
|
/// CHECK-DAG: <<Mul3:j\d+>> Mul [<<Mul2>>,<<Const12>>]
|
/// CHECK-DAG: Return [<<Mul3>>]
|
|
/// CHECK-START: long Main.$noinline$MulMulMulConst(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<ArgValue:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const1320:j\d+>> LongConstant 1320
|
/// CHECK-DAG: <<Mul:j\d+>> Mul [<<ArgValue>>,<<Const1320>>]
|
/// CHECK-DAG: Return [<<Mul>>]
|
|
public static long $noinline$MulMulMulConst(long arg) {
|
return 10 * arg * 11 * 12;
|
}
|
|
/// CHECK-START: int Main.$noinline$Or0(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Arg>>,<<Const0>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
/// CHECK-START: int Main.$noinline$Or0(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: int Main.$noinline$Or0(int) instruction_simplifier (after)
|
/// CHECK-NOT: Or
|
|
public static int $noinline$Or0(int arg) {
|
return arg | 0;
|
}
|
|
/// CHECK-START: long Main.$noinline$OrSame(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Or:j\d+>> Or [<<Arg>>,<<Arg>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
/// CHECK-START: long Main.$noinline$OrSame(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$OrSame(long) instruction_simplifier (after)
|
/// CHECK-NOT: Or
|
|
public static long $noinline$OrSame(long arg) {
|
return arg | arg;
|
}
|
|
/// CHECK-START: int Main.$noinline$Shl0(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Shl:i\d+>> Shl [<<Arg>>,<<Const0>>]
|
/// CHECK-DAG: Return [<<Shl>>]
|
|
/// CHECK-START: int Main.$noinline$Shl0(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: int Main.$noinline$Shl0(int) instruction_simplifier (after)
|
/// CHECK-NOT: Shl
|
|
public static int $noinline$Shl0(int arg) {
|
return arg << 0;
|
}
|
|
/// CHECK-START: long Main.$noinline$Shr0(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Shr:j\d+>> Shr [<<Arg>>,<<Const0>>]
|
/// CHECK-DAG: Return [<<Shr>>]
|
|
/// CHECK-START: long Main.$noinline$Shr0(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$Shr0(long) instruction_simplifier (after)
|
/// CHECK-NOT: Shr
|
|
public static long $noinline$Shr0(long arg) {
|
return arg >> 0;
|
}
|
|
/// CHECK-START: long Main.$noinline$Shr64(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const64:i\d+>> IntConstant 64
|
/// CHECK-DAG: <<Shr:j\d+>> Shr [<<Arg>>,<<Const64>>]
|
/// CHECK-DAG: Return [<<Shr>>]
|
|
/// CHECK-START: long Main.$noinline$Shr64(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$Shr64(long) instruction_simplifier (after)
|
/// CHECK-NOT: Shr
|
|
public static long $noinline$Shr64(long arg) {
|
return arg >> 64;
|
}
|
|
/// CHECK-START: long Main.$noinline$Sub0(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:j\d+>> LongConstant 0
|
/// CHECK-DAG: <<Sub:j\d+>> Sub [<<Arg>>,<<Const0>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
/// CHECK-START: long Main.$noinline$Sub0(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$Sub0(long) instruction_simplifier (after)
|
/// CHECK-NOT: Sub
|
|
public static long $noinline$Sub0(long arg) {
|
return arg - 0;
|
}
|
|
/// CHECK-START: int Main.$noinline$SubAliasNeg(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Const0>>,<<Arg>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
/// CHECK-START: int Main.$noinline$SubAliasNeg(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Arg>>]
|
/// CHECK-DAG: Return [<<Neg>>]
|
|
/// CHECK-START: int Main.$noinline$SubAliasNeg(int) instruction_simplifier (after)
|
/// CHECK-NOT: Sub
|
|
public static int $noinline$SubAliasNeg(int arg) {
|
return 0 - arg;
|
}
|
|
/// CHECK-START: int Main.$noinline$SubAddConst1(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<ArgValue:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const5:i\d+>> IntConstant 5
|
/// CHECK-DAG: <<Const6:i\d+>> IntConstant 6
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Const5>>,<<ArgValue>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Sub>>,<<Const6>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
/// CHECK-START: int Main.$noinline$SubAddConst1(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<ArgValue:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const11:i\d+>> IntConstant 11
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Const11>>,<<ArgValue>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
public static int $noinline$SubAddConst1(int arg) {
|
return 5 - arg + 6;
|
}
|
|
/// CHECK-START: int Main.$noinline$SubAddConst2(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<ArgValue:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const14:i\d+>> IntConstant 14
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<ArgValue>>,<<Const13>>]
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Const14>>,<<Add>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
/// CHECK-START: int Main.$noinline$SubAddConst2(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<ArgValue:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Const1>>,<<ArgValue>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
public static int $noinline$SubAddConst2(int arg) {
|
return 14 - (arg + 13);
|
}
|
|
/// CHECK-START: long Main.$noinline$SubSubConst(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<ArgValue:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const17:j\d+>> LongConstant 17
|
/// CHECK-DAG: <<Const18:j\d+>> LongConstant 18
|
/// CHECK-DAG: <<Sub1:j\d+>> Sub [<<Const18>>,<<ArgValue>>]
|
/// CHECK-DAG: <<Sub2:j\d+>> Sub [<<Const17>>,<<Sub1>>]
|
/// CHECK-DAG: Return [<<Sub2>>]
|
|
/// CHECK-START: long Main.$noinline$SubSubConst(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<ArgValue:j\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstM1:j\d+>> LongConstant -1
|
/// CHECK-DAG: <<Add:j\d+>> Add [<<ArgValue>>,<<ConstM1>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
public static long $noinline$SubSubConst(long arg) {
|
return 17 - (18 - arg);
|
}
|
|
/// CHECK-START: long Main.$noinline$UShr0(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<UShr:j\d+>> UShr [<<Arg>>,<<Const0>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
/// CHECK-START: long Main.$noinline$UShr0(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$UShr0(long) instruction_simplifier (after)
|
/// CHECK-NOT: UShr
|
|
public static long $noinline$UShr0(long arg) {
|
return arg >>> 0;
|
}
|
|
/// CHECK-START: int Main.$noinline$Xor0(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Xor:i\d+>> Xor [<<Arg>>,<<Const0>>]
|
/// CHECK-DAG: Return [<<Xor>>]
|
|
/// CHECK-START: int Main.$noinline$Xor0(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: int Main.$noinline$Xor0(int) instruction_simplifier (after)
|
/// CHECK-NOT: Xor
|
|
public static int $noinline$Xor0(int arg) {
|
return arg ^ 0;
|
}
|
|
/**
|
* Test that addition or subtraction operation with both inputs negated are
|
* optimized to use a single negation after the operation.
|
* The transformation tested is implemented in
|
* `InstructionSimplifierVisitor::TryMoveNegOnInputsAfterBinop`.
|
*/
|
|
/// CHECK-START: int Main.$noinline$AddNegs1(int, int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg1:i\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Neg2:i\d+>> Neg [<<Arg2>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Neg1>>,<<Neg2>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
/// CHECK-START: int Main.$noinline$AddNegs1(int, int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-NOT: Neg
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Arg1>>,<<Arg2>>]
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Add>>]
|
/// CHECK-DAG: Return [<<Neg>>]
|
|
public static int $noinline$AddNegs1(int arg1, int arg2) {
|
return -arg1 + -arg2;
|
}
|
|
/**
|
* This is similar to the test-case AddNegs1, but the negations have
|
* multiple uses.
|
* The transformation tested is implemented in
|
* `InstructionSimplifierVisitor::TryMoveNegOnInputsAfterBinop`.
|
* The current code won't perform the previous optimization. The
|
* transformations do not look at other uses of their inputs. As they don't
|
* know what will happen with other uses, they do not take the risk of
|
* increasing the register pressure by creating or extending live ranges.
|
*/
|
|
/// CHECK-START: int Main.$noinline$AddNegs2(int, int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg1:i\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Neg2:i\d+>> Neg [<<Arg2>>]
|
/// CHECK-DAG: <<Add1:i\d+>> Add [<<Neg1>>,<<Neg2>>]
|
/// CHECK-DAG: <<Add2:i\d+>> Add [<<Neg1>>,<<Neg2>>]
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Add1>>,<<Add2>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
/// CHECK-START: int Main.$noinline$AddNegs2(int, int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg1:i\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Neg2:i\d+>> Neg [<<Arg2>>]
|
/// CHECK-DAG: <<Add1:i\d+>> Add [<<Neg1>>,<<Neg2>>]
|
/// CHECK-DAG: <<Add2:i\d+>> Add [<<Neg1>>,<<Neg2>>]
|
/// CHECK-NOT: Neg
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Add1>>,<<Add2>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
/// CHECK-START: int Main.$noinline$AddNegs2(int, int) GVN (after)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg1:i\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Neg2:i\d+>> Neg [<<Arg2>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Neg1>>,<<Neg2>>]
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Add>>,<<Add>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
public static int $noinline$AddNegs2(int arg1, int arg2) {
|
int temp1 = -arg1;
|
int temp2 = -arg2;
|
return (temp1 + temp2) | (temp1 + temp2);
|
}
|
|
/**
|
* This follows test-cases AddNegs1 and AddNegs2.
|
* The transformation tested is implemented in
|
* `InstructionSimplifierVisitor::TryMoveNegOnInputsAfterBinop`.
|
* The optimization should not happen if it moves an additional instruction in
|
* the loop.
|
*/
|
|
/// CHECK-START: long Main.$noinline$AddNegs3(long, long) instruction_simplifier (before)
|
// -------------- Arguments and initial negation operations.
|
/// CHECK-DAG: <<Arg1:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg1:j\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Neg2:j\d+>> Neg [<<Arg2>>]
|
/// CHECK: Goto
|
// -------------- Loop
|
/// CHECK: SuspendCheck
|
/// CHECK: <<Add:j\d+>> Add [<<Neg1>>,<<Neg2>>]
|
/// CHECK: Goto
|
|
/// CHECK-START: long Main.$noinline$AddNegs3(long, long) instruction_simplifier (after)
|
// -------------- Arguments and initial negation operations.
|
/// CHECK-DAG: <<Arg1:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg1:j\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Neg2:j\d+>> Neg [<<Arg2>>]
|
/// CHECK: Goto
|
// -------------- Loop
|
/// CHECK: SuspendCheck
|
/// CHECK: <<Add:j\d+>> Add [<<Neg1>>,<<Neg2>>]
|
/// CHECK-NOT: Neg
|
/// CHECK: Goto
|
|
public static long $noinline$AddNegs3(long arg1, long arg2) {
|
long res = 0;
|
long n_arg1 = -arg1;
|
long n_arg2 = -arg2;
|
for (long i = 0; i < 1; i++) {
|
res += n_arg1 + n_arg2 + i;
|
}
|
return res;
|
}
|
|
/**
|
* Test the simplification of an addition with a negated argument into a
|
* subtraction.
|
* The transformation tested is implemented in `InstructionSimplifierVisitor::VisitAdd`.
|
*/
|
|
/// CHECK-START: long Main.$noinline$AddNeg1(long, long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:j\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Add:j\d+>> Add [<<Neg>>,<<Arg2>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
/// CHECK-START: long Main.$noinline$AddNeg1(long, long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:j\d+>> Sub [<<Arg2>>,<<Arg1>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
/// CHECK-START: long Main.$noinline$AddNeg1(long, long) instruction_simplifier (after)
|
/// CHECK-NOT: Neg
|
/// CHECK-NOT: Add
|
|
public static long $noinline$AddNeg1(long arg1, long arg2) {
|
return -arg1 + arg2;
|
}
|
|
/**
|
* This is similar to the test-case AddNeg1, but the negation has two uses.
|
* The transformation tested is implemented in `InstructionSimplifierVisitor::VisitAdd`.
|
* The current code won't perform the previous optimization. The
|
* transformations do not look at other uses of their inputs. As they don't
|
* know what will happen with other uses, they do not take the risk of
|
* increasing the register pressure by creating or extending live ranges.
|
*/
|
|
/// CHECK-START: long Main.$noinline$AddNeg2(long, long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:j\d+>> Neg [<<Arg2>>]
|
/// CHECK-DAG: <<Add1:j\d+>> Add [<<Arg1>>,<<Neg>>]
|
/// CHECK-DAG: <<Add2:j\d+>> Add [<<Arg1>>,<<Neg>>]
|
/// CHECK-DAG: <<Res:j\d+>> Or [<<Add1>>,<<Add2>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: long Main.$noinline$AddNeg2(long, long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:j\d+>> Neg [<<Arg2>>]
|
/// CHECK-DAG: <<Add1:j\d+>> Add [<<Arg1>>,<<Neg>>]
|
/// CHECK-DAG: <<Add2:j\d+>> Add [<<Arg1>>,<<Neg>>]
|
/// CHECK-DAG: <<Res:j\d+>> Or [<<Add1>>,<<Add2>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: long Main.$noinline$AddNeg2(long, long) instruction_simplifier (after)
|
/// CHECK-NOT: Sub
|
|
public static long $noinline$AddNeg2(long arg1, long arg2) {
|
long temp = -arg2;
|
return (arg1 + temp) | (arg1 + temp);
|
}
|
|
/**
|
* Test simplification of the `-(-var)` pattern.
|
* The transformation tested is implemented in `InstructionSimplifierVisitor::VisitNeg`.
|
*/
|
|
/// CHECK-START: long Main.$noinline$NegNeg1(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg1:j\d+>> Neg [<<Arg>>]
|
/// CHECK-DAG: <<Neg2:j\d+>> Neg [<<Neg1>>]
|
/// CHECK-DAG: Return [<<Neg2>>]
|
|
/// CHECK-START: long Main.$noinline$NegNeg1(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$NegNeg1(long) instruction_simplifier (after)
|
/// CHECK-NOT: Neg
|
|
public static long $noinline$NegNeg1(long arg) {
|
return -(-arg);
|
}
|
|
/**
|
* Test 'multi-step' simplification, where a first transformation yields a
|
* new simplification possibility for the current instruction.
|
* The transformations tested are implemented in `InstructionSimplifierVisitor::VisitNeg`
|
* and in `InstructionSimplifierVisitor::VisitAdd`.
|
*/
|
|
/// CHECK-START: int Main.$noinline$NegNeg2(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg1:i\d+>> Neg [<<Arg>>]
|
/// CHECK-DAG: <<Neg2:i\d+>> Neg [<<Neg1>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Neg2>>,<<Neg1>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
/// CHECK-START: int Main.$noinline$NegNeg2(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Arg>>,<<Arg>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
/// CHECK-START: int Main.$noinline$NegNeg2(int) instruction_simplifier (after)
|
/// CHECK-NOT: Neg
|
/// CHECK-NOT: Add
|
|
/// CHECK-START: int Main.$noinline$NegNeg2(int) constant_folding$after_gvn (after)
|
/// CHECK: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-NOT: Neg
|
/// CHECK-NOT: Add
|
/// CHECK: Return [<<Const0>>]
|
|
public static int $noinline$NegNeg2(int arg) {
|
int temp = -arg;
|
return temp + -temp;
|
}
|
|
/**
|
* Test another 'multi-step' simplification, where a first transformation
|
* yields a new simplification possibility for the current instruction.
|
* The transformations tested are implemented in `InstructionSimplifierVisitor::VisitNeg`
|
* and in `InstructionSimplifierVisitor::VisitSub`.
|
*/
|
|
/// CHECK-START: long Main.$noinline$NegNeg3(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:j\d+>> LongConstant 0
|
/// CHECK-DAG: <<Neg:j\d+>> Neg [<<Arg>>]
|
/// CHECK-DAG: <<Sub:j\d+>> Sub [<<Const0>>,<<Neg>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
/// CHECK-START: long Main.$noinline$NegNeg3(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$NegNeg3(long) instruction_simplifier (after)
|
/// CHECK-NOT: Neg
|
/// CHECK-NOT: Sub
|
|
public static long $noinline$NegNeg3(long arg) {
|
return 0 - -arg;
|
}
|
|
/**
|
* Test that a negated subtraction is simplified to a subtraction with its
|
* arguments reversed.
|
* The transformation tested is implemented in `InstructionSimplifierVisitor::VisitNeg`.
|
*/
|
|
/// CHECK-START: int Main.$noinline$NegSub1(int, int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Arg1>>,<<Arg2>>]
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Sub>>]
|
/// CHECK-DAG: Return [<<Neg>>]
|
|
/// CHECK-START: int Main.$noinline$NegSub1(int, int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Arg2>>,<<Arg1>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
/// CHECK-START: int Main.$noinline$NegSub1(int, int) instruction_simplifier (after)
|
/// CHECK-NOT: Neg
|
|
public static int $noinline$NegSub1(int arg1, int arg2) {
|
return -(arg1 - arg2);
|
}
|
|
/**
|
* This is similar to the test-case NegSub1, but the subtraction has
|
* multiple uses.
|
* The transformation tested is implemented in `InstructionSimplifierVisitor::VisitNeg`.
|
* The current code won't perform the previous optimization. The
|
* transformations do not look at other uses of their inputs. As they don't
|
* know what will happen with other uses, they do not take the risk of
|
* increasing the register pressure by creating or extending live ranges.
|
*/
|
|
/// CHECK-START: int Main.$noinline$NegSub2(int, int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Arg1>>,<<Arg2>>]
|
/// CHECK-DAG: <<Neg1:i\d+>> Neg [<<Sub>>]
|
/// CHECK-DAG: <<Neg2:i\d+>> Neg [<<Sub>>]
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Neg1>>,<<Neg2>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
/// CHECK-START: int Main.$noinline$NegSub2(int, int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Arg1>>,<<Arg2>>]
|
/// CHECK-DAG: <<Neg1:i\d+>> Neg [<<Sub>>]
|
/// CHECK-DAG: <<Neg2:i\d+>> Neg [<<Sub>>]
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Neg1>>,<<Neg2>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
public static int $noinline$NegSub2(int arg1, int arg2) {
|
int temp = arg1 - arg2;
|
return -temp | -temp;
|
}
|
|
/**
|
* Test the simplification of a subtraction with a negated argument.
|
* The transformation tested is implemented in `InstructionSimplifierVisitor::VisitSub`.
|
*/
|
|
/// CHECK-START: int Main.$noinline$SubNeg1(int, int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Neg>>,<<Arg2>>]
|
/// CHECK-DAG: Return [<<Sub>>]
|
|
/// CHECK-START: int Main.$noinline$SubNeg1(int, int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Arg1>>,<<Arg2>>]
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Add>>]
|
/// CHECK-DAG: Return [<<Neg>>]
|
|
/// CHECK-START: int Main.$noinline$SubNeg1(int, int) instruction_simplifier (after)
|
/// CHECK-NOT: Sub
|
|
public static int $noinline$SubNeg1(int arg1, int arg2) {
|
return -arg1 - arg2;
|
}
|
|
/**
|
* This is similar to the test-case SubNeg1, but the negation has
|
* multiple uses.
|
* The transformation tested is implemented in `InstructionSimplifierVisitor::VisitSub`.
|
* The current code won't perform the previous optimization. The
|
* transformations do not look at other uses of their inputs. As they don't
|
* know what will happen with other uses, they do not take the risk of
|
* increasing the register pressure by creating or extending live ranges.
|
*/
|
|
/// CHECK-START: int Main.$noinline$SubNeg2(int, int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Sub1:i\d+>> Sub [<<Neg>>,<<Arg2>>]
|
/// CHECK-DAG: <<Sub2:i\d+>> Sub [<<Neg>>,<<Arg2>>]
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Sub1>>,<<Sub2>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
/// CHECK-START: int Main.$noinline$SubNeg2(int, int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:i\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: <<Sub1:i\d+>> Sub [<<Neg>>,<<Arg2>>]
|
/// CHECK-DAG: <<Sub2:i\d+>> Sub [<<Neg>>,<<Arg2>>]
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Sub1>>,<<Sub2>>]
|
/// CHECK-DAG: Return [<<Or>>]
|
|
/// CHECK-START: int Main.$noinline$SubNeg2(int, int) instruction_simplifier (after)
|
/// CHECK-NOT: Add
|
|
public static int $noinline$SubNeg2(int arg1, int arg2) {
|
int temp = -arg1;
|
return (temp - arg2) | (temp - arg2);
|
}
|
|
/**
|
* This follows test-cases SubNeg1 and SubNeg2.
|
* The transformation tested is implemented in `InstructionSimplifierVisitor::VisitSub`.
|
* The optimization should not happen if it moves an additional instruction in
|
* the loop.
|
*/
|
|
/// CHECK-START: long Main.$noinline$SubNeg3(long, long) instruction_simplifier (before)
|
// -------------- Arguments and initial negation operation.
|
/// CHECK-DAG: <<Arg1:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:j\d+>> Neg [<<Arg1>>]
|
/// CHECK: Goto
|
// -------------- Loop
|
/// CHECK: SuspendCheck
|
/// CHECK: <<Sub:j\d+>> Sub [<<Neg>>,<<Arg2>>]
|
/// CHECK: Goto
|
|
/// CHECK-START: long Main.$noinline$SubNeg3(long, long) instruction_simplifier (after)
|
// -------------- Arguments and initial negation operation.
|
/// CHECK-DAG: <<Arg1:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Neg:j\d+>> Neg [<<Arg1>>]
|
/// CHECK-DAG: Goto
|
// -------------- Loop
|
/// CHECK: SuspendCheck
|
/// CHECK: <<Sub:j\d+>> Sub [<<Neg>>,<<Arg2>>]
|
/// CHECK-NOT: Neg
|
/// CHECK: Goto
|
|
public static long $noinline$SubNeg3(long arg1, long arg2) {
|
long res = 0;
|
long temp = -arg1;
|
for (long i = 0; i < 1; i++) {
|
res += temp - arg2 - i;
|
}
|
return res;
|
}
|
|
/// CHECK-START: boolean Main.$noinline$EqualBoolVsIntConst(boolean) dead_code_elimination$after_inlining (before)
|
/// CHECK-DAG: <<Arg:z\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
|
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 2
|
/// CHECK-DAG: If [<<Arg>>]
|
/// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Const0>>,<<Const1>>]
|
/// CHECK-DAG: <<Cond:z\d+>> Equal [<<Phi1>>,<<Const2>>]
|
/// CHECK-DAG: If [<<Cond>>]
|
/// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Const0>>,<<Const1>>]
|
/// CHECK-DAG: Return [<<Phi2>>]
|
|
/// CHECK-START: boolean Main.$noinline$EqualBoolVsIntConst(boolean) dead_code_elimination$after_inlining (after)
|
/// CHECK-DAG: <<True:i\d+>> IntConstant 1
|
/// CHECK-DAG: Return [<<True>>]
|
|
public static boolean $noinline$EqualBoolVsIntConst(boolean arg) {
|
// Make calls that will be inlined to make sure the instruction simplifier
|
// sees the simplification (dead code elimination will also try to simplify it).
|
return (arg ? $inline$ReturnArg(0) : $inline$ReturnArg(1)) != 2;
|
}
|
|
public static int $inline$ReturnArg(int arg) {
|
return arg;
|
}
|
|
/// CHECK-START: boolean Main.$noinline$NotEqualBoolVsIntConst(boolean) instruction_simplifier$after_inlining (before)
|
/// CHECK-DAG: <<Arg:z\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
|
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 2
|
/// CHECK-DAG: If [<<Arg>>]
|
/// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Const0>>,<<Const1>>]
|
/// CHECK-DAG: <<Cond:z\d+>> NotEqual [<<Phi1>>,<<Const2>>]
|
/// CHECK-DAG: If [<<Cond>>]
|
/// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Const0>>,<<Const1>>]
|
/// CHECK-DAG: Return [<<Phi2>>]
|
|
/// CHECK-START: boolean Main.$noinline$NotEqualBoolVsIntConst(boolean) dead_code_elimination$after_inlining (after)
|
/// CHECK-DAG: <<False:i\d+>> IntConstant 0
|
/// CHECK-DAG: Return [<<False>>]
|
|
public static boolean $noinline$NotEqualBoolVsIntConst(boolean arg) {
|
// Make calls that will be inlined to make sure the instruction simplifier
|
// sees the simplification (dead code elimination will also try to simplify it).
|
return (arg ? $inline$ReturnArg(0) : $inline$ReturnArg(1)) == 2;
|
}
|
|
/// CHECK-START: float Main.$noinline$Div2(float) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Const2:f\d+>> FloatConstant 2
|
/// CHECK-DAG: <<Div:f\d+>> Div [<<Arg>>,<<Const2>>]
|
/// CHECK-DAG: Return [<<Div>>]
|
|
/// CHECK-START: float Main.$noinline$Div2(float) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstP5:f\d+>> FloatConstant 0.5
|
/// CHECK-DAG: <<Mul:f\d+>> Mul [<<Arg>>,<<ConstP5>>]
|
/// CHECK-DAG: Return [<<Mul>>]
|
|
/// CHECK-START: float Main.$noinline$Div2(float) instruction_simplifier (after)
|
/// CHECK-NOT: Div
|
|
public static float $noinline$Div2(float arg) {
|
return arg / 2.0f;
|
}
|
|
/// CHECK-START: double Main.$noinline$Div2(double) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:d\d+>> ParameterValue
|
/// CHECK-DAG: <<Const2:d\d+>> DoubleConstant 2
|
/// CHECK-DAG: <<Div:d\d+>> Div [<<Arg>>,<<Const2>>]
|
/// CHECK-DAG: Return [<<Div>>]
|
|
/// CHECK-START: double Main.$noinline$Div2(double) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:d\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstP5:d\d+>> DoubleConstant 0.5
|
/// CHECK-DAG: <<Mul:d\d+>> Mul [<<Arg>>,<<ConstP5>>]
|
/// CHECK-DAG: Return [<<Mul>>]
|
|
/// CHECK-START: double Main.$noinline$Div2(double) instruction_simplifier (after)
|
/// CHECK-NOT: Div
|
public static double $noinline$Div2(double arg) {
|
return arg / 2.0;
|
}
|
|
/// CHECK-START: float Main.$noinline$DivMP25(float) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstMP25:f\d+>> FloatConstant -0.25
|
/// CHECK-DAG: <<Div:f\d+>> Div [<<Arg>>,<<ConstMP25>>]
|
/// CHECK-DAG: Return [<<Div>>]
|
|
/// CHECK-START: float Main.$noinline$DivMP25(float) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstM4:f\d+>> FloatConstant -4
|
/// CHECK-DAG: <<Mul:f\d+>> Mul [<<Arg>>,<<ConstM4>>]
|
/// CHECK-DAG: Return [<<Mul>>]
|
|
/// CHECK-START: float Main.$noinline$DivMP25(float) instruction_simplifier (after)
|
/// CHECK-NOT: Div
|
|
public static float $noinline$DivMP25(float arg) {
|
return arg / -0.25f;
|
}
|
|
/// CHECK-START: double Main.$noinline$DivMP25(double) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:d\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstMP25:d\d+>> DoubleConstant -0.25
|
/// CHECK-DAG: <<Div:d\d+>> Div [<<Arg>>,<<ConstMP25>>]
|
/// CHECK-DAG: Return [<<Div>>]
|
|
/// CHECK-START: double Main.$noinline$DivMP25(double) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:d\d+>> ParameterValue
|
/// CHECK-DAG: <<ConstM4:d\d+>> DoubleConstant -4
|
/// CHECK-DAG: <<Mul:d\d+>> Mul [<<Arg>>,<<ConstM4>>]
|
/// CHECK-DAG: Return [<<Mul>>]
|
|
/// CHECK-START: double Main.$noinline$DivMP25(double) instruction_simplifier (after)
|
/// CHECK-NOT: Div
|
public static double $noinline$DivMP25(double arg) {
|
return arg / -0.25f;
|
}
|
|
/**
|
* Test strength reduction of factors of the form (2^n + 1).
|
*/
|
|
/// CHECK-START: int Main.$noinline$mulPow2Plus1(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const9:i\d+>> IntConstant 9
|
/// CHECK: Mul [<<Arg>>,<<Const9>>]
|
|
/// CHECK-START: int Main.$noinline$mulPow2Plus1(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const3:i\d+>> IntConstant 3
|
/// CHECK: <<Shift:i\d+>> Shl [<<Arg>>,<<Const3>>]
|
/// CHECK-NEXT: Add [<<Arg>>,<<Shift>>]
|
|
public static int $noinline$mulPow2Plus1(int arg) {
|
return arg * 9;
|
}
|
|
/**
|
* Test strength reduction of factors of the form (2^n - 1).
|
*/
|
|
/// CHECK-START: long Main.$noinline$mulPow2Minus1(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const31:j\d+>> LongConstant 31
|
/// CHECK: Mul [<<Const31>>,<<Arg>>]
|
|
/// CHECK-START: long Main.$noinline$mulPow2Minus1(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Const5:i\d+>> IntConstant 5
|
/// CHECK: <<Shift:j\d+>> Shl [<<Arg>>,<<Const5>>]
|
/// CHECK-NEXT: Sub [<<Shift>>,<<Arg>>]
|
|
public static long $noinline$mulPow2Minus1(long arg) {
|
return arg * 31;
|
}
|
|
/// CHECK-START: int Main.$noinline$booleanFieldNotEqualOne() instruction_simplifier$after_inlining (before)
|
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<Field:z\d+>> StaticFieldGet
|
/// CHECK-DAG: <<NE:z\d+>> NotEqual [<<Field>>,<<Const1>>]
|
/// CHECK-DAG: If [<<NE>>]
|
/// CHECK-DAG: <<Phi:i\d+>> Phi [<<Const13>>,<<Const54>>]
|
/// CHECK-DAG: Return [<<Phi>>]
|
|
/// CHECK-START: int Main.$noinline$booleanFieldNotEqualOne() select_generator (after)
|
/// CHECK-DAG: <<Field:z\d+>> StaticFieldGet
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<Select:i\d+>> Select [<<Const54>>,<<Const13>>,<<Field>>]
|
/// CHECK-DAG: Return [<<Select>>]
|
|
public static int $noinline$booleanFieldNotEqualOne() {
|
return (booleanField == $inline$true()) ? 13 : 54;
|
}
|
|
/// CHECK-START: int Main.$noinline$booleanFieldEqualZero() instruction_simplifier$after_inlining (before)
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<Field:z\d+>> StaticFieldGet
|
/// CHECK-DAG: <<EQ:z\d+>> Equal [<<Field>>,<<Const0>>]
|
/// CHECK-DAG: If [<<EQ>>]
|
/// CHECK-DAG: <<Phi:i\d+>> Phi [<<Const13>>,<<Const54>>]
|
/// CHECK-DAG: Return [<<Phi>>]
|
|
/// CHECK-START: int Main.$noinline$booleanFieldEqualZero() select_generator (after)
|
/// CHECK-DAG: <<Field:z\d+>> StaticFieldGet
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<Select:i\d+>> Select [<<Const54>>,<<Const13>>,<<Field>>]
|
/// CHECK-DAG: Return [<<Select>>]
|
|
public static int $noinline$booleanFieldEqualZero() {
|
return (booleanField != $inline$false()) ? 13 : 54;
|
}
|
|
/// CHECK-START: int Main.$noinline$intConditionNotEqualOne(int) instruction_simplifier$after_inlining (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const42:i\d+>> IntConstant 42
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<LE:z\d+>> LessThanOrEqual [<<Arg>>,<<Const42>>]
|
/// CHECK-DAG: If [<<LE>>]
|
/// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Const1>>,<<Const0>>]
|
/// CHECK-DAG: <<NE:z\d+>> NotEqual [<<Phi1>>,<<Const1>>]
|
/// CHECK-DAG: If [<<NE>>]
|
/// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Const13>>,<<Const54>>]
|
/// CHECK-DAG: Return [<<Phi2>>]
|
|
/// CHECK-START: int Main.$noinline$intConditionNotEqualOne(int) select_generator (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const42:i\d+>> IntConstant 42
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<LE:z\d+>> LessThanOrEqual [<<Arg>>,<<Const42>>]
|
/// CHECK-DAG: <<Result:i\d+>> Select [<<Const13>>,<<Const54>>,<<LE>>]
|
/// CHECK-DAG: Return [<<Result>>]
|
// Note that we match `LE` from Select because there are two identical
|
// LessThanOrEqual instructions.
|
|
public static int $noinline$intConditionNotEqualOne(int i) {
|
return ((i > 42) == $inline$true()) ? 13 : 54;
|
}
|
|
/// CHECK-START: int Main.$noinline$intConditionEqualZero(int) instruction_simplifier$after_inlining (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const42:i\d+>> IntConstant 42
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<LE:z\d+>> LessThanOrEqual [<<Arg>>,<<Const42>>]
|
/// CHECK-DAG: If [<<LE>>]
|
/// CHECK-DAG: <<Phi1:i\d+>> Phi [<<Const1>>,<<Const0>>]
|
/// CHECK-DAG: <<EQ:z\d+>> Equal [<<Phi1>>,<<Const0>>]
|
/// CHECK-DAG: If [<<EQ>>]
|
/// CHECK-DAG: <<Phi2:i\d+>> Phi [<<Const13>>,<<Const54>>]
|
/// CHECK-DAG: Return [<<Phi2>>]
|
|
/// CHECK-START: int Main.$noinline$intConditionEqualZero(int) select_generator (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const42:i\d+>> IntConstant 42
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<LE:z\d+>> LessThanOrEqual [<<Arg>>,<<Const42>>]
|
/// CHECK-DAG: <<Result:i\d+>> Select [<<Const13>>,<<Const54>>,<<LE>>]
|
/// CHECK-DAG: Return [<<Result>>]
|
// Note that we match `LE` from Select because there are two identical
|
// LessThanOrEqual instructions.
|
|
public static int $noinline$intConditionEqualZero(int i) {
|
return ((i > 42) != $inline$false()) ? 13 : 54;
|
}
|
|
// Test that conditions on float/double are not flipped.
|
|
/// CHECK-START: int Main.$noinline$floatConditionNotEqualOne(float) builder (after)
|
/// CHECK: LessThanOrEqual
|
|
/// CHECK-START: int Main.$noinline$floatConditionNotEqualOne(float) instruction_simplifier$before_codegen (after)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<Const42:f\d+>> FloatConstant 42
|
/// CHECK-DAG: <<LE:z\d+>> LessThanOrEqual [<<Arg>>,<<Const42>>]
|
/// CHECK-DAG: <<Select:i\d+>> Select [<<Const13>>,<<Const54>>,<<LE>>]
|
/// CHECK-DAG: Return [<<Select>>]
|
|
public static int $noinline$floatConditionNotEqualOne(float f) {
|
return ((f > 42.0f) == true) ? 13 : 54;
|
}
|
|
/// CHECK-START: int Main.$noinline$doubleConditionEqualZero(double) builder (after)
|
/// CHECK: LessThanOrEqual
|
|
/// CHECK-START: int Main.$noinline$doubleConditionEqualZero(double) instruction_simplifier$before_codegen (after)
|
/// CHECK-DAG: <<Arg:d\d+>> ParameterValue
|
/// CHECK-DAG: <<Const13:i\d+>> IntConstant 13
|
/// CHECK-DAG: <<Const54:i\d+>> IntConstant 54
|
/// CHECK-DAG: <<Const42:d\d+>> DoubleConstant 42
|
/// CHECK-DAG: <<LE:z\d+>> LessThanOrEqual [<<Arg>>,<<Const42>>]
|
/// CHECK-DAG: <<Select:i\d+>> Select [<<Const13>>,<<Const54>>,<<LE>>]
|
/// CHECK-DAG: Return [<<Select>>]
|
|
public static int $noinline$doubleConditionEqualZero(double d) {
|
return ((d > 42.0) != false) ? 13 : 54;
|
}
|
|
/// CHECK-START: int Main.$noinline$intToDoubleToInt(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Double>>]
|
/// CHECK-DAG: Return [<<Int>>]
|
|
/// CHECK-START: int Main.$noinline$intToDoubleToInt(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: int Main.$noinline$intToDoubleToInt(int) instruction_simplifier (after)
|
/// CHECK-NOT: TypeConversion
|
|
public static int $noinline$intToDoubleToInt(int value) {
|
// Lossless conversion followed by a conversion back.
|
return (int) (double) value;
|
}
|
|
/// CHECK-START: java.lang.String Main.$noinline$intToDoubleToIntPrint(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: {{i\d+}} TypeConversion [<<Double>>]
|
|
/// CHECK-START: java.lang.String Main.$noinline$intToDoubleToIntPrint(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: {{d\d+}} TypeConversion [<<Arg>>]
|
|
/// CHECK-START: java.lang.String Main.$noinline$intToDoubleToIntPrint(int) instruction_simplifier (after)
|
/// CHECK-DAG: TypeConversion
|
/// CHECK-NOT: TypeConversion
|
|
public static String $noinline$intToDoubleToIntPrint(int value) {
|
// Lossless conversion followed by a conversion back
|
// with another use of the intermediate result.
|
double d = (double) value;
|
int i = (int) d;
|
return "d=" + d + ", i=" + i;
|
}
|
|
/// CHECK-START: int Main.$noinline$byteToDoubleToInt(byte) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:b\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Double>>]
|
/// CHECK-DAG: Return [<<Int>>]
|
|
/// CHECK-START: int Main.$noinline$byteToDoubleToInt(byte) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:b\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: int Main.$noinline$byteToDoubleToInt(byte) instruction_simplifier (after)
|
/// CHECK-NOT: TypeConversion
|
|
public static int $noinline$byteToDoubleToInt(byte value) {
|
// Lossless conversion followed by another conversion, use implicit conversion.
|
return (int) (double) value;
|
}
|
|
/// CHECK-START: int Main.$noinline$floatToDoubleToInt(float) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Double>>]
|
/// CHECK-DAG: Return [<<Int>>]
|
|
/// CHECK-START: int Main.$noinline$floatToDoubleToInt(float) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: Return [<<Int>>]
|
|
/// CHECK-START: int Main.$noinline$floatToDoubleToInt(float) instruction_simplifier (after)
|
/// CHECK-DAG: TypeConversion
|
/// CHECK-NOT: TypeConversion
|
|
public static int $noinline$floatToDoubleToInt(float value) {
|
// Lossless conversion followed by another conversion.
|
return (int) (double) value;
|
}
|
|
/// CHECK-START: java.lang.String Main.$noinline$floatToDoubleToIntPrint(float) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: {{i\d+}} TypeConversion [<<Double>>]
|
|
/// CHECK-START: java.lang.String Main.$noinline$floatToDoubleToIntPrint(float) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: {{i\d+}} TypeConversion [<<Double>>]
|
|
public static String $noinline$floatToDoubleToIntPrint(float value) {
|
// Lossless conversion followed by another conversion with
|
// an extra use of the intermediate result.
|
double d = (double) value;
|
int i = (int) d;
|
return "d=" + d + ", i=" + i;
|
}
|
|
/// CHECK-START: short Main.$noinline$byteToDoubleToShort(byte) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:b\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Double>>]
|
/// CHECK-DAG: <<Short:s\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Short>>]
|
|
/// CHECK-START: short Main.$noinline$byteToDoubleToShort(byte) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:b\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
/// CHECK-START: short Main.$noinline$byteToDoubleToShort(byte) instruction_simplifier (after)
|
/// CHECK-NOT: TypeConversion
|
|
public static short $noinline$byteToDoubleToShort(byte value) {
|
// Originally, this is byte->double->int->short. The first conversion is lossless,
|
// so we merge this with the second one to byte->int which we omit as it's an implicit
|
// conversion. Then we eliminate the resulting byte->short as an implicit conversion.
|
return (short) (double) value;
|
}
|
|
/// CHECK-START: short Main.$noinline$charToDoubleToShort(char) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:c\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Double>>]
|
/// CHECK-DAG: <<Short:s\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Short>>]
|
|
/// CHECK-START: short Main.$noinline$charToDoubleToShort(char) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:c\d+>> ParameterValue
|
/// CHECK-DAG: <<Short:s\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: Return [<<Short>>]
|
|
/// CHECK-START: short Main.$noinline$charToDoubleToShort(char) instruction_simplifier (after)
|
/// CHECK-DAG: TypeConversion
|
/// CHECK-NOT: TypeConversion
|
|
public static short $noinline$charToDoubleToShort(char value) {
|
// Originally, this is char->double->int->short. The first conversion is lossless,
|
// so we merge this with the second one to char->int which we omit as it's an implicit
|
// conversion. Then we are left with the resulting char->short conversion.
|
return (short) (double) value;
|
}
|
|
/// CHECK-START: short Main.$noinline$floatToIntToShort(float) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Short:s\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Short>>]
|
|
/// CHECK-START: short Main.$noinline$floatToIntToShort(float) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Short:s\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Short>>]
|
|
public static short $noinline$floatToIntToShort(float value) {
|
// Lossy FP to integral conversion followed by another conversion: no simplification.
|
return (short) value;
|
}
|
|
/// CHECK-START: int Main.$noinline$intToFloatToInt(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Float:f\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Float>>]
|
/// CHECK-DAG: Return [<<Int>>]
|
|
/// CHECK-START: int Main.$noinline$intToFloatToInt(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Float:f\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Float>>]
|
/// CHECK-DAG: Return [<<Int>>]
|
|
public static int $noinline$intToFloatToInt(int value) {
|
// Lossy integral to FP conversion followed another conversion: no simplification.
|
return (int) (float) value;
|
}
|
|
/// CHECK-START: double Main.$noinline$longToIntToDouble(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Double>>]
|
|
/// CHECK-START: double Main.$noinline$longToIntToDouble(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Double>>]
|
|
public static double $noinline$longToIntToDouble(long value) {
|
// Lossy long-to-int conversion followed an integral to FP conversion: no simplification.
|
return (double) (int) value;
|
}
|
|
/// CHECK-START: long Main.$noinline$longToIntToLong(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Long>>]
|
|
/// CHECK-START: long Main.$noinline$longToIntToLong(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Long>>]
|
|
public static long $noinline$longToIntToLong(long value) {
|
// Lossy long-to-int conversion followed an int-to-long conversion: no simplification.
|
return (long) (int) value;
|
}
|
|
/// CHECK-START: short Main.$noinline$shortToCharToShort(short) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Char:c\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Short:s\d+>> TypeConversion [<<Char>>]
|
/// CHECK-DAG: Return [<<Short>>]
|
|
/// CHECK-START: short Main.$noinline$shortToCharToShort(short) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
public static short $noinline$shortToCharToShort(short value) {
|
// Integral conversion followed by non-widening integral conversion to original type.
|
return (short) (char) value;
|
}
|
|
/// CHECK-START: int Main.$noinline$shortToLongToInt(short) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<Long>>]
|
/// CHECK-DAG: Return [<<Int>>]
|
|
/// CHECK-START: int Main.$noinline$shortToLongToInt(short) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
|
public static int $noinline$shortToLongToInt(short value) {
|
// Integral conversion followed by non-widening integral conversion, use implicit conversion.
|
return (int) (long) value;
|
}
|
|
/// CHECK-START: byte Main.$noinline$shortToCharToByte(short) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Char:c\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<Byte:b\d+>> TypeConversion [<<Char>>]
|
/// CHECK-DAG: Return [<<Byte>>]
|
|
/// CHECK-START: byte Main.$noinline$shortToCharToByte(short) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Byte:b\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: Return [<<Byte>>]
|
|
public static byte $noinline$shortToCharToByte(short value) {
|
// Integral conversion followed by non-widening integral conversion losing bits
|
// from the original type. Simplify to use only one conversion.
|
return (byte) (char) value;
|
}
|
|
/// CHECK-START: java.lang.String Main.$noinline$shortToCharToBytePrint(short) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Char:c\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: {{b\d+}} TypeConversion [<<Char>>]
|
|
/// CHECK-START: java.lang.String Main.$noinline$shortToCharToBytePrint(short) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Char:c\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: {{b\d+}} TypeConversion [<<Char>>]
|
|
public static String $noinline$shortToCharToBytePrint(short value) {
|
// Integral conversion followed by non-widening integral conversion losing bits
|
// from the original type with an extra use of the intermediate result.
|
char c = (char) value;
|
byte b = (byte) c;
|
return "c=" + ((int) c) + ", b=" + ((int) b); // implicit conversions.
|
}
|
|
/// CHECK-START: long Main.$noinline$intAndSmallLongConstant(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:j\d+>> LongConstant -12345678
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<Long>>,<<Mask>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: long Main.$noinline$intAndSmallLongConstant(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:i\d+>> IntConstant -12345678
|
/// CHECK-DAG: <<And:i\d+>> And [<<Arg>>,<<Mask>>]
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<And>>]
|
/// CHECK-DAG: Return [<<Long>>]
|
|
public static long $noinline$intAndSmallLongConstant(int value) {
|
return value & -12345678L; // Shall be simplified (constant is 32-bit).
|
}
|
|
/// CHECK-START: long Main.$noinline$intAndLargeLongConstant(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:j\d+>> LongConstant 9876543210
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<Long>>,<<Mask>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: long Main.$noinline$intAndLargeLongConstant(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:j\d+>> LongConstant 9876543210
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<Long>>,<<Mask>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
public static long $noinline$intAndLargeLongConstant(int value) {
|
return value & 9876543210L; // Shall not be simplified (constant is not 32-bit).
|
}
|
|
/// CHECK-START: long Main.$noinline$intShr28And15L(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Shift:i\d+>> IntConstant 28
|
/// CHECK-DAG: <<Mask:j\d+>> LongConstant 15
|
/// CHECK-DAG: <<Shifted:i\d+>> Shr [<<Arg>>,<<Shift>>]
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<Shifted>>]
|
/// CHECK-DAG: <<And:j\d+>> And [<<Long>>,<<Mask>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: long Main.$noinline$intShr28And15L(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Shift:i\d+>> IntConstant 28
|
/// CHECK-DAG: <<Shifted:i\d+>> UShr [<<Arg>>,<<Shift>>]
|
/// CHECK-DAG: <<Long:j\d+>> TypeConversion [<<Shifted>>]
|
/// CHECK-DAG: Return [<<Long>>]
|
|
public static long $noinline$intShr28And15L(int value) {
|
return (value >> 28) & 15L;
|
}
|
|
/// CHECK-START: byte Main.$noinline$longAnd0xffToByte(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:j\d+>> LongConstant 255
|
/// CHECK-DAG: <<And:j\d+>> And [<<Mask>>,<<Arg>>]
|
/// CHECK-DAG: <<Int:i\d+>> TypeConversion [<<And>>]
|
/// CHECK-DAG: <<Byte:b\d+>> TypeConversion [<<Int>>]
|
/// CHECK-DAG: Return [<<Byte>>]
|
|
/// CHECK-START: byte Main.$noinline$longAnd0xffToByte(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Byte:b\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: Return [<<Byte>>]
|
|
/// CHECK-START: byte Main.$noinline$longAnd0xffToByte(long) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
|
public static byte $noinline$longAnd0xffToByte(long value) {
|
return (byte) (value & 0xff);
|
}
|
|
/// CHECK-START: char Main.$noinline$intAnd0x1ffffToChar(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:i\d+>> IntConstant 131071
|
/// CHECK-DAG: <<And:i\d+>> And [<<Mask>>,<<Arg>>]
|
/// CHECK-DAG: <<Char:c\d+>> TypeConversion [<<And>>]
|
/// CHECK-DAG: Return [<<Char>>]
|
|
/// CHECK-START: char Main.$noinline$intAnd0x1ffffToChar(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Char:c\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: Return [<<Char>>]
|
|
/// CHECK-START: char Main.$noinline$intAnd0x1ffffToChar(int) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
|
public static char $noinline$intAnd0x1ffffToChar(int value) {
|
// Keeping all significant bits and one more.
|
return (char) (value & 0x1ffff);
|
}
|
|
/// CHECK-START: short Main.$noinline$intAnd0x17fffToShort(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:i\d+>> IntConstant 98303
|
/// CHECK-DAG: <<And:i\d+>> And [<<Mask>>,<<Arg>>]
|
/// CHECK-DAG: <<Short:s\d+>> TypeConversion [<<And>>]
|
/// CHECK-DAG: Return [<<Short>>]
|
|
/// CHECK-START: short Main.$noinline$intAnd0x17fffToShort(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:i\d+>> IntConstant 98303
|
/// CHECK-DAG: <<And:i\d+>> And [<<Mask>>,<<Arg>>]
|
/// CHECK-DAG: <<Short:s\d+>> TypeConversion [<<And>>]
|
/// CHECK-DAG: Return [<<Short>>]
|
|
public static short $noinline$intAnd0x17fffToShort(int value) {
|
// No simplification: clearing a significant bit.
|
return (short) (value & 0x17fff);
|
}
|
|
/// CHECK-START: double Main.$noinline$shortAnd0xffffToShortToDouble(short) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Mask:i\d+>> IntConstant 65535
|
/// CHECK-DAG: <<And:i\d+>> And [<<Mask>>,<<Arg>>]
|
/// CHECK-DAG: <<Same:s\d+>> TypeConversion [<<And>>]
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Same>>]
|
/// CHECK-DAG: Return [<<Double>>]
|
|
/// CHECK-START: double Main.$noinline$shortAnd0xffffToShortToDouble(short) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Double:d\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: Return [<<Double>>]
|
|
public static double $noinline$shortAnd0xffffToShortToDouble(short value) {
|
short same = (short) (value & 0xffff);
|
return (double) same;
|
}
|
|
/// CHECK-START: int Main.$noinline$intReverseCondition(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const42:i\d+>> IntConstant 42
|
/// CHECK-DAG: <<LE:z\d+>> LessThanOrEqual [<<Const42>>,<<Arg>>]
|
|
/// CHECK-START: int Main.$noinline$intReverseCondition(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const42:i\d+>> IntConstant 42
|
/// CHECK-DAG: <<GE:z\d+>> GreaterThanOrEqual [<<Arg>>,<<Const42>>]
|
|
public static int $noinline$intReverseCondition(int i) {
|
return (42 > i) ? 13 : 54;
|
}
|
|
/// CHECK-START: int Main.$noinline$intReverseConditionNaN(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Const42:d\d+>> DoubleConstant 42
|
/// CHECK-DAG: <<Result:d\d+>> InvokeStaticOrDirect
|
/// CHECK-DAG: <<CMP:i\d+>> Compare [<<Const42>>,<<Result>>]
|
|
/// CHECK-START: int Main.$noinline$intReverseConditionNaN(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Const42:d\d+>> DoubleConstant 42
|
/// CHECK-DAG: <<Result:d\d+>> InvokeStaticOrDirect
|
/// CHECK-DAG: <<EQ:z\d+>> Equal [<<Result>>,<<Const42>>]
|
|
public static int $noinline$intReverseConditionNaN(int i) {
|
return (42 != Math.sqrt(i)) ? 13 : 54;
|
}
|
|
public static int $noinline$runSmaliTest(String name, boolean input) {
|
try {
|
Class<?> c = Class.forName("SmaliTests");
|
Method m = c.getMethod(name, boolean.class);
|
return (Integer) m.invoke(null, input);
|
} catch (Exception ex) {
|
throw new Error(ex);
|
}
|
}
|
|
public static boolean $noinline$runSmaliTest2Boolean(String name, boolean input) {
|
try {
|
Class<?> c = Class.forName("SmaliTests2");
|
Method m = c.getMethod(name, boolean.class);
|
return (Boolean) m.invoke(null, input);
|
} catch (Exception ex) {
|
throw new Error(ex);
|
}
|
}
|
|
public static int $noinline$runSmaliTestInt(String postfix, String name, int arg) {
|
try {
|
Class<?> c = Class.forName("SmaliTests" + postfix);
|
Method m = c.getMethod(name, int.class);
|
return (Integer) m.invoke(null, arg);
|
} catch (Exception ex) {
|
throw new Error(ex);
|
}
|
}
|
|
public static int $noinline$runSmaliTestInt(String name, int arg) {
|
return $noinline$runSmaliTestInt("", name, arg);
|
}
|
|
public static long $noinline$runSmaliTest2Long(String name, long arg) {
|
try {
|
Class<?> c = Class.forName("SmaliTests2");
|
Method m = c.getMethod(name, long.class);
|
return (Long) m.invoke(null, arg);
|
} catch (Exception ex) {
|
throw new Error(ex);
|
}
|
}
|
|
/// CHECK-START: int Main.$noinline$intUnnecessaryShiftMasking(int, int) instruction_simplifier (before)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const31:i\d+>> IntConstant 31
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shift>>,<<Const31>>]
|
/// CHECK-DAG: <<Shl:i\d+>> Shl [<<Value>>,<<And>>]
|
/// CHECK-DAG: Return [<<Shl>>]
|
|
/// CHECK-START: int Main.$noinline$intUnnecessaryShiftMasking(int, int) instruction_simplifier (after)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Shl:i\d+>> Shl [<<Value>>,<<Shift>>]
|
/// CHECK-DAG: Return [<<Shl>>]
|
|
public static int $noinline$intUnnecessaryShiftMasking(int value, int shift) {
|
return value << (shift & 31);
|
}
|
|
/// CHECK-START: long Main.$noinline$longUnnecessaryShiftMasking(long, int) instruction_simplifier (before)
|
/// CHECK: <<Value:j\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const63:i\d+>> IntConstant 63
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shift>>,<<Const63>>]
|
/// CHECK-DAG: <<Shr:j\d+>> Shr [<<Value>>,<<And>>]
|
/// CHECK-DAG: Return [<<Shr>>]
|
|
/// CHECK-START: long Main.$noinline$longUnnecessaryShiftMasking(long, int) instruction_simplifier (after)
|
/// CHECK: <<Value:j\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Shr:j\d+>> Shr [<<Value>>,<<Shift>>]
|
/// CHECK-DAG: Return [<<Shr>>]
|
|
public static long $noinline$longUnnecessaryShiftMasking(long value, int shift) {
|
return value >> (shift & 63);
|
}
|
|
/// CHECK-START: int Main.$noinline$intUnnecessaryWiderShiftMasking(int, int) instruction_simplifier (before)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shift>>,<<Const255>>]
|
/// CHECK-DAG: <<UShr:i\d+>> UShr [<<Value>>,<<And>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
/// CHECK-START: int Main.$noinline$intUnnecessaryWiderShiftMasking(int, int) instruction_simplifier (after)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<UShr:i\d+>> UShr [<<Value>>,<<Shift>>]
|
/// CHECK-DAG: Return [<<UShr>>]
|
|
public static int $noinline$intUnnecessaryWiderShiftMasking(int value, int shift) {
|
return value >>> (shift & 0xff);
|
}
|
|
/// CHECK-START: long Main.$noinline$longSmallerShiftMasking(long, int) instruction_simplifier (before)
|
/// CHECK: <<Value:j\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const3:i\d+>> IntConstant 3
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shift>>,<<Const3>>]
|
/// CHECK-DAG: <<Shl:j\d+>> Shl [<<Value>>,<<And>>]
|
/// CHECK-DAG: Return [<<Shl>>]
|
|
/// CHECK-START: long Main.$noinline$longSmallerShiftMasking(long, int) instruction_simplifier (after)
|
/// CHECK: <<Value:j\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const3:i\d+>> IntConstant 3
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shift>>,<<Const3>>]
|
/// CHECK-DAG: <<Shl:j\d+>> Shl [<<Value>>,<<And>>]
|
/// CHECK-DAG: Return [<<Shl>>]
|
|
public static long $noinline$longSmallerShiftMasking(long value, int shift) {
|
return value << (shift & 3);
|
}
|
|
/// CHECK-START: int Main.$noinline$otherUseOfUnnecessaryShiftMasking(int, int) instruction_simplifier (before)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const31:i\d+>> IntConstant 31
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shift>>,<<Const31>>]
|
/// CHECK-DAG: <<Shr:i\d+>> Shr [<<Value>>,<<And>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Shr>>,<<And>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
/// CHECK-START: int Main.$noinline$otherUseOfUnnecessaryShiftMasking(int, int) instruction_simplifier (after)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const31:i\d+>> IntConstant 31
|
/// CHECK-DAG: <<And:i\d+>> And [<<Shift>>,<<Const31>>]
|
/// CHECK-DAG: <<Shr:i\d+>> Shr [<<Value>>,<<Shift>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Shr>>,<<And>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
public static int $noinline$otherUseOfUnnecessaryShiftMasking(int value, int shift) {
|
int temp = shift & 31;
|
return (value >> temp) + temp;
|
}
|
|
/// CHECK-START: int Main.$noinline$intUnnecessaryShiftModifications(int, int) instruction_simplifier (before)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const32:i\d+>> IntConstant 32
|
/// CHECK-DAG: <<Const64:i\d+>> IntConstant 64
|
/// CHECK-DAG: <<Const96:i\d+>> IntConstant 96
|
/// CHECK-DAG: <<Const128:i\d+>> IntConstant 128
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Shift>>,<<Const32>>]
|
/// CHECK-DAG: <<Xor:i\d+>> Xor [<<Shift>>,<<Const64>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Shift>>,<<Const96>>]
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Shift>>,<<Const128>>]
|
/// CHECK-DAG: <<Conv:b\d+>> TypeConversion [<<Shift>>]
|
/// CHECK-DAG: Shl [<<Value>>,<<Or>>]
|
/// CHECK-DAG: Shr [<<Value>>,<<Xor>>]
|
/// CHECK-DAG: UShr [<<Value>>,<<Add>>]
|
/// CHECK-DAG: Shl [<<Value>>,<<Sub>>]
|
/// CHECK-DAG: Shr [<<Value>>,<<Conv>>]
|
|
/// CHECK-START: int Main.$noinline$intUnnecessaryShiftModifications(int, int) instruction_simplifier (after)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: Shl [<<Value>>,<<Shift>>]
|
/// CHECK-DAG: Shr [<<Value>>,<<Shift>>]
|
/// CHECK-DAG: UShr [<<Value>>,<<Shift>>]
|
/// CHECK-DAG: Shl [<<Value>>,<<Shift>>]
|
/// CHECK-DAG: Shr [<<Value>>,<<Shift>>]
|
|
public static int $noinline$intUnnecessaryShiftModifications(int value, int shift) {
|
int c128 = 128;
|
return (value << (shift | 32)) +
|
(value >> (shift ^ 64)) +
|
(value >>> (shift + 96)) +
|
(value << (shift - c128)) + // Needs a named constant to generate Sub.
|
(value >> ((byte) shift));
|
}
|
|
/// CHECK-START: int Main.$noinline$intNecessaryShiftModifications(int, int) instruction_simplifier (before)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const33:i\d+>> IntConstant 33
|
/// CHECK-DAG: <<Const65:i\d+>> IntConstant 65
|
/// CHECK-DAG: <<Const97:i\d+>> IntConstant 97
|
/// CHECK-DAG: <<Const129:i\d+>> IntConstant 129
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Shift>>,<<Const33>>]
|
/// CHECK-DAG: <<Xor:i\d+>> Xor [<<Shift>>,<<Const65>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Shift>>,<<Const97>>]
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Shift>>,<<Const129>>]
|
/// CHECK-DAG: Shl [<<Value>>,<<Or>>]
|
/// CHECK-DAG: Shr [<<Value>>,<<Xor>>]
|
/// CHECK-DAG: UShr [<<Value>>,<<Add>>]
|
/// CHECK-DAG: Shl [<<Value>>,<<Sub>>]
|
|
/// CHECK-START: int Main.$noinline$intNecessaryShiftModifications(int, int) instruction_simplifier (after)
|
/// CHECK: <<Value:i\d+>> ParameterValue
|
/// CHECK: <<Shift:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const33:i\d+>> IntConstant 33
|
/// CHECK-DAG: <<Const65:i\d+>> IntConstant 65
|
/// CHECK-DAG: <<Const97:i\d+>> IntConstant 97
|
/// CHECK-DAG: <<Const129:i\d+>> IntConstant 129
|
/// CHECK-DAG: <<Or:i\d+>> Or [<<Shift>>,<<Const33>>]
|
/// CHECK-DAG: <<Xor:i\d+>> Xor [<<Shift>>,<<Const65>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Shift>>,<<Const97>>]
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<Shift>>,<<Const129>>]
|
/// CHECK-DAG: Shl [<<Value>>,<<Or>>]
|
/// CHECK-DAG: Shr [<<Value>>,<<Xor>>]
|
/// CHECK-DAG: UShr [<<Value>>,<<Add>>]
|
/// CHECK-DAG: Shl [<<Value>>,<<Sub>>]
|
|
public static int $noinline$intNecessaryShiftModifications(int value, int shift) {
|
int c129 = 129;
|
return (value << (shift | 33)) +
|
(value >> (shift ^ 65)) +
|
(value >>> (shift + 97)) +
|
(value << (shift - c129)); // Needs a named constant to generate Sub.
|
}
|
|
/// CHECK-START: int Main.$noinline$intAddSubSimplifyArg1(int, int) instruction_simplifier (before)
|
/// CHECK: <<X:i\d+>> ParameterValue
|
/// CHECK: <<Y:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sum:i\d+>> Add [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:i\d+>> Sub [<<Sum>>,<<X>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: int Main.$noinline$intAddSubSimplifyArg1(int, int) instruction_simplifier (after)
|
/// CHECK: <<X:i\d+>> ParameterValue
|
/// CHECK: <<Y:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sum:i\d+>> Add [<<X>>,<<Y>>]
|
/// CHECK-DAG: Return [<<Y>>]
|
|
public static int $noinline$intAddSubSimplifyArg1(int x, int y) {
|
int sum = x + y;
|
return sum - x;
|
}
|
|
/// CHECK-START: int Main.$noinline$intAddSubSimplifyArg2(int, int) instruction_simplifier (before)
|
/// CHECK: <<X:i\d+>> ParameterValue
|
/// CHECK: <<Y:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sum:i\d+>> Add [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:i\d+>> Sub [<<Sum>>,<<Y>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: int Main.$noinline$intAddSubSimplifyArg2(int, int) instruction_simplifier (after)
|
/// CHECK: <<X:i\d+>> ParameterValue
|
/// CHECK: <<Y:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sum:i\d+>> Add [<<X>>,<<Y>>]
|
/// CHECK-DAG: Return [<<X>>]
|
|
public static int $noinline$intAddSubSimplifyArg2(int x, int y) {
|
int sum = x + y;
|
return sum - y;
|
}
|
|
/// CHECK-START: int Main.$noinline$intSubAddSimplifyLeft(int, int) instruction_simplifier (before)
|
/// CHECK: <<X:i\d+>> ParameterValue
|
/// CHECK: <<Y:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:i\d+>> Add [<<Sub>>,<<Y>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: int Main.$noinline$intSubAddSimplifyLeft(int, int) instruction_simplifier (after)
|
/// CHECK: <<X:i\d+>> ParameterValue
|
/// CHECK: <<Y:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<X>>,<<Y>>]
|
/// CHECK-DAG: Return [<<X>>]
|
|
public static int $noinline$intSubAddSimplifyLeft(int x, int y) {
|
int sub = x - y;
|
return sub + y;
|
}
|
|
/// CHECK-START: int Main.$noinline$intSubAddSimplifyRight(int, int) instruction_simplifier (before)
|
/// CHECK: <<X:i\d+>> ParameterValue
|
/// CHECK: <<Y:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:i\d+>> Add [<<Y>>,<<Sub>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: int Main.$noinline$intSubAddSimplifyRight(int, int) instruction_simplifier (after)
|
/// CHECK: <<X:i\d+>> ParameterValue
|
/// CHECK: <<Y:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:i\d+>> Sub [<<X>>,<<Y>>]
|
/// CHECK-DAG: Return [<<X>>]
|
|
public static int $noinline$intSubAddSimplifyRight(int x, int y) {
|
int sub = x - y;
|
return y + sub;
|
}
|
|
/// CHECK-START: float Main.$noinline$floatAddSubSimplifyArg1(float, float) instruction_simplifier (before)
|
/// CHECK: <<X:f\d+>> ParameterValue
|
/// CHECK: <<Y:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Sum:f\d+>> Add [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:f\d+>> Sub [<<Sum>>,<<X>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: float Main.$noinline$floatAddSubSimplifyArg1(float, float) instruction_simplifier (after)
|
/// CHECK: <<X:f\d+>> ParameterValue
|
/// CHECK: <<Y:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Sum:f\d+>> Add [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:f\d+>> Sub [<<Sum>>,<<X>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
public static float $noinline$floatAddSubSimplifyArg1(float x, float y) {
|
float sum = x + y;
|
return sum - x;
|
}
|
|
/// CHECK-START: float Main.$noinline$floatAddSubSimplifyArg2(float, float) instruction_simplifier (before)
|
/// CHECK: <<X:f\d+>> ParameterValue
|
/// CHECK: <<Y:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Sum:f\d+>> Add [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:f\d+>> Sub [<<Sum>>,<<Y>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: float Main.$noinline$floatAddSubSimplifyArg2(float, float) instruction_simplifier (after)
|
/// CHECK: <<X:f\d+>> ParameterValue
|
/// CHECK: <<Y:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Sum:f\d+>> Add [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:f\d+>> Sub [<<Sum>>,<<Y>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
public static float $noinline$floatAddSubSimplifyArg2(float x, float y) {
|
float sum = x + y;
|
return sum - y;
|
}
|
|
/// CHECK-START: float Main.$noinline$floatSubAddSimplifyLeft(float, float) instruction_simplifier (before)
|
/// CHECK: <<X:f\d+>> ParameterValue
|
/// CHECK: <<Y:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:f\d+>> Sub [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:f\d+>> Add [<<Sub>>,<<Y>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: float Main.$noinline$floatSubAddSimplifyLeft(float, float) instruction_simplifier (after)
|
/// CHECK: <<X:f\d+>> ParameterValue
|
/// CHECK: <<Y:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:f\d+>> Sub [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:f\d+>> Add [<<Sub>>,<<Y>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
public static float $noinline$floatSubAddSimplifyLeft(float x, float y) {
|
float sub = x - y;
|
return sub + y;
|
}
|
|
/// CHECK-START: float Main.$noinline$floatSubAddSimplifyRight(float, float) instruction_simplifier (before)
|
/// CHECK: <<X:f\d+>> ParameterValue
|
/// CHECK: <<Y:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:f\d+>> Sub [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:f\d+>> Add [<<Y>>,<<Sub>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
/// CHECK-START: float Main.$noinline$floatSubAddSimplifyRight(float, float) instruction_simplifier (after)
|
/// CHECK: <<X:f\d+>> ParameterValue
|
/// CHECK: <<Y:f\d+>> ParameterValue
|
/// CHECK-DAG: <<Sub:f\d+>> Sub [<<X>>,<<Y>>]
|
/// CHECK-DAG: <<Res:f\d+>> Add [<<Y>>,<<Sub>>]
|
/// CHECK-DAG: Return [<<Res>>]
|
|
public static float $noinline$floatSubAddSimplifyRight(float x, float y) {
|
float sub = x - y;
|
return y + sub;
|
}
|
|
/// CHECK-START: int Main.$noinline$getUint8FromInstanceByteField(Main) instruction_simplifier (before)
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Get:b\d+>> InstanceFieldGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Const255>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$getUint8FromInstanceByteField(Main) instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:a\d+>> InstanceFieldGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getUint8FromInstanceByteField(Main) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getUint8FromInstanceByteField(Main m) {
|
return m.instanceByteField & 0xff;
|
}
|
|
/// CHECK-START: int Main.$noinline$getUint8FromStaticByteField() instruction_simplifier (before)
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Get:b\d+>> StaticFieldGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Const255>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$getUint8FromStaticByteField() instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:a\d+>> StaticFieldGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getUint8FromStaticByteField() instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getUint8FromStaticByteField() {
|
return staticByteField & 0xff;
|
}
|
|
/// CHECK-START: int Main.$noinline$getUint8FromByteArray(byte[]) instruction_simplifier (before)
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Get:b\d+>> ArrayGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Const255>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$getUint8FromByteArray(byte[]) instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:a\d+>> ArrayGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getUint8FromByteArray(byte[]) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getUint8FromByteArray(byte[] a) {
|
return a[0] & 0xff;
|
}
|
|
/// CHECK-START: int Main.$noinline$getUint16FromInstanceShortField(Main) instruction_simplifier (before)
|
/// CHECK-DAG: <<Cst65535:i\d+>> IntConstant 65535
|
/// CHECK-DAG: <<Get:s\d+>> InstanceFieldGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Cst65535>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$getUint16FromInstanceShortField(Main) instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:c\d+>> InstanceFieldGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getUint16FromInstanceShortField(Main) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getUint16FromInstanceShortField(Main m) {
|
return m.instanceShortField & 0xffff;
|
}
|
|
/// CHECK-START: int Main.$noinline$getUint16FromStaticShortField() instruction_simplifier (before)
|
/// CHECK-DAG: <<Cst65535:i\d+>> IntConstant 65535
|
/// CHECK-DAG: <<Get:s\d+>> StaticFieldGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Cst65535>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$getUint16FromStaticShortField() instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:c\d+>> StaticFieldGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getUint16FromStaticShortField() instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getUint16FromStaticShortField() {
|
return staticShortField & 0xffff;
|
}
|
|
/// CHECK-START: int Main.$noinline$getUint16FromShortArray(short[]) instruction_simplifier (before)
|
/// CHECK-DAG: <<Cst65535:i\d+>> IntConstant 65535
|
/// CHECK-DAG: <<Get:s\d+>> ArrayGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Cst65535>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$getUint16FromShortArray(short[]) instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:c\d+>> ArrayGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getUint16FromShortArray(short[]) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getUint16FromShortArray(short[] a) {
|
return a[0] & 0xffff;
|
}
|
|
/// CHECK-START: int Main.$noinline$getInt16FromInstanceCharField(Main) instruction_simplifier (before)
|
/// CHECK-DAG: <<Get:c\d+>> InstanceFieldGet
|
/// CHECK-DAG: <<Conv:s\d+>> TypeConversion [<<Get>>]
|
/// CHECK-DAG: Return [<<Conv>>]
|
|
/// CHECK-START: int Main.$noinline$getInt16FromInstanceCharField(Main) instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:s\d+>> InstanceFieldGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getInt16FromInstanceCharField(Main) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getInt16FromInstanceCharField(Main m) {
|
return (short) m.instanceCharField;
|
}
|
|
/// CHECK-START: int Main.$noinline$getInt16FromStaticCharField() instruction_simplifier (before)
|
/// CHECK-DAG: <<Get:c\d+>> StaticFieldGet
|
/// CHECK-DAG: <<Conv:s\d+>> TypeConversion [<<Get>>]
|
/// CHECK-DAG: Return [<<Conv>>]
|
|
/// CHECK-START: int Main.$noinline$getInt16FromStaticCharField() instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:s\d+>> StaticFieldGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getInt16FromStaticCharField() instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getInt16FromStaticCharField() {
|
return (short) staticCharField;
|
}
|
|
/// CHECK-START: int Main.$noinline$getInt16FromCharArray(char[]) instruction_simplifier (before)
|
/// CHECK-DAG: <<Get:c\d+>> ArrayGet
|
/// CHECK-DAG: <<Conv:s\d+>> TypeConversion [<<Get>>]
|
/// CHECK-DAG: Return [<<Conv>>]
|
|
/// CHECK-START: int Main.$noinline$getInt16FromCharArray(char[]) instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:s\d+>> ArrayGet
|
/// CHECK-DAG: Return [<<Get>>]
|
|
/// CHECK-START: int Main.$noinline$getInt16FromCharArray(char[]) instruction_simplifier (after)
|
/// CHECK-NOT: And
|
/// CHECK-NOT: TypeConversion
|
public static int $noinline$getInt16FromCharArray(char[] a) {
|
return (short) a[0];
|
}
|
|
/// CHECK-START: int Main.$noinline$byteToUint8AndBack() instruction_simplifier (before)
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Get:b\d+>> StaticFieldGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Const255>>]
|
/// CHECK-DAG: <<Invoke:i\d+>> InvokeStaticOrDirect [<<And>>{{(,[ij]\d+)?}}]
|
/// CHECK-DAG: Return [<<Invoke>>]
|
|
/// CHECK-START: int Main.$noinline$byteToUint8AndBack() instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:a\d+>> StaticFieldGet
|
/// CHECK-DAG: <<Invoke:i\d+>> InvokeStaticOrDirect [<<Get>>{{(,[ij]\d+)?}}]
|
/// CHECK-DAG: Return [<<Invoke>>]
|
|
/// CHECK-START: int Main.$noinline$byteToUint8AndBack() instruction_simplifier$after_inlining (before)
|
/// CHECK-DAG: <<Get:a\d+>> StaticFieldGet
|
/// CHECK-DAG: <<Conv:b\d+>> TypeConversion [<<Get>>]
|
/// CHECK-DAG: Return [<<Conv>>]
|
|
/// CHECK-START: int Main.$noinline$byteToUint8AndBack() instruction_simplifier$after_inlining (after)
|
/// CHECK-DAG: <<Get:b\d+>> StaticFieldGet
|
/// CHECK-DAG: Return [<<Get>>]
|
public static int $noinline$byteToUint8AndBack() {
|
return $inline$toByte(staticByteField & 0xff);
|
}
|
|
public static int $inline$toByte(int value) {
|
return (byte) value;
|
}
|
|
/// CHECK-START: int Main.$noinline$getStaticCharFieldAnd0xff() instruction_simplifier (before)
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Get:c\d+>> StaticFieldGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Const255>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$getStaticCharFieldAnd0xff() instruction_simplifier (after)
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Get:c\d+>> StaticFieldGet
|
/// CHECK-DAG: <<Cnv:a\d+>> TypeConversion [<<Get>>]
|
/// CHECK-DAG: Return [<<Cnv>>]
|
|
/// CHECK-START: int Main.$noinline$getStaticCharFieldAnd0xff() instruction_simplifier (after)
|
/// CHECK-NOT: {{a\d+}} StaticFieldGet
|
public static int $noinline$getStaticCharFieldAnd0xff() {
|
return staticCharField & 0xff;
|
}
|
|
/// CHECK-START: int Main.$noinline$getUint8FromInstanceByteFieldWithAnotherUse(Main) instruction_simplifier (before)
|
/// CHECK-DAG: <<Const8:i\d+>> IntConstant 8
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Get:b\d+>> InstanceFieldGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Const255>>]
|
/// CHECK-DAG: <<Shl:i\d+>> Shl [<<Get>>,<<Const8>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<And>>,<<Shl>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
/// CHECK-START: int Main.$noinline$getUint8FromInstanceByteFieldWithAnotherUse(Main) instruction_simplifier (after)
|
/// CHECK-DAG: <<Const8:i\d+>> IntConstant 8
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Get:b\d+>> InstanceFieldGet
|
/// CHECK-DAG: <<Cnv:a\d+>> TypeConversion [<<Get>>]
|
/// CHECK-DAG: <<Shl:i\d+>> Shl [<<Get>>,<<Const8>>]
|
/// CHECK-DAG: <<Add:i\d+>> Add [<<Cnv>>,<<Shl>>]
|
/// CHECK-DAG: Return [<<Add>>]
|
|
/// CHECK-START: int Main.$noinline$getUint8FromInstanceByteFieldWithAnotherUse(Main) instruction_simplifier (after)
|
/// CHECK-NOT: {{a\d+}} InstanceFieldGet
|
public static int $noinline$getUint8FromInstanceByteFieldWithAnotherUse(Main m) {
|
byte b = m.instanceByteField;
|
int v1 = b & 0xff;
|
int v2 = (b << 8);
|
return v1 + v2;
|
}
|
|
/// CHECK-START: int Main.$noinline$intAnd0xffToChar(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<And:i\d+>> And [<<Arg>>,<<Const255>>]
|
/// CHECK-DAG: <<Conv:c\d+>> TypeConversion [<<And>>]
|
/// CHECK-DAG: Return [<<Conv>>]
|
|
/// CHECK-START: int Main.$noinline$intAnd0xffToChar(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Conv:a\d+>> TypeConversion [<<Arg>>]
|
/// CHECK-DAG: Return [<<Conv>>]
|
public static int $noinline$intAnd0xffToChar(int value) {
|
return (char) (value & 0xff);
|
}
|
|
/// CHECK-START: int Main.$noinline$intAnd0x1ffToChar(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Const511:i\d+>> IntConstant 511
|
/// CHECK-DAG: <<And:i\d+>> And [<<Arg>>,<<Const511>>]
|
/// CHECK-DAG: <<Conv:c\d+>> TypeConversion [<<And>>]
|
/// CHECK-DAG: Return [<<Conv>>]
|
|
// TODO: Simplify this. Unlike the $noinline$intAnd0xffToChar(), the TypeConversion
|
// to `char` is not eliminated despite the result of the And being within the `char` range.
|
|
// CHECK-START: int Main.$noinline$intAnd0x1ffToChar(int) instruction_simplifier (after)
|
// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
// CHECK-DAG: <<Const511:i\d+>> IntConstant 511
|
// CHECK-DAG: <<And:i\d+>> And [<<Arg>>,<<Const511>>]
|
// CHECK-DAG: Return [<<And>>]
|
public static int $noinline$intAnd0x1ffToChar(int value) {
|
return (char) (value & 0x1ff);
|
}
|
|
/// CHECK-START: int Main.$noinline$getInstanceCharFieldAnd0x1ffff(Main) instruction_simplifier (before)
|
/// CHECK-DAG: <<Cst1ffff:i\d+>> IntConstant 131071
|
/// CHECK-DAG: <<Get:c\d+>> InstanceFieldGet
|
/// CHECK-DAG: <<And:i\d+>> And [<<Get>>,<<Cst1ffff>>]
|
/// CHECK-DAG: Return [<<And>>]
|
|
/// CHECK-START: int Main.$noinline$getInstanceCharFieldAnd0x1ffff(Main) instruction_simplifier (after)
|
/// CHECK-DAG: <<Get:c\d+>> InstanceFieldGet
|
/// CHECK-DAG: Return [<<Get>>]
|
public static int $noinline$getInstanceCharFieldAnd0x1ffff(Main m) {
|
return m.instanceCharField & 0x1ffff;
|
}
|
|
/// CHECK-START: int Main.$noinline$bug68142795Byte(byte) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:b\d+>> ParameterValue
|
/// CHECK-DAG: <<Const:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<And1:i\d+>> And [<<Arg>>,<<Const>>]
|
/// CHECK-DAG: <<And2:i\d+>> And [<<And1>>,<<Const>>]
|
/// CHECK-DAG: <<Conv:b\d+>> TypeConversion [<<And2>>]
|
/// CHECK-DAG: Return [<<Conv>>]
|
|
/// CHECK-START: int Main.$noinline$bug68142795Byte(byte) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:b\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
public static int $noinline$bug68142795Byte(byte b) {
|
return (byte)(0xff & (b & 0xff));
|
}
|
|
/// CHECK-START: int Main.$noinline$bug68142795Elaborate(byte) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:b\d+>> ParameterValue
|
/// CHECK-DAG: <<Int255:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<Long255:j\d+>> LongConstant 255
|
/// CHECK-DAG: <<And1:i\d+>> And [<<Arg>>,<<Int255>>]
|
/// CHECK-DAG: <<Conv1:j\d+>> TypeConversion [<<And1>>]
|
/// CHECK-DAG: <<And2:j\d+>> And [<<Conv1>>,<<Long255>>]
|
/// CHECK-DAG: <<Conv2:i\d+>> TypeConversion [<<And2>>]
|
/// CHECK-DAG: <<Conv3:b\d+>> TypeConversion [<<Conv2>>]
|
/// CHECK-DAG: Return [<<Conv3>>]
|
|
/// CHECK-START: int Main.$noinline$bug68142795Elaborate(byte) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:b\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Arg>>]
|
public static int $noinline$bug68142795Elaborate(byte b) {
|
return (byte)((int)(((long)(b & 0xff)) & 255L));
|
}
|
|
/// CHECK-START: int Main.$noinline$emptyStringIndexOf(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Empty:l\d+>> LoadString
|
/// CHECK-DAG: <<Equals:i\d+>> InvokeVirtual [<<Empty>>,<<Arg>>] intrinsic:StringIndexOf
|
/// CHECK-DAG: Return [<<Equals>>]
|
|
/// CHECK-START: int Main.$noinline$emptyStringIndexOf(int) instruction_simplifier (after)
|
/// CHECK-NOT: InvokeVirtual
|
|
/// CHECK-START: int Main.$noinline$emptyStringIndexOf(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Minus1:i\d+>> IntConstant -1
|
/// CHECK-DAG: Return [<<Minus1>>]
|
public static int $noinline$emptyStringIndexOf(int ch) {
|
return "".indexOf(ch);
|
}
|
|
/// CHECK-START: int Main.$noinline$emptyStringIndexOfAfter(int, int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Empty:l\d+>> LoadString
|
/// CHECK-DAG: <<Equals:i\d+>> InvokeVirtual [<<Empty>>,<<Arg1>>,<<Arg2>>] intrinsic:StringIndexOfAfter
|
/// CHECK-DAG: Return [<<Equals>>]
|
|
/// CHECK-START: int Main.$noinline$emptyStringIndexOfAfter(int, int) instruction_simplifier (after)
|
/// CHECK-NOT: InvokeVirtual
|
|
/// CHECK-START: int Main.$noinline$emptyStringIndexOfAfter(int, int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Minus1:i\d+>> IntConstant -1
|
/// CHECK-DAG: Return [<<Minus1>>]
|
public static int $noinline$emptyStringIndexOfAfter(int ch, int fromIndex) {
|
return "".indexOf(ch, fromIndex);
|
}
|
|
/// CHECK-START: int Main.$noinline$singleCharStringIndexOf(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Empty:l\d+>> LoadString
|
/// CHECK-DAG: <<Equals:i\d+>> InvokeVirtual [<<Empty>>,<<Arg>>] intrinsic:StringIndexOf
|
/// CHECK-DAG: Return [<<Equals>>]
|
|
/// CHECK-START: int Main.$noinline$singleCharStringIndexOf(int) instruction_simplifier (after)
|
/// CHECK-NOT: InvokeVirtual
|
|
/// CHECK-START: int Main.$noinline$singleCharStringIndexOf(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg:i\d+>> ParameterValue
|
/// CHECK-DAG: <<x:i\d+>> IntConstant 120
|
/// CHECK-DAG: <<Zero:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Minus1:i\d+>> IntConstant -1
|
/// CHECK-DAG: <<Eq:z\d+>> Equal [<<Arg>>,<<x>>]
|
/// CHECK-DAG: <<Select:i\d+>> Select [<<Minus1>>,<<Zero>>,<<Eq>>]
|
/// CHECK-DAG: Return [<<Select>>]
|
public static int $noinline$singleCharStringIndexOf(int ch) {
|
return "x".indexOf(ch);
|
}
|
|
/// CHECK-START: int Main.$noinline$singleCharStringIndexOfAfter(int, int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Empty:l\d+>> LoadString
|
/// CHECK-DAG: <<Equals:i\d+>> InvokeVirtual [<<Empty>>,<<Arg1>>,<<Arg2>>] intrinsic:StringIndexOfAfter
|
/// CHECK-DAG: Return [<<Equals>>]
|
|
/// CHECK-START: int Main.$noinline$singleCharStringIndexOfAfter(int, int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Arg1:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Arg2:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Empty:l\d+>> LoadString
|
/// CHECK-DAG: <<Equals:i\d+>> InvokeVirtual [<<Empty>>,<<Arg1>>,<<Arg2>>] intrinsic:StringIndexOfAfter
|
/// CHECK-DAG: Return [<<Equals>>]
|
public static int $noinline$singleCharStringIndexOfAfter(int ch, int fromIndex) {
|
return "x".indexOf(ch, fromIndex); // Not simplified.
|
}
|
|
public static void main(String[] args) throws Exception {
|
Class smaliTests2 = Class.forName("SmaliTests2");
|
Method $noinline$XorAllOnes = smaliTests2.getMethod("$noinline$XorAllOnes", int.class);
|
Method $noinline$NotNot1 = smaliTests2.getMethod("$noinline$NotNot1", long.class);
|
Method $noinline$NotNot2 = smaliTests2.getMethod("$noinline$NotNot2", int.class);
|
Method $noinline$NotNotBool = smaliTests2.getMethod("$noinline$NotNotBool", boolean.class);
|
Method $noinline$bug68142795Short = smaliTests2.getMethod("$noinline$bug68142795Short", short.class);
|
Method $noinline$bug68142795Boolean = smaliTests2.getMethod("$noinline$bug68142795Boolean", boolean.class);
|
|
int arg = 123456;
|
float floatArg = 123456.125f;
|
|
assertLongEquals(arg, $noinline$Add0(arg));
|
assertIntEquals(5, $noinline$AddAddSubAddConst(1));
|
assertIntEquals(arg, $noinline$AndAllOnes(arg));
|
assertLongEquals(arg, $noinline$Div1(arg));
|
assertIntEquals(-arg, $noinline$DivN1(arg));
|
assertLongEquals(arg, $noinline$Mul1(arg));
|
assertIntEquals(-arg, $noinline$MulN1(arg));
|
assertLongEquals((128 * arg), $noinline$MulPowerOfTwo128(arg));
|
assertLongEquals(2640, $noinline$MulMulMulConst(2));
|
assertIntEquals(arg, $noinline$Or0(arg));
|
assertLongEquals(arg, $noinline$OrSame(arg));
|
assertIntEquals(arg, $noinline$Shl0(arg));
|
assertLongEquals(arg, $noinline$Shr0(arg));
|
assertLongEquals(arg, $noinline$Shr64(arg));
|
assertLongEquals(arg, $noinline$Sub0(arg));
|
assertIntEquals(-arg, $noinline$SubAliasNeg(arg));
|
assertIntEquals(9, $noinline$SubAddConst1(2));
|
assertIntEquals(-2, $noinline$SubAddConst2(3));
|
assertLongEquals(3, $noinline$SubSubConst(4));
|
assertLongEquals(arg, $noinline$UShr0(arg));
|
assertIntEquals(arg, $noinline$Xor0(arg));
|
assertIntEquals(~arg, (int)$noinline$XorAllOnes.invoke(null, arg));
|
assertIntEquals(-(arg + arg + 1), $noinline$AddNegs1(arg, arg + 1));
|
assertIntEquals(-(arg + arg + 1), $noinline$AddNegs2(arg, arg + 1));
|
assertLongEquals(-(2 * arg + 1), $noinline$AddNegs3(arg, arg + 1));
|
assertLongEquals(1, $noinline$AddNeg1(arg, arg + 1));
|
assertLongEquals(-1, $noinline$AddNeg2(arg, arg + 1));
|
assertLongEquals(arg, $noinline$NegNeg1(arg));
|
assertIntEquals(0, $noinline$NegNeg2(arg));
|
assertLongEquals(arg, $noinline$NegNeg3(arg));
|
assertIntEquals(1, $noinline$NegSub1(arg, arg + 1));
|
assertIntEquals(1, $noinline$NegSub2(arg, arg + 1));
|
assertLongEquals(arg, (long)$noinline$NotNot1.invoke(null, arg));
|
assertLongEquals(arg, $noinline$runSmaliTest2Long("$noinline$NotNot1", arg));
|
assertIntEquals(-1, (int)$noinline$NotNot2.invoke(null, arg));
|
assertIntEquals(-1, $noinline$runSmaliTestInt("2", "$noinline$NotNot2", arg));
|
assertIntEquals(-(arg + arg + 1), $noinline$SubNeg1(arg, arg + 1));
|
assertIntEquals(-(arg + arg + 1), $noinline$SubNeg2(arg, arg + 1));
|
assertLongEquals(-(2 * arg + 1), $noinline$SubNeg3(arg, arg + 1));
|
assertBooleanEquals(true, $noinline$EqualBoolVsIntConst(true));
|
assertBooleanEquals(true, $noinline$EqualBoolVsIntConst(true));
|
assertBooleanEquals(false, $noinline$NotEqualBoolVsIntConst(false));
|
assertBooleanEquals(false, $noinline$NotEqualBoolVsIntConst(false));
|
assertBooleanEquals(true, (boolean)$noinline$NotNotBool.invoke(null, true));
|
assertBooleanEquals(true, $noinline$runSmaliTest2Boolean("$noinline$NotNotBool", true));
|
assertBooleanEquals(false, (boolean)$noinline$NotNotBool.invoke(null, false));
|
assertBooleanEquals(false, $noinline$runSmaliTest2Boolean("$noinline$NotNotBool", false));
|
assertFloatEquals(50.0f, $noinline$Div2(100.0f));
|
assertDoubleEquals(75.0, $noinline$Div2(150.0));
|
assertFloatEquals(-400.0f, $noinline$DivMP25(100.0f));
|
assertDoubleEquals(-600.0, $noinline$DivMP25(150.0));
|
assertIntEquals(0xc, $noinline$UShr28And15(0xc1234567));
|
assertLongEquals(0xcL, $noinline$UShr60And15(0xc123456787654321L));
|
assertIntEquals(0x4, $noinline$UShr28And7(0xc1234567));
|
assertLongEquals(0x4L, $noinline$UShr60And7(0xc123456787654321L));
|
assertIntEquals(0xc1, $noinline$Shr24And255(0xc1234567));
|
assertIntEquals(0x60, $noinline$Shr25And127(0xc1234567));
|
assertLongEquals(0xc1L, $noinline$Shr56And255(0xc123456787654321L));
|
assertLongEquals(0x60L, $noinline$Shr57And127(0xc123456787654321L));
|
assertIntEquals(0x41, $noinline$Shr24And127(0xc1234567));
|
assertLongEquals(0x41L, $noinline$Shr56And127(0xc123456787654321L));
|
assertIntEquals(0, $noinline$mulPow2Plus1(0));
|
assertIntEquals(9, $noinline$mulPow2Plus1(1));
|
assertIntEquals(18, $noinline$mulPow2Plus1(2));
|
assertIntEquals(900, $noinline$mulPow2Plus1(100));
|
assertIntEquals(111105, $noinline$mulPow2Plus1(12345));
|
assertLongEquals(0, $noinline$mulPow2Minus1(0));
|
assertLongEquals(31, $noinline$mulPow2Minus1(1));
|
assertLongEquals(62, $noinline$mulPow2Minus1(2));
|
assertLongEquals(3100, $noinline$mulPow2Minus1(100));
|
assertLongEquals(382695, $noinline$mulPow2Minus1(12345));
|
|
booleanField = false;
|
assertIntEquals($noinline$booleanFieldNotEqualOne(), 54);
|
assertIntEquals($noinline$booleanFieldEqualZero(), 54);
|
booleanField = true;
|
assertIntEquals(13, $noinline$booleanFieldNotEqualOne());
|
assertIntEquals(13, $noinline$booleanFieldEqualZero());
|
assertIntEquals(54, $noinline$intConditionNotEqualOne(6));
|
assertIntEquals(13, $noinline$intConditionNotEqualOne(43));
|
assertIntEquals(54, $noinline$intConditionEqualZero(6));
|
assertIntEquals(13, $noinline$intConditionEqualZero(43));
|
assertIntEquals(54, $noinline$floatConditionNotEqualOne(6.0f));
|
assertIntEquals(13, $noinline$floatConditionNotEqualOne(43.0f));
|
assertIntEquals(54, $noinline$doubleConditionEqualZero(6.0));
|
assertIntEquals(13, $noinline$doubleConditionEqualZero(43.0));
|
|
assertIntEquals(1234567, $noinline$intToDoubleToInt(1234567));
|
assertIntEquals(Integer.MIN_VALUE, $noinline$intToDoubleToInt(Integer.MIN_VALUE));
|
assertIntEquals(Integer.MAX_VALUE, $noinline$intToDoubleToInt(Integer.MAX_VALUE));
|
assertStringEquals("d=7654321.0, i=7654321", $noinline$intToDoubleToIntPrint(7654321));
|
assertIntEquals(12, $noinline$byteToDoubleToInt((byte) 12));
|
assertIntEquals(Byte.MIN_VALUE, $noinline$byteToDoubleToInt(Byte.MIN_VALUE));
|
assertIntEquals(Byte.MAX_VALUE, $noinline$byteToDoubleToInt(Byte.MAX_VALUE));
|
assertIntEquals(11, $noinline$floatToDoubleToInt(11.3f));
|
assertStringEquals("d=12.25, i=12", $noinline$floatToDoubleToIntPrint(12.25f));
|
assertIntEquals(123, $noinline$byteToDoubleToShort((byte) 123));
|
assertIntEquals(Byte.MIN_VALUE, $noinline$byteToDoubleToShort(Byte.MIN_VALUE));
|
assertIntEquals(Byte.MAX_VALUE, $noinline$byteToDoubleToShort(Byte.MAX_VALUE));
|
assertIntEquals(1234, $noinline$charToDoubleToShort((char) 1234));
|
assertIntEquals(Character.MIN_VALUE, $noinline$charToDoubleToShort(Character.MIN_VALUE));
|
assertIntEquals(/* sign-extended */ -1, $noinline$charToDoubleToShort(Character.MAX_VALUE));
|
assertIntEquals(12345, $noinline$floatToIntToShort(12345.75f));
|
assertIntEquals(Short.MAX_VALUE, $noinline$floatToIntToShort((float)(Short.MIN_VALUE - 1)));
|
assertIntEquals(Short.MIN_VALUE, $noinline$floatToIntToShort((float)(Short.MAX_VALUE + 1)));
|
assertIntEquals(-54321, $noinline$intToFloatToInt(-54321));
|
assertDoubleEquals((double) 0x12345678, $noinline$longToIntToDouble(0x1234567812345678L));
|
assertDoubleEquals(0.0, $noinline$longToIntToDouble(Long.MIN_VALUE));
|
assertDoubleEquals(-1.0, $noinline$longToIntToDouble(Long.MAX_VALUE));
|
assertLongEquals(0x0000000012345678L, $noinline$longToIntToLong(0x1234567812345678L));
|
assertLongEquals(0xffffffff87654321L, $noinline$longToIntToLong(0x1234567887654321L));
|
assertLongEquals(0L, $noinline$longToIntToLong(Long.MIN_VALUE));
|
assertLongEquals(-1L, $noinline$longToIntToLong(Long.MAX_VALUE));
|
assertIntEquals((short) -5678, $noinline$shortToCharToShort((short) -5678));
|
assertIntEquals(Short.MIN_VALUE, $noinline$shortToCharToShort(Short.MIN_VALUE));
|
assertIntEquals(Short.MAX_VALUE, $noinline$shortToCharToShort(Short.MAX_VALUE));
|
assertIntEquals(5678, $noinline$shortToLongToInt((short) 5678));
|
assertIntEquals(Short.MIN_VALUE, $noinline$shortToLongToInt(Short.MIN_VALUE));
|
assertIntEquals(Short.MAX_VALUE, $noinline$shortToLongToInt(Short.MAX_VALUE));
|
assertIntEquals(0x34, $noinline$shortToCharToByte((short) 0x1234));
|
assertIntEquals(-0x10, $noinline$shortToCharToByte((short) 0x12f0));
|
assertIntEquals(0, $noinline$shortToCharToByte(Short.MIN_VALUE));
|
assertIntEquals(-1, $noinline$shortToCharToByte(Short.MAX_VALUE));
|
assertStringEquals("c=1025, b=1", $noinline$shortToCharToBytePrint((short) 1025));
|
assertStringEquals("c=1023, b=-1", $noinline$shortToCharToBytePrint((short) 1023));
|
assertStringEquals("c=65535, b=-1", $noinline$shortToCharToBytePrint((short) -1));
|
|
assertLongEquals(0x55411410L, $noinline$intAndSmallLongConstant(0x55555555));
|
assertLongEquals(0xffffffffaa028aa2L, $noinline$intAndSmallLongConstant(0xaaaaaaaa));
|
assertLongEquals(0x44101440L, $noinline$intAndLargeLongConstant(0x55555555));
|
assertLongEquals(0x208a002aaL, $noinline$intAndLargeLongConstant(0xaaaaaaaa));
|
assertLongEquals(7L, $noinline$intShr28And15L(0x76543210));
|
|
assertIntEquals(0x21, $noinline$longAnd0xffToByte(0x1234432112344321L));
|
assertIntEquals(0, $noinline$longAnd0xffToByte(Long.MIN_VALUE));
|
assertIntEquals(-1, $noinline$longAnd0xffToByte(Long.MAX_VALUE));
|
assertIntEquals(0x1234, $noinline$intAnd0x1ffffToChar(0x43211234));
|
assertIntEquals(0, $noinline$intAnd0x1ffffToChar(Integer.MIN_VALUE));
|
assertIntEquals(Character.MAX_VALUE, $noinline$intAnd0x1ffffToChar(Integer.MAX_VALUE));
|
assertIntEquals(0x4321, $noinline$intAnd0x17fffToShort(0x87654321));
|
assertIntEquals(0x0888, $noinline$intAnd0x17fffToShort(0x88888888));
|
assertIntEquals(0, $noinline$intAnd0x17fffToShort(Integer.MIN_VALUE));
|
assertIntEquals(Short.MAX_VALUE, $noinline$intAnd0x17fffToShort(Integer.MAX_VALUE));
|
|
assertDoubleEquals(0.0, $noinline$shortAnd0xffffToShortToDouble((short) 0));
|
assertDoubleEquals(1.0, $noinline$shortAnd0xffffToShortToDouble((short) 1));
|
assertDoubleEquals(-2.0, $noinline$shortAnd0xffffToShortToDouble((short) -2));
|
assertDoubleEquals(12345.0, $noinline$shortAnd0xffffToShortToDouble((short) 12345));
|
assertDoubleEquals((double)Short.MAX_VALUE,
|
$noinline$shortAnd0xffffToShortToDouble(Short.MAX_VALUE));
|
assertDoubleEquals((double)Short.MIN_VALUE,
|
$noinline$shortAnd0xffffToShortToDouble(Short.MIN_VALUE));
|
|
assertIntEquals(13, $noinline$intReverseCondition(41));
|
assertIntEquals(13, $noinline$intReverseConditionNaN(-5));
|
|
for (String condition : new String[] { "Equal", "NotEqual" }) {
|
for (String constant : new String[] { "True", "False" }) {
|
for (String side : new String[] { "Rhs", "Lhs" }) {
|
String name = condition + constant + side;
|
assertIntEquals(5, $noinline$runSmaliTest(name, true));
|
assertIntEquals(3, $noinline$runSmaliTest(name, false));
|
}
|
}
|
}
|
|
assertIntEquals(0, $noinline$runSmaliTestInt("AddSubConst", 1));
|
assertIntEquals(3, $noinline$runSmaliTestInt("SubAddConst", 2));
|
assertIntEquals(-16, $noinline$runSmaliTestInt("SubSubConst1", 3));
|
assertIntEquals(-5, $noinline$runSmaliTestInt("SubSubConst2", 4));
|
assertIntEquals(26, $noinline$runSmaliTestInt("SubSubConst3", 5));
|
assertIntEquals(0x5e6f7808, $noinline$intUnnecessaryShiftMasking(0xabcdef01, 3));
|
assertIntEquals(0x5e6f7808, $noinline$intUnnecessaryShiftMasking(0xabcdef01, 3 + 32));
|
assertLongEquals(0xffffffffffffeaf3L,
|
$noinline$longUnnecessaryShiftMasking(0xabcdef0123456789L, 50));
|
assertLongEquals(0xffffffffffffeaf3L,
|
$noinline$longUnnecessaryShiftMasking(0xabcdef0123456789L, 50 + 64));
|
assertIntEquals(0x2af37b, $noinline$intUnnecessaryWiderShiftMasking(0xabcdef01, 10));
|
assertIntEquals(0x2af37b, $noinline$intUnnecessaryWiderShiftMasking(0xabcdef01, 10 + 128));
|
assertLongEquals(0xaf37bc048d159e24L,
|
$noinline$longSmallerShiftMasking(0xabcdef0123456789L, 2));
|
assertLongEquals(0xaf37bc048d159e24L,
|
$noinline$longSmallerShiftMasking(0xabcdef0123456789L, 2 + 256));
|
assertIntEquals(0xfffd5e7c, $noinline$otherUseOfUnnecessaryShiftMasking(0xabcdef01, 13));
|
assertIntEquals(0xfffd5e7c, $noinline$otherUseOfUnnecessaryShiftMasking(0xabcdef01, 13 + 512));
|
assertIntEquals(0x5f49eb48, $noinline$intUnnecessaryShiftModifications(0xabcdef01, 2));
|
assertIntEquals(0xbd4c29b0, $noinline$intUnnecessaryShiftModifications(0xabcdef01, 3));
|
assertIntEquals(0xc0fed1ca, $noinline$intNecessaryShiftModifications(0xabcdef01, 2));
|
assertIntEquals(0x03578ebc, $noinline$intNecessaryShiftModifications(0xabcdef01, 3));
|
|
assertIntEquals(654321, $noinline$intAddSubSimplifyArg1(arg, 654321));
|
assertIntEquals(arg, $noinline$intAddSubSimplifyArg2(arg, 654321));
|
assertIntEquals(arg, $noinline$intSubAddSimplifyLeft(arg, 654321));
|
assertIntEquals(arg, $noinline$intSubAddSimplifyRight(arg, 654321));
|
assertFloatEquals(654321.125f, $noinline$floatAddSubSimplifyArg1(floatArg, 654321.125f));
|
assertFloatEquals(floatArg, $noinline$floatAddSubSimplifyArg2(floatArg, 654321.125f));
|
assertFloatEquals(floatArg, $noinline$floatSubAddSimplifyLeft(floatArg, 654321.125f));
|
assertFloatEquals(floatArg, $noinline$floatSubAddSimplifyRight(floatArg, 654321.125f));
|
|
Main m = new Main();
|
m.instanceByteField = -1;
|
assertIntEquals(0xff, $noinline$getUint8FromInstanceByteField(m));
|
staticByteField = -2;
|
assertIntEquals(0xfe, $noinline$getUint8FromStaticByteField());
|
assertIntEquals(0xfd, $noinline$getUint8FromByteArray(new byte[] { -3 }));
|
m.instanceShortField = -4;
|
assertIntEquals(0xfffc, $noinline$getUint16FromInstanceShortField(m));
|
staticShortField = -5;
|
assertIntEquals(0xfffb, $noinline$getUint16FromStaticShortField());
|
assertIntEquals(0xfffa, $noinline$getUint16FromShortArray(new short[] { -6 }));
|
m.instanceCharField = 0xfff9;
|
assertIntEquals(-7, $noinline$getInt16FromInstanceCharField(m));
|
staticCharField = 0xfff8;
|
assertIntEquals(-8, $noinline$getInt16FromStaticCharField());
|
assertIntEquals(-9, $noinline$getInt16FromCharArray(new char[] { 0xfff7 }));
|
|
staticCharField = 0xfff6;
|
assertIntEquals(0xf6, $noinline$getStaticCharFieldAnd0xff());
|
|
staticByteField = -11;
|
assertIntEquals(-11, $noinline$byteToUint8AndBack());
|
|
m.instanceByteField = -12;
|
assertIntEquals(0xfffff4f4, $noinline$getUint8FromInstanceByteFieldWithAnotherUse(m));
|
|
assertIntEquals(0x21, $noinline$intAnd0xffToChar(0x87654321));
|
assertIntEquals(0x121, $noinline$intAnd0x1ffToChar(0x87654321));
|
|
m.instanceCharField = 'x';
|
assertIntEquals('x', $noinline$getInstanceCharFieldAnd0x1ffff(m));
|
|
assertIntEquals(0x7f, $noinline$bug68142795Byte((byte) 0x7f));
|
assertIntEquals((byte) 0x80, $noinline$bug68142795Byte((byte) 0x80));
|
assertIntEquals(0x7fff, (int)$noinline$bug68142795Short.invoke(null, (short) 0x7fff));
|
assertIntEquals((short) 0x8000, (int)$noinline$bug68142795Short.invoke(null, (short) 0x8000));
|
assertIntEquals(0, (int)$noinline$bug68142795Boolean.invoke(null, false));
|
assertIntEquals(1, (int)$noinline$bug68142795Boolean.invoke(null, true));
|
assertIntEquals(0x7f, $noinline$bug68142795Elaborate((byte) 0x7f));
|
assertIntEquals((byte) 0x80, $noinline$bug68142795Elaborate((byte) 0x80));
|
|
assertIntEquals(-1, $noinline$emptyStringIndexOf('a'));
|
assertIntEquals(-1, $noinline$emptyStringIndexOf('Z'));
|
assertIntEquals(-1, $noinline$emptyStringIndexOfAfter('a', 0));
|
assertIntEquals(-1, $noinline$emptyStringIndexOfAfter('Z', -1));
|
|
assertIntEquals(-1, $noinline$singleCharStringIndexOf('a'));
|
assertIntEquals(0, $noinline$singleCharStringIndexOf('x'));
|
assertIntEquals(-1, $noinline$singleCharStringIndexOf('Z'));
|
assertIntEquals(-1, $noinline$singleCharStringIndexOfAfter('a', 0));
|
assertIntEquals(0, $noinline$singleCharStringIndexOfAfter('x', -1));
|
assertIntEquals(-1, $noinline$singleCharStringIndexOfAfter('x', 1));
|
assertIntEquals(-1, $noinline$singleCharStringIndexOfAfter('Z', -1));
|
}
|
|
private static boolean $inline$true() { return true; }
|
private static boolean $inline$false() { return false; }
|
|
public static boolean booleanField;
|
|
public static byte staticByteField;
|
public static char staticCharField;
|
public static short staticShortField;
|
|
public byte instanceByteField;
|
public char instanceCharField;
|
public short instanceShortField;
|
}
|
