RFR: 8282432: Optimize masked "test" Vector API with predicate feature

Xiaohong Gong xgong at openjdk.java.net
Wed Mar 2 03:46:27 UTC 2022


The vector `"test"` api is implemented with vector `"compare"`. And the masked `"test" `is implemented with `"test(op).and(m)"` which means `"compare().and(m)"` finally. Since the masked vector `"compare"` has been optimized with predicated instruction for archituctures that support the feature, the masked `"test"` can also be optimized by implementing it with the predicated compare. This could save the additional ` "and"` for architectures that support the predicate feature.

This patch optimized the masked `"test"` by implementing it with masked `"compare"`. With this patch, the following codes for the` "IS_NEGATIVE"` op for a DoubleVector with SVE:

  mov z19.d, #0
  cmpgt   p1.d, p7/z, z19.d, z17.d
  and p0.b, p7/z, p1.b, p0.b

are optimized to:

  mov z19.d, #0
  cmpgt   p0.d, p0/z, z19.d, z17.d

Also update the jtreg tests for masked` "test" ` to make sure they are hot enough to be compiled by c2.

-------------

Commit messages:
 - 8282432: Optimize masked "test" Vector API with predicate feature

Changes: https://git.openjdk.java.net/jdk/pull/7654/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=7654&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8282432
  Stats: 1233 lines in 70 files changed: 590 ins; 7 del; 636 mod
  Patch: https://git.openjdk.java.net/jdk/pull/7654.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/7654/head:pull/7654

PR: https://git.openjdk.java.net/jdk/pull/7654


More information about the core-libs-dev mailing list