On Fri, Aug 16, 2019 at 01:01:50PM +0000, Christophe Leroy wrote:> - add r3,r3,r5> +78: add r3,r3,r5You can use actual names for the labels as well... .Lsomething if youwant it to stay a local symbol only.Segher