#include <stdio.h>
#include <stdint.h>

int main()
{
        uint32_t v = 0x80000000;
        __asm __volatile ("sarl $1, %0": "+r" (v));
        printf("%08x\n", v);
}