src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.amd64/src/org/graalvm/compiler/replacements/amd64/AMD64StringSubstitutions.java
author iveresov
Fri, 02 Feb 2018 17:28:17 -0800
changeset 48861 47f19ff9903c
parent 47216 71c04702a3d5
child 49451 e06f9607f370
permissions -rw-r--r--
8194819: 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;
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    29
import org.graalvm.compiler.core.common.spi.ArrayOffsetProvider;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    30
import org.graalvm.compiler.graph.Node.ConstantNodeParameter;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    31
import org.graalvm.compiler.word.Word;
46551
d01034a83ab2 8182557: Update Graal
iveresov
parents: 46459
diff changeset
    32
import org.graalvm.word.Pointer;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    33
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    34
import jdk.vm.ci.meta.JavaKind;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    35
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    36
// JaCoCo Exclude
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    37
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    38
/**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    39
 * Substitutions for {@link java.lang.String} methods.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    40
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    41
@ClassSubstitution(String.class)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    42
public class AMD64StringSubstitutions {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    43
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    44
    @Fold
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    45
    static int charArrayBaseOffset(@InjectedParameter ArrayOffsetProvider arrayOffsetProvider) {
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    46
        return arrayOffsetProvider.arrayBaseOffset(JavaKind.Char);
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    47
    }
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    48
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    49
    @Fold
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    50
    static int charArrayIndexScale(@InjectedParameter ArrayOffsetProvider arrayOffsetProvider) {
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    51
        return arrayOffsetProvider.arrayScalingFactor(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
    /** Marker value for the {@link InjectedParameter} injected parameter. */
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    55
    static final ArrayOffsetProvider INJECTED = null;
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    56
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    57
    // Only exists in JDK <= 8
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    58
    @MethodSubstitution(isStatic = true, optional = true)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    59
    public static int indexOf(char[] source, int sourceOffset, int sourceCount,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    60
                    @ConstantNodeParameter char[] target, int targetOffset, int targetCount,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    61
                    int origFromIndex) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    62
        int fromIndex = origFromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    63
        if (fromIndex >= sourceCount) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    64
            return (targetCount == 0 ? sourceCount : -1);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    65
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    66
        if (fromIndex < 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    67
            fromIndex = 0;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    68
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    69
        if (targetCount == 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    70
            // The empty string is in every string.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    71
            return fromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    72
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    73
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    74
        int totalOffset = sourceOffset + fromIndex;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    75
        if (sourceCount - fromIndex < targetCount) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    76
            // The empty string contains nothing except the empty string.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    77
            return -1;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    78
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    79
        assert sourceCount - fromIndex > 0 && targetCount > 0;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    80
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    81
        Pointer sourcePointer = Word.objectToTrackedPointer(source).add(charArrayBaseOffset(INJECTED)).add(totalOffset * charArrayIndexScale(INJECTED));
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    82
        Pointer targetPointer = Word.objectToTrackedPointer(target).add(charArrayBaseOffset(INJECTED)).add(targetOffset * charArrayIndexScale(INJECTED));
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    83
        int result = AMD64StringIndexOfNode.optimizedStringIndexPointer(sourcePointer, sourceCount - fromIndex, targetPointer, targetCount);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    84
        if (result >= 0) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    85
            return result + totalOffset;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    86
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    87
        return result;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    88
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    89
}