forked from ShivamSarodia/ShivyC
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathaddition.c
More file actions
55 lines (39 loc) · 1.18 KB
/
addition.c
File metadata and controls
55 lines (39 loc) · 1.18 KB
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
int main() {
int a = 5, b = 10;
int c = a + b;
if(c != 15) return 1;
int d = c + 5;
if(d != 20) return 2;
int e = 2 + 4;
if(e != 6) return 3;
int f = e + d;
if(f != 26) return 4;
int g = f + f + e;
if(g != 58) return 5;
int i = g + g;
i = i + i;
if(i != 232) return 6;
// Test imm64 cases
// used to modify variable liveliness
int dummy;
dummy = 0;
// this variable is always live
long never_dead;
never_dead = 1099511627776;
long j = 1099511627776;
never_dead = j + 1099511627776;
if(never_dead != 1099511627776 + 1099511627776) return 7;
long k = 1099511627776;
never_dead = 1099511627776 + k;
if(never_dead != 1099511627776 + 1099511627776) return 8;
long not_dead = 1099511627776;
never_dead = not_dead + 1099511627776;
if(never_dead != 1099511627776 + 1099511627776) return 9;
never_dead = 1099511627776 + not_dead;
if(never_dead != 1099511627776 + 1099511627776) return 10;
if(1099511627776 + 1099511627776 != never_dead) return 11;
dummy = dummy + never_dead + not_dead;
unsigned int l = 4294967295;
unsigned int m = 4294967295;
if(l + m != (unsigned int)4294967295 + (unsigned int)4294967295) return 12;
}