src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.amd64/src/org/graalvm/compiler/replacements/amd64/AMD64StringSubstitutions.java
author chegar
Thu, 17 Oct 2019 20:54:25 +0100
branchdatagramsocketimpl-branch
changeset 58679 9c3209ff7550
parent 58678 9cf78a70fa4f
parent 58299 6df94ce3ab2f
permissions -rw-r--r--
datagramsocketimpl-branch: merge with default
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     1
/*
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 55509
diff changeset
     2
 * Copyright (c) 2013, 2019, 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
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    86
        if (targetCount == 1) {
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54084
diff changeset
    87
            return AMD64ArrayIndexOf.indexOf1Char(source, sourceCount, totalOffset, target[targetOffset]);
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    88
        } else {
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54084
diff changeset
    89
            int haystackLength = sourceCount - (targetCount - 2);
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54084
diff changeset
    90
            while (totalOffset < haystackLength) {
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54084
diff changeset
    91
                int indexOfResult = AMD64ArrayIndexOf.indexOfTwoConsecutiveChars(source, haystackLength, totalOffset, target[targetOffset], target[targetOffset + 1]);
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    92
                if (indexOfResult < 0) {
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    93
                    return -1;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    94
                }
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54084
diff changeset
    95
                totalOffset = indexOfResult;
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 55509
diff changeset
    96
                if (targetCount == 2) {
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
    97
                    return totalOffset;
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 55509
diff changeset
    98
                } else {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 55509
diff changeset
    99
                    Pointer cmpSourcePointer = Word.objectToTrackedPointer(source).add(charArrayBaseOffset(INJECTED)).add(totalOffset * charArrayIndexScale(INJECTED));
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 55509
diff changeset
   100
                    Pointer targetPointer = Word.objectToTrackedPointer(target).add(charArrayBaseOffset(INJECTED)).add(targetOffset * charArrayIndexScale(INJECTED));
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 55509
diff changeset
   101
                    if (ArrayRegionEqualsNode.regionEquals(cmpSourcePointer, targetPointer, targetCount, JavaKind.Char)) {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 55509
diff changeset
   102
                        return totalOffset;
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 55509
diff changeset
   103
                    }
52578
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   104
                }
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   105
                totalOffset++;
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   106
            }
7dd81e82d083 8210777: Update Graal
dlong
parents: 51436
diff changeset
   107
            return -1;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   108
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   109
    }
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   110
51436
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   111
    // Only exists in JDK <= 8
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   112
    @MethodSubstitution(isStatic = false, optional = true)
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   113
    public static int indexOf(String source, int ch, int origFromIndex) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   114
        int fromIndex = origFromIndex;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   115
        final int sourceCount = source.length();
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   116
        if (fromIndex >= sourceCount) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   117
            // Note: fromIndex might be near -1>>>1.
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   118
            return -1;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   119
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   120
        if (fromIndex < 0) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   121
            fromIndex = 0;
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   122
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   123
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   124
        if (ch < Character.MIN_SUPPLEMENTARY_CODE_POINT) {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   125
            char[] sourceArray = StringSubstitutions.getValue(source);
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54084
diff changeset
   126
            return AMD64ArrayIndexOf.indexOf1Char(sourceArray, sourceCount, fromIndex, (char) ch);
51436
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   127
        } else {
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   128
            return indexOf(source, ch, origFromIndex);
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   129
        }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   130
    }
091c0d22e735 8206992: Update Graal
iveresov
parents: 50858
diff changeset
   131
49451
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   132
    @MethodSubstitution(isStatic = false)
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   133
    @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
   134
    public static int compareTo(String receiver, String anotherString) {
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   135
        if (receiver == anotherString) {
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   136
            return 0;
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   137
        }
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   138
        char[] value = StringSubstitutions.getValue(receiver);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   139
        char[] other = StringSubstitutions.getValue(anotherString);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   140
        return ArrayCompareToNode.compareTo(value, other, value.length << 1, other.length << 1, JavaKind.Char, JavaKind.Char);
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   141
    }
e06f9607f370 8198969: Update Graal
iveresov
parents: 48861
diff changeset
   142
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   143
}