Annotate asm statements with attributes

Supplemental change for #2572.