Mercurial > mplayer.hg

annotate mp3lib/dct64_mmx.c @ 28633:28fe0787a67c

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