1#include "io.h" 2 3int main(void) 4{ 5 long long rt, rs; 6 long long res; 7 8 rt = 0x1234567887654321; 9 rs = 0xabcd1234abcd1234; 10 11 res = 0x34567887654321ab; 12 13 asm ("dbalign %0, %1, 0x1\n" 14 : "=r"(rt) 15 : "r"(rs) 16 ); 17 18 if (rt != res) { 19 printf("dbalign error\n"); 20 return -1; 21 } 22 23 rt = 0x1234567887654321; 24 rs = 0xabcd1234abcd1234; 25 26 res = 0x7887654321abcd12; 27 28 asm ("dbalign %0, %1, 0x3\n" 29 : "=r"(rt) 30 : "r"(rs) 31 ); 32 33 if (rt != res) { 34 printf("dbalign error\n"); 35 return -1; 36 } 37 38 return 0; 39} 40