blob: de595c9914dbdc0596348de951bbf986c480026e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#include <stdio.h>
#include <limits.h>
typedef unsigned char *byte_pointer;
void show_bytes(byte_pointer start, size_t len) {
int i;
for (i = 0; i < len; i++) {
printf(" %.2x", start[i]);
}
printf("\n");
}
void show_int(int x) {
show_bytes((byte_pointer) &x, sizeof(int));
}
void show_float(float x) {
show_bytes((byte_pointer) &x, sizeof(float));
}
void show_pointer(void *x) {
show_bytes((byte_pointer) &x, sizeof(void *));
}
int main() {
int A = -1;
int w = sizeof(int)<<3;
int k = 0;
int shifted_off_by_one = (A<<(w-k - 1));
int shifted = shifted_off_by_one + shifted_off_by_one;
printf("w: %d, k: %d, A<<(w-k): %d\n", w, k, shifted);
show_int(shifted);
printf("%d\n", ((1<<(w - 1)) & INT_MAX) && 1);
}
|