<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: arial,helvetica,sans-serif; font-size: 10pt; color: #000000'>Hi Derek,<br><br>I don't understand your message. Is this an announcement or a proposal? If it is an announcement, is the software available somewhere?<br><br>The SelectionDAG has various phases; on which phase are you basing your DAGIR? Is this pre-legalization, is it type legalized, operation legalized, etc? Our current SDAG-based isel is indeed expensive, but I'm not under the impression that the SDAGBuilder process is a large contributor. Rather, it is the rest of the legalization and selection process that is expensive. However, if you base your distribution IR on a post-legalization SDAG to avoid that expense, then I don't understand why that will be particularly portable.<br><br>As an optimizer IR, the SelectionDAG, being basic-block local, has unfortunate limitations, and the community is working on a replacement (GlobalISel). The basic set of operations probably won't change, but if you're closely tied to the current SDAG infrastructure, you'll need a migration plan.<br><br> -Hal<br><br><hr id="zwchr"><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px; color: rgb(0, 0, 0); font-weight: normal; font-style: normal; text-decoration: none; font-family: Helvetica,Arial,sans-serif; font-size: 12pt;"><b>From: </b>"Derek Schuff via llvm-dev" <llvm-dev@lists.llvm.org><br><b>To: </b>"llvm-dev" <llvm-dev@lists.llvm.org><br><b>Sent: </b>Friday, April 1, 2016 11:02:27 AM<br><b>Subject: </b>[llvm-dev] DAGIR<br><br><div dir="ltr">Hello all,<div dir="ltr">The rich history of binary distribution formats based on LLVM [0][1][2][3][4] has proven LLVM's viability as a launchpad for stable platforms. However, issues with compilation time and compiler size have suggested that the translator must do too much, i.e. LLVM IR isn't a low-level enough virtual machine. So we introduce DAGIR ("dagger"), a new portable close to the metal format, designed to unlock the potential of any architecture for the digital world. DAGIR is a stable binary format derived from LLVM's SelectionDAG virtual machine, a proven platform for optimization and selection of machine architectures. Together with a new linker ("celestia") and the well-known STABS ("stabs") debugging format, this is a platform with a bright future and a host of possibilities for stable, portable software that will power a sea of nodes of the coming internet of virtual things. We look forward to working with the community in supporting this exciting new development in pervasive portable performance.</div><div dir="ltr"><br></div><div dir="ltr">[0] <a href="http://developer.android.com/guide/topics/renderscript/compute.html" class="cremed" target="_blank">http://developer.android.com/guide/topics/renderscript/compute.html</a></div><div dir="ltr">[1] <a href="https://developer.chrome.com/native-client/nacl-and-pnacl" class="cremed" target="_blank">https://developer.chrome.com/native-client/nacl-and-pnacl</a></div><div dir="ltr">[2] <a href="https://www.khronos.org/spir" class="cremed" target="_blank">https://www.khronos.org/spir</a></div><div dir="ltr">[3] <a href="http://www.hsafoundation.com/hsa-developer-tools/" class="cremed" target="_blank">http://www.hsafoundation.com/hsa-developer-tools/</a></div><div dir="ltr">[4] <a href="https://developer.apple.com/library/watchos/documentation/IDEs/Conceptual/AppDistributionGuide/AppThinning/AppThinning.html#//apple_ref/doc/uid/TP40012582-CH35-SW2" class="cremed" target="_blank">https://developer.apple.com/library/watchos/documentation/IDEs/Conceptual/AppDistributionGuide/AppThinning/AppThinning.html#//apple_ref/doc/uid/TP40012582-CH35-SW2</a></div><div dir="ltr"><br></div><div dir="ltr"><br></div></div>
<br>_______________________________________________<br>LLVM Developers mailing list<br>llvm-dev@lists.llvm.org<br>http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev<br></blockquote><br><br><br>-- <br><div><span name="x"></span>Hal Finkel<br>Assistant Computational Scientist<br>Leadership Computing Facility<br>Argonne National Laboratory<span name="x"></span><br></div></div></body></html>