test/458-checker-instruct-simplification/smali/SmaliTests2.smali

# 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.

.class public LSmaliTests2;
.super Ljava/lang/Object;

## CHECK-START: int SmaliTests2.$noinline$XorAllOnes(int) instruction_simplifier (before)
## CHECK-DAG:     <<Arg:i\d+>>      ParameterValue
## CHECK-DAG:     <<ConstF:i\d+>>   IntConstant -1
## CHECK-DAG:     <<Xor:i\d+>>      Xor [<<Arg>>,<<ConstF>>]
## CHECK-DAG:                       Return [<<Xor>>]

## CHECK-START: int SmaliTests2.$noinline$XorAllOnes(int) instruction_simplifier (after)
## CHECK-DAG:     <<Arg:i\d+>>      ParameterValue
## CHECK-DAG:     <<Not:i\d+>>      Not [<<Arg>>]
## CHECK-DAG:                       Return [<<Not>>]

## CHECK-START: int SmaliTests2.$noinline$XorAllOnes(int) instruction_simplifier (after)
## CHECK-NOT:                       Xor

# Original java source:
#
#     return arg ^ -1;
#
.method public static $noinline$XorAllOnes(I)I
    .registers 2
    .param p0, "arg"    # I

    .prologue
    .line 658
    xor-int/lit8 v0, p0, -0x1

    return v0
.end method

# Test simplification of the `~~var` pattern.
# The transformation tested is implemented in `InstructionSimplifierVisitor::VisitNot`.

## CHECK-START: long SmaliTests2.$noinline$NotNot1(long) instruction_simplifier (before)
## CHECK-DAG:     <<Arg:j\d+>>       ParameterValue
## CHECK-DAG:     <<ConstNeg1:j\d+>> LongConstant -1
## CHECK-DAG:     <<Not1:j\d+>>      Xor [<<Arg>>,<<ConstNeg1>>]
## CHECK-DAG:     <<Not2:j\d+>>      Xor [<<Not1>>,<<ConstNeg1>>]
## CHECK-DAG:                        Return [<<Not2>>]

## CHECK-START: long SmaliTests2.$noinline$NotNot1(long) instruction_simplifier (after)
## CHECK-DAG:     <<Arg:j\d+>>      ParameterValue
## CHECK-DAG:                       Return [<<Arg>>]

## CHECK-START: long SmaliTests2.$noinline$NotNot1(long) instruction_simplifier (after)
## CHECK-NOT:                       Xor

# Original java source:
#
#     return ~~arg;
.method public static $noinline$NotNot1(J)J
    .registers 6
    .param p0, "arg"    # J

    .prologue
    const-wide/16 v2, -0x1

    .line 1001
    xor-long v0, p0, v2

    xor-long/2addr v0, v2

    return-wide v0
.end method

## CHECK-START: int SmaliTests2.$noinline$NotNot2(int) instruction_simplifier (before)
## CHECK-DAG:     <<Arg:i\d+>>       ParameterValue
## CHECK-DAG:     <<ConstNeg1:i\d+>> IntConstant -1
## CHECK-DAG:     <<Not1:i\d+>>      Xor [<<Arg>>,<<ConstNeg1>>]
## CHECK-DAG:     <<Not2:i\d+>>      Xor [<<Not1>>,<<ConstNeg1>>]
## CHECK-DAG:     <<Add:i\d+>>       Add [<<Not2>>,<<Not1>>]
## CHECK-DAG:                        Return [<<Add>>]

## CHECK-START: int SmaliTests2.$noinline$NotNot2(int) instruction_simplifier (after)
## CHECK-DAG:     <<Arg:i\d+>>      ParameterValue
## CHECK-DAG:     <<Not:i\d+>>      Not [<<Arg>>]
## CHECK-DAG:     <<Add:i\d+>>      Add [<<Arg>>,<<Not>>]
## CHECK-DAG:                       Return [<<Add>>]

## CHECK-START: int SmaliTests2.$noinline$NotNot2(int) instruction_simplifier (after)
## CHECK:                           Not
## CHECK-NOT:                       Not

## CHECK-START: int SmaliTests2.$noinline$NotNot2(int) instruction_simplifier (after)
## CHECK-NOT:                       Xor

# Original java source:
#
#     int temp = ~arg;
#     return temp + ~temp;
#
.method public static $noinline$NotNot2(I)I
    .registers 3
    .param p0, "arg"    # I

    .prologue
    .line 1026
    xor-int/lit8 v0, p0, -0x1

    .line 1027
    .local v0, "temp":I
    xor-int/lit8 v1, v0, -0x1

    add-int/2addr v1, v0

    return v1
.end method

# Original java source:
#
#     return !arg;
#
.method public static NegateValue(Z)Z
    .registers 2
    .param p0, "arg"    # Z

    .prologue
    .line 1216
    if-nez p0, :cond_4

    const/4 v0, 0x1

    :goto_3
    return v0

    :cond_4
    const/4 v0, 0x0

    goto :goto_3
.end method

# Test simplification of double Boolean negation. Note that sometimes
# both negations can be removed but we only expect the simplifier to
# remove the second.

