8 rt
= 0x1234567887654321;
9 rs
= 0xabcd1234abcd1234;
11 res
= 0x34567887654321ab;
13 asm ("dbalign %0, %1, 0x1\n"
19 printf("dbalign error\n");
23 rt
= 0x1234567887654321;
24 rs
= 0xabcd1234abcd1234;
26 res
= 0x7887654321abcd12;
28 asm ("dbalign %0, %1, 0x3\n"
34 printf("dbalign error\n");