Mercurial > mplayer.hg

annotate mp3lib/dct64_mmx.c @ 27980:21779d5ea61c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Create a separate codecs.conf entry for Tremor and use it if MPlayer is with Tremor support instead of libvorbis. Previously MPlayer would show the same output on the console when decoding with libvorbis and Tremor.
author diego
date Mon, 24 Nov 2008 08:31:44 +0000
parents b5a46071062a
children bd6833421e56
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];
27757
b5a46071062a Replace all occurrences of '__volatile__' and '__volatile' by plain 'volatile'.
diego
parents: 27754
diff changeset
12 __asm__ volatile(
25350
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 }