Ping.
On Fri, Jun 14, 2013 at 1:41 PM, Cameron McInally <cameron.mcina...@nyu.edu> wrote: > Hey guys, > > The documentation states that the return types on the x86 > __builtin_ia32_cmp*s builtins are integer vectors. This is > inconsistent with the source. These builtins actually return floating > point vectors. Here is a small patch to update the documentation. > > -Cameron