On Fri, Jul 13, 2018 at 5:40 PM Uros Bizjak wrote:
>
> As demonstrated in the PR, middle-end changes the trappines of the
> compare by expanding non-trapping compare to a combination of
> setcc/cmove branchless code, e.g. UNLT is split to UNORDERED setcc and
> LT cmove.
>
> The above conversion
As demonstrated in the PR, middle-end changes the trappines of the
compare by expanding non-trapping compare to a combination of
setcc/cmove branchless code, e.g. UNLT is split to UNORDERED setcc and
LT cmove.
The above conversion is invalid w.r.t traps, since UNLT doesn't trap
on NaNs, while LT
