void strcpy(char *y, char *x) { while ((*y++ = *x++) != 0); }
strcpy: l: lb t0, 0(a1) sb t0, 0(a0) addi a0, a0, 1 addi a1, a1, 1 bne t0, x0, l jalr x0, 0(ra)