Masked compare and floating point classifications #8
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Introduces:
MaskedIsNaN(v): returns mask indicating whether
v[i]
is "not a number" (unordered) orfalse
ifm[i]
is false.MaskedIsInf(v): returns mask indicating whether
v[i]
is positive or negative infinity orfalse
ifm[i]
is false.MaskedIsFinite(v): returns mask indicating whether
v[i]
is neither NaN nor infinity, i.e. normal, subnormal or zero orfalse
ifm[i]
is false. Equivalent toNot(Or(IsNaN(v), IsInf(v)))
.MaskedCompEq(m, a, b), MaskedCompNe(m, a, b), MaskedCompLt(m, a, b), MaskedCompGt(m, a, b), MaskedCompLe(m, a, b), MaskedCompGe(m, a, b), returning the output for all versions of
==, !=, <, >, >=, <=
, orfalse
ifm[i]
is false.All operations are written for both
arm_sve-inl.h
andgeneric_ops-inl.h
and, equally, tests are included for all operations.