[PATCH] D53035: [LV] Legalize SVML call instructions during vector code generation

[Karthik Senthil via Phabricator via llvm-commits]

karthiksenthil created this revision.
karthiksenthil added reviewers: hfinkel, rob.lougher, hsaito.
Herald added subscribers: llvm-commits, rogfer01, rkruppe, bollu.

This patch implements support to legalize SVML calls by
breaking down the illegal vector call instruction into multiple
legal vector call instructions during code generation.
(RFC: http://lists.llvm.org/pipermail/llvm-dev/2018-June/124357.html)

Currently the vectorizer does not check legality of the
generated SVML (or any VECLIB) call instructions, and this
can lead to potential problems even during vector type
legalization. This patch addresses this issue by adding
a legality check during code generation and replaces the
illegal SVML call with corresponding legalized instructions.

For example, if the following SVML call is generated on AVX
target (256-bit vector register):

  %1 = call <8 x double> @__svml_sin8(<8 x double> %0)

it is legalized and replaced with:

  %shuffle = shufflevector <8 x double> %0, <8 x double> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %1 = call <4 x double> @__svml_sin4(<4 x double> %shuffle)
  %shuffle9 = shufflevector <8 x double> %0, <8 x double> undef, <4 x i32> <i32 4, i32 5, i32 6, i32 7>
  %2 = call <4 x double> @__svml_sin4(<4 x double> %shuffle9)
  %combined = shufflevector <4 x double> %1, <4 x double> %2, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>

This patch also acts as an incentive to the VPlan framework
to model vector call instructions in a way that legalization
is done much before code generation in vectorizer.


Repository:
  rL LLVM

https://reviews.llvm.org/D53035

Files:
  lib/Transforms/Vectorize/LoopVectorize.cpp
  test/Transforms/LoopVectorize/X86/svml-calls-finite.ll
  test/Transforms/LoopVectorize/X86/svml-legal-calls.ll
  test/Transforms/LoopVectorize/X86/svml-legal-codegen.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D53035.168846.patch
Type: text/x-patch
Size: 32369 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181009/688986f0/attachment.bin>