[LLVMdev] Inconsistency in the LLVM docs
Micah.Villmow at amd.com
Wed Oct 10 12:06:29 PDT 2012
Yes I know, I'm having problems with these tests because they violate the documentation. :)
From: Nadav Rotem [mailto:nrotem at apple.com]
Sent: Wednesday, October 10, 2012 11:52 AM
To: Villmow, Micah
Cc: llvmdev at cs.uiuc.edu
Subject: Re: [LLVMdev] Inconsistency in the LLVM docs
We need to fix the documentation here. We want to be able to convert vectors of integers to vectors of pointers and back.
There are a few tests such as (/InstCombine/vector_gep1.ll) that check for these conversions.
On Oct 10, 2012, at 11:11 AM, "Villmow, Micah" <Micah.Villmow at amd.com<mailto:Micah.Villmow at amd.com>> wrote:
The 'inttoptr' instruction takes an integer<http://llvm.org/docs/LangRef.html#t_integer> value to cast, and a type to cast it to, which must be a pointer<http://llvm.org/docs/LangRef.html#t_pointer> type.
The final example is:
%Z = inttoptr <4 x i32> %G to <4 x i8*>; yields truncation of vector G to four pointers
The result is not a pointer type, but a vector of pointer types. This violates the restriction of the arguments.
Is this an overview, or should this instruction type be illegal?
LLVM Developers mailing list
LLVMdev at cs.uiuc.edu<mailto:LLVMdev at cs.uiuc.edu> http://llvm.cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev