[llvm-bugs] [Bug 9538] Verifier accepts non-sensical intrinsics involving vectors

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=9538

Nikita Popov <nikita.ppv at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
                 CC|                            |nikita.ppv at gmail.com

--- Comment #3 from Nikita Popov <nikita.ppv at gmail.com> ---
Nowadays this fails with:

Intrinsic has incorrect return type!
{ <4 x i32>, i1 } (<4 x i32>, <4 x i32>)* @llvm.umul.with.overflow.v4i32

Vector overflow intrinsics are accepted, but require <4 x i1> type.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210911/d2cd8062/attachment.html>