> Am 20.08.2019 um 13:54 schrieb Richard Sandiford :
>
> Ilya Leoshkevich writes:
>>> Am 20.08.2019 um 12:13 schrieb Richard Sandiford
>>> :
>>>
>>> Ilya Leoshkevich writes:
z13 supports only non-signaling vector comparisons. This means we
cannot vectorize LT, LE, GT, GE and LTGT wh
Ilya Leoshkevich writes:
>> Am 20.08.2019 um 12:13 schrieb Richard Sandiford :
>>
>> Ilya Leoshkevich writes:
>>> z13 supports only non-signaling vector comparisons. This means we
>>> cannot vectorize LT, LE, GT, GE and LTGT when compiling for z13.
>>> However, we cannot express this restrictio
> Am 20.08.2019 um 12:13 schrieb Richard Sandiford :
>
> Ilya Leoshkevich writes:
>> z13 supports only non-signaling vector comparisons. This means we
>> cannot vectorize LT, LE, GT, GE and LTGT when compiling for z13.
>> However, we cannot express this restriction today: the code only checks
>>
Ilya Leoshkevich writes:
> z13 supports only non-signaling vector comparisons. This means we
> cannot vectorize LT, LE, GT, GE and LTGT when compiling for z13.
> However, we cannot express this restriction today: the code only checks
> whether vcond$a$b optab, which does not contain information a
z13 supports only non-signaling vector comparisons. This means we
cannot vectorize LT, LE, GT, GE and LTGT when compiling for z13.
However, we cannot express this restriction today: the code only checks
whether vcond$a$b optab, which does not contain information about the
operation.
Introduce a h
