src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.amd64/src/org/graalvm/compiler/replacements/amd64/AMD64StringSubstitutions.java
author iveresov
Fri, 17 Aug 2018 13:20:53 -0700
changeset 51436 091c0d22e735
parent 50858 2d3e99a72541
child 52578 7dd81e82d083
permissions -rw-r--r--
8206992: 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
 */
50858
2d3e99a72541 8205824: Update Graal
never
parents: 49873
diff changeset
    23
2d3e99a72541 8205824: Update Graal
never
parents: 49873
diff changeset
    24
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    25
package org.graalvm.compiler.replacements.amd64;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    26
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    27
import org.graalvm.compiler.api.replacements.ClassSubstitution;
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    28
import org.graalvm.compiler.api.replacements.Fold;
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    29
import org.graalvm.compiler.api.replacements.Fold.InjectedParameter;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    30
import org.graalvm.compiler.api.replacements.MethodSubstitution;
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    31
import org.graalvm.compiler.core.common.SuppressFBWarnings;
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    32
import org.graalvm.compiler.core.common.spi.ArrayOffsetProvider;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    33
import org.graalvm.compiler.graph.Node.ConstantNodeParameter;
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    34
import org.graalvm.compiler.replacements.StringSubstitutions;
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    35
import org.graalvm.compiler.replacements.nodes.ArrayCompareToNode;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    36
import org.graalvm.compiler.word.Word;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 49451
diff changeset
    37
import jdk.internal.vm.compiler.word.Pointer;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    38
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    39
import jdk.vm.ci.meta.JavaKind;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    40
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    41
// JaCoCo Exclude
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    42
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    43
/**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    44
 * Substitutions for {@link java.lang.String} methods.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    45
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    46
@ClassSubstitution(String.class)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    47
public class AMD64StringSubstitutions {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    48
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    49
    @Fold
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    50
    static int charArrayBaseOffset(@InjectedParameter ArrayOffsetProvider arrayOffsetProvider) {
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    51
        return arrayOffsetProvider.arrayBaseOffset(JavaKind.Char);
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    52
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    53
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    54
    @Fold
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    55
    static int charArrayIndexScale(@InjectedParameter ArrayOffsetProvider arrayOffsetProvider) {
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    56
        return arrayOffsetProvider.arrayScalingFactor(JavaKind.Char);
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    57
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    58
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    59
    /** Marker value for the {@link InjectedParameter} injected parameter. */
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    60
    static final ArrayOffsetProvider INJECTED = null;
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    61
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    62
    // Only exists in JDK <= 8
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    63
    @MethodSubstitution(isStatic = true, optional = true)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    64
    public static int indexOf(char[] source, int sourceOffset, int sourceCount,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    65
                    @ConstantNodeParameter char[] target, int targetOffset, int targetCount,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    66
                    int origFromIndex) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    67
        int fromIndex = origFromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    68
        if (fromIndex >= sourceCount) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    69
            return (targetCount == 0 ? sourceCount : -1);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    70
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    71
        if (fromIndex < 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    72
            fromIndex = 0;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    73
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    74
        if (targetCount == 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    75
            // The empty string is in every string.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    76
            return fromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    77
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    78
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    79
        int totalOffset = sourceOffset + fromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    80
        if (sourceCount - fromIndex < targetCount) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    81
            // The empty string contains nothing except the empty string.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    82
            return -1;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    83
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    84
        assert sourceCount - fromIndex > 0 && targetCount > 0;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    85
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    86
        Pointer sourcePointer = Word.objectToTrackedPointer(source).add(charArrayBaseOffset(INJECTED)).add(totalOffset * charArrayIndexScale(INJECTED));
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    87
        Pointer targetPointer = Word.objectToTrackedPointer(target).add(charArrayBaseOffset(INJECTED)).add(targetOffset * charArrayIndexScale(INJECTED));
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    88
        int result = AMD64StringIndexOfNode.optimizedStringIndexPointer(sourcePointer, sourceCount - fromIndex, targetPointer, targetCount);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    89
        if (result >= 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    90
            return result + totalOffset;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    91
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    92
        return result;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    93
    }
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    94
51436
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
    95
    // Only exists in JDK <= 8
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
    96
    @MethodSubstitution(isStatic = false, optional = true)
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
    97
    public static int indexOf(String source, int ch, int origFromIndex) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
    98
        int fromIndex = origFromIndex;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
    99
        final int sourceCount = source.length();
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   100
        if (fromIndex >= sourceCount) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   101
            // Note: fromIndex might be near -1>>>1.
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   102
            return -1;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   103
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   104
        if (fromIndex < 0) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   105
            fromIndex = 0;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   106
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   107
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   108
        if (ch < Character.MIN_SUPPLEMENTARY_CODE_POINT) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   109
            char[] sourceArray = StringSubstitutions.getValue(source);
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   110
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   111
            Pointer sourcePointer = Word.objectToTrackedPointer(sourceArray).add(charArrayBaseOffset(INJECTED)).add(fromIndex * charArrayIndexScale(INJECTED));
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   112
            int result = AMD64ArrayIndexOfNode.optimizedArrayIndexOf(sourcePointer, sourceCount - fromIndex, (char) ch, JavaKind.Char);
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   113
            if (result != -1) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   114
                return result + fromIndex;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   115
            }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   116
            return result;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   117
        } else {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   118
            return indexOf(source, ch, origFromIndex);
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   119
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   120
    }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   121
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   122
    @MethodSubstitution(isStatic = false)
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   123
    @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
   124
    public static int compareTo(String receiver, String anotherString) {
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   125
        if (receiver == anotherString) {
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   126
            return 0;
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   127
        }
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   128
        char[] value = StringSubstitutions.getValue(receiver);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   129
        char[] other = StringSubstitutions.getValue(anotherString);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   130
        return ArrayCompareToNode.compareTo(value, other, value.length << 1, other.length << 1, JavaKind.Char, JavaKind.Char);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   131
    }
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   132
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   133
}