echristo added a comment. Hrm. So it can be changed in the future do we want it to be a string attribute similar to use-soft-float rather than a hard coded one? (I think the answer is "probably") -eric http://reviews.llvm.org/D18407