[WASM] Eliminate SIMD boolean vector types.

[WASM] Eliminate SIMD boolean vector types.
- Eliminates b1x4, b1x8, and b1x16 as distinct WASM types.
- All vector comparisons return v128 type.
- Eliminates b1xN and, or, xor, not.
- Selects take a v128 mask vector and are now bit-wise.
- Adds a new test for Select, where mask is non-canonical (not 0's and -1's).

LOG=N
BUG=v8:6020
Review-Url: https://codereview.chromium.org/2919203002
Cr-Commit-Position: refs/heads/master@{#45795}
Committed: https://chromium.googlesource.com/v8/v8/+/381f7da02c4d8a641f329d23e06f99d7c75d5643

[bbudge, 2017-06-04 15:02:05]

The CQ bit was checked by bbudge@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2017-06-04 15:02:11]

Dry run: CQ is trying da patch.

Follow status at:
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-06-04 15:07:54]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-06-04 15:07:55]

Dry run: Try jobs failed on following builders:
  v8_linux_mipsel_compile_rel on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux_mipsel_compile_rel...)

[bbudge, 2017-06-04 15:30:00]

The CQ bit was checked by bbudge@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2017-06-04 15:30:01]

Dry run: CQ is trying da patch.

Follow status at:
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[bbudge, 2017-06-05 17:09:11]

Description was changed from

==========
Eliminate WASM boolean vector types.

LOG=N
BUG=v8:6020
==========

to

==========
Eliminate WASM boolean vector types.
- Eliminates b1x4, b1x8, and b1x16 as distinct WASM types.
- Comparisons return v128 types.
- Selects take a v128 mask vector, which is canonicalized if necessary.
- Internally, we track the vector type using a MachineRepresentation of
  s1x4, s1x8, or s1x16, and during code generation, skip the canonicalization
  when we can.
- Adds a new test for Select, where mask is 0's and 1's (not 0's and -1's).
  This test passes on ARM, but will fail on MIPS, MIPS64, and x64 until
  mask canonicalization is added.

LOG=N
BUG=v8:6020
==========

[bbudge, 2017-06-05 17:11:48]

bbudge@chromium.org changed reviewers:
+ aseemgarg@chromium.org, bmeurer@chromium.org, bradnelson@chromium.org,
dusan.simicic@imgtec.com, gdeepti@chromium.org

[bbudge, 2017-06-05 17:11:49]

+gdeepti for x64.
+aseemgarg for SIMD scalar lowering.
+dusan.simicic for MIPS.
+bmeurer, bradnelson for the rest.

[bbudge, 2017-06-06 23:16:17]

Description was changed from

==========
Eliminate WASM boolean vector types.
- Eliminates b1x4, b1x8, and b1x16 as distinct WASM types.
- Comparisons return v128 types.
- Selects take a v128 mask vector, which is canonicalized if necessary.
- Internally, we track the vector type using a MachineRepresentation of
  s1x4, s1x8, or s1x16, and during code generation, skip the canonicalization
  when we can.
- Adds a new test for Select, where mask is 0's and 1's (not 0's and -1's).
  This test passes on ARM, but will fail on MIPS, MIPS64, and x64 until
  mask canonicalization is added.

LOG=N
BUG=v8:6020
==========

to

==========
[WASM] Eliminate SIMD boolean vector types.
- Eliminates b1x4, b1x8, and b1x16 as distinct WASM types.
- All vector comparisons return v128 type.
- Eliminates b1xN and, or, xor, not.
- Selects take a v128 mask vector and are now bit-wise.
- Adds a new test for Select, where mask is non-canonical (not 0's and -1's).

LOG=N
BUG=v8:6020
==========

[bbudge, 2017-06-06 23:16:27]

The CQ bit was checked by bbudge@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2017-06-06 23:16:37]

Dry run: CQ is trying da patch.

Follow status at:
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-06-06 23:18:07]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-06-06 23:18:08]

Dry run: Try jobs failed on following builders:
  v8_linux64_avx2_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux64_avx2_rel_ng/buil...)
  v8_linux64_gyp_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux64_gyp_rel_ng/build...)
  v8_linux64_verify_csa_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux64_verify_csa_rel_n...)
  v8_linux_gcc_compile_rel on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_linux_gcc_compile_rel/bu...)
  v8_mac_rel_ng on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_mac_rel_ng/builds/23596)

