src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.amd64/src/org/graalvm/compiler/replacements/amd64/AMD64StringSubstitutions.java
author dlong
Tue, 24 Apr 2018 09:04:57 -0700
changeset 49873 26ebfe8ce852
parent 49451 e06f9607f370
child 50858 2d3e99a72541
permissions -rw-r--r--
8199755: Update Graal Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     1
/*
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     2
 * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     4
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     8
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    13
 * accompanied this code).
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    14
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    18
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    21
 * questions.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    22
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    23
package org.graalvm.compiler.replacements.amd64;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    24
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    25
import org.graalvm.compiler.api.replacements.ClassSubstitution;
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    26
import org.graalvm.compiler.api.replacements.Fold;
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    27
import org.graalvm.compiler.api.replacements.Fold.InjectedParameter;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    28
import org.graalvm.compiler.api.replacements.MethodSubstitution;
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    29
import org.graalvm.compiler.core.common.SuppressFBWarnings;
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    30
import org.graalvm.compiler.core.common.spi.ArrayOffsetProvider;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    31
import org.graalvm.compiler.graph.Node.ConstantNodeParameter;
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    32
import org.graalvm.compiler.replacements.StringSubstitutions;
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    33
import org.graalvm.compiler.replacements.nodes.ArrayCompareToNode;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    34
import org.graalvm.compiler.word.Word;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 49451
diff changeset
    35
import jdk.internal.vm.compiler.word.Pointer;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    36
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    37
import jdk.vm.ci.meta.JavaKind;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    38
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    39
// JaCoCo Exclude
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    40
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    41
/**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    42
 * Substitutions for {@link java.lang.String} methods.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    43
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    44
@ClassSubstitution(String.class)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    45
public class AMD64StringSubstitutions {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    46
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    47
    @Fold
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    48
    static int charArrayBaseOffset(@InjectedParameter ArrayOffsetProvider arrayOffsetProvider) {
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    49
        return arrayOffsetProvider.arrayBaseOffset(JavaKind.Char);
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    50
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    51
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    52
    @Fold
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    53
    static int charArrayIndexScale(@InjectedParameter ArrayOffsetProvider arrayOffsetProvider) {
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    54
        return arrayOffsetProvider.arrayScalingFactor(JavaKind.Char);
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    55
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    56
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    57
    /** Marker value for the {@link InjectedParameter} injected parameter. */
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    58
    static final ArrayOffsetProvider INJECTED = null;
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    59
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    60
    // Only exists in JDK <= 8
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    61
    @MethodSubstitution(isStatic = true, optional = true)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    62
    public static int indexOf(char[] source, int sourceOffset, int sourceCount,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    63
                    @ConstantNodeParameter char[] target, int targetOffset, int targetCount,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    64
                    int origFromIndex) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    65
        int fromIndex = origFromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    66
        if (fromIndex >= sourceCount) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    67
            return (targetCount == 0 ? sourceCount : -1);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    68
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    69
        if (fromIndex < 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    70
            fromIndex = 0;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    71
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    72
        if (targetCount == 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    73
            // The empty string is in every string.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    74
            return fromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    75
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    76
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    77
        int totalOffset = sourceOffset + fromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    78
        if (sourceCount - fromIndex < targetCount) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    79
            // The empty string contains nothing except the empty string.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    80
            return -1;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    81
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    82
        assert sourceCount - fromIndex > 0 && targetCount > 0;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    83
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    84
        Pointer sourcePointer = Word.objectToTrackedPointer(source).add(charArrayBaseOffset(INJECTED)).add(totalOffset * charArrayIndexScale(INJECTED));
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    85
        Pointer targetPointer = Word.objectToTrackedPointer(target).add(charArrayBaseOffset(INJECTED)).add(targetOffset * charArrayIndexScale(INJECTED));
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    86
        int result = AMD64StringIndexOfNode.optimizedStringIndexPointer(sourcePointer, sourceCount - fromIndex, targetPointer, targetCount);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    87
        if (result >= 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    88
            return result + totalOffset;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    89
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    90
        return result;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    91
    }
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    92
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    93
    @MethodSubstitution(isStatic = false)
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    94
    @SuppressFBWarnings(value = "ES_COMPARING_PARAMETER_STRING_WITH_EQ", justification = "reference equality on the receiver is what we want")
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    95
    public static int compareTo(String receiver, String anotherString) {
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    96
        if (receiver == anotherString) {
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    97
            return 0;
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    98
        }
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    99
        char[] value = StringSubstitutions.getValue(receiver);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   100
        char[] other = StringSubstitutions.getValue(anotherString);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   101
        return ArrayCompareToNode.compareTo(value, other, value.length << 1, other.length << 1, JavaKind.Char, JavaKind.Char);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   102
    }
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   103
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   104
}