Fix failure messages in Verifier::PerformTypeCheck. The argument numbers
authorBob Wilson <bob.wilson@apple.com>
Thu, 8 Jan 2009 01:56:06 +0000 (01:56 +0000)
committerBob Wilson <bob.wilson@apple.com>
Thu, 8 Jan 2009 01:56:06 +0000 (01:56 +0000)
commit86e34fb20c9d0ee8d128e2e6330a6d4240584b2d
tree0f712e3cc47c8c2e402982c575132aeabb706709
parentba811e5d6cf4c1bd3ab279e26e2c2ba919eafc7d
Fix failure messages in Verifier::PerformTypeCheck.  The argument numbers
passed in to this function changed to support multiple return values,
leading to some incorrect argument numbers in the failure messages.
With this change, the ArgNo values used for return values and parameters are
disjoint, and the new IntrinsicParam function translates those ArgNo values
to strings that can be used in the messages.  This also fixes a few places
where PerformTypeCheck did not return false following calls to CheckFailed.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61903 91177308-0d34-0410-b5e6-96231b3b80d8
lib/VMCore/Verifier.cpp