[LLVMdev] Two suggestions for improving LLVM error reporting

Chris Lattner clattner at apple.com
Sat Jan 9 11:17:41 PST 2010

On Jan 9, 2010, at 7:28 AM, Kenneth Uildriks wrote:

>>> This means that if you have a "%foo***" and %foo gets resolved to "i32", that "%foo***" would not get implicitly unioned with "i32***".  This would also eliminate the current complexity forming circular types, make many frontends simpler etc.  It would mean that a cyclic type would be *required* to go through a named type though.
>>> It would also allow elimination of upreferences, PATypeHolder, PATypeHandle, etc.  It would also eliminate the frequent confusion around "my function should take a %foo*, it the IR dump shows it as %bar*" (because they have the same type structure).
>>> OTOH, it would mean that we couldn't have the totally awesome and oh-so-useful \1* type ;-)
> Sweet!  Could named types also be concrete in this scheme?



More information about the llvm-dev mailing list