On Tue, Nov 13, 2018 at 9:48 AM Karol Herbst wrote:
> From: Rob Clark
>
> changes by Karol:
> v2: make compatible with 64 bit floats
> fix isfinite
> v3: use snake_case.
>
> Signed-off-by: Karol Herbst
> ---
> src/compiler/spirv/vtn_alu.c | 32
> 1 file changed, 32 insertions(+)
>
> diff --git a/src/compiler/spirv/vtn_alu.c b/src/compiler/spirv/vtn_alu.c
> index b1492c1501a..ea25d4bcbdc 100644
> --- a/src/compiler/spirv/vtn_alu.c
> +++ b/src/compiler/spirv/vtn_alu.c
> @@ -583,6 +583,38 @@ vtn_handle_alu(struct vtn_builder *b, SpvOp opcode,
>break;
> }
>
> + case SpvOpIsFinite: {
> + nir_ssa_def *inf = nir_imm_floatN_t(>nb, INFINITY,
> src[0]->bit_size);
> + nir_ssa_def *is_number = nir_feq(>nb, src[0], src[0]);
> + nir_ssa_def *is_not_inf = nir_ine(>nb, nir_fabs(>nb, src[0]),
> inf);
> + val->ssa->def = nir_iand(>nb, is_number, is_not_inf);
>
What we really want here is FOrdNotEqual. Unfortunately, I'm not sure
we're handling ordered vs. not correctly in the NIR opcodes but you should
be able to just do return is_not_inf and the abs(x) != INF will return
false if x is NaN assuming that abs handles NaN correctly.
Also, set b->nb.exact = true prior to this sequence to make it build exact
opcodes so that NIR doesn't try to optimize anything away.
Also, I think it'd be nice to have these in builder helpers. Not a bit
deal but it'd be nice.
> + break;
> + }
> +
> + case SpvOpIsNormal: {
> + unsigned bit_size = src[0]->bit_size;
> +
> + uint32_t m;
> + if (bit_size == 64)
> + m = 11;
> + else if (bit_size == 32)
> + m = 8;
> + else if (bit_size == 16)
> + m = 5;
> + else
> + assert(!"unknown float type");
> +
> + nir_ssa_def *shift = nir_imm_int(>nb, bit_size - m - 1);
> + nir_ssa_def *abs = nir_fabs(>nb, src[0]);
> + nir_ssa_def *exp = nir_iadd(>nb,
> + nir_ushr(>nb, abs, shift),
> + nir_imm_intN_t(>nb, -1, bit_size));
> + val->ssa->def = nir_ult(>nb,
> + exp,
> + nir_imm_intN_t(>nb, (1 << m) - 2,
> bit_size));
>
I think you can do this way simpler:
iand(fne(x, 0.0), i2b(iand(x, 0x7f80)))
assuming 0 is considered normal.
> + break;
> + }
> +
> case SpvOpFUnordEqual:
> case SpvOpFUnordNotEqual:
> case SpvOpFUnordLessThan:
> --
> 2.19.1
>
> ___
> mesa-dev mailing list
> mesa-dev@lists.freedesktop.org
> https://lists.freedesktop.org/mailman/listinfo/mesa-dev
>
___
mesa-dev mailing list
mesa-dev@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/mesa-dev