## CHECK-START: boolean SmaliTests2.$noinline$NotNotBool(boolean) instruction_simplifier (before)
## CHECK-DAG:     <<Arg:z\d+>>       ParameterValue
## CHECK-DAG:     <<Const1:i\d+>>    IntConstant 0
## CHECK-DAG:     <<Result:z\d+>>    InvokeStaticOrDirect method_name:SmaliTests2.NegateValue
## CHECK-DAG:     <<NotResult:z\d+>> NotEqual [<<Result>>,<<Const1>>]
## CHECK-DAG:                        If [<<NotResult>>]

## CHECK-START: boolean SmaliTests2.$noinline$NotNotBool(boolean) instruction_simplifier (after)
## CHECK-NOT:                        NotEqual

## CHECK-START: boolean SmaliTests2.$noinline$NotNotBool(boolean) instruction_simplifier (after)
## CHECK-DAG:     <<Arg:z\d+>>       ParameterValue
## CHECK-DAG:     <<Result:z\d+>>    InvokeStaticOrDirect method_name:SmaliTests2.NegateValue
## CHECK-DAG:     <<Const0:i\d+>>    IntConstant 0
## CHECK-DAG:     <<Const1:i\d+>>    IntConstant 1
## CHECK-DAG:     <<Phi:i\d+>>       Phi [<<Const1>>,<<Const0>>]
## CHECK-DAG:                        Return [<<Phi>>]

## CHECK-START: boolean SmaliTests2.$noinline$NotNotBool(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:                        If [<<Arg>>]
## CHECK-DAG:     <<Phi:i\d+>>       Phi [<<Const1>>,<<Const0>>]
## CHECK-DAG:                        Return [<<Phi>>]

## CHECK-START: boolean SmaliTests2.$noinline$NotNotBool(boolean) instruction_simplifier$after_gvn (after)
## CHECK-DAG:     <<Arg:z\d+>>       ParameterValue
## CHECK-DAG:                        Return [<<Arg>>]

# Original java source:
#
#     return !(NegateValue(arg));
#
.method public static $noinline$NotNotBool(Z)Z
    .registers 2
    .param p0, "arg"    # Z

    .prologue
    .line 1220
    invoke-static {p0}, LSmaliTests2;->NegateValue(Z)Z

    move-result v0

    if-nez v0, :cond_8

    const/4 v0, 0x1

    :goto_7
    return v0

    :cond_8
    const/4 v0, 0x0

    goto :goto_7
.end method

## CHECK-START: int SmaliTests2.$noinline$bug68142795Short(short) instruction_simplifier (before)
## CHECK-DAG:      <<Arg:s\d+>>      ParameterValue
## CHECK-DAG:      <<Const:i\d+>>    IntConstant 65535
## CHECK-DAG:      <<And1:i\d+>>     And [<<Arg>>,<<Const>>]
## CHECK-DAG:      <<And2:i\d+>>     And [<<And1>>,<<Const>>]
## CHECK-DAG:      <<Conv:s\d+>>     TypeConversion [<<And2>>]
## CHECK-DAG:                        Return [<<Conv>>]

## CHECK-START: int SmaliTests2.$noinline$bug68142795Short(short) instruction_simplifier (after)
## CHECK-DAG:      <<Arg:s\d+>>      ParameterValue
## CHECK-DAG:                        Return [<<Arg>>]

# Original java source
#
#     return (short)(0xffff & (s & 0xffff));
#
.method public static $noinline$bug68142795Short(S)I
    .registers 3
    .param p0, "s"    # S

    .prologue
    const v1, 0xffff

    .line 2562
    and-int v0, p0, v1

    and-int/2addr v0, v1

    int-to-short v0, v0

    return v0
.end method

# Original java source
#
#     return 255;
#
.method private static $inline$get255()I
    .registers 1

    .prologue
    .line 2849
    const/16 v0, 0xff

    return v0
.end method

## CHECK-START: int SmaliTests2.$noinline$bug68142795Boolean(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:      <<Const255:i\d+>> IntConstant 255
## CHECK-DAG:                        If [<<Arg>>]
## CHECK-DAG:      <<Phi:i\d+>>      Phi [<<Const1>>,<<Const0>>]
## CHECK-DAG:      <<And:i\d+>>      And [<<Const255>>,<<Phi>>]
## CHECK-DAG:      <<Conv:b\d+>>     TypeConversion [<<And>>]
## CHECK-DAG:                        Return [<<Conv>>]

## CHECK-START: int SmaliTests2.$noinline$bug68142795Boolean(boolean) instruction_simplifier$after_gvn (after)
## CHECK-DAG:      <<Arg:z\d+>>      ParameterValue
## CHECK-DAG:                        Return [<<Arg>>]

# Original java source
#
#     int v = b ? 1 : 0;  // Should be simplified to "b" after inlining.
#     return (byte)($inline$get255() & v);
#
.method public static $noinline$bug68142795Boolean(Z)I
    .registers 3
    .param p0, "b"    # Z

    .prologue
    .line 2580
    if-eqz p0, :cond_a

    const/4 v0, 0x1

    .line 2581
    .local v0, "v":I
    :goto_3
    invoke-static {}, LSmaliTests2;->$inline$get255()I

    move-result v1

    and-int/2addr v1, v0

    int-to-byte v1, v1

    return v1

    .line 2580
    .end local v0    # "v":I
    :cond_a
    const/4 v0, 0x0

    goto :goto_3
.end method