[ARM] Fix Crash in 't'/'w' handling without fp16/bf16
authorArchibald Elliott <archibald.elliott@arm.com>
Thu, 2 Mar 2023 13:44:23 +0000 (13:44 +0000)
committerArchibald Elliott <archibald.elliott@arm.com>
Mon, 6 Mar 2023 11:55:08 +0000 (11:55 +0000)
commit20b2d11896d9351ea8347e1342eb0487ecadc70f
treeeb06a71e3fbf694a8f53cbdb0240a71af37aacc1
parent3cf42c3f5dd3c03246ca13ad1a1d6abad33eeab8
[ARM] Fix Crash in 't'/'w' handling without fp16/bf16

After https://reviews.llvm.org/rGff4027d152d0 and
https://reviews.llvm.org/rG7d15212b8c0c we saw crashes in SelectionDAG
when trying to use these constraints when you don't have the fp16 or
bf16 extensions.

However, it is still possible to move 16-bit floating point values into
the right place in S registers with a normal `vmov`, even if we don't
have fp16 instructions we can use within the inline assembly string.
This patch therefore fixes the crash.

I think the reason we weren't getting this crash before is because I
think the __fp16 and __bf16 types got an error diagnostic in the Clang
frontend when you didn't have the right architectural extensions to use
them. This restriction was recently relaxed.

The approach for bf16 needs a bit more explanation. Exactly how BF16 is
legalized was changed in rGb769eb02b526e3966847351e15d283514c2ec767 -
effectively, whether you have the right instructions to get a bf16 value
into/out of a S register with MoveTo/FromHPR depends on hasFullFP16, but
whether you use a HPR for a value of type MVT::bf16 depends on hasBF16.
This is why the tests are not changed by `+bf16` vs `-bf16`, but I've
left both sets of RUN lines in case this changes in the future.

Test Changes:
- Added more testing for testing inline asm (the core part)
- fp16-promote.ll and pr47454.ll show improvements where unnecessary
  fp16-fp32 up/down-casts are no longer emitted. This results in fewer
  libcalls where those casts would be done with a libcall.
- aes-erratum-fix.ll is fairly noisy, and I need to revisit this test so
  that the IR is more minimal than it is right now, because most of the
  changes in this commit do not relate to what AES is actually trying to
  verify.

Differential Revision: https://reviews.llvm.org/D143711
llvm/lib/Target/ARM/ARMISelLowering.cpp
llvm/test/CodeGen/ARM/aes-erratum-fix.ll
llvm/test/CodeGen/ARM/fp16-promote.ll
llvm/test/CodeGen/ARM/inlineasm-fp-half.ll
llvm/test/CodeGen/ARM/pr47454.ll