[bbudge, 2017-06-06 23:35:16]

The CQ bit was checked by bbudge@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2017-06-06 23:35:17]

Dry run: CQ is trying da patch.

Follow status at:
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-06-06 23:38:56]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-06-06 23:38:56]

Dry run: Try jobs failed on following builders:
  v8_android_arm_compile_rel on master.tryserver.v8 (JOB_FAILED,
http://build.chromium.org/p/tryserver.v8/builders/v8_android_arm_compile_rel/...)

[bbudge, 2017-06-06 23:54:43]

The CQ bit was checked by bbudge@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2017-06-06 23:54:52]

Dry run: CQ is trying da patch.

Follow status at:
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-06-07 00:23:30]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-06-07 00:23:31]

Dry run: This issue passed the CQ dry run.

[bbudge, 2017-06-07 02:24:45]

This simplification will bring us into line with Mozilla, and the rough
consensus at the WASM CG meeting last week.

Benedikt, if you'd review the removal of the 3 WASM and MachineTypes.

Aseem, I had to make more changes than I thought to SIMD scalar lowering, so
PTAL.

Deepti and Dusan, this is more of an FYI unless you'd like to review or request
changes.

[Benedikt Meurer, 2017-06-07 03:54:48]

Nice! Remove all the boolean vectors! :-)

LGTM from my side.

[dusan.simicic, 2017-06-07 09:40:07]

lgtm for mips part

[bradnelson, 2017-06-07 14:40:46]

lgtm on wasm ops.

[bbudge, 2017-06-07 17:56:09]

The CQ bit was checked by bbudge@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2017-06-07 17:56:15]

Dry run: CQ is trying da patch.

Follow status at:
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-06-07 18:25:04]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-06-07 18:25:06]

Dry run: This issue passed the CQ dry run.

[bbudge, 2017-06-08 20:25:35]

The CQ bit was checked by bbudge@chromium.org

[bbudge, 2017-06-08 20:25:35]

The patchset sent to the CQ was uploaded after l-g-t-m from
bmeurer@chromium.org, bradnelson@chromium.org, dusan.simicic@imgtec.com
Link to the patchset: https://codereview.chromium.org/2919203002/#ps140001
(title: "Restore DCHECKs in AssembleMove/Swap now that we're back to 1 SIMD
representation.")

[commit-bot: I haz the power, 2017-06-08 20:25:40]

CQ is trying da patch.

Follow status at:
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-06-08 20:54:33]

CQ is committing da patch.

Bot data: {"patchset_id": 140001, "attempt_start_ts": 1496953535381630,
"parent_rev": "af76779aa3064a8d5ce8f7b88836110f3de4cfa0", "commit_rev":
"381f7da02c4d8a641f329d23e06f99d7c75d5643"}

[commit-bot: I haz the power, 2017-06-08 20:54:42]

Description was changed from

==========
[WASM] Eliminate SIMD boolean vector types.
- Eliminates b1x4, b1x8, and b1x16 as distinct WASM types.
- All vector comparisons return v128 type.
- Eliminates b1xN and, or, xor, not.
- Selects take a v128 mask vector and are now bit-wise.
- Adds a new test for Select, where mask is non-canonical (not 0's and -1's).

LOG=N
BUG=v8:6020
==========

to

==========
[WASM] Eliminate SIMD boolean vector types.
- Eliminates b1x4, b1x8, and b1x16 as distinct WASM types.
- All vector comparisons return v128 type.
- Eliminates b1xN and, or, xor, not.
- Selects take a v128 mask vector and are now bit-wise.
- Adds a new test for Select, where mask is non-canonical (not 0's and -1's).

LOG=N
BUG=v8:6020

Review-Url: https://codereview.chromium.org/2919203002
Cr-Commit-Position: refs/heads/master@{#45795}
Committed:
https://chromium.googlesource.com/v8/v8/+/381f7da02c4d8a641f329d23e06f99d7c75...
==========

[commit-bot: I haz the power, 2017-06-08 20:54:44]

Committed patchset #8 (id:140001) as
https://chromium.googlesource.com/v8/v8/+/381f7da02c4d8a641f329d23e06f99d7c75...