/*
|
* Copyright (C) 2018 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.
|
*/
|
|
/**
|
* Functional tests for detecting abs.
|
*/
|
public class Main {
|
|
//
|
// Intrinsics.
|
//
|
|
/// CHECK-START: int Main.absI(int) instruction_simplifier (before)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> InvokeStaticOrDirect [<<Par>>] intrinsic:MathAbsInt
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.absI(int) instruction_simplifier (after)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.absI(int) instruction_simplifier (after)
|
/// CHECK-NOT: InvokeStaticOrDirect
|
public static int absI(int a) {
|
return Math.abs(a);
|
}
|
|
/// CHECK-START: long Main.absL(long) instruction_simplifier (before)
|
/// CHECK-DAG: <<Par:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:j\d+>> InvokeStaticOrDirect [<<Par>>] intrinsic:MathAbsLong
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: long Main.absL(long) instruction_simplifier (after)
|
/// CHECK-DAG: <<Par:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:j\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: long Main.absL(long) instruction_simplifier (after)
|
/// CHECK-NOT: InvokeStaticOrDirect
|
public static long absL(long a) {
|
return Math.abs(a);
|
}
|
|
//
|
// Types.
|
//
|
|
/// CHECK-START: int Main.abs1(int) instruction_simplifier$after_gvn (before)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Zer:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Cnd:z\d+>> GreaterThanOrEqual [<<Par>>,<<Zer>>]
|
/// CHECK-DAG: <<Neg:i\d+>> [<<Par>>]
|
/// CHECK-DAG: <<Sel:i\d+>> Select [<<Neg>>,<<Par>>,<<Cnd>>]
|
/// CHECK-DAG: Return [<<Sel>>]
|
//
|
/// CHECK-START: int Main.abs1(int) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.abs1(int) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: Select
|
public static int abs1(int a) {
|
return a < 0 ? -a : a;
|
}
|
|
/// CHECK-START: int Main.abs2(int) instruction_simplifier$after_gvn (before)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Zer:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Cnd:z\d+>> GreaterThan [<<Par>>,<<Zer>>]
|
/// CHECK-DAG: <<Neg:i\d+>> [<<Par>>]
|
/// CHECK-DAG: <<Sel:i\d+>> Select [<<Neg>>,<<Par>>,<<Cnd>>]
|
/// CHECK-DAG: Return [<<Sel>>]
|
//
|
/// CHECK-START: int Main.abs2(int) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.abs2(int) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: Select
|
public static int abs2(int a) {
|
return a <= 0 ? -a : a;
|
}
|
|
/// CHECK-START: int Main.abs3(int) instruction_simplifier$after_gvn (before)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Zer:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Cnd:z\d+>> LessThanOrEqual [<<Par>>,<<Zer>>]
|
/// CHECK-DAG: <<Neg:i\d+>> [<<Par>>]
|
/// CHECK-DAG: <<Sel:i\d+>> Select [<<Par>>,<<Neg>>,<<Cnd>>]
|
/// CHECK-DAG: Return [<<Sel>>]
|
//
|
/// CHECK-START: int Main.abs3(int) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.abs3(int) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: Select
|
public static int abs3(int a) {
|
return a > 0 ? a : -a;
|
}
|
|
/// CHECK-START: int Main.abs4(int) instruction_simplifier$after_gvn (before)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Zer:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Cnd:z\d+>> LessThan [<<Par>>,<<Zer>>]
|
/// CHECK-DAG: <<Neg:i\d+>> [<<Par>>]
|
/// CHECK-DAG: <<Sel:i\d+>> Select [<<Par>>,<<Neg>>,<<Cnd>>]
|
/// CHECK-DAG: Return [<<Sel>>]
|
//
|
/// CHECK-START: int Main.abs4(int) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Par:i\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.abs4(int) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: Select
|
public static int abs4(int a) {
|
return a >= 0 ? a : -a;
|
}
|
|
/// CHECK-START: int Main.abs5(short) instruction_simplifier$after_gvn (before)
|
/// CHECK-DAG: <<Par:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Zer:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Cnd:z\d+>> LessThan [<<Par>>,<<Zer>>]
|
/// CHECK-DAG: <<Neg:i\d+>> [<<Par>>]
|
/// CHECK-DAG: <<Sel:i\d+>> Select [<<Par>>,<<Neg>>,<<Cnd>>]
|
/// CHECK-DAG: Return [<<Sel>>]
|
//
|
/// CHECK-START: int Main.abs5(short) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Par:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.abs5(short) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: Select
|
public static int abs5(short a) {
|
return a >= 0 ? a : -a;
|
}
|
|
/// CHECK-START: int Main.abs6(byte) instruction_simplifier$after_gvn (before)
|
/// CHECK-DAG: <<Par:b\d+>> ParameterValue
|
/// CHECK-DAG: <<Zer:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Cnd:z\d+>> LessThan [<<Par>>,<<Zer>>]
|
/// CHECK-DAG: <<Neg:i\d+>> [<<Par>>]
|
/// CHECK-DAG: <<Sel:i\d+>> Select [<<Par>>,<<Neg>>,<<Cnd>>]
|
/// CHECK-DAG: Return [<<Sel>>]
|
//
|
/// CHECK-START: int Main.abs6(byte) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Par:b\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.abs6(byte) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: Select
|
public static int abs6(byte a) {
|
return a >= 0 ? a : -a;
|
}
|
|
/// CHECK-START: long Main.abs7(long) instruction_simplifier$after_gvn (before)
|
/// CHECK-DAG: <<Par:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Zer:j\d+>> LongConstant 0
|
/// CHECK-DAG: <<Cnd:z\d+>> LessThan [<<Par>>,<<Zer>>]
|
/// CHECK-DAG: <<Neg:j\d+>> [<<Par>>]
|
/// CHECK-DAG: <<Sel:j\d+>> Select [<<Par>>,<<Neg>>,<<Cnd>>]
|
/// CHECK-DAG: Return [<<Sel>>]
|
//
|
/// CHECK-START: long Main.abs7(long) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Par:j\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:j\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: long Main.abs7(long) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: Select
|
public static long abs7(long a) {
|
return a >= 0 ? a : -a;
|
}
|
|
//
|
// Complications.
|
//
|
|
/// CHECK-START: int Main.abs0(int[]) instruction_simplifier$after_gvn (before)
|
/// CHECK-DAG: <<Zer:i\d+>> IntConstant 0
|
/// CHECK-DAG: <<Arr:i\d+>> ArrayGet [{{l\d+}},{{i\d+}}]
|
/// CHECK-DAG: <<Cnd:z\d+>> LessThan [<<Arr>>,<<Zer>>]
|
/// CHECK-DAG: <<Neg:i\d+>> [<<Arr>>]
|
/// CHECK-DAG: <<Sel:i\d+>> Select [<<Arr>>,<<Neg>>,<<Cnd>>]
|
/// CHECK-DAG: Return [<<Sel>>]
|
//
|
/// CHECK-START: int Main.abs0(int[]) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Arr:i\d+>> ArrayGet [{{l\d+}},{{i\d+}}]
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Arr>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.abs0(int[]) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: Select
|
public static int abs0(int[] a) {
|
return a[0] >= 0 ? a[0] : -a[0];
|
}
|
|
//
|
// Nop zero extension.
|
//
|
|
/// CHECK-START: int Main.zabs1(byte) instruction_simplifier (before)
|
/// CHECK-DAG: <<Par:b\d+>> ParameterValue
|
/// CHECK-DAG: <<Msk:i\d+>> IntConstant 255
|
/// CHECK-DAG: <<And:i\d+>> [<<Par>>,<<Msk>>]
|
/// CHECK-DAG: <<Abs:i\d+>> InvokeStaticOrDirect [<<And>>] intrinsic:MathAbsInt
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.zabs1(byte) instruction_simplifier (after)
|
/// CHECK-DAG: <<Par:b\d+>> ParameterValue
|
/// CHECK-DAG: <<Cnv:a\d+>> TypeConversion [<<Par>>]
|
/// CHECK-DAG: Return [<<Cnv>>]
|
//
|
/// CHECK-START: int Main.zabs1(byte) instruction_simplifier (after)
|
/// CHECK-NOT: InvokeStaticOrDirect
|
/// CHECK-NOT: Abs
|
public static int zabs1(byte a) {
|
return Math.abs(a & 0xff);
|
}
|
|
/// CHECK-START: int Main.zabs2(short) instruction_simplifier (before)
|
/// CHECK-DAG: <<Par:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Msk:i\d+>> IntConstant 65535
|
/// CHECK-DAG: <<And:i\d+>> [<<Msk>>,<<Par>>]
|
/// CHECK-DAG: <<Abs:i\d+>> InvokeStaticOrDirect [<<And>>] intrinsic:MathAbsInt
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.zabs2(short) instruction_simplifier (after)
|
/// CHECK-DAG: <<Par:s\d+>> ParameterValue
|
/// CHECK-DAG: <<Cnv:c\d+>> TypeConversion [<<Par>>]
|
/// CHECK-DAG: Return [<<Cnv>>]
|
//
|
/// CHECK-START: int Main.zabs2(short) instruction_simplifier (after)
|
/// CHECK-NOT: InvokeStaticOrDirect
|
/// CHECK-NOT: Abs
|
public static int zabs2(short a) {
|
return Math.abs(a & 0xffff);
|
}
|
|
/// CHECK-START: int Main.zabs3(char) instruction_simplifier (before)
|
/// CHECK-DAG: <<Par:c\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> InvokeStaticOrDirect [<<Par>>] intrinsic:MathAbsInt
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.zabs3(char) instruction_simplifier (after)
|
/// CHECK-DAG: <<Par:c\d+>> ParameterValue
|
/// CHECK-DAG: <<Abs:i\d+>> Abs [<<Par>>]
|
/// CHECK-DAG: Return [<<Abs>>]
|
//
|
/// CHECK-START: int Main.zabs3(char) instruction_simplifier$after_gvn (after)
|
/// CHECK-DAG: <<Par:c\d+>> ParameterValue
|
/// CHECK-DAG: Return [<<Par>>]
|
//
|
/// CHECK-START: int Main.zabs3(char) instruction_simplifier$after_gvn (after)
|
/// CHECK-NOT: InvokeStaticOrDirect
|
/// CHECK-NOT: Abs
|
public static int zabs3(char a) {
|
return Math.abs(a);
|
}
|
|
public static void main(String[] args) {
|
// Intrinsics.
|
expectEquals(10, absI(-10));
|
expectEquals(20, absI(20));
|
expectEquals(10L, absL(-10L));
|
expectEquals(20L, absL(20L));
|
// Types.
|
expectEquals(10, abs1(-10));
|
expectEquals(20, abs1(20));
|
expectEquals(10, abs2(-10));
|
expectEquals(20, abs2(20));
|
expectEquals(10, abs3(-10));
|
expectEquals(20, abs3(20));
|
expectEquals(10, abs4(-10));
|
expectEquals(20, abs4(20));
|
expectEquals(10, abs4((short) -10));
|
expectEquals(20, abs4((short) 20));
|
expectEquals(10, abs6((byte) -10));
|
expectEquals(20, abs6((byte) 20));
|
expectEquals(10L, abs7(-10L));
|
expectEquals(20L, abs7(20L));
|
// Complications.
|
int[] a = { 13 };
|
int[] b = { -11 };
|
expectEquals(13, abs0(a));
|
expectEquals(11, abs0(b));
|
// Nop zero extension.
|
expectEquals(1, zabs1((byte) 1));
|
expectEquals(0xff, zabs1((byte) -1));
|
expectEquals(1, zabs2((short) 1));
|
expectEquals(0xffff, zabs2((short) -1));
|
expectEquals(1, zabs3((char) 1));
|
expectEquals(0xffff, zabs3((char) -1));
|
System.out.println("passed");
|
}
|
|
private static void expectEquals(int expected, int result) {
|
if (expected != result) {
|
throw new Error("Expected: " + expected + ", found: " + result);
|
}
|
}
|
|
private static void expectEquals(long expected, long result) {
|
if (expected != result) {
|
throw new Error("Expected: " + expected + ", found: " + result);
|
}
|
}
|
}
|
