blob: a53c93d866db22273164283b20f1b8d156d6f0e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#include <stdint.h>
#include <stdio.h>
volatile uint64_t x = 0x0101010101010101;
volatile uint32_t u = 0xfefefefe;
int main(void)
{
putchar('a' + (x >> 60));
x = u; // i64.load32_u
putchar('A' + (x >> 60));
putchar('\n');
return 0;
}
|