Attached below is a bug report for gas. I did verify that gas indeed fails to detect the RAW hazard on r2 in the sample code. --david