#include "io.h"

int main(void)
{
    long long rt;
    long long achi, acli;
    long long res;

    achi = 0x87654321;
    acli = 0x12345678;

    res = 0x2100000000123456;

    __asm
        ("mthi %1, $ac1\n\t"
         "mtlo %2, $ac1\n\t"
         "dextr.l %0, $ac1, 0x8\n\t"
         : "=r"(rt)
         : "r"(achi), "r"(acli)
        );
    if (rt != res) {
        printf("dextr.l error\n");
        return -1;
    }

    achi = 0x87654321;
    acli = 0x12345678;

    res = 0x12345678;

    __asm
        ("mthi %1, $ac1\n\t"
         "mtlo %2, $ac1\n\t"
         "dextr.l %0, $ac1, 0x0\n\t"
         : "=r"(rt)
         : "r"(achi), "r"(acli)
        );
    if (rt != res) {
        printf("dextr.l error\n");
        return -1;
    }

    return 0;
}