[X86] ReplaceNodeResults - fp_to_sint/uint - manually widen v2i32 results to let...
authorSimon Pilgrim <llvm-dev@redking.me.uk>
Fri, 9 Jul 2021 10:48:25 +0000 (11:48 +0100)
committerSimon Pilgrim <llvm-dev@redking.me.uk>
Fri, 9 Jul 2021 11:07:33 +0000 (12:07 +0100)
commit9dbeac16ba9b7a5121c0ce5ba8b7eb5c46ce2b15
treee736493b3812007860183f600c922d1c4cac975c
parent9c5e65691e129a816ea4bba10be103ca67172ca5
[X86] ReplaceNodeResults - fp_to_sint/uint - manually widen v2i32 results to let us add AssertSext/AssertZext

Its proving tricky to move this to the generic legalizer code, so manually insert the v2i32 subvector into v4i32, insert the AssertSext/AssertZext node, then extract the subvector again.

This avoids masks in the truncation/pack code, which means we avoid a PSHUFB in the fp_to_sint/uint code for sub-128 bit types (specific targets can still combine the packs to a pshufb if they have fast variable per-lane shuffles).

This was noticed when I was trying to improve fp_to_sint/uint costs with D103695 (and some targets had very high fp_to_sint costs due to the PSHUFB), so we can then update the fp_to_uint codegen from D89697.
llvm/lib/Target/X86/X86ISelLowering.cpp
llvm/test/CodeGen/X86/vec-strict-fptoint-128.ll
llvm/test/CodeGen/X86/vec_cast3.ll
llvm/test/CodeGen/X86/vec_fp_to_int.ll