Mercurial > mplayer.hg

annotate mp3lib/dct64_mmx.c @ 27205:cfc1d4ad649d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
synced with r27236
author ptt
date Tue, 08 Jul 2008 14:38:09 +0000
parents 2095f98cf0fa
children 08d18fe9da52
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25350
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
1 /*
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
2 * This code was taken from http://www.mpg123.org
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
3 * See ChangeLog of mpg123-0.59s-pre.1 for detail
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
4 * Applied to mplayer by Nick Kurshev <nickols_k@mail.ru>
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
5 */
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
6 #include "mangle.h"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
7 #define real float /* ugly - but only way */
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
8
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
9 void dct64_MMX(short *a,short *b,real *c)
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
10 {
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
11 char tmp[256];
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
12 __asm __volatile(
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
13 " movl %2,%%eax\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
14 /* Phase 1*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
15 " flds (%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
16 " leal 128+%3,%%edx\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
17 " fadds 124(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
18 " movl %0,%%esi\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
19 " fstps (%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
20 " movl %1,%%edi\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
21
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
22 " flds 4(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
23 " movl $"MANGLE(costab_mmx)",%%ebx\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
24 " fadds 120(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
25 " orl %%ecx,%%ecx\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
26 " fstps 4(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
27
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
28 " flds (%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
29 " leal %3,%%ecx\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
30 " fsubs 124(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
31 " fmuls (%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
32 " fstps 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
33
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
34 " flds 4(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
35 " fsubs 120(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
36 " fmuls 4(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
37 " fstps 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
38
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
39 " flds 8(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
40 " fadds 116(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
41 " fstps 8(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
42
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
43 " flds 12(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
44 " fadds 112(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
45 " fstps 12(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
46
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
47 " flds 8(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
48 " fsubs 116(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
49 " fmuls 8(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
50 " fstps 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
51
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
52 " flds 12(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
53 " fsubs 112(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
54 " fmuls 12(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
55 " fstps 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
56
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
57 " flds 16(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
58 " fadds 108(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
59 " fstps 16(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
60
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
61 " flds 20(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
62 " fadds 104(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
63 " fstps 20(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
64
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
65 " flds 16(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
66 " fsubs 108(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
67 " fmuls 16(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
68 " fstps 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
69
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
70 " flds 20(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
71 " fsubs 104(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
72 " fmuls 20(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
73 " fstps 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
74
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
75 " flds 24(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
76 " fadds 100(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
77 " fstps 24(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
78
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
79 " flds 28(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
80 " fadds 96(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
81 " fstps 28(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
82
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
83 " flds 24(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
84 " fsubs 100(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
85 " fmuls 24(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
86 " fstps 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
87
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
88 " flds 28(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
89 " fsubs 96(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
90 " fmuls 28(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
91 " fstps 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
92
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
93 " flds 32(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
94 " fadds 92(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
95 " fstps 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
96
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
97 " flds 36(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
98 " fadds 88(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
99 " fstps 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
100
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
101 " flds 32(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
102 " fsubs 92(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
103 " fmuls 32(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
104 " fstps 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
105
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
106 " flds 36(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
107 " fsubs 88(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
108 " fmuls 36(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
109 " fstps 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
110
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
111 " flds 40(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
112 " fadds 84(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
113 " fstps 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
114
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
115 " flds 44(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
116 " fadds 80(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
117 " fstps 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
118
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
119 " flds 40(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
120 " fsubs 84(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
121 " fmuls 40(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
122 " fstps 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
123
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
124 " flds 44(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
125 " fsubs 80(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
126 " fmuls 44(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
127 " fstps 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
128
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
129 " flds 48(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
130 " fadds 76(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
131 " fstps 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
132
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
133 " flds 52(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
134 " fadds 72(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
135 " fstps 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
136
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
137 " flds 48(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
138 " fsubs 76(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
139 " fmuls 48(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
140 " fstps 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
141
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
142 " flds 52(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
143 " fsubs 72(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
144 " fmuls 52(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
145 " fstps 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
146
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
147 " flds 56(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
148 " fadds 68(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
149 " fstps 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
150
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
151 " flds 60(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
152 " fadds 64(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
153 " fstps 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
154
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
155 " flds 56(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
156 " fsubs 68(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
157 " fmuls 56(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
158 " fstps 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
159
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
160 " flds 60(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
161 " fsubs 64(%%eax)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
162 " fmuls 60(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
163 " fstps 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
164
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
165 /* Phase 2*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
166
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
167 " flds (%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
168 " fadds 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
169 " fstps (%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
170
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
171 " flds 4(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
172 " fadds 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
173 " fstps 4(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
174
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
175 " flds (%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
176 " fsubs 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
177 " fmuls 64(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
178 " fstps 60(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
179
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
180 " flds 4(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
181 " fsubs 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
182 " fmuls 68(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
183 " fstps 56(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
184
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
185 " flds 8(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
186 " fadds 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
187 " fstps 8(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
188
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
189 " flds 12(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
190 " fadds 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
191 " fstps 12(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
192
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
193 " flds 8(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
194 " fsubs 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
195 " fmuls 72(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
196 " fstps 52(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
197
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
198 " flds 12(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
199 " fsubs 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
200 " fmuls 76(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
201 " fstps 48(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
202
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
203 " flds 16(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
204 " fadds 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
205 " fstps 16(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
206
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
207 " flds 20(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
208 " fadds 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
209 " fstps 20(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
210
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
211 " flds 16(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
212 " fsubs 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
213 " fmuls 80(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
214 " fstps 44(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
215
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
216 " flds 20(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
217 " fsubs 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
218 " fmuls 84(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
219 " fstps 40(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
220
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
221 " flds 24(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
222 " fadds 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
223 " fstps 24(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
224
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
225 " flds 28(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
226 " fadds 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
227 " fstps 28(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
228
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
229 " flds 24(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
230 " fsubs 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
231 " fmuls 88(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
232 " fstps 36(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
233
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
234 " flds 28(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
235 " fsubs 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
236 " fmuls 92(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
237 " fstps 32(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
238
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
239 /* Phase 3*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
240
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
241 " flds 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
242 " fadds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
243 " fstps 64(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
244
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
245 " flds 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
246 " fadds 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
247 " fstps 68(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
248
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
249 " flds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
250 " fsubs 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
251 " fmuls 64(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
252 " fstps 124(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
253
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
254 " flds 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
255 " fsubs 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
256 " fmuls 68(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
257 " fstps 120(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
258
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
259 " flds 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
260 " fadds 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
261 " fstps 72(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
262
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
263 " flds 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
264 " fadds 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
265 " fstps 76(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
266
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
267 " flds 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
268 " fsubs 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
269 " fmuls 72(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
270 " fstps 116(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
271
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
272 " flds 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
273 " fsubs 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
274 " fmuls 76(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
275 " fstps 112(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
276
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
277 " flds 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
278 " fadds 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
279 " fstps 80(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
280
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
281 " flds 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
282 " fadds 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
283 " fstps 84(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
284
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
285 " flds 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
286 " fsubs 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
287 " fmuls 80(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
288 " fstps 108(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
289
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
290 " flds 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
291 " fsubs 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
292 " fmuls 84(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
293 " fstps 104(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
294
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
295 " flds 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
296 " fadds 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
297 " fstps 88(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
298
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
299 " flds 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
300 " fadds 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
301 " fstps 92(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
302
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
303 " flds 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
304 " fsubs 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
305 " fmuls 88(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
306 " fstps 100(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
307
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
308 " flds 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
309 " fsubs 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
310 " fmuls 92(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
311 " fstps 96(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
312
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
313 /* Phase 4*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
314
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
315 " flds (%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
316 " fadds 28(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
317 " fstps (%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
318
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
319 " flds (%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
320 " fsubs 28(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
321 " fmuls 96(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
322 " fstps 28(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
323
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
324 " flds 4(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
325 " fadds 24(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
326 " fstps 4(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
327
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
328 " flds 4(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
329 " fsubs 24(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
330 " fmuls 100(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
331 " fstps 24(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
332
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
333 " flds 8(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
334 " fadds 20(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
335 " fstps 8(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
336
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
337 " flds 8(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
338 " fsubs 20(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
339 " fmuls 104(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
340 " fstps 20(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
341
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
342 " flds 12(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
343 " fadds 16(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
344 " fstps 12(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
345
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
346 " flds 12(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
347 " fsubs 16(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
348 " fmuls 108(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
349 " fstps 16(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
350
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
351 " flds 32(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
352 " fadds 60(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
353 " fstps 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
354
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
355 " flds 60(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
356 " fsubs 32(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
357 " fmuls 96(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
358 " fstps 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
359
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
360 " flds 36(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
361 " fadds 56(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
362 " fstps 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
363
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
364 " flds 56(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
365 " fsubs 36(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
366 " fmuls 100(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
367 " fstps 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
368
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
369 " flds 40(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
370 " fadds 52(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
371 " fstps 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
372
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
373 " flds 52(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
374 " fsubs 40(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
375 " fmuls 104(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
376 " fstps 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
377
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
378 " flds 44(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
379 " fadds 48(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
380 " fstps 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
381
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
382 " flds 48(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
383 " fsubs 44(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
384 " fmuls 108(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
385 " fstps 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
386
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
387 " flds 64(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
388 " fadds 92(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
389 " fstps 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
390
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
391 " flds 64(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
392 " fsubs 92(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
393 " fmuls 96(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
394 " fstps 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
395
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
396 " flds 68(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
397 " fadds 88(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
398 " fstps 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
399
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
400 " flds 68(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
401 " fsubs 88(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
402 " fmuls 100(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
403 " fstps 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
404
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
405 " flds 72(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
406 " fadds 84(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
407 " fstps 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
408
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
409 " flds 72(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
410 " fsubs 84(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
411 " fmuls 104(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
412 " fstps 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
413
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
414 " flds 76(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
415 " fadds 80(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
416 " fstps 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
417
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
418 " flds 76(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
419 " fsubs 80(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
420 " fmuls 108(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
421 " fstps 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
422
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
423 " flds 96(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
424 " fadds 124(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
425 " fstps 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
426
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
427 " flds 124(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
428 " fsubs 96(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
429 " fmuls 96(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
430 " fstps 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
431
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
432 " flds 100(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
433 " fadds 120(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
434 " fstps 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
435
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
436 " flds 120(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
437 " fsubs 100(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
438 " fmuls 100(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
439 " fstps 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
440
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
441 " flds 104(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
442 " fadds 116(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
443 " fstps 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
444
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
445 " flds 116(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
446 " fsubs 104(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
447 " fmuls 104(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
448 " fstps 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
449
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
450 " flds 108(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
451 " fadds 112(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
452 " fstps 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
453
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
454 " flds 112(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
455 " fsubs 108(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
456 " fmuls 108(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
457 " fstps 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
458
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
459 " flds (%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
460 " fadds 12(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
461 " fstps (%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
462
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
463 " flds (%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
464 " fsubs 12(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
465 " fmuls 112(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
466 " fstps 12(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
467
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
468 " flds 4(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
469 " fadds 8(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
470 " fstps 4(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
471
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
472 " flds 4(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
473 " fsubs 8(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
474 " fmuls 116(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
475 " fstps 8(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
476
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
477 " flds 16(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
478 " fadds 28(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
479 " fstps 16(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
480
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
481 " flds 28(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
482 " fsubs 16(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
483 " fmuls 112(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
484 " fstps 28(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
485
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
486 " flds 20(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
487 " fadds 24(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
488 " fstps 20(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
489
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
490 " flds 24(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
491 " fsubs 20(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
492 " fmuls 116(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
493 " fstps 24(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
494
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
495 " flds 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
496 " fadds 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
497 " fstps 32(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
498
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
499 " flds 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
500 " fsubs 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
501 " fmuls 112(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
502 " fstps 44(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
503
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
504 " flds 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
505 " fadds 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
506 " fstps 36(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
507
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
508 " flds 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
509 " fsubs 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
510 " fmuls 116(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
511 " fstps 40(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
512
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
513 " flds 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
514 " fadds 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
515 " fstps 48(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
516
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
517 " flds 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
518 " fsubs 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
519 " fmuls 112(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
520 " fstps 60(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
521
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
522 " flds 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
523 " fadds 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
524 " fstps 52(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
525
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
526 " flds 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
527 " fsubs 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
528 " fmuls 116(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
529 " fstps 56(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
530
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
531 " flds 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
532 " fadds 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
533 " fstps 64(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
534
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
535 " flds 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
536 " fsubs 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
537 " fmuls 112(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
538 " fstps 76(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
539
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
540 " flds 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
541 " fadds 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
542 " fstps 68(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
543
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
544 " flds 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
545 " fsubs 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
546 " fmuls 116(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
547 " fstps 72(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
548
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
549 " flds 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
550 " fadds 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
551 " fstps 80(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
552
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
553 " flds 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
554 " fsubs 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
555 " fmuls 112(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
556 " fstps 92(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
557
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
558 " flds 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
559 " fadds 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
560 " fstps 84(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
561
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
562 " flds 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
563 " fsubs 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
564 " fmuls 116(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
565 " fstps 88(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
566
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
567 " flds 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
568 " fadds 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
569 " fstps 96(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
570
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
571 " flds 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
572 " fsubs 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
573 " fmuls 112(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
574 " fstps 108(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
575
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
576 " flds 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
577 " fadds 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
578 " fstps 100(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
579
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
580 " flds 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
581 " fsubs 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
582 " fmuls 116(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
583 " fstps 104(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
584
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
585 " flds 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
586 " fadds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
587 " fstps 112(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
588
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
589 " flds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
590 " fsubs 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
591 " fmuls 112(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
592 " fstps 124(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
593
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
594 " flds 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
595 " fadds 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
596 " fstps 116(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
597
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
598 " flds 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
599 " fsubs 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
600 " fmuls 116(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
601 " fstps 120(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
602
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
603 /* Phase 5*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
604
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
605 " flds 32(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
606 " fadds 36(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
607 " fstps 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
608
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
609 " flds 32(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
610 " fsubs 36(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
611 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
612 " fstps 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
613
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
614 " flds 44(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
615 " fsubs 40(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
616 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
617 " fsts 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
618 " fadds 40(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
619 " fadds 44(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
620 " fstps 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
621
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
622 " flds 48(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
623 " fsubs 52(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
624 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
625
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
626 " flds 60(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
627 " fsubs 56(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
628 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
629 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
630 " fadds 56(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
631 " fadds 60(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
632 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
633 " fadds 48(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
634 " fadds 52(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
635 " fstps 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
636 " fadd %%st(2)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
637 " fstps 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
638 " fsts 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
639 " faddp %%st(1)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
640 " fstps 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
641
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
642 " flds 64(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
643 " fadds 68(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
644 " fstps 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
645
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
646 " flds 64(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
647 " fsubs 68(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
648 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
649 " fstps 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
650
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
651 " flds 76(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
652 " fsubs 72(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
653 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
654 " fsts 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
655 " fadds 72(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
656 " fadds 76(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
657 " fstps 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
658
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
659 " flds 92(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
660 " fsubs 88(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
661 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
662 " fsts 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
663 " fadds 92(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
664 " fadds 88(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
665 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
666 " fadds 80(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
667 " fadds 84(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
668 " fstps 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
669
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
670 " flds 80(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
671 " fsubs 84(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
672 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
673 " fadd %%st(0), %%st(1)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
674 " fadds 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
675 " fstps 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
676 " fstps 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
677
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
678 " flds 96(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
679 " fadds 100(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
680 " fstps 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
681
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
682 " flds 96(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
683 " fsubs 100(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
684 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
685 " fstps 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
686
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
687 " flds 108(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
688 " fsubs 104(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
689 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
690 " fsts 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
691 " fadds 104(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
692 " fadds 108(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
693 " fstps 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
694
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
695 " flds 124(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
696 " fsubs 120(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
697 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
698 " fsts 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
699 " fadds 120(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
700 " fadds 124(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
701 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
702 " fadds 112(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
703 " fadds 116(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
704 " fstps 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
705
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
706 " flds 112(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
707 " fsubs 116(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
708 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
709 " fadd %%st(0),%%st(1)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
710 " fadds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
711 " fstps 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
712 " fstps 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
713 " jnz .L01\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
714
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
715 /* Phase 6*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
716
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
717 " flds (%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
718 " fadds 4(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
719 " fstps 1024(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
720
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
721 " flds (%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
722 " fsubs 4(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
723 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
724 " fsts (%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
725 " fstps (%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
726
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
727 " flds 12(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
728 " fsubs 8(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
729 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
730 " fsts 512(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
731 " fadds 12(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
732 " fadds 8(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
733 " fstps 512(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
734
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
735 " flds 16(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
736 " fsubs 20(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
737 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
738
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
739 " flds 28(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
740 " fsubs 24(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
741 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
742 " fsts 768(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
743 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
744 " fadds 24(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
745 " fadds 28(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
746 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
747 " fadds 16(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
748 " fadds 20(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
749 " fstps 768(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
750 " fadd %%st(2)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
751 " fstps 256(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
752 " faddp %%st(1)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
753 " fstps 256(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
754
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
755 /* Phase 7*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
756
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
757 " flds 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
758 " fadds 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
759 " fstps 896(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
760
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
761 " flds 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
762 " fadds 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
763 " fstps 640(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
764
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
765 " flds 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
766 " fadds 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
767 " fstps 384(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
768
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
769 " flds 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
770 " fadds 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
771 " fstps 128(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
772
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
773 " flds 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
774 " fadds 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
775 " fstps 128(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
776
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
777 " flds 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
778 " fadds 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
779 " fstps 384(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
780
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
781 " flds 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
782 " fsts 896(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
783 " fadds 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
784 " fstps 640(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
785
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
786 " flds 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
787 " fadds 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
788 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
789 " fadds 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
790 " fstps 960(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
791 " fadds 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
792 " fstps 832(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
793
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
794 " flds 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
795 " fadds 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
796 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
797 " fadds 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
798 " fstps 704(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
799 " fadds 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
800 " fstps 576(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
801
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
802 " flds 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
803 " fadds 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
804 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
805 " fadds 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
806 " fstps 448(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
807 " fadds 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
808 " fstps 320(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
809
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
810 " flds 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
811 " fadds 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
812 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
813 " fadds 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
814 " fstps 192(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
815 " fadds 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
816 " fstps 64(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
817
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
818 " flds 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
819 " fadds 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
820 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
821 " fadds 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
822 " fstps 64(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
823 " fadds 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
824 " fstps 192(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
825
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
826 " flds 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
827 " fadds 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
828 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
829 " fadds 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
830 " fstps 320(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
831 " fadds 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
832 " fstps 448(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
833
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
834 " flds 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
835 " fadds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
836 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
837 " fadds 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
838 " fstps 576(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
839 " fadds 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
840 " fstps 704(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
841
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
842 " flds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
843 " fsts 960(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
844 " fadds 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
845 " fstps 832(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
846 " jmp .L_bye\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
847 ".L01:\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
848 /* Phase 8*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
849
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
850 " flds (%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
851 " fadds 4(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
852 " fistp 512(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
853
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
854 " flds (%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
855 " fsubs 4(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
856 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
857
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
858 " fistp (%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
859
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
860
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
861 " flds 12(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
862 " fsubs 8(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
863 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
864 " fist 256(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
865 " fadds 12(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
866 " fadds 8(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
867 " fistp 256(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
868
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
869 " flds 16(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
870 " fsubs 20(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
871 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
872
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
873 " flds 28(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
874 " fsubs 24(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
875 " fmuls 120(%%ebx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
876 " fist 384(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
877 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
878 " fadds 24(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
879 " fadds 28(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
880 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
881 " fadds 16(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
882 " fadds 20(%%ecx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
883 " fistp 384(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
884 " fadd %%st(2)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
885 " fistp 128(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
886 " faddp %%st(1)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
887 " fistp 128(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
888
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
889 /* Phase 9*/
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
890
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
891 " flds 32(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
892 " fadds 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
893 " fistp 448(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
894
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
895 " flds 48(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
896 " fadds 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
897 " fistp 320(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
898
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
899 " flds 40(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
900 " fadds 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
901 " fistp 192(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
902
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
903 " flds 56(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
904 " fadds 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
905 " fistp 64(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
906
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
907 " flds 36(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
908 " fadds 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
909 " fistp 64(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
910
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
911 " flds 52(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
912 " fadds 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
913 " fistp 192(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
914
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
915 " flds 60(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
916 " fist 448(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
917 " fadds 44(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
918 " fistp 320(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
919
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
920 " flds 96(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
921 " fadds 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
922 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
923 " fadds 64(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
924 " fistp 480(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
925 " fadds 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
926 " fistp 416(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
927
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
928 " flds 112(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
929 " fadds 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
930 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
931 " fadds 80(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
932 " fistp 352(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
933 " fadds 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
934 " fistp 288(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
935
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
936 " flds 104(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
937 " fadds 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
938 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
939 " fadds 72(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
940 " fistp 224(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
941 " fadds 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
942 " fistp 160(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
943
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
944 " flds 120(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
945 " fadds 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
946 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
947 " fadds 88(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
948 " fistp 96(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
949 " fadds 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
950 " fistp 32(%%esi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
951
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
952 " flds 100(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
953 " fadds 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
954 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
955 " fadds 68(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
956 " fistp 32(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
957 " fadds 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
958 " fistp 96(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
959
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
960 " flds 116(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
961 " fadds 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
962 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
963 " fadds 84(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
964 " fistp 160(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
965 " fadds 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
966 " fistp 224(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
967
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
968 " flds 108(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
969 " fadds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
970 " fld %%st(0)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
971 " fadds 76(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
972 " fistp 288(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
973 " fadds 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
974 " fistp 352(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
975
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
976 " flds 124(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
977 " fist 480(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
978 " fadds 92(%%edx)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
979 " fistp 416(%%edi)\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
980 " movsw\n\t"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
981 ".L_bye:"
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
982 :
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
983 :"m"(a),"m"(b),"m"(c),"m"(tmp[0])
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
984 :"memory","%eax","%ebx","%ecx","%edx","%esi","%edi");
2095f98cf0fa cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff changeset
985 }