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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
|
; ModuleID = 'tests/hello_world.bc'
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32-S128"
target triple = "i386-pc-linux-gnu"
@globaliz = global [300 x i8] zeroinitializer
define i64 @retter(i64 %x) {
store i104 0, i104* bitcast ([300 x i8]* @globaliz to i104*), align 4 ; wipe it out
store i64 %x, i64* bitcast ([300 x i8]* @globaliz to i64*), align 4
call i32 (i8*)* @puts(i8* bitcast ([300 x i8]* @globaliz to i8*))
ret i64 7017280452245743464
}
define i32 @main() {
entry:
%buffer = alloca i8, i32 1000, align 4
%bundled = bitcast i8* %buffer to i104*
store i104 31079605376604435891501163880, i104* %bundled, align 4 ; hello world in there
call i32 (i8*)* @puts(i8* %buffer)
%loaded = load i104* %bundled, align 4 ; save for later
%backcast = bitcast i104* %bundled to i8*
call i32 (i8*)* @puts(i8* %backcast)
%temp.buffer = bitcast i8* %buffer to [0 x i8]*
%buffer1 = getelementptr [0 x i8]* %temp.buffer, i32 0, i32 1
%bundled1 = bitcast i8* %buffer1 to i104*
store i104 -20251329998275065988055750122136, i104* %bundled1, align 1 ; unaligned
call i32 (i8*)* @puts(i8* %buffer)
; shifts
%shifted = lshr i104 %loaded, 16
store i104 %shifted, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
%shifted2 = lshr i104 %loaded, 32
store i104 %shifted2, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
; store %loaded, make sure has not been modified
store i104 %loaded, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
%shifted3 = shl i104 %loaded, 8
store i104 %shifted3, i104* %bundled, align 4
store i8 113, i8* %buffer ; remove initial 0 ; 'q'
call i32 (i8*)* @puts(i8* %buffer)
; trunc
%shifted4 = shl i104 %loaded, 64
store i104 %shifted4, i104* %bundled, align 4
%nonzero64 = trunc i104 %loaded to i64 ; remove initial zeros
%bundled64 = bitcast i104* %bundled to i64*
store i64 %nonzero64, i64* %bundled64, align 4
call i32 (i8*)* @puts(i8* %buffer)
store i104 0, i104* %bundled, align 4 ; wipe it out
%small32 = trunc i104 %loaded to i32
%buffer32 = bitcast i8* %buffer to i32*
store i32 %small32, i32* %buffer32, align 4
call i32 (i8*)* @puts(i8* %buffer)
store i104 0, i104* %bundled, align 4 ; wipe it out
%small16 = trunc i104 %loaded to i16
%buffer16 = bitcast i8* %buffer to i16*
store i16 %small16, i16* %buffer16, align 4
call i32 (i8*)* @puts(i8* %buffer)
store i104 0, i104* %bundled, align 4 ; wipe it out
%small64 = trunc i104 %loaded to i64
%buffer64 = bitcast i8* %buffer to i64*
store i64 %small64, i64* %buffer64, align 4
call i32 (i8*)* @puts(i8* %buffer)
; zext
store i104 0, i104* %bundled, align 4 ; wipe it out
%pre32 = or i32 6382179, 0
%big = zext i32 %pre32 to i104
store i104 %big, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
store i104 0, i104* %bundled, align 4 ; wipe it out
%pre64 = zext i32 1684366951 to i64
%post64 = shl i64 %pre64, 32
%big64 = or i64 %pre64, %post64
%bigb = zext i64 %big64 to i104
store i104 %bigb, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
; or, and, xor
%ored = or i104 %loaded, 119683656141956040435433472 ; constant
store i104 %ored, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
%ander = trunc i128 79037149320135189491510935551 to i104
%anded = and i104 %loaded, %ander ; variable
store i104 %anded, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
%xored = xor i104 %loaded, 78580178274950896355901440
store i104 %xored, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
; unfolding
store i104 %loaded, i104* bitcast ([300 x i8]* @globaliz to i104*), align 4
%loaded.short = load i80* bitcast ([300 x i8]* @globaliz to i80*), align 4
store i104 0, i104* bitcast ([300 x i8]* @globaliz to i104*), align 4
store i80 %loaded.short, i80* bitcast ([300 x i8]* @globaliz to i80*), align 4
call i32 (i8*)* @puts(i8* bitcast ([300 x i8]* @globaliz to i8*))
; phi
%if = trunc i104 %ander to i1
%first = trunc i104 %xored to i88
br i1 %if, label %a17, label %a26
a17:
%second = trunc i104 %loaded to i88
br label %a26
a26:
%a27 = phi i88 [ %first, %entry ], [ %second, %a17 ]
store i104 0, i104* %bundled, align 4 ; wipe it out
store i88 %a27, i88* bitcast ([300 x i8]* @globaliz to i88*), align 4
call i32 (i8*)* @puts(i8* bitcast ([300 x i8]* @globaliz to i8*))
; phi with constants
br i1 %if, label %a17b, label %a26b
a17b:
br label %a26b
a26b:
%a27b = phi i64 [ 55, %a26 ], [ 57, %a17b ]
store i104 0, i104* %bundled, align 4 ; wipe it out
store i64 %a27b, i64* bitcast ([300 x i8]* @globaliz to i64*), align 4
call i32 (i8*)* @puts(i8* bitcast ([300 x i8]* @globaliz to i8*))
store i104 %ored, i104* %bundled, align 4
%iff = zext i1 %if to i64
switch i64 %iff, label %a50 [
i64 1, label %a30
i64 0, label %a40
]
a50:
store i104 %xored, i104* %bundled, align 4
br label %a40
a30:
store i104 %anded, i104* %bundled, align 4
br label %a40
a40:
call i32 (i8*)* @puts(i8* %buffer)
; invoke return value
%inv64 = invoke i64 @retter(i64 8174723217654970232)
to label %a100 unwind label %a111
a100:
store i104 0, i104* bitcast ([300 x i8]* @globaliz to i104*), align 4 ; wipe it out
store i64 %inv64, i64* bitcast ([300 x i8]* @globaliz to i64*), align 4
call i32 (i8*)* @puts(i8* bitcast ([300 x i8]* @globaliz to i8*))
; select
%chosen = select i1 %if, i104 %loaded, i104 -1
store i104 %chosen, i104* %bundled, align 4
call i32 (i8*)* @puts(i8* %buffer)
store i104 0, i104* bitcast ([300 x i8]* @globaliz to i104*), align 4 ; wipe it out
%s64a = trunc i104 %loaded to i64
%s64b = trunc i104 %ander to i64
%s64 = select i1 %if, i64 %s64a, i64 -1
store i64 %s64, i64* bitcast ([300 x i8]* @globaliz to i64*), align 4
call i32 (i8*)* @puts(i8* bitcast ([300 x i8]* @globaliz to i8*))
br label %done
a111:
%aaaa79 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
cleanup
br label %done
done:
ret i32 1
}
declare i32 @puts(i8*)
declare i32 @__gxx_personality_v0(...)
declare void @__cxa_throw(i32, i32, i32) ; for asm1, where exceptions are enabled but this test needs a throw to bring in lib stuff
|
