nir/opt_vectorize: don't lose exact and no_*_wrap flags
This fixes a bunch of dEQP GLES tests.
Reviewed-by: Eric Anholt <eric@anholt.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6694>
diff --git a/src/compiler/nir/nir_opt_vectorize.c b/src/compiler/nir/nir_opt_vectorize.c
index 13604b1..80115be 100644
--- a/src/compiler/nir/nir_opt_vectorize.c
+++ b/src/compiler/nir/nir_opt_vectorize.c
@@ -194,6 +194,17 @@
total_components, alu1->dest.dest.ssa.bit_size, NULL);
new_alu->dest.write_mask = (1 << total_components) - 1;
+ /* If either channel is exact, we have to preserve it even if it's
+ * not optimal for other channels.
+ */
+ new_alu->exact = alu1->exact || alu2->exact;
+
+ /* If all channels don't wrap, we can say that the whole vector doesn't
+ * wrap.
+ */
+ new_alu->no_signed_wrap = alu1->no_signed_wrap && alu2->no_signed_wrap;
+ new_alu->no_unsigned_wrap = alu1->no_unsigned_wrap && alu2->no_unsigned_wrap;
+
for (unsigned i = 0; i < nir_op_infos[alu1->op].num_inputs; i++) {
/* handle constant merging case */
if (alu1->src[i].src.ssa != alu2->src[i].src.ssa) {