diff options
Diffstat (limited to 'test/593-checker-boolean-2-integral-conv/src/Main.java')
| -rw-r--r-- | test/593-checker-boolean-2-integral-conv/src/Main.java | 232 |
1 files changed, 232 insertions, 0 deletions
diff --git a/test/593-checker-boolean-2-integral-conv/src/Main.java b/test/593-checker-boolean-2-integral-conv/src/Main.java new file mode 100644 index 0000000000..b4c91c8db6 --- /dev/null +++ b/test/593-checker-boolean-2-integral-conv/src/Main.java @@ -0,0 +1,232 @@ +/* + * Copyright (C) 2016 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +public class Main { + + public static void main(String args[]) { + expectEqualsByte((byte)1, booleanToByte(true)); + expectEqualsShort((short)1, booleanToShort(true)); + expectEqualsChar((char)1, booleanToChar(true)); + expectEqualsInt(1, booleanToInt(true)); + expectEqualsLong(1L, booleanToLong(true)); + + expectEqualsInt(1, longToIntOfBoolean()); + + System.out.println("passed"); + } + + /// CHECK-START: byte Main.booleanToByte(boolean) builder (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Cond:z\d+>> Equal [<<Arg>>,<<Zero>>] + /// CHECK-DAG: If [<<Cond>>] + /// CHECK-DAG: <<Phi:i\d+>> Phi [<<One>>,<<Zero>>] + /// CHECK-DAG: <<IToS:b\d+>> TypeConversion [<<Phi>>] + /// CHECK-DAG: Return [<<IToS>>] + + /// CHECK-START: byte Main.booleanToByte(boolean) select_generator (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Sel:i\d+>> Select [<<Zero>>,<<One>>,<<Arg>>] + /// CHECK-DAG: <<IToS:b\d+>> TypeConversion [<<Sel>>] + /// CHECK-DAG: Return [<<IToS>>] + + /// CHECK-START: byte Main.booleanToByte(boolean) instruction_simplifier$after_bce (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: Return [<<Arg>>] + + static byte booleanToByte(boolean b) { + return (byte)(b ? 1 : 0); + } + + /// CHECK-START: short Main.booleanToShort(boolean) builder (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Cond:z\d+>> Equal [<<Arg>>,<<Zero>>] + /// CHECK-DAG: If [<<Cond>>] + /// CHECK-DAG: <<Phi:i\d+>> Phi [<<One>>,<<Zero>>] + /// CHECK-DAG: <<IToS:s\d+>> TypeConversion [<<Phi>>] + /// CHECK-DAG: Return [<<IToS>>] + + /// CHECK-START: short Main.booleanToShort(boolean) select_generator (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Sel:i\d+>> Select [<<Zero>>,<<One>>,<<Arg>>] + /// CHECK-DAG: <<IToS:s\d+>> TypeConversion [<<Sel>>] + /// CHECK-DAG: Return [<<IToS>>] + + /// CHECK-START: short Main.booleanToShort(boolean) instruction_simplifier$after_bce (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: Return [<<Arg>>] + + static short booleanToShort(boolean b) { + return (short)(b ? 1 : 0); + } + + /// CHECK-START: char Main.booleanToChar(boolean) builder (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Cond:z\d+>> Equal [<<Arg>>,<<Zero>>] + /// CHECK-DAG: If [<<Cond>>] + /// CHECK-DAG: <<Phi:i\d+>> Phi [<<One>>,<<Zero>>] + /// CHECK-DAG: <<IToC:c\d+>> TypeConversion [<<Phi>>] + /// CHECK-DAG: Return [<<IToC>>] + + /// CHECK-START: char Main.booleanToChar(boolean) select_generator (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Sel:i\d+>> Select [<<Zero>>,<<One>>,<<Arg>>] + /// CHECK-DAG: <<IToC:c\d+>> TypeConversion [<<Sel>>] + /// CHECK-DAG: Return [<<IToC>>] + + /// CHECK-START: char Main.booleanToChar(boolean) instruction_simplifier$after_bce (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: Return [<<Arg>>] + + static char booleanToChar(boolean b) { + return (char)(b ? 1 : 0); + } + + /// CHECK-START: int Main.booleanToInt(boolean) builder (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Cond:z\d+>> Equal [<<Arg>>,<<Zero>>] + /// CHECK-DAG: If [<<Cond>>] + /// CHECK-DAG: <<Phi:i\d+>> Phi [<<One>>,<<Zero>>] + /// CHECK-DAG: Return [<<Phi>>] + + /// CHECK-START: int Main.booleanToInt(boolean) select_generator (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Sel:i\d+>> Select [<<Zero>>,<<One>>,<<Arg>>] + /// CHECK-DAG: Return [<<Sel>>] + + /// CHECK-START: int Main.booleanToInt(boolean) instruction_simplifier$after_bce (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: Return [<<Arg>>] + + static int booleanToInt(boolean b) { + return b ? 1 : 0; + } + + /// CHECK-START: long Main.booleanToLong(boolean) builder (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Cond:z\d+>> Equal [<<Arg>>,<<Zero>>] + /// CHECK-DAG: If [<<Cond>>] + /// CHECK-DAG: <<Phi:i\d+>> Phi [<<One>>,<<Zero>>] + /// CHECK-DAG: <<IToJ:j\d+>> TypeConversion [<<Phi>>] + /// CHECK-DAG: Return [<<IToJ>>] + + /// CHECK-START: long Main.booleanToLong(boolean) select_generator (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Sel:i\d+>> Select [<<Zero>>,<<One>>,<<Arg>>] + /// CHECK-DAG: <<IToJ:j\d+>> TypeConversion [<<Sel>>] + /// CHECK-DAG: Return [<<IToJ>>] + + /// CHECK-START: long Main.booleanToLong(boolean) instruction_simplifier$after_bce (after) + /// CHECK: <<Arg:z\d+>> ParameterValue + /// CHECK-DAG: <<ZToJ:j\d+>> TypeConversion [<<Arg>>] + /// CHECK-DAG: Return [<<ZToJ>>] + + static long booleanToLong(boolean b) { + return b ? 1 : 0; + } + + /// CHECK-START: int Main.longToIntOfBoolean() builder (after) + /// CHECK-DAG: <<Method:[ij]\d+>> CurrentMethod + /// CHECK-DAG: <<Sget:z\d+>> StaticFieldGet + /// CHECK-DAG: <<ZToJ:j\d+>> InvokeStaticOrDirect [<<Sget>>,<<Method>>] + /// CHECK-DAG: <<JToI:i\d+>> TypeConversion [<<ZToJ>>] + /// CHECK-DAG: Return [<<JToI>>] + + /// CHECK-START: int Main.longToIntOfBoolean() inliner (after) + /// CHECK-DAG: <<Method:[ij]\d+>> CurrentMethod + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Sget:z\d+>> StaticFieldGet + /// CHECK-DAG: If [<<Sget>>] + /// CHECK-DAG: <<Phi:i\d+>> Phi [<<One>>,<<Zero>>] + /// CHECK-DAG: <<IToJ:j\d+>> TypeConversion [<<Phi>>] + /// CHECK-DAG: <<JToI:i\d+>> TypeConversion [<<IToJ>>] + /// CHECK-DAG: Return [<<JToI>>] + + /// CHECK-START: int Main.longToIntOfBoolean() select_generator (after) + /// CHECK-DAG: <<Method:[ij]\d+>> CurrentMethod + /// CHECK-DAG: <<Zero:i\d+>> IntConstant 0 + /// CHECK-DAG: <<One:i\d+>> IntConstant 1 + /// CHECK-DAG: <<Sget:z\d+>> StaticFieldGet + /// CHECK-DAG: <<Sel:i\d+>> Select [<<Zero>>,<<One>>,<<Sget>>] + /// CHECK-DAG: <<IToJ:j\d+>> TypeConversion [<<Sel>>] + /// CHECK-DAG: <<JToI:i\d+>> TypeConversion [<<IToJ>>] + /// CHECK-DAG: Return [<<JToI>>] + + /// CHECK-START: int Main.longToIntOfBoolean() instruction_simplifier$after_bce (after) + /// CHECK-DAG: <<Method:[ij]\d+>> CurrentMethod + /// CHECK-DAG: <<Sget:z\d+>> StaticFieldGet + /// CHECK-DAG: Return [<<Sget>>] + + static int longToIntOfBoolean() { + long l = booleanToLong(booleanField); + return (int) l; + } + + + private static void expectEqualsByte(byte expected, byte result) { + if (expected != result) { + throw new Error("Expected: " + expected + ", found: " + result); + } + } + + private static void expectEqualsShort(short expected, short result) { + if (expected != result) { + throw new Error("Expected: " + expected + ", found: " + result); + } + } + + private static void expectEqualsChar(char expected, char result) { + if (expected != result) { + throw new Error("Expected: " + expected + ", found: " + result); + } + } + + private static void expectEqualsInt(int expected, int result) { + if (expected != result) { + throw new Error("Expected: " + expected + ", found: " + result); + } + } + + private static void expectEqualsLong(long expected, long result) { + if (expected != result) { + throw new Error("Expected: " + expected + ", found: " + result); + } + } + + + public static boolean booleanField = true; + +} |