Also, to note, we can't actually emit appropriate section properties. See http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-March/071058.html . Either way, I still need to add diagnostics for when the section type requested is not fulfillable. http://llvm-reviews.chandlerc.com/D3065