[llvm-bugs] [Bug 34052] [NewGVN/PredicateInfo] Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.

via llvm-bugs llvm-bugs at lists.llvm.org
Tue Jul 24 13:55:29 PDT 2018


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

Florian Hahn <Florian.Hahn at arm.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Fixed By Commit(s)|                            |r337828
         Resolution|---                         |FIXED
           See Also|                            |https://bugs.llvm.org/show_
                   |                            |bug.cgi?id=38117
                 CC|                            |Florian.Hahn at arm.com
             Status|NEW                         |RESOLVED

--- Comment #5 from Florian Hahn <Florian.Hahn at arm.com> ---
I've committed https://reviews.llvm.org/rL337828 which makes PredicateInfo use
the pointer to the type in the mangled name and drops the ssa.copy declarations
when destroying PredicateInfo.

I explored several other ways to solve this problem, but generating IDs for
opaque types in a deterministic way that also works well with LTO seems quite
involved. See https://reviews.llvm.org/D48541 and PR38117.

-- 
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/20180724/8098116f/attachment.html>


More information about the llvm-bugs mailing list