]> git.ipfire.org Git - thirdparty/gcc.git/commit
d: vector float comparison doesn't result in 0 or -1 [PR108945]
authorIain Buclaw <ibuclaw@gdcproject.org>
Mon, 27 Feb 2023 15:02:21 +0000 (16:02 +0100)
committerIain Buclaw <ibuclaw@gdcproject.org>
Fri, 3 Mar 2023 00:24:28 +0000 (01:24 +0100)
commit51af8a6401eea726d3498e6b2aba456b6af246d6
tree896bb861a63434eca3f5aec7c30de518ab106b89
parent14db9ed505d9eb84695f900017a95bc3f6c27ffe
d: vector float comparison doesn't result in 0 or -1 [PR108945]

When comparing two vectors, the type of vector was used as the result of
the condition result.  This meant that for floating point comparisons,
each value would either be `0.0' or `-1.0' reinterpreted as an integer,
not the expected integral bitmask values `0' and `-1'.

Instead, use the comparison type determined by truth_type_for as the
result of the comparison.  If a reinterpret is later required by the
final conversion for generating CmpExp, it is still only going to
reinterpret one integer kind as another.

PR d/108945

gcc/d/ChangeLog:

* d-codegen.cc (build_boolop): Evaluate vector comparison as
the truth_type_for vector type.

gcc/testsuite/ChangeLog:

* gdc.dg/pr108945.d: New test.
gcc/d/d-codegen.cc
gcc/testsuite/gdc.dg/pr108945.d [new file with mode: 0644]