src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.amd64/src/org/graalvm/compiler/replacements/amd64/AMD64StringSubstitutions.java
author dlong
Sat, 08 Dec 2018 00:56:10 -0800
changeset 52910 583fd71c47d6
parent 52578 7dd81e82d083
child 54084 84f10bbf993f
permissions -rw-r--r--
8214023: 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
/*
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 52578
diff changeset
     2
 * Copyright (c) 2013, 2018, Oracle and/or its affiliates. All rights reserved.
46344
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;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    32
import org.graalvm.compiler.graph.Node.ConstantNodeParameter;
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    33
import org.graalvm.compiler.replacements.StringSubstitutions;
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
    34
import org.graalvm.compiler.replacements.nodes.ArrayCompareToNode;
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    35
import org.graalvm.compiler.replacements.nodes.ArrayRegionEqualsNode;
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;
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    40
import jdk.vm.ci.meta.MetaAccessProvider;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    41
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    42
// JaCoCo Exclude
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    43
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    44
/**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    45
 * Substitutions for {@link java.lang.String} methods.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    46
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    47
@ClassSubstitution(String.class)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    48
public class AMD64StringSubstitutions {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    49
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    50
    @Fold
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    51
    static int charArrayBaseOffset(@InjectedParameter MetaAccessProvider metaAccess) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    52
        return metaAccess.getArrayBaseOffset(JavaKind.Char);
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    53
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    54
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    55
    @Fold
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    56
    static int charArrayIndexScale(@InjectedParameter MetaAccessProvider metaAccess) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    57
        return metaAccess.getArrayIndexScale(JavaKind.Char);
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    58
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    59
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    60
    /** Marker value for the {@link InjectedParameter} injected parameter. */
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    61
    static final MetaAccessProvider INJECTED = null;
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    62
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    63
    // Only exists in JDK <= 8
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    64
    @MethodSubstitution(isStatic = true, optional = true)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    65
    public static int indexOf(char[] source, int sourceOffset, int sourceCount,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    66
                    @ConstantNodeParameter char[] target, int targetOffset, int targetCount,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    67
                    int origFromIndex) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    68
        int fromIndex = origFromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    69
        if (fromIndex >= sourceCount) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    70
            return (targetCount == 0 ? sourceCount : -1);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    71
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    72
        if (fromIndex < 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    73
            fromIndex = 0;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    74
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    75
        if (targetCount == 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    76
            // The empty string is in every string.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    77
            return fromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    78
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    79
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    80
        int totalOffset = sourceOffset + fromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    81
        if (sourceCount - fromIndex < targetCount) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    82
            // The empty string contains nothing except the empty string.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    83
            return -1;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    84
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    85
        assert sourceCount - fromIndex > 0 && targetCount > 0;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    86
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    87
        if (targetCount == 1) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    88
            Pointer sourcePointer = Word.objectToTrackedPointer(source).add(charArrayBaseOffset(INJECTED)).add(totalOffset * charArrayIndexScale(INJECTED));
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    89
            int indexOfResult = AMD64ArrayIndexOf.indexOf1Char(sourcePointer, sourceCount - fromIndex, target[targetOffset]);
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    90
            if (indexOfResult >= 0) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    91
                return indexOfResult + totalOffset;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    92
            }
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    93
            return indexOfResult;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    94
        } else if (targetCount == 2) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    95
            Pointer sourcePointer = Word.objectToTrackedPointer(source).add(charArrayBaseOffset(INJECTED)).add(totalOffset * charArrayIndexScale(INJECTED));
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    96
            int indexOfResult = AMD64ArrayIndexOf.indexOfTwoConsecutiveChars(sourcePointer, sourceCount - fromIndex, target[targetOffset], target[targetOffset + 1]);
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    97
            if (indexOfResult >= 0) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    98
                return indexOfResult + totalOffset;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    99
            }
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   100
            return indexOfResult;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   101
        } else {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   102
            int haystackLength = sourceCount - (fromIndex + (targetCount - 2));
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   103
            while (haystackLength > 0) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   104
                Pointer sourcePointer = Word.objectToTrackedPointer(source).add(charArrayBaseOffset(INJECTED)).add(totalOffset * charArrayIndexScale(INJECTED));
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   105
                int indexOfResult = AMD64ArrayIndexOf.indexOfTwoConsecutiveChars(sourcePointer, haystackLength, target[targetOffset], target[targetOffset + 1]);
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   106
                if (indexOfResult < 0) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   107
                    return -1;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   108
                }
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   109
                totalOffset += indexOfResult;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   110
                haystackLength -= (indexOfResult + 1);
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   111
                Pointer cmpSourcePointer = Word.objectToTrackedPointer(source).add(charArrayBaseOffset(INJECTED)).add(totalOffset * charArrayIndexScale(INJECTED));
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   112
                Pointer targetPointer = Word.objectToTrackedPointer(target).add(charArrayBaseOffset(INJECTED)).add(targetOffset * charArrayIndexScale(INJECTED));
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   113
                if (ArrayRegionEqualsNode.regionEquals(cmpSourcePointer, targetPointer, targetCount, JavaKind.Char)) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   114
                    return totalOffset;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   115
                }
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   116
                totalOffset++;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   117
            }
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   118
            return -1;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   119
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   120
    }
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   121
51436
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   122
    // Only exists in JDK <= 8
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   123
    @MethodSubstitution(isStatic = false, optional = true)
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   124
    public static int indexOf(String source, int ch, int origFromIndex) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   125
        int fromIndex = origFromIndex;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   126
        final int sourceCount = source.length();
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   127
        if (fromIndex >= sourceCount) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   128
            // Note: fromIndex might be near -1>>>1.
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   129
            return -1;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   130
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   131
        if (fromIndex < 0) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   132
            fromIndex = 0;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   133
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   134
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   135
        if (ch < Character.MIN_SUPPLEMENTARY_CODE_POINT) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   136
            char[] sourceArray = StringSubstitutions.getValue(source);
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   137
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   138
            Pointer sourcePointer = Word.objectToTrackedPointer(sourceArray).add(charArrayBaseOffset(INJECTED)).add(fromIndex * charArrayIndexScale(INJECTED));
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   139
            int result = AMD64ArrayIndexOf.indexOf1Char(sourcePointer, sourceCount - fromIndex, (char) ch);
51436
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   140
            if (result != -1) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   141
                return result + fromIndex;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   142
            }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   143
            return result;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   144
        } else {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   145
            return indexOf(source, ch, origFromIndex);
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   146
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   147
    }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   148
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   149
    @MethodSubstitution(isStatic = false)
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   150
    @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
   151
    public static int compareTo(String receiver, String anotherString) {
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   152
        if (receiver == anotherString) {
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   153
            return 0;
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   154
        }
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   155
        char[] value = StringSubstitutions.getValue(receiver);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   156
        char[] other = StringSubstitutions.getValue(anotherString);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   157
        return ArrayCompareToNode.compareTo(value, other, value.length << 1, other.length << 1, JavaKind.Char, JavaKind.Char);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   158
    }
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   159
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   160
}