blob: 4f8242bd9e0ab4f10dd0868534cbb61641f674b1 [file] [log] [blame]
/*
* 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 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);
}
}
/**
* Test merging of `NOT+AND` into `BIC`.
*/
/// CHECK-START-ARM64: int Main.$opt$noinline$notAnd(int, int) instruction_simplifier_arm64 (before)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op:i\d+>> And [<<Base>>,<<Not>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM64: int Main.$opt$noinline$notAnd(int, int) instruction_simplifier_arm64 (after)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<NegOp:i\d+>> BitwiseNegatedRight [<<Base>>,<<Mask>>] kind:And
/// CHECK: Return [<<NegOp>>]
/// CHECK-START-ARM64: int Main.$opt$noinline$notAnd(int, int) instruction_simplifier_arm64 (after)
/// CHECK-NOT: Not
/// CHECK-NOT: And
/// CHECK-START-ARM64: int Main.$opt$noinline$notAnd(int, int) disassembly (after)
/// CHECK: bic w{{\d+}}, w{{\d+}}, w{{\d+}}
/// CHECK-START-ARM: int Main.$opt$noinline$notAnd(int, int) instruction_simplifier_arm (before)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op:i\d+>> And [<<Base>>,<<Not>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM: int Main.$opt$noinline$notAnd(int, int) instruction_simplifier_arm (after)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<NegOp:i\d+>> BitwiseNegatedRight [<<Base>>,<<Mask>>] kind:And
/// CHECK: Return [<<NegOp>>]
/// CHECK-START-ARM: int Main.$opt$noinline$notAnd(int, int) instruction_simplifier_arm (after)
/// CHECK-NOT: Not
/// CHECK-NOT: And
/// CHECK-START-ARM: int Main.$opt$noinline$notAnd(int, int) disassembly (after)
/// CHECK: bic r{{\d+}}, r{{\d+}}, r{{\d+}}
public static int $opt$noinline$notAnd(int base, int mask) {
return base & ~mask;
}
/**
* Test merging of `NOT+ORR` into `ORN`.
*/
/// CHECK-START-ARM64: long Main.$opt$noinline$notOr(long, long) instruction_simplifier_arm64 (before)
/// CHECK: <<Base:j\d+>> ParameterValue
/// CHECK: <<Mask:j\d+>> ParameterValue
/// CHECK: <<Not:j\d+>> Not [<<Mask>>]
/// CHECK: <<Op:j\d+>> Or [<<Base>>,<<Not>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM64: long Main.$opt$noinline$notOr(long, long) instruction_simplifier_arm64 (after)
/// CHECK: <<Base:j\d+>> ParameterValue
/// CHECK: <<Mask:j\d+>> ParameterValue
/// CHECK: <<NegOp:j\d+>> BitwiseNegatedRight [<<Base>>,<<Mask>>] kind:Or
/// CHECK: Return [<<NegOp>>]
/// CHECK-START-ARM64: long Main.$opt$noinline$notOr(long, long) instruction_simplifier_arm64 (after)
/// CHECK-NOT: Not
/// CHECK-NOT: Or
/// CHECK-START-ARM64: long Main.$opt$noinline$notOr(long, long) disassembly (after)
/// CHECK: orn x{{\d+}}, x{{\d+}}, x{{\d+}}
/// CHECK-START-ARM: long Main.$opt$noinline$notOr(long, long) instruction_simplifier_arm (before)
/// CHECK: <<Base:j\d+>> ParameterValue
/// CHECK: <<Mask:j\d+>> ParameterValue
/// CHECK: <<Not:j\d+>> Not [<<Mask>>]
/// CHECK: <<Op:j\d+>> Or [<<Base>>,<<Not>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM: long Main.$opt$noinline$notOr(long, long) instruction_simplifier_arm (after)
/// CHECK: <<Base:j\d+>> ParameterValue
/// CHECK: <<Mask:j\d+>> ParameterValue
/// CHECK: <<NegOp:j\d+>> BitwiseNegatedRight [<<Base>>,<<Mask>>] kind:Or
/// CHECK: Return [<<NegOp>>]
/// CHECK-START-ARM: long Main.$opt$noinline$notOr(long, long) instruction_simplifier_arm (after)
/// CHECK-NOT: Not
/// CHECK-NOT: Or
/// CHECK-START-ARM: long Main.$opt$noinline$notOr(long, long) disassembly (after)
/// CHECK: orn r{{\d+}}, r{{\d+}}, r{{\d+}}
public static long $opt$noinline$notOr(long base, long mask) {
return base | ~mask;
}
/**
* Test merging of `NOT+EOR` into `EON`.
*/
/// CHECK-START-ARM64: int Main.$opt$noinline$notXor(int, int) instruction_simplifier_arm64 (before)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op:i\d+>> Xor [<<Base>>,<<Not>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM64: int Main.$opt$noinline$notXor(int, int) instruction_simplifier_arm64 (after)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<NegOp:i\d+>> BitwiseNegatedRight [<<Base>>,<<Mask>>] kind:Xor
/// CHECK: Return [<<NegOp>>]
/// CHECK-START-ARM64: int Main.$opt$noinline$notXor(int, int) instruction_simplifier_arm64 (after)
/// CHECK-NOT: Not
/// CHECK-NOT: Xor
/// CHECK-START-ARM64: int Main.$opt$noinline$notXor(int, int) disassembly (after)
/// CHECK: eon w{{\d+}}, w{{\d+}}, w{{\d+}}
/// CHECK-START-ARM: int Main.$opt$noinline$notXor(int, int) instruction_simplifier_arm (before)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op:i\d+>> Xor [<<Base>>,<<Not>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM: int Main.$opt$noinline$notXor(int, int) instruction_simplifier_arm (after)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op:i\d+>> Xor [<<Base>>,<<Not>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM: int Main.$opt$noinline$notXor(int, int) instruction_simplifier_arm (after)
/// CHECK-NOT: BitwiseNegatedRight
public static int $opt$noinline$notXor(int base, int mask) {
return base ^ ~mask;
}
/**
* Check that transformation is done when the argument is a constant.
*/
/// CHECK-START-ARM64: int Main.$opt$noinline$notAndConstant(int) instruction_simplifier_arm64 (before)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Constant:i\d+>> IntConstant
/// CHECK: <<Not:i\d+>> Not [<<Base>>]
/// CHECK: <<Op:i\d+>> And [<<Not>>,<<Constant>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM64: int Main.$opt$noinline$notAndConstant(int) instruction_simplifier_arm64 (after)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Constant:i\d+>> IntConstant
/// CHECK: <<NegOp:i\d+>> BitwiseNegatedRight [<<Constant>>,<<Base>>] kind:And
/// CHECK: Return [<<NegOp>>]
/// CHECK-START-ARM: int Main.$opt$noinline$notAndConstant(int) instruction_simplifier_arm (before)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Constant:i\d+>> IntConstant
/// CHECK: <<Not:i\d+>> Not [<<Base>>]
/// CHECK: <<Op:i\d+>> And [<<Not>>,<<Constant>>]
/// CHECK: Return [<<Op>>]
/// CHECK-START-ARM: int Main.$opt$noinline$notAndConstant(int) instruction_simplifier_arm (after)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Constant:i\d+>> IntConstant
/// CHECK: <<NegOp:i\d+>> BitwiseNegatedRight [<<Constant>>,<<Base>>] kind:And
/// CHECK: Return [<<NegOp>>]
public static int $opt$noinline$notAndConstant(int mask) {
return 0xf & ~mask;
}
/**
* Check that no transformation is done when Not has multiple uses.
*/
/// CHECK-START-ARM64: int Main.$opt$noinline$notAndMultipleUses(int, int) instruction_simplifier_arm64 (before)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<One:i\d+>> IntConstant
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op1:i\d+>> And [<<Not>>,<<One>>]
/// CHECK: <<Op2:i\d+>> And [<<Base>>,<<Not>>]
/// CHECK: <<Add:i\d+>> Add [<<Op1>>,<<Op2>>]
/// CHECK: Return [<<Add>>]
/// CHECK-START-ARM64: int Main.$opt$noinline$notAndMultipleUses(int, int) instruction_simplifier_arm64 (after)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<One:i\d+>> IntConstant
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op1:i\d+>> And [<<Not>>,<<One>>]
/// CHECK: <<Op2:i\d+>> And [<<Base>>,<<Not>>]
/// CHECK: <<Add:i\d+>> Add [<<Op1>>,<<Op2>>]
/// CHECK: Return [<<Add>>]
/// CHECK-START-ARM64: int Main.$opt$noinline$notAndMultipleUses(int, int) instruction_simplifier_arm64 (after)
/// CHECK-NOT: BitwiseNegatedRight
/// CHECK-START-ARM: int Main.$opt$noinline$notAndMultipleUses(int, int) instruction_simplifier_arm (before)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<One:i\d+>> IntConstant
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op1:i\d+>> And [<<Not>>,<<One>>]
/// CHECK: <<Op2:i\d+>> And [<<Base>>,<<Not>>]
/// CHECK: <<Add:i\d+>> Add [<<Op1>>,<<Op2>>]
/// CHECK: Return [<<Add>>]
/// CHECK-START-ARM: int Main.$opt$noinline$notAndMultipleUses(int, int) instruction_simplifier_arm (after)
/// CHECK: <<Base:i\d+>> ParameterValue
/// CHECK: <<Mask:i\d+>> ParameterValue
/// CHECK: <<One:i\d+>> IntConstant
/// CHECK: <<Not:i\d+>> Not [<<Mask>>]
/// CHECK: <<Op1:i\d+>> And [<<Not>>,<<One>>]
/// CHECK: <<Op2:i\d+>> And [<<Base>>,<<Not>>]
/// CHECK: <<Add:i\d+>> Add [<<Op1>>,<<Op2>>]
/// CHECK: Return [<<Add>>]
/// CHECK-START-ARM: int Main.$opt$noinline$notAndMultipleUses(int, int) instruction_simplifier_arm (after)
/// CHECK-NOT: BitwiseNegatedRight
public static int $opt$noinline$notAndMultipleUses(int base, int mask) {
int tmp = ~mask;
return (tmp & 0x1) + (base & tmp);
}
/**
* Check that no transformation is done when both inputs are Not's.
*/
// We don't check the instructions before the pass, since if De Morgan's laws
// have been applied then Not/Not/Or is replaced by And/Not.
/// CHECK-START-ARM64: int Main.$opt$noinline$deMorganOr(int, int) instruction_simplifier_arm64 (after)
/// CHECK-NOT: BitwiseNegatedRight
/// CHECK-START-ARM: int Main.$opt$noinline$deMorganOr(int, int) instruction_simplifier_arm (after)
/// CHECK-NOT: BitwiseNegatedRight
public static int $opt$noinline$deMorganOr(int a, int b) {
return ~a | ~b;
}
public static void main(String[] args) {
assertIntEquals(0xe, $opt$noinline$notAnd(0xf, 0x1));
assertLongEquals(~0x0, $opt$noinline$notOr(0xf, 0x1));
assertIntEquals(~0xe, $opt$noinline$notXor(0xf, 0x1));
assertIntEquals(0xe, $opt$noinline$notAndConstant(0x1));
assertIntEquals(0xe, $opt$noinline$notAndMultipleUses(0xf, 0x1));
assertIntEquals(~0x1, $opt$noinline$deMorganOr(0x3, 0x1));
}
}