> This patch is certainly fine with me as well. > > It does seem nicer to have the assembly output match the generated > object file, if only for simplified testing ... OK. Committed as r203677. Cheers, Rafael