OSDN Git Service

[PowerPC] Can not assume an intrinsic argument is a simple type.
authorSean Fertile <sfertile@ca.ibm.com>
Tue, 9 Jan 2018 03:03:41 +0000 (03:03 +0000)
committerSean Fertile <sfertile@ca.ibm.com>
Tue, 9 Jan 2018 03:03:41 +0000 (03:03 +0000)
commit16ee4086842b5030b33b2284f34524c1556c0736
treee47532aa76b189658955ae7c149b28f45079bed4
parentaa847cebc78de147606b5e7f83009b0afdac6838
[PowerPC] Can not assume an intrinsic argument is a simple type.

The CTRLoop pass performs checks on the argument of certain libcalls/intrinsics,
and assumes the arguments must be of a simple type. This isn't always the case
though. For example if we unroll and vectorize a loop we may end up with vectors
larger then the largest legal type, along with intrinsics that operate on those
wider types. This happened in the ffmpeg build, where we unrolled a loop and
ended up with a sqrt intrinsic that operated on V16f64, triggering an assertion.

Differential Revision: https://reviews.llvm.org/D41758

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@322055 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Target/PowerPC/PPCCTRLoops.cpp
test/CodeGen/PowerPC/non-simple-args-intrin.ll [new file with mode: 0644]