<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Jun 27, 2011, at 9:41 AM, Peter Lawrence wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
Chris,<div> good to see the AbstractType stuff vaporize, but I still have a question, the Type system seems to have</div><div>a "shadow type" system, every user Type created also has a corresponding XYZValType, is the "shadow type"</div><div>system still retained ? It's purpose seems(?) to be for factoring the "unique-ing" logic out of the rest of the type</div><div>system logic, but I'm wondering how much sense that makes (or perhaps I'm not looking at it correctly yet).</div></div></blockquote><div><br></div>Hi Peter,</div><div><br></div><div>Most of that completely disappears and is replaced with simple DenseMaps. It is much faster and easier to understand.</div><div><br></div><div>-Chris</div><div><br></div><div><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>sincerely,</div><div>Peter Lawrence.</div><div><br></div><div><br></div><div><br><div><div>On Jun 25, 2011, at 9:42 AM, <a href="mailto:llvmdev-request@cs.uiuc.edu">llvmdev-request@cs.uiuc.edu</a> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Monaco; min-height: 16px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Monaco" size="3" style="font: 12.0px Monaco">Once that lands, the constant uniquing is greatly simplified because AbstractType stuff all vaporizes.<span class="Apple-converted-space"> </span>When the branch lands, the constant uniquing maps should all be replaced with folding sets.</font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Monaco; min-height: 16px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Monaco" size="3" style="font: 12.0px Monaco">-Chris</font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Monaco; min-height: 16px; "><br></div> </blockquote></div><br></div></div></blockquote></div><br></body></html>