8340079: Modify rearrange/selectFrom Vector API methods to perform wrapIndexes instead of checkIndexes

src/jdk.incubator.vector/share/classes/jdk/incubator/vector/ByteVector.java

@@ -2436,7 +2436,7 @@ ByteVector rearrangeTemplate(Class<S> shuffletype,
                    this, ws, m,
                    (v1, s_, m_) -> v1.uOp((i, a) -> {
                         int ei = s_.laneSource(i);
-                        return ei < 0  || !m_.laneIsSet(i) ? 0 : v1.lane(ei);
+                        return !m_.laneIsSet(i) ? 0 : v1.lane(ei);
                    }));
     }
 

src/jdk.incubator.vector/share/classes/jdk/incubator/vector/DoubleVector.java

@@ -2278,7 +2278,7 @@ DoubleVector rearrangeTemplate(Class<S> shuffletype,
                    this, ws, m,
                    (v1, s_, m_) -> v1.uOp((i, a) -> {
                         int ei = s_.laneSource(i);
-                        return ei < 0  || !m_.laneIsSet(i) ? 0 : v1.lane(ei);
+                        return !m_.laneIsSet(i) ? 0 : v1.lane(ei);
                    }));
     }
 

src/jdk.incubator.vector/share/classes/jdk/incubator/vector/FloatVector.java

@@ -2290,7 +2290,7 @@ FloatVector rearrangeTemplate(Class<S> shuffletype,
                    this, ws, m,
                    (v1, s_, m_) -> v1.uOp((i, a) -> {
                         int ei = s_.laneSource(i);
-                        return ei < 0  || !m_.laneIsSet(i) ? 0 : v1.lane(ei);
+                        return !m_.laneIsSet(i) ? 0 : v1.lane(ei);
                    }));
     }
 

src/jdk.incubator.vector/share/classes/jdk/incubator/vector/IntVector.java

@@ -2421,7 +2421,7 @@ IntVector rearrangeTemplate(Class<S> shuffletype,
                    this, ws, m,
                    (v1, s_, m_) -> v1.uOp((i, a) -> {
                         int ei = s_.laneSource(i);
-                        return ei < 0  || !m_.laneIsSet(i) ? 0 : v1.lane(ei);
+                        return !m_.laneIsSet(i) ? 0 : v1.lane(ei);
                    }));
     }
 

src/jdk.incubator.vector/share/classes/jdk/incubator/vector/LongVector.java

@@ -2287,7 +2287,7 @@ LongVector rearrangeTemplate(Class<S> shuffletype,
                    this, ws, m,
                    (v1, s_, m_) -> v1.uOp((i, a) -> {
                         int ei = s_.laneSource(i);
-                        return ei < 0  || !m_.laneIsSet(i) ? 0 : v1.lane(ei);
+                        return !m_.laneIsSet(i) ? 0 : v1.lane(ei);
                    }));
     }
 

src/jdk.incubator.vector/share/classes/jdk/incubator/vector/ShortVector.java

@@ -2437,7 +2437,7 @@ ShortVector rearrangeTemplate(Class<S> shuffletype,
                    this, ws, m,
                    (v1, s_, m_) -> v1.uOp((i, a) -> {
                         int ei = s_.laneSource(i);
-                        return ei < 0  || !m_.laneIsSet(i) ? 0 : v1.lane(ei);
+                        return !m_.laneIsSet(i) ? 0 : v1.lane(ei);
                    }));
     }
 

src/jdk.incubator.vector/share/classes/jdk/incubator/vector/Vector.java

@@ -2622,7 +2622,6 @@ public abstract VectorMask<E> compare(VectorOperators.Comparison op,
      * @return the rearrangement of the lane elements of this vector
      * @see #rearrange(VectorShuffle,VectorMask)
      * @see #rearrange(VectorShuffle,Vector)
-     * @see VectorShuffle#laneIsValid()
      */
     public abstract Vector<E> rearrange(VectorShuffle<E> s);
 
@@ -2641,9 +2640,7 @@ public abstract VectorMask<E> compare(VectorOperators.Comparison op,
      *
      * <p> This method returns the value of this pseudocode:
      * <pre>{@code
-     * Vector<E> r = this.rearrange(s.wrapIndexes());
-     * VectorMask<E> valid = s.laneIsValid();
-     * if (m.andNot(valid).anyTrue()) throw ...;
+     * Vector<E> r = this.rearrange(s);
      * return broadcast(0).blend(r, m);
      * }</pre>
      *
@@ -2652,7 +2649,6 @@ public abstract VectorMask<E> compare(VectorOperators.Comparison op,
      * @return the rearrangement of the lane elements of this vector
      * @see #rearrange(VectorShuffle)
      * @see #rearrange(VectorShuffle,Vector)
-     * @see VectorShuffle#laneIsValid()
      */
     public abstract Vector<E> rearrange(VectorShuffle<E> s, VectorMask<E> m);
 
@@ -2752,7 +2748,7 @@ public abstract VectorMask<E> compare(VectorOperators.Comparison op,
      * depends on the index values in {@code this}.
      *
      * The result is the same as the expression
-     * {@code v.rearrange(this.toShuffle().wrapIndexes())}.
+     * {@code v.rearrange(this.toShuffle())}.
      *
      * @param v the vector supplying the result values
      * @return the rearrangement of the lane elements of {@code v}
@@ -2776,7 +2772,7 @@ public abstract VectorMask<E> compare(VectorOperators.Comparison op,
      * this vector and the mask.
      *
      * The result is the same as the expression
-     * {@code v.rearrange(this.toShuffle().wrapIndexes(), m)}.
+     * {@code v.rearrange(this.toShuffle(), m)}.
      *
      * @param v the vector supplying the result values
      * @param m the mask controlling selection from {@code v}

src/jdk.incubator.vector/share/classes/jdk/incubator/vector/X-Vector.java.template

@@ -2813,7 +2813,7 @@ public abstract class $abstractvectortype$ extends AbstractVector<$Boxtype$> {
                    this, ws, m,
                    (v1, s_, m_) -> v1.uOp((i, a) -> {
                         int ei = s_.laneSource(i);
-                        return ei < 0  || !m_.laneIsSet(i) ? 0 : v1.lane(ei);
+                        return !m_.laneIsSet(i) ? 0 : v1.lane(ei);
                    }));
     }