Mercurial > mplayer.hg
annotate mp3lib/dct64_mmx.c @ 30745:c5a49657b3e4
Make sws_dcVec static: It is only used inside libswscale/utils.c.
author | cehoyos |
---|---|
date | Sun, 28 Feb 2010 02:18:16 +0000 |
parents | 347d152a5cfa |
children | 0ad2da052b2e |
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" |
30167
347d152a5cfa
Refactor real --> float #define to a typedef in a common header.
diego
parents:
28117
diff
changeset
|
8 #include "mpg123.h" |
25350
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 } |