Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

8265244: Remove useless comparation in LibraryCallKit::inline_vector_convert() #3507

Closed
wants to merge 2 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
5 changes: 5 additions & 0 deletions src/hotspot/cpu/aarch64/aarch64.ad
Expand Up @@ -2401,6 +2401,11 @@ const bool Matcher::match_rule_supported_vector(int opcode, int vlen, BasicType
} else { // NEON
// Special cases
switch (opcode) {
case Op_VectorReinterpret:
if (bit_size != 64 && bit_size != 128) {

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bit_size < 64 ?

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reinterpret's size should bit_size == 64 || bit_size == 128

return false;
}
break;
case Op_MulAddVS2VI:
if (bit_size < 128) {
return false;
Expand Down
4 changes: 2 additions & 2 deletions src/hotspot/share/opto/vectorIntrinsics.cpp
Expand Up @@ -1450,7 +1450,7 @@ bool LibraryCallKit::inline_vector_convert() {
// Since input and output number of elements are not consistent, we need to make sure we
// properly size. Thus, first make a cast that retains the number of elements from source.
// In case the size exceeds the arch size, we do the minimum.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If you're going to remove the MIN2 you must also change this comment.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sure. I will remove that in next commit.

int num_elem_for_cast = MIN2(num_elem_from, Matcher::max_vector_size(elem_bt_to));
int num_elem_for_cast = num_elem_from;

// It is possible that arch does not support this intermediate vector size
// TODO More complex logic required here to handle this corner case for the sizes.
Expand All @@ -1469,7 +1469,7 @@ bool LibraryCallKit::inline_vector_convert() {
} else if (num_elem_from > num_elem_to) {
// Since number elements from input is larger than output, simply reduce size of input (we are supposed to
// drop top elements anyway).
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This one too?

int num_elem_for_resize = MAX2(num_elem_to, Matcher::min_vector_size(elem_bt_from));
int num_elem_for_resize = num_elem_to;

// It is possible that arch does not support this intermediate vector size
// TODO More complex logic required here to handle this corner case for the sizes.
Expand Down
75 changes: 75 additions & 0 deletions test/hotspot/jtreg/compiler/vectorapi/TestCast4STo2I.java
@@ -0,0 +1,75 @@
/*
* Copyright (c) 2021, Huawei Technologies Co. Ltd. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/

package compiler.vectorapi;

import jdk.incubator.vector.IntVector;
import jdk.incubator.vector.ShortVector;
import jdk.incubator.vector.VectorSpecies;


/*
* @test
* @bug 8265244
* @modules jdk.incubator.vector
* @run main/othervm compiler.vectorapi.TestCast4STo2I
*/

public class TestCast4STo2I {
static final VectorSpecies<Short> SPECIESs = ShortVector.SPECIES_64;

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

SPECIES_S?

static final VectorSpecies<Integer> SPECIESi = IntVector.SPECIES_64;

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ditto


static final int INVOC_COUNT = 50000;
static final int SIZE = 64;

static short[] as = {46, 110, 117, 115, 32, 121, 109, 32, 101, 114,
97, 32, 111, 104, 119, 32, 117, 111, 121, 32,
115, 105, 32, 116, 105, 32, 100, 110, 65, 32,
46, 110, 117, 115, 32, 101, 104, 116, 32, 121,
98, 32, 121, 108, 110, 111, 32, 115, 101, 110,
105, 104, 115, 32, 114, 101, 116, 97, 119, 32,
101, 104, 84};
static int[] ai = {46, 103, 110, 97, 117, 72, 32, 71, 78, 65, 87,
32, 45, 45, 33, 117, 111, 121, 32, 103, 110,
105, 115, 115, 105, 77, 46, 117, 111, 121, 32,
111, 116, 32, 114, 101, 116, 116, 101, 108, 32,
100, 110, 111, 99, 101, 115, 32, 121, 109, 32,
115, 105, 32, 115, 105, 104, 116, 44, 121, 116,
101, 101, 119, 83};

static void testVectorCastS2I(short[] input, int[] output) {
ShortVector sv = ShortVector.fromArray(SPECIESs, input, 0);
IntVector iv = (IntVector) sv.castShape(SPECIESi, 0);
iv.intoArray(output, 0);
}

public static void main(String[] args) {
for (int i = 0; i < INVOC_COUNT; i++) {
testVectorCastS2I(as, ai);
}
for (int i = 0; i < SIZE; i++) {
System.out.print(ai[i] + ", ");
}
Comment on lines +70 to +72

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's better to add the correctness testing as well to make sure the results are right.

System.out.println();
}
}