Fix the verifier to handle intrinsics with LLVMMatchType parameters, where
authorBob Wilson <bob.wilson@apple.com>
Wed, 29 Jul 2009 16:35:59 +0000 (16:35 +0000)
committerBob Wilson <bob.wilson@apple.com>
Wed, 29 Jul 2009 16:35:59 +0000 (16:35 +0000)
commit09b1366f3f310b5648aa8cd72ed16b9f19b4c68d
treec388f73f5da14ab27fb395151a39b5c304537a09
parentdc297c1f66499de864135bdd4d79d653f3d280dc
Fix the verifier to handle intrinsics with LLVMMatchType parameters, where
the return type of the intrinsic is not overloaded, i.e., where the type
being matched is some other parameter.  The argument to LLVMMatchType is
an index into the list of overloaded types (ignoring the fixed types),
but VerifyIntrinsicPrototype is expecting its arguments for LLVMMatchType
parameters to be indices into the combined list of _all_ return values and
parameters, not just the overloaded ones.

This patch changes TableGen to keep track for each overloaded type of the
corresponding index into the list of return values and parameters.  It
then generates the values expected by VerifyIntrinsicPrototype.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77467 91177308-0d34-0410-b5e6-96231b3b80d8
utils/TableGen/IntrinsicEmitter.cpp