OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-old/] [binutils-2.18.50/] [gas/] [testsuite/] [gas/] [h8300/] [t10_and.exp] - Blame information for rev 816

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 38 julius
#
2
# Some h8300sx tests -- t10_and
3
#
4
 
5
proc do_t10_and_test {} {
6
    set testname "t10_and.s -- h8sx tests"
7
 
8
    gas_start "t10_and.s" "-al"
9
 
10
    # Check each instruction bit pattern to verify it got assembled correctly.
11
 
12
    set x 0
13
    expect {
14
        -re ".*   7 0000 E112" { set x [expr $x+1]; exp_continue; }
15
        -re ".*   8 0002 7D10E012" { set x [expr $x+1]; exp_continue; }
16
        -re ".*   9 0006 01776818" { set x [expr $x+1]; exp_continue; }
17
        -re ".*   9      E012" { set x [expr $x+1]; exp_continue; }
18
        -re ".*  10 000c 01746C18" { set x [expr $x+1]; exp_continue; }
19
        -re ".*  10      E012" { set x [expr $x+1]; exp_continue; }
20
        -re ".*  11 0012 01776C18" { set x [expr $x+1]; exp_continue; }
21
        -re ".*  11      E012" { set x [expr $x+1]; exp_continue; }
22
        -re ".*  12 0018 01756C18" { set x [expr $x+1]; exp_continue; }
23
        -re ".*  12      E012" { set x [expr $x+1]; exp_continue; }
24
        -re ".*  13 001e 01766C18" { set x [expr $x+1]; exp_continue; }
25
        -re ".*  13      E012" { set x [expr $x+1]; exp_continue; }
26
        -re ".*  14 0024 01746E18" { set x [expr $x+1]; exp_continue; }
27
        -re ".*  14      1234E012" { set x [expr $x+1]; exp_continue; }
28
        -re ".*  15 002c 78146A28" { set x [expr $x+1]; exp_continue; }
29
        -re ".*  15      12345678" { set x [expr $x+1]; exp_continue; }
30
        -re ".*  15      E012" { set x [expr $x+1]; exp_continue; }
31
        -re ".*  16 0036 01756E28" { set x [expr $x+1]; exp_continue; }
32
        -re ".*  16      1234E012" { set x [expr $x+1]; exp_continue; }
33
        -re ".*  17 003e 01766E28" { set x [expr $x+1]; exp_continue; }
34
        -re ".*  17      1234E012" { set x [expr $x+1]; exp_continue; }
35
        -re ".*  18 0046 01776E28" { set x [expr $x+1]; exp_continue; }
36
        -re ".*  18      1234E012" { set x [expr $x+1]; exp_continue; }
37
        -re ".*  19 004e 78256A28" { set x [expr $x+1]; exp_continue; }
38
        -re ".*  19      12345678" { set x [expr $x+1]; exp_continue; }
39
        -re ".*  19      E012" { set x [expr $x+1]; exp_continue; }
40
        -re ".*  20 0058 78266A28" { set x [expr $x+1]; exp_continue; }
41
        -re ".*  20      12345678" { set x [expr $x+1]; exp_continue; }
42
        -re ".*  20      E012" { set x [expr $x+1]; exp_continue; }
43
        -re ".*  21 0062 78276A28" { set x [expr $x+1]; exp_continue; }
44
        -re ".*  21      12345678" { set x [expr $x+1]; exp_continue; }
45
        -re ".*  21      E012" { set x [expr $x+1]; exp_continue; }
46
        -re ".*  22 006c 7F12E012" { set x [expr $x+1]; exp_continue; }
47
        -re ".*  23 0070 6A181234" { set x [expr $x+1]; exp_continue; }
48
        -re ".*  23      E012" { set x [expr $x+1]; exp_continue; }
49
        -re ".*  24 0076 6A381234" { set x [expr $x+1]; exp_continue; }
50
        -re ".*  24      5678E012" { set x [expr $x+1]; exp_continue; }
51
        -re ".*  25              " {
52
            if [expr $x == 37] then {
53
                pass "$testname: and.b #0x12:8, ..."
54
            } else {
55
                fail "$testname: and.b #0x12:8, ... ($x)"
56
            }
57
        }
58
        default { fail "$testname: and.b #0x12:8, ... ($x)" }
59
    }
60
 
61
    set x 0
62
    expect {
63
        -re ".*  26 007e 1631" { set x [expr $x+1]; exp_continue; }
64
        -re ".*  27              " {
65
            if [expr $x == 1] then {
66
                pass "$testname: and.b r3h, r1h"
67
            } else {
68
                fail "$testname: and.b r3h, r1h ($x)"
69
            }
70
        }
71
        default { fail "$testname: and.b r3h, r1h ($x)" }
72
    }
73
 
74
    set x 0
75
    expect {
76
        -re ".*  28 0080 7D101630" { set x [expr $x+1]; exp_continue; }
77
        -re ".*  29 0084 01793163" { set x [expr $x+1]; exp_continue; }
78
        -re ".*  30 0088 01798163" { set x [expr $x+1]; exp_continue; }
79
        -re ".*  31 008c 0179B163" { set x [expr $x+1]; exp_continue; }
80
        -re ".*  32 0090 01799163" { set x [expr $x+1]; exp_continue; }
81
        -re ".*  33 0094 0179A163" { set x [expr $x+1]; exp_continue; }
82
        -re ".*  34 0098 0179C163" { set x [expr $x+1]; exp_continue; }
83
        -re ".*  34      1234" { set x [expr $x+1]; exp_continue; }
84
        -re ".*  35 009e 0179C963" { set x [expr $x+1]; exp_continue; }
85
        -re ".*  35      12345678" { set x [expr $x+1]; exp_continue; }
86
        -re ".*  36 00a6 0179D263" { set x [expr $x+1]; exp_continue; }
87
        -re ".*  36      1234" { set x [expr $x+1]; exp_continue; }
88
        -re ".*  37 00ac 0179E263" { set x [expr $x+1]; exp_continue; }
89
        -re ".*  37      1234" { set x [expr $x+1]; exp_continue; }
90
        -re ".*  38 00b2 0179F263" { set x [expr $x+1]; exp_continue; }
91
        -re ".*  38      1234" { set x [expr $x+1]; exp_continue; }
92
        -re ".*  39 00b8 0179DA63" { set x [expr $x+1]; exp_continue; }
93
        -re ".*  39      12345678" { set x [expr $x+1]; exp_continue; }
94
        -re ".*  40 00c0 0179EA63" { set x [expr $x+1]; exp_continue; }
95
        -re ".*  40      12345678" { set x [expr $x+1]; exp_continue; }
96
        -re ".*  41 00c8 0179FA63" { set x [expr $x+1]; exp_continue; }
97
        -re ".*  41      12345678" { set x [expr $x+1]; exp_continue; }
98
        -re ".*  42 00d0 7F121630" { set x [expr $x+1]; exp_continue; }
99
        -re ".*  43 00d4 6A181234" { set x [expr $x+1]; exp_continue; }
100
        -re ".*  43      1630" { set x [expr $x+1]; exp_continue; }
101
        -re ".*  44 00da 6A381234" { set x [expr $x+1]; exp_continue; }
102
        -re ".*  44      56781630" { set x [expr $x+1]; exp_continue; }
103
        -re ".*  45              " {
104
            if [expr $x == 27] then {
105
                pass "$testname: and.b r3h, ..."
106
            } else {
107
                fail "$testname: and.b r3h, ... ($x)"
108
            }
109
        }
110
        default { fail "$testname: and.b r3h, ... ($x)" }
111
    }
112
 
113
    set x 0
114
    expect {
115
        -re ".*  46 00e2 7C301601" { set x [expr $x+1]; exp_continue; }
116
        -re ".*  47 00e6 017A3361" { set x [expr $x+1]; exp_continue; }
117
        -re ".*  48 00ea 017A8361" { set x [expr $x+1]; exp_continue; }
118
        -re ".*  49 00ee 017AB361" { set x [expr $x+1]; exp_continue; }
119
        -re ".*  50 00f2 017A9361" { set x [expr $x+1]; exp_continue; }
120
        -re ".*  51 00f6 017AA361" { set x [expr $x+1]; exp_continue; }
121
        -re ".*  52 00fa 017AC161" { set x [expr $x+1]; exp_continue; }
122
        -re ".*  52      1234" { set x [expr $x+1]; exp_continue; }
123
        -re ".*  53 0100 017AC961" { set x [expr $x+1]; exp_continue; }
124
        -re ".*  53      12345678" { set x [expr $x+1]; exp_continue; }
125
        -re ".*  54 0108 017AD261" { set x [expr $x+1]; exp_continue; }
126
        -re ".*  54      1234" { set x [expr $x+1]; exp_continue; }
127
        -re ".*  55 010e 017AE261" { set x [expr $x+1]; exp_continue; }
128
        -re ".*  55      1234" { set x [expr $x+1]; exp_continue; }
129
        -re ".*  56 0114 017AF261" { set x [expr $x+1]; exp_continue; }
130
        -re ".*  56      1234" { set x [expr $x+1]; exp_continue; }
131
        -re ".*  57 011a 017ADA61" { set x [expr $x+1]; exp_continue; }
132
        -re ".*  57      12345678" { set x [expr $x+1]; exp_continue; }
133
        -re ".*  58 0122 017AEA61" { set x [expr $x+1]; exp_continue; }
134
        -re ".*  58      12345678" { set x [expr $x+1]; exp_continue; }
135
        -re ".*  59 012a 017AFA61" { set x [expr $x+1]; exp_continue; }
136
        -re ".*  59      12345678" { set x [expr $x+1]; exp_continue; }
137
        -re ".*  60 0132 7E121601" { set x [expr $x+1]; exp_continue; }
138
        -re ".*  61 0136 6A101234" { set x [expr $x+1]; exp_continue; }
139
        -re ".*  61      1601" { set x [expr $x+1]; exp_continue; }
140
        -re ".*  62 013c 6A301234" { set x [expr $x+1]; exp_continue; }
141
        -re ".*  62      56781601" { set x [expr $x+1]; exp_continue; }
142
        -re ".*  63              " {
143
            if [expr $x == 27] then {
144
                pass "$testname: and.b ..., r1h"
145
            } else {
146
                fail "$testname: and.b ..., r1h ($x)"
147
            }
148
        }
149
        default { fail "$testname: and.b ..., r1h ($x)" }
150
    }
151
 
152
    set x 0
153
    expect {
154
        -re ".*  64 0144 7C350160" { set x [expr $x+1]; exp_continue; }
155
        -re ".*  65 0148 7C353160" { set x [expr $x+1]; exp_continue; }
156
        -re ".*  66 014c 7C35B160" { set x [expr $x+1]; exp_continue; }
157
        -re ".*  67 0150 7C358160" { set x [expr $x+1]; exp_continue; }
158
        -re ".*  68 0154 7C35A160" { set x [expr $x+1]; exp_continue; }
159
        -re ".*  69 0158 7C359160" { set x [expr $x+1]; exp_continue; }
160
        -re ".*  70 015c 7C35C160" { set x [expr $x+1]; exp_continue; }
161
        -re ".*  70      9ABC" { set x [expr $x+1]; exp_continue; }
162
        -re ".*  71 0162 7C35C960" { set x [expr $x+1]; exp_continue; }
163
        -re ".*  71      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
164
        -re ".*  72 016a 7C35D260" { set x [expr $x+1]; exp_continue; }
165
        -re ".*  72      9ABC" { set x [expr $x+1]; exp_continue; }
166
        -re ".*  73 0170 7C35E260" { set x [expr $x+1]; exp_continue; }
167
        -re ".*  73      9ABC" { set x [expr $x+1]; exp_continue; }
168
        -re ".*  74 0176 7C35F260" { set x [expr $x+1]; exp_continue; }
169
        -re ".*  74      9ABC" { set x [expr $x+1]; exp_continue; }
170
        -re ".*  75 017c 7C35DA60" { set x [expr $x+1]; exp_continue; }
171
        -re ".*  75      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
172
        -re ".*  76 0184 7C35EA60" { set x [expr $x+1]; exp_continue; }
173
        -re ".*  76      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
174
        -re ".*  77 018c 7C35FA60" { set x [expr $x+1]; exp_continue; }
175
        -re ".*  77      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
176
        -re ".*  78 0194 7C354060" { set x [expr $x+1]; exp_continue; }
177
        -re ".*  78      9ABC" { set x [expr $x+1]; exp_continue; }
178
        -re ".*  79 019a 7C354860" { set x [expr $x+1]; exp_continue; }
179
        -re ".*  79      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
180
        -re ".*  80              " {
181
            if [expr $x == 26] then {
182
                pass "$testname: and.b @er3, ..."
183
            } else {
184
                fail "$testname: and.b @er3, ... ($x)"
185
            }
186
        }
187
        default { fail "$testname: and.b @er3, ... ($x)" }
188
    }
189
 
190
    set x 0
191
    expect {
192
        -re ".*  81 01a2 01776C3C" { set x [expr $x+1]; exp_continue; }
193
        -re ".*  81      0160" { set x [expr $x+1]; exp_continue; }
194
        -re ".*  82 01a8 01776C3C" { set x [expr $x+1]; exp_continue; }
195
        -re ".*  82      3160" { set x [expr $x+1]; exp_continue; }
196
        -re ".*  83 01ae 01776C3C" { set x [expr $x+1]; exp_continue; }
197
        -re ".*  83      B160" { set x [expr $x+1]; exp_continue; }
198
        -re ".*  84 01b4 01776C3C" { set x [expr $x+1]; exp_continue; }
199
        -re ".*  84      8160" { set x [expr $x+1]; exp_continue; }
200
        -re ".*  85 01ba 01776C3C" { set x [expr $x+1]; exp_continue; }
201
        -re ".*  85      A160" { set x [expr $x+1]; exp_continue; }
202
        -re ".*  86 01c0 01776C3C" { set x [expr $x+1]; exp_continue; }
203
        -re ".*  86      9160" { set x [expr $x+1]; exp_continue; }
204
        -re ".*  87 01c6 01776C3C" { set x [expr $x+1]; exp_continue; }
205
        -re ".*  87      C1609ABC" { set x [expr $x+1]; exp_continue; }
206
        -re ".*  88 01ce 01776C3C" { set x [expr $x+1]; exp_continue; }
207
        -re ".*  88      C9609ABC" { set x [expr $x+1]; exp_continue; }
208
        -re ".*  88      DEF0" { set x [expr $x+1]; exp_continue; }
209
        -re ".*  89 01d8 01776C3C" { set x [expr $x+1]; exp_continue; }
210
        -re ".*  89      D2609ABC" { set x [expr $x+1]; exp_continue; }
211
        -re ".*  90 01e0 01776C3C" { set x [expr $x+1]; exp_continue; }
212
        -re ".*  90      E2609ABC" { set x [expr $x+1]; exp_continue; }
213
        -re ".*  91 01e8 01776C3C" { set x [expr $x+1]; exp_continue; }
214
        -re ".*  91      F2609ABC" { set x [expr $x+1]; exp_continue; }
215
        -re ".*  92 01f0 01776C3C" { set x [expr $x+1]; exp_continue; }
216
        -re ".*  92      DA609ABC" { set x [expr $x+1]; exp_continue; }
217
        -re ".*  92      DEF0" { set x [expr $x+1]; exp_continue; }
218
        -re ".*  93 01fa 01776C3C" { set x [expr $x+1]; exp_continue; }
219
        -re ".*  93      EA609ABC" { set x [expr $x+1]; exp_continue; }
220
        -re ".*  93      DEF0" { set x [expr $x+1]; exp_continue; }
221
        -re ".*  94 0204 01776C3C" { set x [expr $x+1]; exp_continue; }
222
        -re ".*  94      FA609ABC" { set x [expr $x+1]; exp_continue; }
223
        -re ".*  94      DEF0" { set x [expr $x+1]; exp_continue; }
224
        -re ".*  95 020e 01776C3C" { set x [expr $x+1]; exp_continue; }
225
        -re ".*  95      40609ABC" { set x [expr $x+1]; exp_continue; }
226
        -re ".*  96 0216 01776C3C" { set x [expr $x+1]; exp_continue; }
227
        -re ".*  96      48609ABC" { set x [expr $x+1]; exp_continue; }
228
        -re ".*  96      DEF0" { set x [expr $x+1]; exp_continue; }
229
        -re ".*  97              " {
230
            if [expr $x == 37] then {
231
                pass "$testname: and.b @-er3, ..."
232
            } else {
233
                fail "$testname: and.b @-er3, ... ($x)"
234
            }
235
        }
236
        default { fail "$testname: and.b @-er3, ... ($x)" }
237
    }
238
 
239
    set x 0
240
    expect {
241
        -re ".*  98 0220 01746C3C" { set x [expr $x+1]; exp_continue; }
242
        -re ".*  98      0160" { set x [expr $x+1]; exp_continue; }
243
        -re ".*  99 0226 01746C3C" { set x [expr $x+1]; exp_continue; }
244
        -re ".*  99      3160" { set x [expr $x+1]; exp_continue; }
245
        -re ".* 100 022c 01746C3C" { set x [expr $x+1]; exp_continue; }
246
        -re ".* 100      B160" { set x [expr $x+1]; exp_continue; }
247
        -re ".* 101 0232 01746C3C" { set x [expr $x+1]; exp_continue; }
248
        -re ".* 101      8160" { set x [expr $x+1]; exp_continue; }
249
        -re ".* 102 0238 01746C3C" { set x [expr $x+1]; exp_continue; }
250
        -re ".* 102      A160" { set x [expr $x+1]; exp_continue; }
251
        -re ".* 103 023e 01746C3C" { set x [expr $x+1]; exp_continue; }
252
        -re ".* 103      9160" { set x [expr $x+1]; exp_continue; }
253
        -re ".* 104 0244 01746C3C" { set x [expr $x+1]; exp_continue; }
254
        -re ".* 104      C1609ABC" { set x [expr $x+1]; exp_continue; }
255
        -re ".* 105 024c 01746C3C" { set x [expr $x+1]; exp_continue; }
256
        -re ".* 105      C9609ABC" { set x [expr $x+1]; exp_continue; }
257
        -re ".* 105      DEF0" { set x [expr $x+1]; exp_continue; }
258
        -re ".* 106 0256 01746C3C" { set x [expr $x+1]; exp_continue; }
259
        -re ".* 106      D2609ABC" { set x [expr $x+1]; exp_continue; }
260
        -re ".* 107 025e 01746C3C" { set x [expr $x+1]; exp_continue; }
261
        -re ".* 107      E2609ABC" { set x [expr $x+1]; exp_continue; }
262
        -re ".* 108 0266 01746C3C" { set x [expr $x+1]; exp_continue; }
263
        -re ".* 108      F2609ABC" { set x [expr $x+1]; exp_continue; }
264
        -re ".* 109 026e 01746C3C" { set x [expr $x+1]; exp_continue; }
265
        -re ".* 109      DA609ABC" { set x [expr $x+1]; exp_continue; }
266
        -re ".* 109      DEF0" { set x [expr $x+1]; exp_continue; }
267
        -re ".* 110 0278 01746C3C" { set x [expr $x+1]; exp_continue; }
268
        -re ".* 110      EA609ABC" { set x [expr $x+1]; exp_continue; }
269
        -re ".* 110      DEF0" { set x [expr $x+1]; exp_continue; }
270
        -re ".* 111 0282 01746C3C" { set x [expr $x+1]; exp_continue; }
271
        -re ".* 111      FA609ABC" { set x [expr $x+1]; exp_continue; }
272
        -re ".* 111      DEF0" { set x [expr $x+1]; exp_continue; }
273
        -re ".* 112 028c 01746C3C" { set x [expr $x+1]; exp_continue; }
274
        -re ".* 112      40609ABC" { set x [expr $x+1]; exp_continue; }
275
        -re ".* 113 0294 01746C3C" { set x [expr $x+1]; exp_continue; }
276
        -re ".* 113      48609ABC" { set x [expr $x+1]; exp_continue; }
277
        -re ".* 113      DEF0" { set x [expr $x+1]; exp_continue; }
278
        -re ".* 114              " {
279
            if [expr $x == 37] then {
280
                pass "$testname: and.b @er3+, ..."
281
            } else {
282
                fail "$testname: and.b @er3+, ... ($x)"
283
            }
284
        }
285
        default { fail "$testname: and.b @er3+, ... ($x)" }
286
    }
287
 
288
    set x 0
289
    expect {
290
        -re ".* 115 029e 01766C3C" { set x [expr $x+1]; exp_continue; }
291
        -re ".* 115      0160" { set x [expr $x+1]; exp_continue; }
292
        -re ".* 116 02a4 01766C3C" { set x [expr $x+1]; exp_continue; }
293
        -re ".* 116      3160" { set x [expr $x+1]; exp_continue; }
294
        -re ".* 117 02aa 01766C3C" { set x [expr $x+1]; exp_continue; }
295
        -re ".* 117      B160" { set x [expr $x+1]; exp_continue; }
296
        -re ".* 118 02b0 01766C3C" { set x [expr $x+1]; exp_continue; }
297
        -re ".* 118      8160" { set x [expr $x+1]; exp_continue; }
298
        -re ".* 119 02b6 01766C3C" { set x [expr $x+1]; exp_continue; }
299
        -re ".* 119      A160" { set x [expr $x+1]; exp_continue; }
300
        -re ".* 120 02bc 01766C3C" { set x [expr $x+1]; exp_continue; }
301
        -re ".* 120      9160" { set x [expr $x+1]; exp_continue; }
302
        -re ".* 121 02c2 01766C3C" { set x [expr $x+1]; exp_continue; }
303
        -re ".* 121      C1609ABC" { set x [expr $x+1]; exp_continue; }
304
        -re ".* 122 02ca 01766C3C" { set x [expr $x+1]; exp_continue; }
305
        -re ".* 122      C9609ABC" { set x [expr $x+1]; exp_continue; }
306
        -re ".* 122      DEF0" { set x [expr $x+1]; exp_continue; }
307
        -re ".* 123 02d4 01766C3C" { set x [expr $x+1]; exp_continue; }
308
        -re ".* 123      D2609ABC" { set x [expr $x+1]; exp_continue; }
309
        -re ".* 124 02dc 01766C3C" { set x [expr $x+1]; exp_continue; }
310
        -re ".* 124      E2609ABC" { set x [expr $x+1]; exp_continue; }
311
        -re ".* 125 02e4 01766C3C" { set x [expr $x+1]; exp_continue; }
312
        -re ".* 125      F2609ABC" { set x [expr $x+1]; exp_continue; }
313
        -re ".* 126 02ec 01766C3C" { set x [expr $x+1]; exp_continue; }
314
        -re ".* 126      DA609ABC" { set x [expr $x+1]; exp_continue; }
315
        -re ".* 126      DEF0" { set x [expr $x+1]; exp_continue; }
316
        -re ".* 127 02f6 01766C3C" { set x [expr $x+1]; exp_continue; }
317
        -re ".* 127      EA609ABC" { set x [expr $x+1]; exp_continue; }
318
        -re ".* 127      DEF0" { set x [expr $x+1]; exp_continue; }
319
        -re ".* 128 0300 01766C3C" { set x [expr $x+1]; exp_continue; }
320
        -re ".* 128      FA609ABC" { set x [expr $x+1]; exp_continue; }
321
        -re ".* 128      DEF0" { set x [expr $x+1]; exp_continue; }
322
        -re ".* 129 030a 01766C3C" { set x [expr $x+1]; exp_continue; }
323
        -re ".* 129      40609ABC" { set x [expr $x+1]; exp_continue; }
324
        -re ".* 130 0312 01766C3C" { set x [expr $x+1]; exp_continue; }
325
        -re ".* 130      48609ABC" { set x [expr $x+1]; exp_continue; }
326
        -re ".* 130      DEF0" { set x [expr $x+1]; exp_continue; }
327
        -re ".* 131              " {
328
            if [expr $x == 37] then {
329
                pass "$testname: and.b @er3-, ..."
330
            } else {
331
                fail "$testname: and.b @er3-, ... ($x)"
332
            }
333
        }
334
        default { fail "$testname: and.b @er3-, ... ($x)" }
335
    }
336
 
337
    set x 0
338
    expect {
339
        -re ".* 132 031c 01756C3C" { set x [expr $x+1]; exp_continue; }
340
        -re ".* 132      0160" { set x [expr $x+1]; exp_continue; }
341
        -re ".* 133 0322 01756C3C" { set x [expr $x+1]; exp_continue; }
342
        -re ".* 133      3160" { set x [expr $x+1]; exp_continue; }
343
        -re ".* 134 0328 01756C3C" { set x [expr $x+1]; exp_continue; }
344
        -re ".* 134      B160" { set x [expr $x+1]; exp_continue; }
345
        -re ".* 135 032e 01756C3C" { set x [expr $x+1]; exp_continue; }
346
        -re ".* 135      8160" { set x [expr $x+1]; exp_continue; }
347
        -re ".* 136 0334 01756C3C" { set x [expr $x+1]; exp_continue; }
348
        -re ".* 136      A160" { set x [expr $x+1]; exp_continue; }
349
        -re ".* 137 033a 01756C3C" { set x [expr $x+1]; exp_continue; }
350
        -re ".* 137      9160" { set x [expr $x+1]; exp_continue; }
351
        -re ".* 138 0340 01756C3C" { set x [expr $x+1]; exp_continue; }
352
        -re ".* 138      C1609ABC" { set x [expr $x+1]; exp_continue; }
353
        -re ".* 139 0348 01756C3C" { set x [expr $x+1]; exp_continue; }
354
        -re ".* 139      C9609ABC" { set x [expr $x+1]; exp_continue; }
355
        -re ".* 139      DEF0" { set x [expr $x+1]; exp_continue; }
356
        -re ".* 140 0352 01756C3C" { set x [expr $x+1]; exp_continue; }
357
        -re ".* 140      D2609ABC" { set x [expr $x+1]; exp_continue; }
358
        -re ".* 141 035a 01756C3C" { set x [expr $x+1]; exp_continue; }
359
        -re ".* 141      E2609ABC" { set x [expr $x+1]; exp_continue; }
360
        -re ".* 142 0362 01756C3C" { set x [expr $x+1]; exp_continue; }
361
        -re ".* 142      F2609ABC" { set x [expr $x+1]; exp_continue; }
362
        -re ".* 143 036a 01756C3C" { set x [expr $x+1]; exp_continue; }
363
        -re ".* 143      DA609ABC" { set x [expr $x+1]; exp_continue; }
364
        -re ".* 143      DEF0" { set x [expr $x+1]; exp_continue; }
365
        -re ".* 144 0374 01756C3C" { set x [expr $x+1]; exp_continue; }
366
        -re ".* 144      EA609ABC" { set x [expr $x+1]; exp_continue; }
367
        -re ".* 144      DEF0" { set x [expr $x+1]; exp_continue; }
368
        -re ".* 145 037e 01756C3C" { set x [expr $x+1]; exp_continue; }
369
        -re ".* 145      FA609ABC" { set x [expr $x+1]; exp_continue; }
370
        -re ".* 145      DEF0" { set x [expr $x+1]; exp_continue; }
371
        -re ".* 146 0388 01756C3C" { set x [expr $x+1]; exp_continue; }
372
        -re ".* 146      40609ABC" { set x [expr $x+1]; exp_continue; }
373
        -re ".* 147 0390 01756C3C" { set x [expr $x+1]; exp_continue; }
374
        -re ".* 147      48609ABC" { set x [expr $x+1]; exp_continue; }
375
        -re ".* 147      DEF0" { set x [expr $x+1]; exp_continue; }
376
        -re ".* 148              " {
377
            if [expr $x == 37] then {
378
                pass "$testname: and.b @+er3, ..."
379
            } else {
380
                fail "$testname: and.b @+er3, ... ($x)"
381
            }
382
        }
383
        default { fail "$testname: and.b @+er3, ... ($x)" }
384
    }
385
 
386
    set x 0
387
    expect {
388
        -re ".* 149 039a 01746E3C" { set x [expr $x+1]; exp_continue; }
389
        -re ".* 149      12340160" { set x [expr $x+1]; exp_continue; }
390
        -re ".* 150 03a2 01746E3C" { set x [expr $x+1]; exp_continue; }
391
        -re ".* 150      12343160" { set x [expr $x+1]; exp_continue; }
392
        -re ".* 151 03aa 01746E3C" { set x [expr $x+1]; exp_continue; }
393
        -re ".* 151      1234B160" { set x [expr $x+1]; exp_continue; }
394
        -re ".* 152 03b2 01746E3C" { set x [expr $x+1]; exp_continue; }
395
        -re ".* 152      12348160" { set x [expr $x+1]; exp_continue; }
396
        -re ".* 153 03ba 01746E3C" { set x [expr $x+1]; exp_continue; }
397
        -re ".* 153      1234A160" { set x [expr $x+1]; exp_continue; }
398
        -re ".* 154 03c2 01746E3C" { set x [expr $x+1]; exp_continue; }
399
        -re ".* 154      12349160" { set x [expr $x+1]; exp_continue; }
400
        -re ".* 155 03ca 01746E3C" { set x [expr $x+1]; exp_continue; }
401
        -re ".* 155      1234C160" { set x [expr $x+1]; exp_continue; }
402
        -re ".* 155      9ABC" { set x [expr $x+1]; exp_continue; }
403
        -re ".* 156 03d4 01746E3C" { set x [expr $x+1]; exp_continue; }
404
        -re ".* 156      1234C960" { set x [expr $x+1]; exp_continue; }
405
        -re ".* 156      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
406
        -re ".* 157 03e0 01746E3C" { set x [expr $x+1]; exp_continue; }
407
        -re ".* 157      1234D260" { set x [expr $x+1]; exp_continue; }
408
        -re ".* 157      9ABC" { set x [expr $x+1]; exp_continue; }
409
        -re ".* 158 03ea 01746E3C" { set x [expr $x+1]; exp_continue; }
410
        -re ".* 158      1234E260" { set x [expr $x+1]; exp_continue; }
411
        -re ".* 158      9ABC" { set x [expr $x+1]; exp_continue; }
412
        -re ".* 159 03f4 01746E3C" { set x [expr $x+1]; exp_continue; }
413
        -re ".* 159      1234F260" { set x [expr $x+1]; exp_continue; }
414
        -re ".* 159      9ABC" { set x [expr $x+1]; exp_continue; }
415
        -re ".* 160 03fe 01746E3C" { set x [expr $x+1]; exp_continue; }
416
        -re ".* 160      1234DA60" { set x [expr $x+1]; exp_continue; }
417
        -re ".* 160      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
418
        -re ".* 161 040a 01746E3C" { set x [expr $x+1]; exp_continue; }
419
        -re ".* 161      1234EA60" { set x [expr $x+1]; exp_continue; }
420
        -re ".* 161      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
421
        -re ".* 162 0416 01746E3C" { set x [expr $x+1]; exp_continue; }
422
        -re ".* 162      1234FA60" { set x [expr $x+1]; exp_continue; }
423
        -re ".* 162      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
424
        -re ".* 163 0422 01746E3C" { set x [expr $x+1]; exp_continue; }
425
        -re ".* 163      12344060" { set x [expr $x+1]; exp_continue; }
426
        -re ".* 163      9ABC" { set x [expr $x+1]; exp_continue; }
427
        -re ".* 164 042c 01746E3C" { set x [expr $x+1]; exp_continue; }
428
        -re ".* 164      12344860" { set x [expr $x+1]; exp_continue; }
429
        -re ".* 164      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
430
        -re ".* 165              " {
431
            if [expr $x == 42] then {
432
                pass "$testname: and.b @(0x1234:16,er3), ..."
433
            } else {
434
                fail "$testname: and.b @(0x1234:16,er3), ... ($x)"
435
            }
436
        }
437
        default { fail "$testname: and.b @(0x1234:16,er3), ... ($x)" }
438
    }
439
 
440
    set x 0
441
    expect {
442
        -re ".* 166 0438 78346A2C" { set x [expr $x+1]; exp_continue; }
443
        -re ".* 166      12345678" { set x [expr $x+1]; exp_continue; }
444
        -re ".* 166      0160" { set x [expr $x+1]; exp_continue; }
445
        -re ".* 167 0442 78346A2C" { set x [expr $x+1]; exp_continue; }
446
        -re ".* 167      12345678" { set x [expr $x+1]; exp_continue; }
447
        -re ".* 167      3160" { set x [expr $x+1]; exp_continue; }
448
        -re ".* 168 044c 78346A2C" { set x [expr $x+1]; exp_continue; }
449
        -re ".* 168      12345678" { set x [expr $x+1]; exp_continue; }
450
        -re ".* 168      B160" { set x [expr $x+1]; exp_continue; }
451
        -re ".* 169 0456 78346A2C" { set x [expr $x+1]; exp_continue; }
452
        -re ".* 169      12345678" { set x [expr $x+1]; exp_continue; }
453
        -re ".* 169      8160" { set x [expr $x+1]; exp_continue; }
454
        -re ".* 170 0460 78346A2C" { set x [expr $x+1]; exp_continue; }
455
        -re ".* 170      12345678" { set x [expr $x+1]; exp_continue; }
456
        -re ".* 170      A160" { set x [expr $x+1]; exp_continue; }
457
        -re ".* 171 046a 78346A2C" { set x [expr $x+1]; exp_continue; }
458
        -re ".* 171      12345678" { set x [expr $x+1]; exp_continue; }
459
        -re ".* 171      9160" { set x [expr $x+1]; exp_continue; }
460
        -re ".* 172 0474 78346A2C" { set x [expr $x+1]; exp_continue; }
461
        -re ".* 172      12345678" { set x [expr $x+1]; exp_continue; }
462
        -re ".* 172      C1609ABC" { set x [expr $x+1]; exp_continue; }
463
        -re ".* 173 0480 78346A2C" { set x [expr $x+1]; exp_continue; }
464
        -re ".* 173      12345678" { set x [expr $x+1]; exp_continue; }
465
        -re ".* 173      C9609ABC" { set x [expr $x+1]; exp_continue; }
466
        -re ".* 173      DEF0" { set x [expr $x+1]; exp_continue; }
467
        -re ".* 174 048e 78346A2C" { set x [expr $x+1]; exp_continue; }
468
        -re ".* 174      12345678" { set x [expr $x+1]; exp_continue; }
469
        -re ".* 174      D2609ABC" { set x [expr $x+1]; exp_continue; }
470
        -re ".* 175 049a 78346A2C" { set x [expr $x+1]; exp_continue; }
471
        -re ".* 175      12345678" { set x [expr $x+1]; exp_continue; }
472
        -re ".* 175      E2609ABC" { set x [expr $x+1]; exp_continue; }
473
        -re ".* 176 04a6 78346A2C" { set x [expr $x+1]; exp_continue; }
474
        -re ".* 176      12345678" { set x [expr $x+1]; exp_continue; }
475
        -re ".* 176      F2609ABC" { set x [expr $x+1]; exp_continue; }
476
        -re ".* 177 04b2 78346A2C" { set x [expr $x+1]; exp_continue; }
477
        -re ".* 177      12345678" { set x [expr $x+1]; exp_continue; }
478
        -re ".* 177      DA609ABC" { set x [expr $x+1]; exp_continue; }
479
        -re ".* 177      DEF0" { set x [expr $x+1]; exp_continue; }
480
        -re ".* 178 04c0 78346A2C" { set x [expr $x+1]; exp_continue; }
481
        -re ".* 178      12345678" { set x [expr $x+1]; exp_continue; }
482
        -re ".* 178      EA609ABC" { set x [expr $x+1]; exp_continue; }
483
        -re ".* 178      DEF0" { set x [expr $x+1]; exp_continue; }
484
        -re ".* 179 04ce 78346A2C" { set x [expr $x+1]; exp_continue; }
485
        -re ".* 179      12345678" { set x [expr $x+1]; exp_continue; }
486
        -re ".* 179      FA609ABC" { set x [expr $x+1]; exp_continue; }
487
        -re ".* 179      DEF0" { set x [expr $x+1]; exp_continue; }
488
        -re ".* 180 04dc 78346A2C" { set x [expr $x+1]; exp_continue; }
489
        -re ".* 180      12345678" { set x [expr $x+1]; exp_continue; }
490
        -re ".* 180      40609ABC" { set x [expr $x+1]; exp_continue; }
491
        -re ".* 181 04e8 78346A2C" { set x [expr $x+1]; exp_continue; }
492
        -re ".* 181      12345678" { set x [expr $x+1]; exp_continue; }
493
        -re ".* 181      48609ABC" { set x [expr $x+1]; exp_continue; }
494
        -re ".* 181      DEF0" { set x [expr $x+1]; exp_continue; }
495
        -re ".* 182              " {
496
            if [expr $x == 53] then {
497
                pass "$testname: and.b @(0x12345678:32,er3), ..."
498
            } else {
499
                fail "$testname: and.b @(0x12345678:32,er3), ... ($x)"
500
            }
501
        }
502
        default { fail "$testname: and.b @(0x12345678:32,er3), ... ($x)" }
503
    }
504
 
505
    set x 0
506
    expect {
507
        -re ".* 183 04f6 01756E3C" { set x [expr $x+1]; exp_continue; }
508
        -re ".* 183      12340160" { set x [expr $x+1]; exp_continue; }
509
        -re ".* 184 04fe 01756E3C" { set x [expr $x+1]; exp_continue; }
510
        -re ".* 184      12343160" { set x [expr $x+1]; exp_continue; }
511
        -re ".* 185 0506 01756E3C" { set x [expr $x+1]; exp_continue; }
512
        -re ".* 185      1234B160" { set x [expr $x+1]; exp_continue; }
513
        -re ".* 186 050e 01756E3C" { set x [expr $x+1]; exp_continue; }
514
        -re ".* 186      12348160" { set x [expr $x+1]; exp_continue; }
515
        -re ".* 187 0516 01756E3C" { set x [expr $x+1]; exp_continue; }
516
        -re ".* 187      1234A160" { set x [expr $x+1]; exp_continue; }
517
        -re ".* 188 051e 01756E3C" { set x [expr $x+1]; exp_continue; }
518
        -re ".* 188      12349160" { set x [expr $x+1]; exp_continue; }
519
        -re ".* 189 0526 01756E3C" { set x [expr $x+1]; exp_continue; }
520
        -re ".* 189      1234C160" { set x [expr $x+1]; exp_continue; }
521
        -re ".* 189      9ABC" { set x [expr $x+1]; exp_continue; }
522
        -re ".* 190 0530 01756E3C" { set x [expr $x+1]; exp_continue; }
523
        -re ".* 190      1234C960" { set x [expr $x+1]; exp_continue; }
524
        -re ".* 190      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
525
        -re ".* 191 053c 01756E3C" { set x [expr $x+1]; exp_continue; }
526
        -re ".* 191      1234D260" { set x [expr $x+1]; exp_continue; }
527
        -re ".* 191      9ABC" { set x [expr $x+1]; exp_continue; }
528
        -re ".* 192 0546 01756E3C" { set x [expr $x+1]; exp_continue; }
529
        -re ".* 192      1234E260" { set x [expr $x+1]; exp_continue; }
530
        -re ".* 192      9ABC" { set x [expr $x+1]; exp_continue; }
531
        -re ".* 193 0550 01756E3C" { set x [expr $x+1]; exp_continue; }
532
        -re ".* 193      1234F260" { set x [expr $x+1]; exp_continue; }
533
        -re ".* 193      9ABC" { set x [expr $x+1]; exp_continue; }
534
        -re ".* 194 055a 01756E3C" { set x [expr $x+1]; exp_continue; }
535
        -re ".* 194      1234DA60" { set x [expr $x+1]; exp_continue; }
536
        -re ".* 194      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
537
        -re ".* 195 0566 01756E3C" { set x [expr $x+1]; exp_continue; }
538
        -re ".* 195      1234EA60" { set x [expr $x+1]; exp_continue; }
539
        -re ".* 195      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
540
        -re ".* 196 0572 01756E3C" { set x [expr $x+1]; exp_continue; }
541
        -re ".* 196      1234FA60" { set x [expr $x+1]; exp_continue; }
542
        -re ".* 196      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
543
        -re ".* 197 057e 01756E3C" { set x [expr $x+1]; exp_continue; }
544
        -re ".* 197      12344060" { set x [expr $x+1]; exp_continue; }
545
        -re ".* 197      9ABC" { set x [expr $x+1]; exp_continue; }
546
        -re ".* 198 0588 01756E3C" { set x [expr $x+1]; exp_continue; }
547
        -re ".* 198      12344860" { set x [expr $x+1]; exp_continue; }
548
        -re ".* 198      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
549
        -re ".* 199              " {
550
            if [expr $x == 42] then {
551
                pass "$testname: and.b @(0x1234:16,r3l.b), ..."
552
            } else {
553
                fail "$testname: and.b @(0x1234:16,r3l.b), ... ($x)"
554
            }
555
        }
556
        default { fail "$testname: and.b @(0x1234:16,r3l.b), ... ($x)" }
557
    }
558
 
559
    set x 0
560
    expect {
561
        -re ".* 200 0594 01766E3C" { set x [expr $x+1]; exp_continue; }
562
        -re ".* 200      12340160" { set x [expr $x+1]; exp_continue; }
563
        -re ".* 201 059c 01766E3C" { set x [expr $x+1]; exp_continue; }
564
        -re ".* 201      12343160" { set x [expr $x+1]; exp_continue; }
565
        -re ".* 202 05a4 01766E3C" { set x [expr $x+1]; exp_continue; }
566
        -re ".* 202      1234B160" { set x [expr $x+1]; exp_continue; }
567
        -re ".* 203 05ac 01766E3C" { set x [expr $x+1]; exp_continue; }
568
        -re ".* 203      12348160" { set x [expr $x+1]; exp_continue; }
569
        -re ".* 204 05b4 01766E3C" { set x [expr $x+1]; exp_continue; }
570
        -re ".* 204      1234A160" { set x [expr $x+1]; exp_continue; }
571
        -re ".* 205 05bc 01766E3C" { set x [expr $x+1]; exp_continue; }
572
        -re ".* 205      12349160" { set x [expr $x+1]; exp_continue; }
573
        -re ".* 206 05c4 01766E3C" { set x [expr $x+1]; exp_continue; }
574
        -re ".* 206      1234C160" { set x [expr $x+1]; exp_continue; }
575
        -re ".* 206      9ABC" { set x [expr $x+1]; exp_continue; }
576
        -re ".* 207 05ce 01766E3C" { set x [expr $x+1]; exp_continue; }
577
        -re ".* 207      1234C960" { set x [expr $x+1]; exp_continue; }
578
        -re ".* 207      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
579
        -re ".* 208 05da 01766E3C" { set x [expr $x+1]; exp_continue; }
580
        -re ".* 208      1234D260" { set x [expr $x+1]; exp_continue; }
581
        -re ".* 208      9ABC" { set x [expr $x+1]; exp_continue; }
582
        -re ".* 209 05e4 01766E3C" { set x [expr $x+1]; exp_continue; }
583
        -re ".* 209      1234E260" { set x [expr $x+1]; exp_continue; }
584
        -re ".* 209      9ABC" { set x [expr $x+1]; exp_continue; }
585
        -re ".* 210 05ee 01766E3C" { set x [expr $x+1]; exp_continue; }
586
        -re ".* 210      1234F260" { set x [expr $x+1]; exp_continue; }
587
        -re ".* 210      9ABC" { set x [expr $x+1]; exp_continue; }
588
        -re ".* 211 05f8 01766E3C" { set x [expr $x+1]; exp_continue; }
589
        -re ".* 211      1234DA60" { set x [expr $x+1]; exp_continue; }
590
        -re ".* 211      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
591
        -re ".* 212 0604 01766E3C" { set x [expr $x+1]; exp_continue; }
592
        -re ".* 212      1234EA60" { set x [expr $x+1]; exp_continue; }
593
        -re ".* 212      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
594
        -re ".* 213 0610 01766E3C" { set x [expr $x+1]; exp_continue; }
595
        -re ".* 213      1234FA60" { set x [expr $x+1]; exp_continue; }
596
        -re ".* 213      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
597
        -re ".* 214 061c 01766E3C" { set x [expr $x+1]; exp_continue; }
598
        -re ".* 214      12344060" { set x [expr $x+1]; exp_continue; }
599
        -re ".* 214      9ABC" { set x [expr $x+1]; exp_continue; }
600
        -re ".* 215 0626 01766E3C" { set x [expr $x+1]; exp_continue; }
601
        -re ".* 215      12344860" { set x [expr $x+1]; exp_continue; }
602
        -re ".* 215      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
603
        -re ".* 216              " {
604
            if [expr $x == 42] then {
605
                pass "$testname: and.b @(0x1234:16,r3.w), ..."
606
            } else {
607
                fail "$testname: and.b @(0x1234:16,r3.w), ... ($x)"
608
            }
609
        }
610
        default { fail "$testname: and.b @(0x1234:16,r3.w), ... ($x)" }
611
    }
612
 
613
    set x 0
614
    expect {
615
        -re ".* 217 0632 01776E3C" { set x [expr $x+1]; exp_continue; }
616
        -re ".* 217      12340160" { set x [expr $x+1]; exp_continue; }
617
        -re ".* 218 063a 01776E3C" { set x [expr $x+1]; exp_continue; }
618
        -re ".* 218      12343160" { set x [expr $x+1]; exp_continue; }
619
        -re ".* 219 0642 01776E3C" { set x [expr $x+1]; exp_continue; }
620
        -re ".* 219      1234B160" { set x [expr $x+1]; exp_continue; }
621
        -re ".* 220 064a 01776E3C" { set x [expr $x+1]; exp_continue; }
622
        -re ".* 220      12348160" { set x [expr $x+1]; exp_continue; }
623
        -re ".* 221 0652 01776E3C" { set x [expr $x+1]; exp_continue; }
624
        -re ".* 221      1234A160" { set x [expr $x+1]; exp_continue; }
625
        -re ".* 222 065a 01776E3C" { set x [expr $x+1]; exp_continue; }
626
        -re ".* 222      12349160" { set x [expr $x+1]; exp_continue; }
627
        -re ".* 223 0662 01776E3C" { set x [expr $x+1]; exp_continue; }
628
        -re ".* 223      1234C160" { set x [expr $x+1]; exp_continue; }
629
        -re ".* 223      9ABC" { set x [expr $x+1]; exp_continue; }
630
        -re ".* 224 066c 01776E3C" { set x [expr $x+1]; exp_continue; }
631
        -re ".* 224      1234C960" { set x [expr $x+1]; exp_continue; }
632
        -re ".* 224      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
633
        -re ".* 225 0678 01776E3C" { set x [expr $x+1]; exp_continue; }
634
        -re ".* 225      1234D260" { set x [expr $x+1]; exp_continue; }
635
        -re ".* 225      9ABC" { set x [expr $x+1]; exp_continue; }
636
        -re ".* 226 0682 01776E3C" { set x [expr $x+1]; exp_continue; }
637
        -re ".* 226      1234E260" { set x [expr $x+1]; exp_continue; }
638
        -re ".* 226      9ABC" { set x [expr $x+1]; exp_continue; }
639
        -re ".* 227 068c 01776E3C" { set x [expr $x+1]; exp_continue; }
640
        -re ".* 227      1234F260" { set x [expr $x+1]; exp_continue; }
641
        -re ".* 227      9ABC" { set x [expr $x+1]; exp_continue; }
642
        -re ".* 228 0696 01776E3C" { set x [expr $x+1]; exp_continue; }
643
        -re ".* 228      1234DA60" { set x [expr $x+1]; exp_continue; }
644
        -re ".* 228      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
645
        -re ".* 229 06a2 01776E3C" { set x [expr $x+1]; exp_continue; }
646
        -re ".* 229      1234EA60" { set x [expr $x+1]; exp_continue; }
647
        -re ".* 229      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
648
        -re ".* 230 06ae 01776E3C" { set x [expr $x+1]; exp_continue; }
649
        -re ".* 230      1234FA60" { set x [expr $x+1]; exp_continue; }
650
        -re ".* 230      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
651
        -re ".* 231 06ba 01776E3C" { set x [expr $x+1]; exp_continue; }
652
        -re ".* 231      12344060" { set x [expr $x+1]; exp_continue; }
653
        -re ".* 231      9ABC" { set x [expr $x+1]; exp_continue; }
654
        -re ".* 232 06c4 01776E3C" { set x [expr $x+1]; exp_continue; }
655
        -re ".* 232      12344860" { set x [expr $x+1]; exp_continue; }
656
        -re ".* 232      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
657
        -re ".* 233              " {
658
            if [expr $x == 42] then {
659
                pass "$testname: and.b @(0x1234:16,er3.l), ..."
660
            } else {
661
                fail "$testname: and.b @(0x1234:16,er3.l), ... ($x)"
662
            }
663
        }
664
        default { fail "$testname: and.b @(0x1234:16,er3.l), ... ($x)" }
665
    }
666
 
667
    set x 0
668
    expect {
669
        -re ".* 234 06d0 78356A2C" { set x [expr $x+1]; exp_continue; }
670
        -re ".* 234      12345678" { set x [expr $x+1]; exp_continue; }
671
        -re ".* 234      0160" { set x [expr $x+1]; exp_continue; }
672
        -re ".* 235 06da 78356A2C" { set x [expr $x+1]; exp_continue; }
673
        -re ".* 235      12345678" { set x [expr $x+1]; exp_continue; }
674
        -re ".* 235      3160" { set x [expr $x+1]; exp_continue; }
675
        -re ".* 236 06e4 78356A2C" { set x [expr $x+1]; exp_continue; }
676
        -re ".* 236      12345678" { set x [expr $x+1]; exp_continue; }
677
        -re ".* 236      B160" { set x [expr $x+1]; exp_continue; }
678
        -re ".* 237 06ee 78356A2C" { set x [expr $x+1]; exp_continue; }
679
        -re ".* 237      12345678" { set x [expr $x+1]; exp_continue; }
680
        -re ".* 237      8160" { set x [expr $x+1]; exp_continue; }
681
        -re ".* 238 06f8 78356A2C" { set x [expr $x+1]; exp_continue; }
682
        -re ".* 238      12345678" { set x [expr $x+1]; exp_continue; }
683
        -re ".* 238      A160" { set x [expr $x+1]; exp_continue; }
684
        -re ".* 239 0702 78356A2C" { set x [expr $x+1]; exp_continue; }
685
        -re ".* 239      12345678" { set x [expr $x+1]; exp_continue; }
686
        -re ".* 239      9160" { set x [expr $x+1]; exp_continue; }
687
        -re ".* 240 070c 78356A2C" { set x [expr $x+1]; exp_continue; }
688
        -re ".* 240      12345678" { set x [expr $x+1]; exp_continue; }
689
        -re ".* 240      C1609ABC" { set x [expr $x+1]; exp_continue; }
690
        -re ".* 241 0718 78356A2C" { set x [expr $x+1]; exp_continue; }
691
        -re ".* 241      12345678" { set x [expr $x+1]; exp_continue; }
692
        -re ".* 241      C9609ABC" { set x [expr $x+1]; exp_continue; }
693
        -re ".* 241      DEF0" { set x [expr $x+1]; exp_continue; }
694
        -re ".* 242 0726 78356A2C" { set x [expr $x+1]; exp_continue; }
695
        -re ".* 242      12345678" { set x [expr $x+1]; exp_continue; }
696
        -re ".* 242      D2609ABC" { set x [expr $x+1]; exp_continue; }
697
        -re ".* 243 0732 78356A2C" { set x [expr $x+1]; exp_continue; }
698
        -re ".* 243      12345678" { set x [expr $x+1]; exp_continue; }
699
        -re ".* 243      E2609ABC" { set x [expr $x+1]; exp_continue; }
700
        -re ".* 244 073e 78356A2C" { set x [expr $x+1]; exp_continue; }
701
        -re ".* 244      12345678" { set x [expr $x+1]; exp_continue; }
702
        -re ".* 244      F2609ABC" { set x [expr $x+1]; exp_continue; }
703
        -re ".* 245 074a 78356A2C" { set x [expr $x+1]; exp_continue; }
704
        -re ".* 245      12345678" { set x [expr $x+1]; exp_continue; }
705
        -re ".* 245      DA609ABC" { set x [expr $x+1]; exp_continue; }
706
        -re ".* 245      DEF0" { set x [expr $x+1]; exp_continue; }
707
        -re ".* 246 0758 78356A2C" { set x [expr $x+1]; exp_continue; }
708
        -re ".* 246      12345678" { set x [expr $x+1]; exp_continue; }
709
        -re ".* 246      EA609ABC" { set x [expr $x+1]; exp_continue; }
710
        -re ".* 246      DEF0" { set x [expr $x+1]; exp_continue; }
711
        -re ".* 247 0766 78356A2C" { set x [expr $x+1]; exp_continue; }
712
        -re ".* 247      12345678" { set x [expr $x+1]; exp_continue; }
713
        -re ".* 247      FA609ABC" { set x [expr $x+1]; exp_continue; }
714
        -re ".* 247      DEF0" { set x [expr $x+1]; exp_continue; }
715
        -re ".* 248 0774 78356A2C" { set x [expr $x+1]; exp_continue; }
716
        -re ".* 248      12345678" { set x [expr $x+1]; exp_continue; }
717
        -re ".* 248      40609ABC" { set x [expr $x+1]; exp_continue; }
718
        -re ".* 249 0780 78356A2C" { set x [expr $x+1]; exp_continue; }
719
        -re ".* 249      12345678" { set x [expr $x+1]; exp_continue; }
720
        -re ".* 249      48609ABC" { set x [expr $x+1]; exp_continue; }
721
        -re ".* 249      DEF0" { set x [expr $x+1]; exp_continue; }
722
        -re ".* 250              " {
723
            if [expr $x == 53] then {
724
                pass "$testname: and.b @(0x12345678:32,r3l.b), ..."
725
            } else {
726
                fail "$testname: and.b @(0x12345678:32,r3l.b), ... ($x)"
727
            }
728
        }
729
        default { fail "$testname: and.b @(0x12345678:32,r3l.b), ... ($x)" }
730
    }
731
 
732
    set x 0
733
    expect {
734
        -re ".* 251 078e 78366A2C" { set x [expr $x+1]; exp_continue; }
735
        -re ".* 251      12345678" { set x [expr $x+1]; exp_continue; }
736
        -re ".* 251      0160" { set x [expr $x+1]; exp_continue; }
737
        -re ".* 252 0798 78366A2C" { set x [expr $x+1]; exp_continue; }
738
        -re ".* 252      12345678" { set x [expr $x+1]; exp_continue; }
739
        -re ".* 252      3160" { set x [expr $x+1]; exp_continue; }
740
        -re ".* 253 07a2 78366A2C" { set x [expr $x+1]; exp_continue; }
741
        -re ".* 253      12345678" { set x [expr $x+1]; exp_continue; }
742
        -re ".* 253      B160" { set x [expr $x+1]; exp_continue; }
743
        -re ".* 254 07ac 78366A2C" { set x [expr $x+1]; exp_continue; }
744
        -re ".* 254      12345678" { set x [expr $x+1]; exp_continue; }
745
        -re ".* 254      8160" { set x [expr $x+1]; exp_continue; }
746
        -re ".* 255 07b6 78366A2C" { set x [expr $x+1]; exp_continue; }
747
        -re ".* 255      12345678" { set x [expr $x+1]; exp_continue; }
748
        -re ".* 255      A160" { set x [expr $x+1]; exp_continue; }
749
        -re ".* 256 07c0 78366A2C" { set x [expr $x+1]; exp_continue; }
750
        -re ".* 256      12345678" { set x [expr $x+1]; exp_continue; }
751
        -re ".* 256      9160" { set x [expr $x+1]; exp_continue; }
752
        -re ".* 257 07ca 78366A2C" { set x [expr $x+1]; exp_continue; }
753
        -re ".* 257      12345678" { set x [expr $x+1]; exp_continue; }
754
        -re ".* 257      C1609ABC" { set x [expr $x+1]; exp_continue; }
755
        -re ".* 258 07d6 78366A2C" { set x [expr $x+1]; exp_continue; }
756
        -re ".* 258      12345678" { set x [expr $x+1]; exp_continue; }
757
        -re ".* 258      C9609ABC" { set x [expr $x+1]; exp_continue; }
758
        -re ".* 258      DEF0" { set x [expr $x+1]; exp_continue; }
759
        -re ".* 259 07e4 78366A2C" { set x [expr $x+1]; exp_continue; }
760
        -re ".* 259      12345678" { set x [expr $x+1]; exp_continue; }
761
        -re ".* 259      D2609ABC" { set x [expr $x+1]; exp_continue; }
762
        -re ".* 260 07f0 78366A2C" { set x [expr $x+1]; exp_continue; }
763
        -re ".* 260      12345678" { set x [expr $x+1]; exp_continue; }
764
        -re ".* 260      E2609ABC" { set x [expr $x+1]; exp_continue; }
765
        -re ".* 261 07fc 78366A2C" { set x [expr $x+1]; exp_continue; }
766
        -re ".* 261      12345678" { set x [expr $x+1]; exp_continue; }
767
        -re ".* 261      F2609ABC" { set x [expr $x+1]; exp_continue; }
768
        -re ".* 262 0808 78366A2C" { set x [expr $x+1]; exp_continue; }
769
        -re ".* 262      12345678" { set x [expr $x+1]; exp_continue; }
770
        -re ".* 262      DA609ABC" { set x [expr $x+1]; exp_continue; }
771
        -re ".* 262      DEF0" { set x [expr $x+1]; exp_continue; }
772
        -re ".* 263 0816 78366A2C" { set x [expr $x+1]; exp_continue; }
773
        -re ".* 263      12345678" { set x [expr $x+1]; exp_continue; }
774
        -re ".* 263      EA609ABC" { set x [expr $x+1]; exp_continue; }
775
        -re ".* 263      DEF0" { set x [expr $x+1]; exp_continue; }
776
        -re ".* 264 0824 78366A2C" { set x [expr $x+1]; exp_continue; }
777
        -re ".* 264      12345678" { set x [expr $x+1]; exp_continue; }
778
        -re ".* 264      FA609ABC" { set x [expr $x+1]; exp_continue; }
779
        -re ".* 264      DEF0" { set x [expr $x+1]; exp_continue; }
780
        -re ".* 265 0832 78366A2C" { set x [expr $x+1]; exp_continue; }
781
        -re ".* 265      12345678" { set x [expr $x+1]; exp_continue; }
782
        -re ".* 265      40609ABC" { set x [expr $x+1]; exp_continue; }
783
        -re ".* 266 083e 78366A2C" { set x [expr $x+1]; exp_continue; }
784
        -re ".* 266      12345678" { set x [expr $x+1]; exp_continue; }
785
        -re ".* 266      48609ABC" { set x [expr $x+1]; exp_continue; }
786
        -re ".* 266      DEF0" { set x [expr $x+1]; exp_continue; }
787
        -re ".* 267              " {
788
            if [expr $x == 53] then {
789
                pass "$testname: and.b @(0x12345678:32,r3.w), ..."
790
            } else {
791
                fail "$testname: and.b @(0x12345678:32,r3.w), ... ($x)"
792
            }
793
        }
794
        default { fail "$testname: and.b @(0x12345678:32,r3.w), ... ($x)" }
795
    }
796
 
797
    set x 0
798
    expect {
799
        -re ".* 268 084c 78376A2C" { set x [expr $x+1]; exp_continue; }
800
        -re ".* 268      12345678" { set x [expr $x+1]; exp_continue; }
801
        -re ".* 268      0160" { set x [expr $x+1]; exp_continue; }
802
        -re ".* 269 0856 78376A2C" { set x [expr $x+1]; exp_continue; }
803
        -re ".* 269      12345678" { set x [expr $x+1]; exp_continue; }
804
        -re ".* 269      3160" { set x [expr $x+1]; exp_continue; }
805
        -re ".* 270 0860 78376A2C" { set x [expr $x+1]; exp_continue; }
806
        -re ".* 270      12345678" { set x [expr $x+1]; exp_continue; }
807
        -re ".* 270      B160" { set x [expr $x+1]; exp_continue; }
808
        -re ".* 271 086a 78376A2C" { set x [expr $x+1]; exp_continue; }
809
        -re ".* 271      12345678" { set x [expr $x+1]; exp_continue; }
810
        -re ".* 271      8160" { set x [expr $x+1]; exp_continue; }
811
        -re ".* 272 0874 78376A2C" { set x [expr $x+1]; exp_continue; }
812
        -re ".* 272      12345678" { set x [expr $x+1]; exp_continue; }
813
        -re ".* 272      A160" { set x [expr $x+1]; exp_continue; }
814
        -re ".* 273 087e 78376A2C" { set x [expr $x+1]; exp_continue; }
815
        -re ".* 273      12345678" { set x [expr $x+1]; exp_continue; }
816
        -re ".* 273      9160" { set x [expr $x+1]; exp_continue; }
817
        -re ".* 274 0888 78376A2C" { set x [expr $x+1]; exp_continue; }
818
        -re ".* 274      12345678" { set x [expr $x+1]; exp_continue; }
819
        -re ".* 274      C1609ABC" { set x [expr $x+1]; exp_continue; }
820
        -re ".* 275 0894 78376A2C" { set x [expr $x+1]; exp_continue; }
821
        -re ".* 275      12345678" { set x [expr $x+1]; exp_continue; }
822
        -re ".* 275      C9609ABC" { set x [expr $x+1]; exp_continue; }
823
        -re ".* 275      DEF0" { set x [expr $x+1]; exp_continue; }
824
        -re ".* 276 08a2 78376A2C" { set x [expr $x+1]; exp_continue; }
825
        -re ".* 276      12345678" { set x [expr $x+1]; exp_continue; }
826
        -re ".* 276      D2609ABC" { set x [expr $x+1]; exp_continue; }
827
        -re ".* 277 08ae 78376A2C" { set x [expr $x+1]; exp_continue; }
828
        -re ".* 277      12345678" { set x [expr $x+1]; exp_continue; }
829
        -re ".* 277      E2609ABC" { set x [expr $x+1]; exp_continue; }
830
        -re ".* 278 08ba 78376A2C" { set x [expr $x+1]; exp_continue; }
831
        -re ".* 278      12345678" { set x [expr $x+1]; exp_continue; }
832
        -re ".* 278      F2609ABC" { set x [expr $x+1]; exp_continue; }
833
        -re ".* 279 08c6 78376A2C" { set x [expr $x+1]; exp_continue; }
834
        -re ".* 279      12345678" { set x [expr $x+1]; exp_continue; }
835
        -re ".* 279      DA609ABC" { set x [expr $x+1]; exp_continue; }
836
        -re ".* 279      DEF0" { set x [expr $x+1]; exp_continue; }
837
        -re ".* 280 08d4 78376A2C" { set x [expr $x+1]; exp_continue; }
838
        -re ".* 280      12345678" { set x [expr $x+1]; exp_continue; }
839
        -re ".* 280      EA609ABC" { set x [expr $x+1]; exp_continue; }
840
        -re ".* 280      DEF0" { set x [expr $x+1]; exp_continue; }
841
        -re ".* 281 08e2 78376A2C" { set x [expr $x+1]; exp_continue; }
842
        -re ".* 281      12345678" { set x [expr $x+1]; exp_continue; }
843
        -re ".* 281      FA609ABC" { set x [expr $x+1]; exp_continue; }
844
        -re ".* 281      DEF0" { set x [expr $x+1]; exp_continue; }
845
        -re ".* 282 08f0 78376A2C" { set x [expr $x+1]; exp_continue; }
846
        -re ".* 282      12345678" { set x [expr $x+1]; exp_continue; }
847
        -re ".* 282      40609ABC" { set x [expr $x+1]; exp_continue; }
848
        -re ".* 283 08fc 78376A2C" { set x [expr $x+1]; exp_continue; }
849
        -re ".* 283      12345678" { set x [expr $x+1]; exp_continue; }
850
        -re ".* 283      48609ABC" { set x [expr $x+1]; exp_continue; }
851
        -re ".* 283      DEF0" { set x [expr $x+1]; exp_continue; }
852
        -re ".* 284              " {
853
            if [expr $x == 53] then {
854
                pass "$testname: and.b @(0x12345678:32,er3.l), ..."
855
            } else {
856
                fail "$testname: and.b @(0x12345678:32,er3.l), ... ($x)"
857
            }
858
        }
859
        default { fail "$testname: and.b @(0x12345678:32,er3.l), ... ($x)" }
860
    }
861
 
862
    set x 0
863
    expect {
864
        -re ".* 285 090a 6A151234" { set x [expr $x+1]; exp_continue; }
865
        -re ".* 285      0160" { set x [expr $x+1]; exp_continue; }
866
        -re ".* 286 0910 6A151234" { set x [expr $x+1]; exp_continue; }
867
        -re ".* 286      3160" { set x [expr $x+1]; exp_continue; }
868
        -re ".* 287 0916 6A151234" { set x [expr $x+1]; exp_continue; }
869
        -re ".* 287      B160" { set x [expr $x+1]; exp_continue; }
870
        -re ".* 288 091c 6A151234" { set x [expr $x+1]; exp_continue; }
871
        -re ".* 288      8160" { set x [expr $x+1]; exp_continue; }
872
        -re ".* 289 0922 6A151234" { set x [expr $x+1]; exp_continue; }
873
        -re ".* 289      A160" { set x [expr $x+1]; exp_continue; }
874
        -re ".* 290 0928 6A151234" { set x [expr $x+1]; exp_continue; }
875
        -re ".* 290      9160" { set x [expr $x+1]; exp_continue; }
876
        -re ".* 291 092e 6A151234" { set x [expr $x+1]; exp_continue; }
877
        -re ".* 291      C1609ABC" { set x [expr $x+1]; exp_continue; }
878
        -re ".* 292 0936 6A151234" { set x [expr $x+1]; exp_continue; }
879
        -re ".* 292      C9609ABC" { set x [expr $x+1]; exp_continue; }
880
        -re ".* 292      DEF0" { set x [expr $x+1]; exp_continue; }
881
        -re ".* 293 0940 6A151234" { set x [expr $x+1]; exp_continue; }
882
        -re ".* 293      D2609ABC" { set x [expr $x+1]; exp_continue; }
883
        -re ".* 294 0948 6A151234" { set x [expr $x+1]; exp_continue; }
884
        -re ".* 294      E2609ABC" { set x [expr $x+1]; exp_continue; }
885
        -re ".* 295 0950 6A151234" { set x [expr $x+1]; exp_continue; }
886
        -re ".* 295      F2609ABC" { set x [expr $x+1]; exp_continue; }
887
        -re ".* 296 0958 6A151234" { set x [expr $x+1]; exp_continue; }
888
        -re ".* 296      DA609ABC" { set x [expr $x+1]; exp_continue; }
889
        -re ".* 296      DEF0" { set x [expr $x+1]; exp_continue; }
890
        -re ".* 297 0962 6A151234" { set x [expr $x+1]; exp_continue; }
891
        -re ".* 297      EA609ABC" { set x [expr $x+1]; exp_continue; }
892
        -re ".* 297      DEF0" { set x [expr $x+1]; exp_continue; }
893
        -re ".* 298 096c 6A151234" { set x [expr $x+1]; exp_continue; }
894
        -re ".* 298      FA609ABC" { set x [expr $x+1]; exp_continue; }
895
        -re ".* 298      DEF0" { set x [expr $x+1]; exp_continue; }
896
        -re ".* 299 0976 6A151234" { set x [expr $x+1]; exp_continue; }
897
        -re ".* 299      40609ABC" { set x [expr $x+1]; exp_continue; }
898
        -re ".* 300 097e 6A151234" { set x [expr $x+1]; exp_continue; }
899
        -re ".* 300      48609ABC" { set x [expr $x+1]; exp_continue; }
900
        -re ".* 300      DEF0" { set x [expr $x+1]; exp_continue; }
901
        -re ".* 301              " {
902
            if [expr $x == 37] then {
903
                pass "$testname: and.b @0x1234:16, ..."
904
            } else {
905
                fail "$testname: and.b @0x1234:16, ... ($x)"
906
            }
907
        }
908
        default { fail "$testname: and.b @0x1234:16, ... ($x)" }
909
    }
910
 
911
    set x 0
912
    expect {
913
        -re ".* 302 0988 6A351234" { set x [expr $x+1]; exp_continue; }
914
        -re ".* 302      56780160" { set x [expr $x+1]; exp_continue; }
915
        -re ".* 303 0990 6A351234" { set x [expr $x+1]; exp_continue; }
916
        -re ".* 303      56783160" { set x [expr $x+1]; exp_continue; }
917
        -re ".* 304 0998 6A351234" { set x [expr $x+1]; exp_continue; }
918
        -re ".* 304      5678B160" { set x [expr $x+1]; exp_continue; }
919
        -re ".* 305 09a0 6A351234" { set x [expr $x+1]; exp_continue; }
920
        -re ".* 305      56788160" { set x [expr $x+1]; exp_continue; }
921
        -re ".* 306 09a8 6A351234" { set x [expr $x+1]; exp_continue; }
922
        -re ".* 306      5678A160" { set x [expr $x+1]; exp_continue; }
923
        -re ".* 307 09b0 6A351234" { set x [expr $x+1]; exp_continue; }
924
        -re ".* 307      56789160" { set x [expr $x+1]; exp_continue; }
925
        -re ".* 308 09b8 6A351234" { set x [expr $x+1]; exp_continue; }
926
        -re ".* 308      5678C160" { set x [expr $x+1]; exp_continue; }
927
        -re ".* 308      9ABC" { set x [expr $x+1]; exp_continue; }
928
        -re ".* 309 09c2 6A351234" { set x [expr $x+1]; exp_continue; }
929
        -re ".* 309      5678C960" { set x [expr $x+1]; exp_continue; }
930
        -re ".* 309      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
931
        -re ".* 310 09ce 6A351234" { set x [expr $x+1]; exp_continue; }
932
        -re ".* 310      5678D260" { set x [expr $x+1]; exp_continue; }
933
        -re ".* 310      9ABC" { set x [expr $x+1]; exp_continue; }
934
        -re ".* 311 09d8 6A351234" { set x [expr $x+1]; exp_continue; }
935
        -re ".* 311      5678E260" { set x [expr $x+1]; exp_continue; }
936
        -re ".* 311      9ABC" { set x [expr $x+1]; exp_continue; }
937
        -re ".* 312 09e2 6A351234" { set x [expr $x+1]; exp_continue; }
938
        -re ".* 312      5678F260" { set x [expr $x+1]; exp_continue; }
939
        -re ".* 312      9ABC" { set x [expr $x+1]; exp_continue; }
940
        -re ".* 313 09ec 6A351234" { set x [expr $x+1]; exp_continue; }
941
        -re ".* 313      5678DA60" { set x [expr $x+1]; exp_continue; }
942
        -re ".* 313      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
943
        -re ".* 314 09f8 6A351234" { set x [expr $x+1]; exp_continue; }
944
        -re ".* 314      5678EA60" { set x [expr $x+1]; exp_continue; }
945
        -re ".* 314      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
946
        -re ".* 315 0a04 6A351234" { set x [expr $x+1]; exp_continue; }
947
        -re ".* 315      5678FA60" { set x [expr $x+1]; exp_continue; }
948
        -re ".* 315      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
949
        -re ".* 316 0a10 6A351234" { set x [expr $x+1]; exp_continue; }
950
        -re ".* 316      56784060" { set x [expr $x+1]; exp_continue; }
951
        -re ".* 316      9ABC" { set x [expr $x+1]; exp_continue; }
952
        -re ".* 317 0a1a 6A351234" { set x [expr $x+1]; exp_continue; }
953
        -re ".* 317      56784860" { set x [expr $x+1]; exp_continue; }
954
        -re ".* 317      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
955
        -re ".* 318              " {
956
            if [expr $x == 42] then {
957
                pass "$testname: and.b @0x12345678:32, ..."
958
            } else {
959
                fail "$testname: and.b @0x12345678:32, ... ($x)"
960
            }
961
        }
962
        default { fail "$testname: and.b @0x12345678:32, ... ($x)" }
963
    }
964
 
965
    set x 0
966
    expect {
967
        -re ".* 319 0a26 79611234" { set x [expr $x+1]; exp_continue; }
968
        -re ".* 320 0a2a 015E0160" { set x [expr $x+1]; exp_continue; }
969
        -re ".* 320      1234" { set x [expr $x+1]; exp_continue; }
970
        -re ".* 321 0a30 015E3160" { set x [expr $x+1]; exp_continue; }
971
        -re ".* 321      1234" { set x [expr $x+1]; exp_continue; }
972
        -re ".* 322 0a36 015E8160" { set x [expr $x+1]; exp_continue; }
973
        -re ".* 322      1234" { set x [expr $x+1]; exp_continue; }
974
        -re ".* 323 0a3c 015EB160" { set x [expr $x+1]; exp_continue; }
975
        -re ".* 323      1234" { set x [expr $x+1]; exp_continue; }
976
        -re ".* 324 0a42 015E9160" { set x [expr $x+1]; exp_continue; }
977
        -re ".* 324      1234" { set x [expr $x+1]; exp_continue; }
978
        -re ".* 325 0a48 015EA160" { set x [expr $x+1]; exp_continue; }
979
        -re ".* 325      1234" { set x [expr $x+1]; exp_continue; }
980
        -re ".* 326 0a4e 015EC160" { set x [expr $x+1]; exp_continue; }
981
        -re ".* 326      9ABC1234" { set x [expr $x+1]; exp_continue; }
982
        -re ".* 327 0a56 015EC960" { set x [expr $x+1]; exp_continue; }
983
        -re ".* 327      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
984
        -re ".* 327      1234" { set x [expr $x+1]; exp_continue; }
985
        -re ".* 328 0a60 015ED260" { set x [expr $x+1]; exp_continue; }
986
        -re ".* 328      9ABC1234" { set x [expr $x+1]; exp_continue; }
987
        -re ".* 329 0a68 015EE260" { set x [expr $x+1]; exp_continue; }
988
        -re ".* 329      9ABC1234" { set x [expr $x+1]; exp_continue; }
989
        -re ".* 330 0a70 015EF260" { set x [expr $x+1]; exp_continue; }
990
        -re ".* 330      9ABC1234" { set x [expr $x+1]; exp_continue; }
991
        -re ".* 331 0a78 015EDA60" { set x [expr $x+1]; exp_continue; }
992
        -re ".* 331      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
993
        -re ".* 331      1234" { set x [expr $x+1]; exp_continue; }
994
        -re ".* 332 0a82 015EEA60" { set x [expr $x+1]; exp_continue; }
995
        -re ".* 332      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
996
        -re ".* 332      1234" { set x [expr $x+1]; exp_continue; }
997
        -re ".* 333 0a8c 015EFA60" { set x [expr $x+1]; exp_continue; }
998
        -re ".* 333      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
999
        -re ".* 333      1234" { set x [expr $x+1]; exp_continue; }
1000
        -re ".* 334 0a96 015E4060" { set x [expr $x+1]; exp_continue; }
1001
        -re ".* 334      9ABC1234" { set x [expr $x+1]; exp_continue; }
1002
        -re ".* 335 0a9e 015E4860" { set x [expr $x+1]; exp_continue; }
1003
        -re ".* 335      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1004
        -re ".* 335      1234" { set x [expr $x+1]; exp_continue; }
1005
        -re ".* 336              " {
1006
            if [expr $x == 38] then {
1007
                pass "$testname: and.w #0x1234:16, ..."
1008
            } else {
1009
                fail "$testname: and.w #0x1234:16, ... ($x)"
1010
            }
1011
        }
1012
        default { fail "$testname: and.w #0x1234:16, ... ($x)" }
1013
    }
1014
 
1015
    set x 0
1016
    expect {
1017
        -re ".* 337 0aa8 6631" { set x [expr $x+1]; exp_continue; }
1018
        -re ".* 338              " {
1019
            if [expr $x == 1] then {
1020
                pass "$testname: and.w r3, r1"
1021
            } else {
1022
                fail "$testname: and.w r3, r1 ($x)"
1023
            }
1024
        }
1025
        default { fail "$testname: and.w r3, r1 ($x)" }
1026
    }
1027
 
1028
    set x 0
1029
    expect {
1030
        -re ".* 339 0aaa 7D906630" { set x [expr $x+1]; exp_continue; }
1031
        -re ".* 340 0aae 01593163" { set x [expr $x+1]; exp_continue; }
1032
        -re ".* 341 0ab2 01598163" { set x [expr $x+1]; exp_continue; }
1033
        -re ".* 342 0ab6 0159B163" { set x [expr $x+1]; exp_continue; }
1034
        -re ".* 343 0aba 01599163" { set x [expr $x+1]; exp_continue; }
1035
        -re ".* 344 0abe 0159A163" { set x [expr $x+1]; exp_continue; }
1036
        -re ".* 345 0ac2 0159C163" { set x [expr $x+1]; exp_continue; }
1037
        -re ".* 345      1234" { set x [expr $x+1]; exp_continue; }
1038
        -re ".* 346 0ac8 0159C963" { set x [expr $x+1]; exp_continue; }
1039
        -re ".* 346      12345678" { set x [expr $x+1]; exp_continue; }
1040
        -re ".* 347 0ad0 0159D263" { set x [expr $x+1]; exp_continue; }
1041
        -re ".* 347      1234" { set x [expr $x+1]; exp_continue; }
1042
        -re ".* 348 0ad6 0159E263" { set x [expr $x+1]; exp_continue; }
1043
        -re ".* 348      1234" { set x [expr $x+1]; exp_continue; }
1044
        -re ".* 349 0adc 0159F263" { set x [expr $x+1]; exp_continue; }
1045
        -re ".* 349      1234" { set x [expr $x+1]; exp_continue; }
1046
        -re ".* 350 0ae2 0159DA63" { set x [expr $x+1]; exp_continue; }
1047
        -re ".* 350      12345678" { set x [expr $x+1]; exp_continue; }
1048
        -re ".* 351 0aea 0159EA63" { set x [expr $x+1]; exp_continue; }
1049
        -re ".* 351      12345678" { set x [expr $x+1]; exp_continue; }
1050
        -re ".* 352 0af2 0159FA63" { set x [expr $x+1]; exp_continue; }
1051
        -re ".* 352      12345678" { set x [expr $x+1]; exp_continue; }
1052
        -re ".* 353 0afa 6B181234" { set x [expr $x+1]; exp_continue; }
1053
        -re ".* 353      6630" { set x [expr $x+1]; exp_continue; }
1054
        -re ".* 354 0b00 6B381234" { set x [expr $x+1]; exp_continue; }
1055
        -re ".* 354      56786630" { set x [expr $x+1]; exp_continue; }
1056
        -re ".* 355              " {
1057
            if [expr $x == 26] then {
1058
                pass "$testname: and.w r3, ..."
1059
            } else {
1060
                fail "$testname: and.w r3, ... ($x)"
1061
            }
1062
        }
1063
        default { fail "$testname: and.w r3, ... ($x)" }
1064
    }
1065
 
1066
    set x 0
1067
    expect {
1068
        -re ".* 356 0b08 7CB06601" { set x [expr $x+1]; exp_continue; }
1069
        -re ".* 357 0b0c 015A3361" { set x [expr $x+1]; exp_continue; }
1070
        -re ".* 358 0b10 015A8361" { set x [expr $x+1]; exp_continue; }
1071
        -re ".* 359 0b14 015AB361" { set x [expr $x+1]; exp_continue; }
1072
        -re ".* 360 0b18 015A9361" { set x [expr $x+1]; exp_continue; }
1073
        -re ".* 361 0b1c 015AA361" { set x [expr $x+1]; exp_continue; }
1074
        -re ".* 362 0b20 015AC161" { set x [expr $x+1]; exp_continue; }
1075
        -re ".* 362      1234" { set x [expr $x+1]; exp_continue; }
1076
        -re ".* 363 0b26 015AC961" { set x [expr $x+1]; exp_continue; }
1077
        -re ".* 363      12345678" { set x [expr $x+1]; exp_continue; }
1078
        -re ".* 364 0b2e 015AD261" { set x [expr $x+1]; exp_continue; }
1079
        -re ".* 364      1234" { set x [expr $x+1]; exp_continue; }
1080
        -re ".* 365 0b34 015AE261" { set x [expr $x+1]; exp_continue; }
1081
        -re ".* 365      1234" { set x [expr $x+1]; exp_continue; }
1082
        -re ".* 366 0b3a 015AF261" { set x [expr $x+1]; exp_continue; }
1083
        -re ".* 366      1234" { set x [expr $x+1]; exp_continue; }
1084
        -re ".* 367 0b40 015ADA61" { set x [expr $x+1]; exp_continue; }
1085
        -re ".* 367      12345678" { set x [expr $x+1]; exp_continue; }
1086
        -re ".* 368 0b48 015AEA61" { set x [expr $x+1]; exp_continue; }
1087
        -re ".* 368      12345678" { set x [expr $x+1]; exp_continue; }
1088
        -re ".* 369 0b50 015AFA61" { set x [expr $x+1]; exp_continue; }
1089
        -re ".* 369      12345678" { set x [expr $x+1]; exp_continue; }
1090
        -re ".* 370 0b58 6B101234" { set x [expr $x+1]; exp_continue; }
1091
        -re ".* 370      6601" { set x [expr $x+1]; exp_continue; }
1092
        -re ".* 371 0b5e 6B301234" { set x [expr $x+1]; exp_continue; }
1093
        -re ".* 371      56786601" { set x [expr $x+1]; exp_continue; }
1094
        -re ".* 372              " {
1095
            if [expr $x == 26] then {
1096
                pass "$testname: and.w ..., r1"
1097
            } else {
1098
                fail "$testname: and.w ..., r1 ($x)"
1099
            }
1100
        }
1101
        default { fail "$testname: and.w ..., r1 ($x)" }
1102
    }
1103
 
1104
    set x 0
1105
    expect {
1106
        -re ".* 373 0b66 7CB50160" { set x [expr $x+1]; exp_continue; }
1107
        -re ".* 374 0b6a 7CB53160" { set x [expr $x+1]; exp_continue; }
1108
        -re ".* 375 0b6e 7CB5B160" { set x [expr $x+1]; exp_continue; }
1109
        -re ".* 376 0b72 7CB58160" { set x [expr $x+1]; exp_continue; }
1110
        -re ".* 377 0b76 7CB5A160" { set x [expr $x+1]; exp_continue; }
1111
        -re ".* 378 0b7a 7CB59160" { set x [expr $x+1]; exp_continue; }
1112
        -re ".* 379 0b7e 7CB5C160" { set x [expr $x+1]; exp_continue; }
1113
        -re ".* 379      9ABC" { set x [expr $x+1]; exp_continue; }
1114
        -re ".* 380 0b84 7CB5C960" { set x [expr $x+1]; exp_continue; }
1115
        -re ".* 380      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1116
        -re ".* 381 0b8c 7CB5D260" { set x [expr $x+1]; exp_continue; }
1117
        -re ".* 381      9ABC" { set x [expr $x+1]; exp_continue; }
1118
        -re ".* 382 0b92 7CB5E260" { set x [expr $x+1]; exp_continue; }
1119
        -re ".* 382      9ABC" { set x [expr $x+1]; exp_continue; }
1120
        -re ".* 383 0b98 7CB5F260" { set x [expr $x+1]; exp_continue; }
1121
        -re ".* 383      9ABC" { set x [expr $x+1]; exp_continue; }
1122
        -re ".* 384 0b9e 7CB5DA60" { set x [expr $x+1]; exp_continue; }
1123
        -re ".* 384      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1124
        -re ".* 385 0ba6 7CB5EA60" { set x [expr $x+1]; exp_continue; }
1125
        -re ".* 385      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1126
        -re ".* 386 0bae 7CB5FA60" { set x [expr $x+1]; exp_continue; }
1127
        -re ".* 386      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1128
        -re ".* 387 0bb6 7CB54060" { set x [expr $x+1]; exp_continue; }
1129
        -re ".* 387      9ABC" { set x [expr $x+1]; exp_continue; }
1130
        -re ".* 388 0bbc 7CB54860" { set x [expr $x+1]; exp_continue; }
1131
        -re ".* 388      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1132
        -re ".* 389              " {
1133
            if [expr $x == 26] then {
1134
                pass "$testname: and.w @er3, ..."
1135
            } else {
1136
                fail "$testname: and.w @er3, ... ($x)"
1137
            }
1138
        }
1139
        default { fail "$testname: and.w @er3, ... ($x)" }
1140
    }
1141
 
1142
    set x 0
1143
    expect {
1144
        -re ".* 390 0bc4 01576D3C" { set x [expr $x+1]; exp_continue; }
1145
        -re ".* 390      0160" { set x [expr $x+1]; exp_continue; }
1146
        -re ".* 391 0bca 01576D3C" { set x [expr $x+1]; exp_continue; }
1147
        -re ".* 391      3160" { set x [expr $x+1]; exp_continue; }
1148
        -re ".* 392 0bd0 01576D3C" { set x [expr $x+1]; exp_continue; }
1149
        -re ".* 392      B160" { set x [expr $x+1]; exp_continue; }
1150
        -re ".* 393 0bd6 01576D3C" { set x [expr $x+1]; exp_continue; }
1151
        -re ".* 393      8160" { set x [expr $x+1]; exp_continue; }
1152
        -re ".* 394 0bdc 01576D3C" { set x [expr $x+1]; exp_continue; }
1153
        -re ".* 394      A160" { set x [expr $x+1]; exp_continue; }
1154
        -re ".* 395 0be2 01576D3C" { set x [expr $x+1]; exp_continue; }
1155
        -re ".* 395      9160" { set x [expr $x+1]; exp_continue; }
1156
        -re ".* 396 0be8 01576D3C" { set x [expr $x+1]; exp_continue; }
1157
        -re ".* 396      C1609ABC" { set x [expr $x+1]; exp_continue; }
1158
        -re ".* 397 0bf0 01576D3C" { set x [expr $x+1]; exp_continue; }
1159
        -re ".* 397      C9609ABC" { set x [expr $x+1]; exp_continue; }
1160
        -re ".* 397      DEF0" { set x [expr $x+1]; exp_continue; }
1161
        -re ".* 398 0bfa 01576D3C" { set x [expr $x+1]; exp_continue; }
1162
        -re ".* 398      D2609ABC" { set x [expr $x+1]; exp_continue; }
1163
        -re ".* 399 0c02 01576D3C" { set x [expr $x+1]; exp_continue; }
1164
        -re ".* 399      E2609ABC" { set x [expr $x+1]; exp_continue; }
1165
        -re ".* 400 0c0a 01576D3C" { set x [expr $x+1]; exp_continue; }
1166
        -re ".* 400      F2609ABC" { set x [expr $x+1]; exp_continue; }
1167
        -re ".* 401 0c12 01576D3C" { set x [expr $x+1]; exp_continue; }
1168
        -re ".* 401      DA609ABC" { set x [expr $x+1]; exp_continue; }
1169
        -re ".* 401      DEF0" { set x [expr $x+1]; exp_continue; }
1170
        -re ".* 402 0c1c 01576D3C" { set x [expr $x+1]; exp_continue; }
1171
        -re ".* 402      EA609ABC" { set x [expr $x+1]; exp_continue; }
1172
        -re ".* 402      DEF0" { set x [expr $x+1]; exp_continue; }
1173
        -re ".* 403 0c26 01576D3C" { set x [expr $x+1]; exp_continue; }
1174
        -re ".* 403      FA609ABC" { set x [expr $x+1]; exp_continue; }
1175
        -re ".* 403      DEF0" { set x [expr $x+1]; exp_continue; }
1176
        -re ".* 404 0c30 01576D3C" { set x [expr $x+1]; exp_continue; }
1177
        -re ".* 404      40609ABC" { set x [expr $x+1]; exp_continue; }
1178
        -re ".* 405 0c38 01576D3C" { set x [expr $x+1]; exp_continue; }
1179
        -re ".* 405      48609ABC" { set x [expr $x+1]; exp_continue; }
1180
        -re ".* 405      DEF0" { set x [expr $x+1]; exp_continue; }
1181
        -re ".* 406              " {
1182
            if [expr $x == 37] then {
1183
                pass "$testname: and.w @-er3, ..."
1184
            } else {
1185
                fail "$testname: and.w @-er3, ... ($x)"
1186
            }
1187
        }
1188
        default { fail "$testname: and.w @-er3, ... ($x)" }
1189
    }
1190
 
1191
    set x 0
1192
    expect {
1193
        -re ".* 407 0c42 01546D3C" { set x [expr $x+1]; exp_continue; }
1194
        -re ".* 407      0160" { set x [expr $x+1]; exp_continue; }
1195
        -re ".* 408 0c48 01546D3C" { set x [expr $x+1]; exp_continue; }
1196
        -re ".* 408      3160" { set x [expr $x+1]; exp_continue; }
1197
        -re ".* 409 0c4e 01546D3C" { set x [expr $x+1]; exp_continue; }
1198
        -re ".* 409      B160" { set x [expr $x+1]; exp_continue; }
1199
        -re ".* 410 0c54 01546D3C" { set x [expr $x+1]; exp_continue; }
1200
        -re ".* 410      8160" { set x [expr $x+1]; exp_continue; }
1201
        -re ".* 411 0c5a 01546D3C" { set x [expr $x+1]; exp_continue; }
1202
        -re ".* 411      A160" { set x [expr $x+1]; exp_continue; }
1203
        -re ".* 412 0c60 01546D3C" { set x [expr $x+1]; exp_continue; }
1204
        -re ".* 412      9160" { set x [expr $x+1]; exp_continue; }
1205
        -re ".* 413 0c66 01546D3C" { set x [expr $x+1]; exp_continue; }
1206
        -re ".* 413      C1609ABC" { set x [expr $x+1]; exp_continue; }
1207
        -re ".* 414 0c6e 01546D3C" { set x [expr $x+1]; exp_continue; }
1208
        -re ".* 414      C9609ABC" { set x [expr $x+1]; exp_continue; }
1209
        -re ".* 414      DEF0" { set x [expr $x+1]; exp_continue; }
1210
        -re ".* 415 0c78 01546D3C" { set x [expr $x+1]; exp_continue; }
1211
        -re ".* 415      D2609ABC" { set x [expr $x+1]; exp_continue; }
1212
        -re ".* 416 0c80 01546D3C" { set x [expr $x+1]; exp_continue; }
1213
        -re ".* 416      E2609ABC" { set x [expr $x+1]; exp_continue; }
1214
        -re ".* 417 0c88 01546D3C" { set x [expr $x+1]; exp_continue; }
1215
        -re ".* 417      F2609ABC" { set x [expr $x+1]; exp_continue; }
1216
        -re ".* 418 0c90 01546D3C" { set x [expr $x+1]; exp_continue; }
1217
        -re ".* 418      DA609ABC" { set x [expr $x+1]; exp_continue; }
1218
        -re ".* 418      DEF0" { set x [expr $x+1]; exp_continue; }
1219
        -re ".* 419 0c9a 01546D3C" { set x [expr $x+1]; exp_continue; }
1220
        -re ".* 419      EA609ABC" { set x [expr $x+1]; exp_continue; }
1221
        -re ".* 419      DEF0" { set x [expr $x+1]; exp_continue; }
1222
        -re ".* 420 0ca4 01546D3C" { set x [expr $x+1]; exp_continue; }
1223
        -re ".* 420      FA609ABC" { set x [expr $x+1]; exp_continue; }
1224
        -re ".* 420      DEF0" { set x [expr $x+1]; exp_continue; }
1225
        -re ".* 421 0cae 01546D3C" { set x [expr $x+1]; exp_continue; }
1226
        -re ".* 421      40609ABC" { set x [expr $x+1]; exp_continue; }
1227
        -re ".* 422 0cb6 01546D3C" { set x [expr $x+1]; exp_continue; }
1228
        -re ".* 422      48609ABC" { set x [expr $x+1]; exp_continue; }
1229
        -re ".* 422      DEF0" { set x [expr $x+1]; exp_continue; }
1230
        -re ".* 423              " {
1231
            if [expr $x == 37] then {
1232
                pass "$testname: and.w @er3+, ..."
1233
            } else {
1234
                fail "$testname: and.w @er3+, ... ($x)"
1235
            }
1236
        }
1237
        default { fail "$testname: and.w @er3+, ... ($x)" }
1238
    }
1239
 
1240
    set x 0
1241
    expect {
1242
        -re ".* 424 0cc0 01566D3C" { set x [expr $x+1]; exp_continue; }
1243
        -re ".* 424      0160" { set x [expr $x+1]; exp_continue; }
1244
        -re ".* 425 0cc6 01566D3C" { set x [expr $x+1]; exp_continue; }
1245
        -re ".* 425      3160" { set x [expr $x+1]; exp_continue; }
1246
        -re ".* 426 0ccc 01566D3C" { set x [expr $x+1]; exp_continue; }
1247
        -re ".* 426      B160" { set x [expr $x+1]; exp_continue; }
1248
        -re ".* 427 0cd2 01566D3C" { set x [expr $x+1]; exp_continue; }
1249
        -re ".* 427      8160" { set x [expr $x+1]; exp_continue; }
1250
        -re ".* 428 0cd8 01566D3C" { set x [expr $x+1]; exp_continue; }
1251
        -re ".* 428      A160" { set x [expr $x+1]; exp_continue; }
1252
        -re ".* 429 0cde 01566D3C" { set x [expr $x+1]; exp_continue; }
1253
        -re ".* 429      9160" { set x [expr $x+1]; exp_continue; }
1254
        -re ".* 430 0ce4 01566D3C" { set x [expr $x+1]; exp_continue; }
1255
        -re ".* 430      C1609ABC" { set x [expr $x+1]; exp_continue; }
1256
        -re ".* 431 0cec 01566D3C" { set x [expr $x+1]; exp_continue; }
1257
        -re ".* 431      C9609ABC" { set x [expr $x+1]; exp_continue; }
1258
        -re ".* 431      DEF0" { set x [expr $x+1]; exp_continue; }
1259
        -re ".* 432 0cf6 01566D3C" { set x [expr $x+1]; exp_continue; }
1260
        -re ".* 432      D2609ABC" { set x [expr $x+1]; exp_continue; }
1261
        -re ".* 433 0cfe 01566D3C" { set x [expr $x+1]; exp_continue; }
1262
        -re ".* 433      E2609ABC" { set x [expr $x+1]; exp_continue; }
1263
        -re ".* 434 0d06 01566D3C" { set x [expr $x+1]; exp_continue; }
1264
        -re ".* 434      F2609ABC" { set x [expr $x+1]; exp_continue; }
1265
        -re ".* 435 0d0e 01566D3C" { set x [expr $x+1]; exp_continue; }
1266
        -re ".* 435      DA609ABC" { set x [expr $x+1]; exp_continue; }
1267
        -re ".* 435      DEF0" { set x [expr $x+1]; exp_continue; }
1268
        -re ".* 436 0d18 01566D3C" { set x [expr $x+1]; exp_continue; }
1269
        -re ".* 436      EA609ABC" { set x [expr $x+1]; exp_continue; }
1270
        -re ".* 436      DEF0" { set x [expr $x+1]; exp_continue; }
1271
        -re ".* 437 0d22 01566D3C" { set x [expr $x+1]; exp_continue; }
1272
        -re ".* 437      FA609ABC" { set x [expr $x+1]; exp_continue; }
1273
        -re ".* 437      DEF0" { set x [expr $x+1]; exp_continue; }
1274
        -re ".* 438 0d2c 01566D3C" { set x [expr $x+1]; exp_continue; }
1275
        -re ".* 438      40609ABC" { set x [expr $x+1]; exp_continue; }
1276
        -re ".* 439 0d34 01566D3C" { set x [expr $x+1]; exp_continue; }
1277
        -re ".* 439      48609ABC" { set x [expr $x+1]; exp_continue; }
1278
        -re ".* 439      DEF0" { set x [expr $x+1]; exp_continue; }
1279
        -re ".* 440              " {
1280
            if [expr $x == 37] then {
1281
                pass "$testname: and.w @er3-, ..."
1282
            } else {
1283
                fail "$testname: and.w @er3-, ... ($x)"
1284
            }
1285
        }
1286
        default { fail "$testname: and.w @er3-, ... ($x)" }
1287
    }
1288
 
1289
    set x 0
1290
    expect {
1291
        -re ".* 441 0d3e 01556D3C" { set x [expr $x+1]; exp_continue; }
1292
        -re ".* 441      0160" { set x [expr $x+1]; exp_continue; }
1293
        -re ".* 442 0d44 01556D3C" { set x [expr $x+1]; exp_continue; }
1294
        -re ".* 442      3160" { set x [expr $x+1]; exp_continue; }
1295
        -re ".* 443 0d4a 01556D3C" { set x [expr $x+1]; exp_continue; }
1296
        -re ".* 443      B160" { set x [expr $x+1]; exp_continue; }
1297
        -re ".* 444 0d50 01556D3C" { set x [expr $x+1]; exp_continue; }
1298
        -re ".* 444      8160" { set x [expr $x+1]; exp_continue; }
1299
        -re ".* 445 0d56 01556D3C" { set x [expr $x+1]; exp_continue; }
1300
        -re ".* 445      A160" { set x [expr $x+1]; exp_continue; }
1301
        -re ".* 446 0d5c 01556D3C" { set x [expr $x+1]; exp_continue; }
1302
        -re ".* 446      9160" { set x [expr $x+1]; exp_continue; }
1303
        -re ".* 447 0d62 01556D3C" { set x [expr $x+1]; exp_continue; }
1304
        -re ".* 447      C1609ABC" { set x [expr $x+1]; exp_continue; }
1305
        -re ".* 448 0d6a 01556D3C" { set x [expr $x+1]; exp_continue; }
1306
        -re ".* 448      C9609ABC" { set x [expr $x+1]; exp_continue; }
1307
        -re ".* 448      DEF0" { set x [expr $x+1]; exp_continue; }
1308
        -re ".* 449 0d74 01556D3C" { set x [expr $x+1]; exp_continue; }
1309
        -re ".* 449      D2609ABC" { set x [expr $x+1]; exp_continue; }
1310
        -re ".* 450 0d7c 01556D3C" { set x [expr $x+1]; exp_continue; }
1311
        -re ".* 450      E2609ABC" { set x [expr $x+1]; exp_continue; }
1312
        -re ".* 451 0d84 01556D3C" { set x [expr $x+1]; exp_continue; }
1313
        -re ".* 451      F2609ABC" { set x [expr $x+1]; exp_continue; }
1314
        -re ".* 452 0d8c 01556D3C" { set x [expr $x+1]; exp_continue; }
1315
        -re ".* 452      DA609ABC" { set x [expr $x+1]; exp_continue; }
1316
        -re ".* 452      DEF0" { set x [expr $x+1]; exp_continue; }
1317
        -re ".* 453 0d96 01556D3C" { set x [expr $x+1]; exp_continue; }
1318
        -re ".* 453      EA609ABC" { set x [expr $x+1]; exp_continue; }
1319
        -re ".* 453      DEF0" { set x [expr $x+1]; exp_continue; }
1320
        -re ".* 454 0da0 01556D3C" { set x [expr $x+1]; exp_continue; }
1321
        -re ".* 454      FA609ABC" { set x [expr $x+1]; exp_continue; }
1322
        -re ".* 454      DEF0" { set x [expr $x+1]; exp_continue; }
1323
        -re ".* 455 0daa 01556D3C" { set x [expr $x+1]; exp_continue; }
1324
        -re ".* 455      40609ABC" { set x [expr $x+1]; exp_continue; }
1325
        -re ".* 456 0db2 01556D3C" { set x [expr $x+1]; exp_continue; }
1326
        -re ".* 456      48609ABC" { set x [expr $x+1]; exp_continue; }
1327
        -re ".* 456      DEF0" { set x [expr $x+1]; exp_continue; }
1328
        -re ".* 457              " {
1329
            if [expr $x == 37] then {
1330
                pass "$testname: and.w @+er3, ..."
1331
            } else {
1332
                fail "$testname: and.w @+er3, ... ($x)"
1333
            }
1334
        }
1335
        default { fail "$testname: and.w @+er3, ...($x)" }
1336
    }
1337
 
1338
    set x 0
1339
    expect {
1340
        -re ".* 458 0dbc 01546F3C" { set x [expr $x+1]; exp_continue; }
1341
        -re ".* 458      12340160" { set x [expr $x+1]; exp_continue; }
1342
        -re ".* 459 0dc4 01546F3C" { set x [expr $x+1]; exp_continue; }
1343
        -re ".* 459      12343160" { set x [expr $x+1]; exp_continue; }
1344
        -re ".* 460 0dcc 01546F3C" { set x [expr $x+1]; exp_continue; }
1345
        -re ".* 460      1234B160" { set x [expr $x+1]; exp_continue; }
1346
        -re ".* 461 0dd4 01546F3C" { set x [expr $x+1]; exp_continue; }
1347
        -re ".* 461      12348160" { set x [expr $x+1]; exp_continue; }
1348
        -re ".* 462 0ddc 01546F3C" { set x [expr $x+1]; exp_continue; }
1349
        -re ".* 462      1234A160" { set x [expr $x+1]; exp_continue; }
1350
        -re ".* 463 0de4 01546F3C" { set x [expr $x+1]; exp_continue; }
1351
        -re ".* 463      12349160" { set x [expr $x+1]; exp_continue; }
1352
        -re ".* 464 0dec 01546F3C" { set x [expr $x+1]; exp_continue; }
1353
        -re ".* 464      1234C160" { set x [expr $x+1]; exp_continue; }
1354
        -re ".* 464      9ABC" { set x [expr $x+1]; exp_continue; }
1355
        -re ".* 465 0df6 01546F3C" { set x [expr $x+1]; exp_continue; }
1356
        -re ".* 465      1234C960" { set x [expr $x+1]; exp_continue; }
1357
        -re ".* 465      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1358
        -re ".* 466 0e02 01546F3C" { set x [expr $x+1]; exp_continue; }
1359
        -re ".* 466      1234D260" { set x [expr $x+1]; exp_continue; }
1360
        -re ".* 466      9ABC" { set x [expr $x+1]; exp_continue; }
1361
        -re ".* 467 0e0c 01546F3C" { set x [expr $x+1]; exp_continue; }
1362
        -re ".* 467      1234E260" { set x [expr $x+1]; exp_continue; }
1363
        -re ".* 467      9ABC" { set x [expr $x+1]; exp_continue; }
1364
        -re ".* 468 0e16 01546F3C" { set x [expr $x+1]; exp_continue; }
1365
        -re ".* 468      1234F260" { set x [expr $x+1]; exp_continue; }
1366
        -re ".* 468      9ABC" { set x [expr $x+1]; exp_continue; }
1367
        -re ".* 469 0e20 01546F3C" { set x [expr $x+1]; exp_continue; }
1368
        -re ".* 469      1234DA60" { set x [expr $x+1]; exp_continue; }
1369
        -re ".* 469      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1370
        -re ".* 470 0e2c 01546F3C" { set x [expr $x+1]; exp_continue; }
1371
        -re ".* 470      1234EA60" { set x [expr $x+1]; exp_continue; }
1372
        -re ".* 470      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1373
        -re ".* 471 0e38 01546F3C" { set x [expr $x+1]; exp_continue; }
1374
        -re ".* 471      1234FA60" { set x [expr $x+1]; exp_continue; }
1375
        -re ".* 471      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1376
        -re ".* 472 0e44 01546F3C" { set x [expr $x+1]; exp_continue; }
1377
        -re ".* 472      12344060" { set x [expr $x+1]; exp_continue; }
1378
        -re ".* 472      9ABC" { set x [expr $x+1]; exp_continue; }
1379
        -re ".* 473 0e4e 01546F3C" { set x [expr $x+1]; exp_continue; }
1380
        -re ".* 473      12344860" { set x [expr $x+1]; exp_continue; }
1381
        -re ".* 473      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1382
        -re ".* 474              " {
1383
            if [expr $x == 42] then {
1384
                pass "$testname: and.w @(0x1234:16,er3), ..."
1385
            } else {
1386
                fail "$testname: and.w @(0x1234:16,er3), ... ($x)"
1387
            }
1388
        }
1389
        default { fail "$testname: and.w @(0x1234:16,er3), ... ($x)" }
1390
    }
1391
 
1392
    set x 0
1393
    expect {
1394
        -re ".* 475 0e5a 78346B2C" { set x [expr $x+1]; exp_continue; }
1395
        -re ".* 475      12345678" { set x [expr $x+1]; exp_continue; }
1396
        -re ".* 475      0160" { set x [expr $x+1]; exp_continue; }
1397
        -re ".* 476 0e64 78346B2C" { set x [expr $x+1]; exp_continue; }
1398
        -re ".* 476      12345678" { set x [expr $x+1]; exp_continue; }
1399
        -re ".* 476      3160" { set x [expr $x+1]; exp_continue; }
1400
        -re ".* 477 0e6e 78346B2C" { set x [expr $x+1]; exp_continue; }
1401
        -re ".* 477      12345678" { set x [expr $x+1]; exp_continue; }
1402
        -re ".* 477      B160" { set x [expr $x+1]; exp_continue; }
1403
        -re ".* 478 0e78 78346B2C" { set x [expr $x+1]; exp_continue; }
1404
        -re ".* 478      12345678" { set x [expr $x+1]; exp_continue; }
1405
        -re ".* 478      8160" { set x [expr $x+1]; exp_continue; }
1406
        -re ".* 479 0e82 78346B2C" { set x [expr $x+1]; exp_continue; }
1407
        -re ".* 479      12345678" { set x [expr $x+1]; exp_continue; }
1408
        -re ".* 479      A160" { set x [expr $x+1]; exp_continue; }
1409
        -re ".* 480 0e8c 78346B2C" { set x [expr $x+1]; exp_continue; }
1410
        -re ".* 480      12345678" { set x [expr $x+1]; exp_continue; }
1411
        -re ".* 480      9160" { set x [expr $x+1]; exp_continue; }
1412
        -re ".* 481 0e96 78346B2C" { set x [expr $x+1]; exp_continue; }
1413
        -re ".* 481      12345678" { set x [expr $x+1]; exp_continue; }
1414
        -re ".* 481      C1609ABC" { set x [expr $x+1]; exp_continue; }
1415
        -re ".* 482 0ea2 78346B2C" { set x [expr $x+1]; exp_continue; }
1416
        -re ".* 482      12345678" { set x [expr $x+1]; exp_continue; }
1417
        -re ".* 482      C9609ABC" { set x [expr $x+1]; exp_continue; }
1418
        -re ".* 482      DEF0" { set x [expr $x+1]; exp_continue; }
1419
        -re ".* 483 0eb0 78346B2C" { set x [expr $x+1]; exp_continue; }
1420
        -re ".* 483      12345678" { set x [expr $x+1]; exp_continue; }
1421
        -re ".* 483      D2609ABC" { set x [expr $x+1]; exp_continue; }
1422
        -re ".* 484 0ebc 78346B2C" { set x [expr $x+1]; exp_continue; }
1423
        -re ".* 484      12345678" { set x [expr $x+1]; exp_continue; }
1424
        -re ".* 484      E2609ABC" { set x [expr $x+1]; exp_continue; }
1425
        -re ".* 485 0ec8 78346B2C" { set x [expr $x+1]; exp_continue; }
1426
        -re ".* 485      12345678" { set x [expr $x+1]; exp_continue; }
1427
        -re ".* 485      F2609ABC" { set x [expr $x+1]; exp_continue; }
1428
        -re ".* 486 0ed4 78346B2C" { set x [expr $x+1]; exp_continue; }
1429
        -re ".* 486      12345678" { set x [expr $x+1]; exp_continue; }
1430
        -re ".* 486      DA609ABC" { set x [expr $x+1]; exp_continue; }
1431
        -re ".* 486      DEF0" { set x [expr $x+1]; exp_continue; }
1432
        -re ".* 487 0ee2 78346B2C" { set x [expr $x+1]; exp_continue; }
1433
        -re ".* 487      12345678" { set x [expr $x+1]; exp_continue; }
1434
        -re ".* 487      EA609ABC" { set x [expr $x+1]; exp_continue; }
1435
        -re ".* 487      DEF0" { set x [expr $x+1]; exp_continue; }
1436
        -re ".* 488 0ef0 78346B2C" { set x [expr $x+1]; exp_continue; }
1437
        -re ".* 488      12345678" { set x [expr $x+1]; exp_continue; }
1438
        -re ".* 488      FA609ABC" { set x [expr $x+1]; exp_continue; }
1439
        -re ".* 488      DEF0" { set x [expr $x+1]; exp_continue; }
1440
        -re ".* 489 0efe 78346B2C" { set x [expr $x+1]; exp_continue; }
1441
        -re ".* 489      12345678" { set x [expr $x+1]; exp_continue; }
1442
        -re ".* 489      40609ABC" { set x [expr $x+1]; exp_continue; }
1443
        -re ".* 490 0f0a 78346B2C" { set x [expr $x+1]; exp_continue; }
1444
        -re ".* 490      12345678" { set x [expr $x+1]; exp_continue; }
1445
        -re ".* 490      48609ABC" { set x [expr $x+1]; exp_continue; }
1446
        -re ".* 490      DEF0" { set x [expr $x+1]; exp_continue; }
1447
        -re ".* 491              " {
1448
            if [expr $x == 53] then {
1449
                pass "$testname: and.w @(0x12345678:32,er3), ..."
1450
            } else {
1451
                fail "$testname: and.w @(0x12345678:32,er3), ... ($x)"
1452
            }
1453
        }
1454
        default { fail "$testname: and.w @(0x12345678:32,er3), ... ($x)" }
1455
    }
1456
 
1457
    set x 0
1458
    expect {
1459
        -re ".* 492 0f18 01556F3C" { set x [expr $x+1]; exp_continue; }
1460
        -re ".* 492      12340160" { set x [expr $x+1]; exp_continue; }
1461
        -re ".* 493 0f20 01556F3C" { set x [expr $x+1]; exp_continue; }
1462
        -re ".* 493      12343160" { set x [expr $x+1]; exp_continue; }
1463
        -re ".* 494 0f28 01556F3C" { set x [expr $x+1]; exp_continue; }
1464
        -re ".* 494      1234B160" { set x [expr $x+1]; exp_continue; }
1465
        -re ".* 495 0f30 01556F3C" { set x [expr $x+1]; exp_continue; }
1466
        -re ".* 495      12348160" { set x [expr $x+1]; exp_continue; }
1467
        -re ".* 496 0f38 01556F3C" { set x [expr $x+1]; exp_continue; }
1468
        -re ".* 496      1234A160" { set x [expr $x+1]; exp_continue; }
1469
        -re ".* 497 0f40 01556F3C" { set x [expr $x+1]; exp_continue; }
1470
        -re ".* 497      12349160" { set x [expr $x+1]; exp_continue; }
1471
        -re ".* 498 0f48 01556F3C" { set x [expr $x+1]; exp_continue; }
1472
        -re ".* 498      1234C160" { set x [expr $x+1]; exp_continue; }
1473
        -re ".* 498      9ABC" { set x [expr $x+1]; exp_continue; }
1474
        -re ".* 499 0f52 01556F3C" { set x [expr $x+1]; exp_continue; }
1475
        -re ".* 499      1234C960" { set x [expr $x+1]; exp_continue; }
1476
        -re ".* 499      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1477
        -re ".* 500 0f5e 01556F3C" { set x [expr $x+1]; exp_continue; }
1478
        -re ".* 500      1234D260" { set x [expr $x+1]; exp_continue; }
1479
        -re ".* 500      9ABC" { set x [expr $x+1]; exp_continue; }
1480
        -re ".* 501 0f68 01556F3C" { set x [expr $x+1]; exp_continue; }
1481
        -re ".* 501      1234E260" { set x [expr $x+1]; exp_continue; }
1482
        -re ".* 501      9ABC" { set x [expr $x+1]; exp_continue; }
1483
        -re ".* 502 0f72 01556F3C" { set x [expr $x+1]; exp_continue; }
1484
        -re ".* 502      1234F260" { set x [expr $x+1]; exp_continue; }
1485
        -re ".* 502      9ABC" { set x [expr $x+1]; exp_continue; }
1486
        -re ".* 503 0f7c 01556F3C" { set x [expr $x+1]; exp_continue; }
1487
        -re ".* 503      1234DA60" { set x [expr $x+1]; exp_continue; }
1488
        -re ".* 503      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1489
        -re ".* 504 0f88 01556F3C" { set x [expr $x+1]; exp_continue; }
1490
        -re ".* 504      1234EA60" { set x [expr $x+1]; exp_continue; }
1491
        -re ".* 504      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1492
        -re ".* 505 0f94 01556F3C" { set x [expr $x+1]; exp_continue; }
1493
        -re ".* 505      1234FA60" { set x [expr $x+1]; exp_continue; }
1494
        -re ".* 505      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1495
        -re ".* 506 0fa0 01556F3C" { set x [expr $x+1]; exp_continue; }
1496
        -re ".* 506      12344060" { set x [expr $x+1]; exp_continue; }
1497
        -re ".* 506      9ABC" { set x [expr $x+1]; exp_continue; }
1498
        -re ".* 507 0faa 01556F3C" { set x [expr $x+1]; exp_continue; }
1499
        -re ".* 507      12344860" { set x [expr $x+1]; exp_continue; }
1500
        -re ".* 507      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1501
        -re ".* 508              " {
1502
            if [expr $x == 42] then {
1503
                pass "$testname: and.w @(0x1234:16,r3l.b), ..."
1504
            } else {
1505
                fail "$testname: and.w @(0x1234:16,r3l.b), ... ($x)"
1506
            }
1507
        }
1508
        default { fail "$testname: and.w @(0x1234:16,r3l.b), ... ($x)" }
1509
    }
1510
 
1511
    set x 0
1512
    expect {
1513
        -re ".* 509 0fb6 01566F3C" { set x [expr $x+1]; exp_continue; }
1514
        -re ".* 509      12340160" { set x [expr $x+1]; exp_continue; }
1515
        -re ".* 510 0fbe 01566F3C" { set x [expr $x+1]; exp_continue; }
1516
        -re ".* 510      12343160" { set x [expr $x+1]; exp_continue; }
1517
        -re ".* 511 0fc6 01566F3C" { set x [expr $x+1]; exp_continue; }
1518
        -re ".* 511      1234B160" { set x [expr $x+1]; exp_continue; }
1519
        -re ".* 512 0fce 01566F3C" { set x [expr $x+1]; exp_continue; }
1520
        -re ".* 512      12348160" { set x [expr $x+1]; exp_continue; }
1521
        -re ".* 513 0fd6 01566F3C" { set x [expr $x+1]; exp_continue; }
1522
        -re ".* 513      1234A160" { set x [expr $x+1]; exp_continue; }
1523
        -re ".* 514 0fde 01566F3C" { set x [expr $x+1]; exp_continue; }
1524
        -re ".* 514      12349160" { set x [expr $x+1]; exp_continue; }
1525
        -re ".* 515 0fe6 01566F3C" { set x [expr $x+1]; exp_continue; }
1526
        -re ".* 515      1234C160" { set x [expr $x+1]; exp_continue; }
1527
        -re ".* 515      9ABC" { set x [expr $x+1]; exp_continue; }
1528
        -re ".* 516 0ff0 01566F3C" { set x [expr $x+1]; exp_continue; }
1529
        -re ".* 516      1234C960" { set x [expr $x+1]; exp_continue; }
1530
        -re ".* 516      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1531
        -re ".* 517 0ffc 01566F3C" { set x [expr $x+1]; exp_continue; }
1532
        -re ".* 517      1234D260" { set x [expr $x+1]; exp_continue; }
1533
        -re ".* 517      9ABC" { set x [expr $x+1]; exp_continue; }
1534
        -re ".* 518 1006 01566F3C" { set x [expr $x+1]; exp_continue; }
1535
        -re ".* 518      1234E260" { set x [expr $x+1]; exp_continue; }
1536
        -re ".* 518      9ABC" { set x [expr $x+1]; exp_continue; }
1537
        -re ".* 519 1010 01566F3C" { set x [expr $x+1]; exp_continue; }
1538
        -re ".* 519      1234F260" { set x [expr $x+1]; exp_continue; }
1539
        -re ".* 519      9ABC" { set x [expr $x+1]; exp_continue; }
1540
        -re ".* 520 101a 01566F3C" { set x [expr $x+1]; exp_continue; }
1541
        -re ".* 520      1234DA60" { set x [expr $x+1]; exp_continue; }
1542
        -re ".* 520      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1543
        -re ".* 521 1026 01566F3C" { set x [expr $x+1]; exp_continue; }
1544
        -re ".* 521      1234EA60" { set x [expr $x+1]; exp_continue; }
1545
        -re ".* 521      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1546
        -re ".* 522 1032 01566F3C" { set x [expr $x+1]; exp_continue; }
1547
        -re ".* 522      1234FA60" { set x [expr $x+1]; exp_continue; }
1548
        -re ".* 522      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1549
        -re ".* 523 103e 01566F3C" { set x [expr $x+1]; exp_continue; }
1550
        -re ".* 523      12344060" { set x [expr $x+1]; exp_continue; }
1551
        -re ".* 523      9ABC" { set x [expr $x+1]; exp_continue; }
1552
        -re ".* 524 1048 01566F3C" { set x [expr $x+1]; exp_continue; }
1553
        -re ".* 524      12344860" { set x [expr $x+1]; exp_continue; }
1554
        -re ".* 524      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1555
        -re ".* 525              " {
1556
            if [expr $x == 42] then {
1557
                pass "$testname: and.w @(0x1234:16,r3.w), ..."
1558
            } else {
1559
                fail "$testname: and.w @(0x1234:16,r3.w), ... ($x)"
1560
            }
1561
        }
1562
        default { fail "$testname: and.w @(0x1234:16,r3.w), ... ($x)" }
1563
    }
1564
 
1565
    set x 0
1566
    expect {
1567
        -re ".* 526 1054 01576F3C" { set x [expr $x+1]; exp_continue; }
1568
        -re ".* 526      12340160" { set x [expr $x+1]; exp_continue; }
1569
        -re ".* 527 105c 01576F3C" { set x [expr $x+1]; exp_continue; }
1570
        -re ".* 527      12343160" { set x [expr $x+1]; exp_continue; }
1571
        -re ".* 528 1064 01576F3C" { set x [expr $x+1]; exp_continue; }
1572
        -re ".* 528      1234B160" { set x [expr $x+1]; exp_continue; }
1573
        -re ".* 529 106c 01576F3C" { set x [expr $x+1]; exp_continue; }
1574
        -re ".* 529      12348160" { set x [expr $x+1]; exp_continue; }
1575
        -re ".* 530 1074 01576F3C" { set x [expr $x+1]; exp_continue; }
1576
        -re ".* 530      1234A160" { set x [expr $x+1]; exp_continue; }
1577
        -re ".* 531 107c 01576F3C" { set x [expr $x+1]; exp_continue; }
1578
        -re ".* 531      12349160" { set x [expr $x+1]; exp_continue; }
1579
        -re ".* 532 1084 01576F3C" { set x [expr $x+1]; exp_continue; }
1580
        -re ".* 532      1234C160" { set x [expr $x+1]; exp_continue; }
1581
        -re ".* 532      9ABC" { set x [expr $x+1]; exp_continue; }
1582
        -re ".* 533 108e 01576F3C" { set x [expr $x+1]; exp_continue; }
1583
        -re ".* 533      1234C960" { set x [expr $x+1]; exp_continue; }
1584
        -re ".* 533      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1585
        -re ".* 534 109a 01576F3C" { set x [expr $x+1]; exp_continue; }
1586
        -re ".* 534      1234D260" { set x [expr $x+1]; exp_continue; }
1587
        -re ".* 534      9ABC" { set x [expr $x+1]; exp_continue; }
1588
        -re ".* 535 10a4 01576F3C" { set x [expr $x+1]; exp_continue; }
1589
        -re ".* 535      1234E260" { set x [expr $x+1]; exp_continue; }
1590
        -re ".* 535      9ABC" { set x [expr $x+1]; exp_continue; }
1591
        -re ".* 536 10ae 01576F3C" { set x [expr $x+1]; exp_continue; }
1592
        -re ".* 536      1234F260" { set x [expr $x+1]; exp_continue; }
1593
        -re ".* 536      9ABC" { set x [expr $x+1]; exp_continue; }
1594
        -re ".* 537 10b8 01576F3C" { set x [expr $x+1]; exp_continue; }
1595
        -re ".* 537      1234DA60" { set x [expr $x+1]; exp_continue; }
1596
        -re ".* 537      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1597
        -re ".* 538 10c4 01576F3C" { set x [expr $x+1]; exp_continue; }
1598
        -re ".* 538      1234EA60" { set x [expr $x+1]; exp_continue; }
1599
        -re ".* 538      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1600
        -re ".* 539 10d0 01576F3C" { set x [expr $x+1]; exp_continue; }
1601
        -re ".* 539      1234FA60" { set x [expr $x+1]; exp_continue; }
1602
        -re ".* 539      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1603
        -re ".* 540 10dc 01576F3C" { set x [expr $x+1]; exp_continue; }
1604
        -re ".* 540      12344060" { set x [expr $x+1]; exp_continue; }
1605
        -re ".* 540      9ABC" { set x [expr $x+1]; exp_continue; }
1606
        -re ".* 541 10e6 01576F3C" { set x [expr $x+1]; exp_continue; }
1607
        -re ".* 541      12344860" { set x [expr $x+1]; exp_continue; }
1608
        -re ".* 541      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1609
        -re ".* 542              " {
1610
            if [expr $x == 42] then {
1611
                pass "$testname: and.w @(0x1234:16,er3.l), ..."
1612
            } else {
1613
                fail "$testname: and.w @(0x1234:16,er3.l), ... ($x)"
1614
            }
1615
        }
1616
        default { fail "$testname: and.w @(0x1234:16,er3.l), ... ($x)" }
1617
    }
1618
 
1619
    set x 0
1620
    expect {
1621
        -re ".* 543 10f2 78356B2C" { set x [expr $x+1]; exp_continue; }
1622
        -re ".* 543      12345678" { set x [expr $x+1]; exp_continue; }
1623
        -re ".* 543      0160" { set x [expr $x+1]; exp_continue; }
1624
        -re ".* 544 10fc 78356B2C" { set x [expr $x+1]; exp_continue; }
1625
        -re ".* 544      12345678" { set x [expr $x+1]; exp_continue; }
1626
        -re ".* 544      3160" { set x [expr $x+1]; exp_continue; }
1627
        -re ".* 545 1106 78356B2C" { set x [expr $x+1]; exp_continue; }
1628
        -re ".* 545      12345678" { set x [expr $x+1]; exp_continue; }
1629
        -re ".* 545      B160" { set x [expr $x+1]; exp_continue; }
1630
        -re ".* 546 1110 78356B2C" { set x [expr $x+1]; exp_continue; }
1631
        -re ".* 546      12345678" { set x [expr $x+1]; exp_continue; }
1632
        -re ".* 546      8160" { set x [expr $x+1]; exp_continue; }
1633
        -re ".* 547 111a 78356B2C" { set x [expr $x+1]; exp_continue; }
1634
        -re ".* 547      12345678" { set x [expr $x+1]; exp_continue; }
1635
        -re ".* 547      A160" { set x [expr $x+1]; exp_continue; }
1636
        -re ".* 548 1124 78356B2C" { set x [expr $x+1]; exp_continue; }
1637
        -re ".* 548      12345678" { set x [expr $x+1]; exp_continue; }
1638
        -re ".* 548      9160" { set x [expr $x+1]; exp_continue; }
1639
        -re ".* 549 112e 78356B2C" { set x [expr $x+1]; exp_continue; }
1640
        -re ".* 549      12345678" { set x [expr $x+1]; exp_continue; }
1641
        -re ".* 549      C1609ABC" { set x [expr $x+1]; exp_continue; }
1642
        -re ".* 550 113a 78356B2C" { set x [expr $x+1]; exp_continue; }
1643
        -re ".* 550      12345678" { set x [expr $x+1]; exp_continue; }
1644
        -re ".* 550      C9609ABC" { set x [expr $x+1]; exp_continue; }
1645
        -re ".* 550      DEF0" { set x [expr $x+1]; exp_continue; }
1646
        -re ".* 551 1148 78356B2C" { set x [expr $x+1]; exp_continue; }
1647
        -re ".* 551      12345678" { set x [expr $x+1]; exp_continue; }
1648
        -re ".* 551      D2609ABC" { set x [expr $x+1]; exp_continue; }
1649
        -re ".* 552 1154 78356B2C" { set x [expr $x+1]; exp_continue; }
1650
        -re ".* 552      12345678" { set x [expr $x+1]; exp_continue; }
1651
        -re ".* 552      E2609ABC" { set x [expr $x+1]; exp_continue; }
1652
        -re ".* 553 1160 78356B2C" { set x [expr $x+1]; exp_continue; }
1653
        -re ".* 553      12345678" { set x [expr $x+1]; exp_continue; }
1654
        -re ".* 553      F2609ABC" { set x [expr $x+1]; exp_continue; }
1655
        -re ".* 554 116c 78356B2C" { set x [expr $x+1]; exp_continue; }
1656
        -re ".* 554      12345678" { set x [expr $x+1]; exp_continue; }
1657
        -re ".* 554      DA609ABC" { set x [expr $x+1]; exp_continue; }
1658
        -re ".* 554      DEF0" { set x [expr $x+1]; exp_continue; }
1659
        -re ".* 555 117a 78356B2C" { set x [expr $x+1]; exp_continue; }
1660
        -re ".* 555      12345678" { set x [expr $x+1]; exp_continue; }
1661
        -re ".* 555      EA609ABC" { set x [expr $x+1]; exp_continue; }
1662
        -re ".* 555      DEF0" { set x [expr $x+1]; exp_continue; }
1663
        -re ".* 556 1188 78356B2C" { set x [expr $x+1]; exp_continue; }
1664
        -re ".* 556      12345678" { set x [expr $x+1]; exp_continue; }
1665
        -re ".* 556      FA609ABC" { set x [expr $x+1]; exp_continue; }
1666
        -re ".* 556      DEF0" { set x [expr $x+1]; exp_continue; }
1667
        -re ".* 557 1196 78356B2C" { set x [expr $x+1]; exp_continue; }
1668
        -re ".* 557      12345678" { set x [expr $x+1]; exp_continue; }
1669
        -re ".* 557      40609ABC" { set x [expr $x+1]; exp_continue; }
1670
        -re ".* 558 11a2 78356B2C" { set x [expr $x+1]; exp_continue; }
1671
        -re ".* 558      12345678" { set x [expr $x+1]; exp_continue; }
1672
        -re ".* 558      48609ABC" { set x [expr $x+1]; exp_continue; }
1673
        -re ".* 558      DEF0" { set x [expr $x+1]; exp_continue; }
1674
        -re ".* 559              " {
1675
            if [expr $x == 53] then {
1676
                pass "$testname: and.w @(0x12345678:32,r3l.b), ..."
1677
            } else {
1678
                fail "$testname: and.w @(0x12345678:32,r3l.b), ... ($x)"
1679
            }
1680
        }
1681
        default { fail "$testname: and.w @(0x12345678:32,r3l.b), ... ($x)" }
1682
    }
1683
 
1684
    set x 0
1685
    expect {
1686
        -re ".* 560 11b0 78366B2C" { set x [expr $x+1]; exp_continue; }
1687
        -re ".* 560      12345678" { set x [expr $x+1]; exp_continue; }
1688
        -re ".* 560      0160" { set x [expr $x+1]; exp_continue; }
1689
        -re ".* 561 11ba 78366B2C" { set x [expr $x+1]; exp_continue; }
1690
        -re ".* 561      12345678" { set x [expr $x+1]; exp_continue; }
1691
        -re ".* 561      3160" { set x [expr $x+1]; exp_continue; }
1692
        -re ".* 562 11c4 78366B2C" { set x [expr $x+1]; exp_continue; }
1693
        -re ".* 562      12345678" { set x [expr $x+1]; exp_continue; }
1694
        -re ".* 562      B160" { set x [expr $x+1]; exp_continue; }
1695
        -re ".* 563 11ce 78366B2C" { set x [expr $x+1]; exp_continue; }
1696
        -re ".* 563      12345678" { set x [expr $x+1]; exp_continue; }
1697
        -re ".* 563      8160" { set x [expr $x+1]; exp_continue; }
1698
        -re ".* 564 11d8 78366B2C" { set x [expr $x+1]; exp_continue; }
1699
        -re ".* 564      12345678" { set x [expr $x+1]; exp_continue; }
1700
        -re ".* 564      A160" { set x [expr $x+1]; exp_continue; }
1701
        -re ".* 565 11e2 78366B2C" { set x [expr $x+1]; exp_continue; }
1702
        -re ".* 565      12345678" { set x [expr $x+1]; exp_continue; }
1703
        -re ".* 565      9160" { set x [expr $x+1]; exp_continue; }
1704
        -re ".* 566 11ec 78366B2C" { set x [expr $x+1]; exp_continue; }
1705
        -re ".* 566      12345678" { set x [expr $x+1]; exp_continue; }
1706
        -re ".* 566      C1609ABC" { set x [expr $x+1]; exp_continue; }
1707
        -re ".* 567 11f8 78366B2C" { set x [expr $x+1]; exp_continue; }
1708
        -re ".* 567      12345678" { set x [expr $x+1]; exp_continue; }
1709
        -re ".* 567      C9609ABC" { set x [expr $x+1]; exp_continue; }
1710
        -re ".* 567      DEF0" { set x [expr $x+1]; exp_continue; }
1711
        -re ".* 568 1206 78366B2C" { set x [expr $x+1]; exp_continue; }
1712
        -re ".* 568      12345678" { set x [expr $x+1]; exp_continue; }
1713
        -re ".* 568      D2609ABC" { set x [expr $x+1]; exp_continue; }
1714
        -re ".* 569 1212 78366B2C" { set x [expr $x+1]; exp_continue; }
1715
        -re ".* 569      12345678" { set x [expr $x+1]; exp_continue; }
1716
        -re ".* 569      E2609ABC" { set x [expr $x+1]; exp_continue; }
1717
        -re ".* 570 121e 78366B2C" { set x [expr $x+1]; exp_continue; }
1718
        -re ".* 570      12345678" { set x [expr $x+1]; exp_continue; }
1719
        -re ".* 570      F2609ABC" { set x [expr $x+1]; exp_continue; }
1720
        -re ".* 571 122a 78366B2C" { set x [expr $x+1]; exp_continue; }
1721
        -re ".* 571      12345678" { set x [expr $x+1]; exp_continue; }
1722
        -re ".* 571      DA609ABC" { set x [expr $x+1]; exp_continue; }
1723
        -re ".* 571      DEF0" { set x [expr $x+1]; exp_continue; }
1724
        -re ".* 572 1238 78366B2C" { set x [expr $x+1]; exp_continue; }
1725
        -re ".* 572      12345678" { set x [expr $x+1]; exp_continue; }
1726
        -re ".* 572      EA609ABC" { set x [expr $x+1]; exp_continue; }
1727
        -re ".* 572      DEF0" { set x [expr $x+1]; exp_continue; }
1728
        -re ".* 573 1246 78366B2C" { set x [expr $x+1]; exp_continue; }
1729
        -re ".* 573      12345678" { set x [expr $x+1]; exp_continue; }
1730
        -re ".* 573      FA609ABC" { set x [expr $x+1]; exp_continue; }
1731
        -re ".* 573      DEF0" { set x [expr $x+1]; exp_continue; }
1732
        -re ".* 574 1254 78366B2C" { set x [expr $x+1]; exp_continue; }
1733
        -re ".* 574      12345678" { set x [expr $x+1]; exp_continue; }
1734
        -re ".* 574      40609ABC" { set x [expr $x+1]; exp_continue; }
1735
        -re ".* 575 1260 78366B2C" { set x [expr $x+1]; exp_continue; }
1736
        -re ".* 575      12345678" { set x [expr $x+1]; exp_continue; }
1737
        -re ".* 575      48609ABC" { set x [expr $x+1]; exp_continue; }
1738
        -re ".* 575      DEF0" { set x [expr $x+1]; exp_continue; }
1739
        -re ".* 576              " {
1740
            if [expr $x == 53] then {
1741
                pass "$testname: and.w @(0x12345678:32,r3.w), ..."
1742
            } else {
1743
                fail "$testname: and.w @(0x12345678:32,r3.w), ... ($x)"
1744
            }
1745
        }
1746
        default { fail "$testname: and.w @(0x12345678:32,r3.w), ... ($x)" }
1747
    }
1748
 
1749
    set x 0
1750
    expect {
1751
        -re ".* 577 126e 78376B2C" { set x [expr $x+1]; exp_continue; }
1752
        -re ".* 577      12345678" { set x [expr $x+1]; exp_continue; }
1753
        -re ".* 577      0160" { set x [expr $x+1]; exp_continue; }
1754
        -re ".* 578 1278 78376B2C" { set x [expr $x+1]; exp_continue; }
1755
        -re ".* 578      12345678" { set x [expr $x+1]; exp_continue; }
1756
        -re ".* 578      3160" { set x [expr $x+1]; exp_continue; }
1757
        -re ".* 579 1282 78376B2C" { set x [expr $x+1]; exp_continue; }
1758
        -re ".* 579      12345678" { set x [expr $x+1]; exp_continue; }
1759
        -re ".* 579      B160" { set x [expr $x+1]; exp_continue; }
1760
        -re ".* 580 128c 78376B2C" { set x [expr $x+1]; exp_continue; }
1761
        -re ".* 580      12345678" { set x [expr $x+1]; exp_continue; }
1762
        -re ".* 580      8160" { set x [expr $x+1]; exp_continue; }
1763
        -re ".* 581 1296 78376B2C" { set x [expr $x+1]; exp_continue; }
1764
        -re ".* 581      12345678" { set x [expr $x+1]; exp_continue; }
1765
        -re ".* 581      A160" { set x [expr $x+1]; exp_continue; }
1766
        -re ".* 582 12a0 78376B2C" { set x [expr $x+1]; exp_continue; }
1767
        -re ".* 582      12345678" { set x [expr $x+1]; exp_continue; }
1768
        -re ".* 582      9160" { set x [expr $x+1]; exp_continue; }
1769
        -re ".* 583 12aa 78376B2C" { set x [expr $x+1]; exp_continue; }
1770
        -re ".* 583      12345678" { set x [expr $x+1]; exp_continue; }
1771
        -re ".* 583      C1609ABC" { set x [expr $x+1]; exp_continue; }
1772
        -re ".* 584 12b6 78376B2C" { set x [expr $x+1]; exp_continue; }
1773
        -re ".* 584      12345678" { set x [expr $x+1]; exp_continue; }
1774
        -re ".* 584      C9609ABC" { set x [expr $x+1]; exp_continue; }
1775
        -re ".* 584      DEF0" { set x [expr $x+1]; exp_continue; }
1776
        -re ".* 585 12c4 78376B2C" { set x [expr $x+1]; exp_continue; }
1777
        -re ".* 585      12345678" { set x [expr $x+1]; exp_continue; }
1778
        -re ".* 585      D2609ABC" { set x [expr $x+1]; exp_continue; }
1779
        -re ".* 586 12d0 78376B2C" { set x [expr $x+1]; exp_continue; }
1780
        -re ".* 586      12345678" { set x [expr $x+1]; exp_continue; }
1781
        -re ".* 586      E2609ABC" { set x [expr $x+1]; exp_continue; }
1782
        -re ".* 587 12dc 78376B2C" { set x [expr $x+1]; exp_continue; }
1783
        -re ".* 587      12345678" { set x [expr $x+1]; exp_continue; }
1784
        -re ".* 587      F2609ABC" { set x [expr $x+1]; exp_continue; }
1785
        -re ".* 588 12e8 78376B2C" { set x [expr $x+1]; exp_continue; }
1786
        -re ".* 588      12345678" { set x [expr $x+1]; exp_continue; }
1787
        -re ".* 588      DA609ABC" { set x [expr $x+1]; exp_continue; }
1788
        -re ".* 588      DEF0" { set x [expr $x+1]; exp_continue; }
1789
        -re ".* 589 12f6 78376B2C" { set x [expr $x+1]; exp_continue; }
1790
        -re ".* 589      12345678" { set x [expr $x+1]; exp_continue; }
1791
        -re ".* 589      EA609ABC" { set x [expr $x+1]; exp_continue; }
1792
        -re ".* 589      DEF0" { set x [expr $x+1]; exp_continue; }
1793
        -re ".* 590 1304 78376B2C" { set x [expr $x+1]; exp_continue; }
1794
        -re ".* 590      12345678" { set x [expr $x+1]; exp_continue; }
1795
        -re ".* 590      FA609ABC" { set x [expr $x+1]; exp_continue; }
1796
        -re ".* 590      DEF0" { set x [expr $x+1]; exp_continue; }
1797
        -re ".* 591 1312 78376B2C" { set x [expr $x+1]; exp_continue; }
1798
        -re ".* 591      12345678" { set x [expr $x+1]; exp_continue; }
1799
        -re ".* 591      40609ABC" { set x [expr $x+1]; exp_continue; }
1800
        -re ".* 592 131e 78376B2C" { set x [expr $x+1]; exp_continue; }
1801
        -re ".* 592      12345678" { set x [expr $x+1]; exp_continue; }
1802
        -re ".* 592      48609ABC" { set x [expr $x+1]; exp_continue; }
1803
        -re ".* 592      DEF0" { set x [expr $x+1]; exp_continue; }
1804
        -re ".* 593              " {
1805
            if [expr $x == 53] then {
1806
                pass "$testname: and.w @(0x12345678:32,er3.l), ..."
1807
            } else {
1808
                fail "$testname: and.w @(0x12345678:32,er3.l), ... ($x)"
1809
            }
1810
        }
1811
        default { fail "$testname: and.w @(0x12345678:32,er3.l), ... ($x)" }
1812
    }
1813
 
1814
    set x 0
1815
    expect {
1816
        -re ".* 594 132c 6B151234" { set x [expr $x+1]; exp_continue; }
1817
        -re ".* 594      0160" { set x [expr $x+1]; exp_continue; }
1818
        -re ".* 595 1332 6B151234" { set x [expr $x+1]; exp_continue; }
1819
        -re ".* 595      3160" { set x [expr $x+1]; exp_continue; }
1820
        -re ".* 596 1338 6B151234" { set x [expr $x+1]; exp_continue; }
1821
        -re ".* 596      B160" { set x [expr $x+1]; exp_continue; }
1822
        -re ".* 597 133e 6B151234" { set x [expr $x+1]; exp_continue; }
1823
        -re ".* 597      8160" { set x [expr $x+1]; exp_continue; }
1824
        -re ".* 598 1344 6B151234" { set x [expr $x+1]; exp_continue; }
1825
        -re ".* 598      A160" { set x [expr $x+1]; exp_continue; }
1826
        -re ".* 599 134a 6B151234" { set x [expr $x+1]; exp_continue; }
1827
        -re ".* 599      9160" { set x [expr $x+1]; exp_continue; }
1828
        -re ".* 600 1350 6B151234" { set x [expr $x+1]; exp_continue; }
1829
        -re ".* 600      C1609ABC" { set x [expr $x+1]; exp_continue; }
1830
        -re ".* 601 1358 6B151234" { set x [expr $x+1]; exp_continue; }
1831
        -re ".* 601      C9609ABC" { set x [expr $x+1]; exp_continue; }
1832
        -re ".* 601      DEF0" { set x [expr $x+1]; exp_continue; }
1833
        -re ".* 602 1362 6B151234" { set x [expr $x+1]; exp_continue; }
1834
        -re ".* 602      D2609ABC" { set x [expr $x+1]; exp_continue; }
1835
        -re ".* 603 136a 6B151234" { set x [expr $x+1]; exp_continue; }
1836
        -re ".* 603      E2609ABC" { set x [expr $x+1]; exp_continue; }
1837
        -re ".* 604 1372 6B151234" { set x [expr $x+1]; exp_continue; }
1838
        -re ".* 604      F2609ABC" { set x [expr $x+1]; exp_continue; }
1839
        -re ".* 605 137a 6B151234" { set x [expr $x+1]; exp_continue; }
1840
        -re ".* 605      DA609ABC" { set x [expr $x+1]; exp_continue; }
1841
        -re ".* 605      DEF0" { set x [expr $x+1]; exp_continue; }
1842
        -re ".* 606 1384 6B151234" { set x [expr $x+1]; exp_continue; }
1843
        -re ".* 606      EA609ABC" { set x [expr $x+1]; exp_continue; }
1844
        -re ".* 606      DEF0" { set x [expr $x+1]; exp_continue; }
1845
        -re ".* 607 138e 6B151234" { set x [expr $x+1]; exp_continue; }
1846
        -re ".* 607      FA609ABC" { set x [expr $x+1]; exp_continue; }
1847
        -re ".* 607      DEF0" { set x [expr $x+1]; exp_continue; }
1848
        -re ".* 608 1398 6B151234" { set x [expr $x+1]; exp_continue; }
1849
        -re ".* 608      40609ABC" { set x [expr $x+1]; exp_continue; }
1850
        -re ".* 609 13a0 6B151234" { set x [expr $x+1]; exp_continue; }
1851
        -re ".* 609      48609ABC" { set x [expr $x+1]; exp_continue; }
1852
        -re ".* 609      DEF0" { set x [expr $x+1]; exp_continue; }
1853
        -re ".* 610              " {
1854
            if [expr $x == 37] then {
1855
                pass "$testname: and.w @0x1234:16, ..."
1856
            } else {
1857
                fail "$testname: and.w @0x1234:16, ... ($x)"
1858
            }
1859
        }
1860
        default { fail "$testname: and.w @0x1234:16, ... ($x)" }
1861
    }
1862
 
1863
    set x 0
1864
    expect {
1865
        -re ".* 611 13aa 6B351234" { set x [expr $x+1]; exp_continue; }
1866
        -re ".* 611      56780160" { set x [expr $x+1]; exp_continue; }
1867
        -re ".* 612 13b2 6B351234" { set x [expr $x+1]; exp_continue; }
1868
        -re ".* 612      56783160" { set x [expr $x+1]; exp_continue; }
1869
        -re ".* 613 13ba 6B351234" { set x [expr $x+1]; exp_continue; }
1870
        -re ".* 613      5678B160" { set x [expr $x+1]; exp_continue; }
1871
        -re ".* 614 13c2 6B351234" { set x [expr $x+1]; exp_continue; }
1872
        -re ".* 614      56788160" { set x [expr $x+1]; exp_continue; }
1873
        -re ".* 615 13ca 6B351234" { set x [expr $x+1]; exp_continue; }
1874
        -re ".* 615      5678A160" { set x [expr $x+1]; exp_continue; }
1875
        -re ".* 616 13d2 6B351234" { set x [expr $x+1]; exp_continue; }
1876
        -re ".* 616      56789160" { set x [expr $x+1]; exp_continue; }
1877
        -re ".* 617 13da 6B351234" { set x [expr $x+1]; exp_continue; }
1878
        -re ".* 617      5678C160" { set x [expr $x+1]; exp_continue; }
1879
        -re ".* 617      9ABC" { set x [expr $x+1]; exp_continue; }
1880
        -re ".* 618 13e4 6B351234" { set x [expr $x+1]; exp_continue; }
1881
        -re ".* 618      5678C960" { set x [expr $x+1]; exp_continue; }
1882
        -re ".* 618      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1883
        -re ".* 619 13f0 6B351234" { set x [expr $x+1]; exp_continue; }
1884
        -re ".* 619      5678D260" { set x [expr $x+1]; exp_continue; }
1885
        -re ".* 619      9ABC" { set x [expr $x+1]; exp_continue; }
1886
        -re ".* 620 13fa 6B351234" { set x [expr $x+1]; exp_continue; }
1887
        -re ".* 620      5678E260" { set x [expr $x+1]; exp_continue; }
1888
        -re ".* 620      9ABC" { set x [expr $x+1]; exp_continue; }
1889
        -re ".* 621 1404 6B351234" { set x [expr $x+1]; exp_continue; }
1890
        -re ".* 621      5678F260" { set x [expr $x+1]; exp_continue; }
1891
        -re ".* 621      9ABC" { set x [expr $x+1]; exp_continue; }
1892
        -re ".* 622 140e 6B351234" { set x [expr $x+1]; exp_continue; }
1893
        -re ".* 622      5678DA60" { set x [expr $x+1]; exp_continue; }
1894
        -re ".* 622      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1895
        -re ".* 623 141a 6B351234" { set x [expr $x+1]; exp_continue; }
1896
        -re ".* 623      5678EA60" { set x [expr $x+1]; exp_continue; }
1897
        -re ".* 623      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1898
        -re ".* 624 1426 6B351234" { set x [expr $x+1]; exp_continue; }
1899
        -re ".* 624      5678FA60" { set x [expr $x+1]; exp_continue; }
1900
        -re ".* 624      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1901
        -re ".* 625 1432 6B351234" { set x [expr $x+1]; exp_continue; }
1902
        -re ".* 625      56784060" { set x [expr $x+1]; exp_continue; }
1903
        -re ".* 625      9ABC" { set x [expr $x+1]; exp_continue; }
1904
        -re ".* 626 143c 6B351234" { set x [expr $x+1]; exp_continue; }
1905
        -re ".* 626      56784860" { set x [expr $x+1]; exp_continue; }
1906
        -re ".* 626      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1907
        -re ".* 627              " {
1908
            if [expr $x == 42] then {
1909
                pass "$testname: and.w @0x12345678:32, ..."
1910
            } else {
1911
                fail "$testname: and.w @0x12345678:32, ... ($x)"
1912
            }
1913
        }
1914
        default { fail "$testname: and.w @0x12345678:32, ... ($x)" }
1915
    }
1916
 
1917
    set x 0
1918
    expect {
1919
        -re ".* 628 1448 7A611234" { set x [expr $x+1]; exp_continue; }
1920
        -re ".* 628      5678" { set x [expr $x+1]; exp_continue; }
1921
        -re ".* 629 144e 7A691234" { set x [expr $x+1]; exp_continue; }
1922
        -re ".* 630 1452 010E0168" { set x [expr $x+1]; exp_continue; }
1923
        -re ".* 630      12345678" { set x [expr $x+1]; exp_continue; }
1924
        -re ".* 631 145a 010E3168" { set x [expr $x+1]; exp_continue; }
1925
        -re ".* 631      12345678" { set x [expr $x+1]; exp_continue; }
1926
        -re ".* 632 1462 010E8168" { set x [expr $x+1]; exp_continue; }
1927
        -re ".* 632      12345678" { set x [expr $x+1]; exp_continue; }
1928
        -re ".* 633 146a 010EB168" { set x [expr $x+1]; exp_continue; }
1929
        -re ".* 633      12345678" { set x [expr $x+1]; exp_continue; }
1930
        -re ".* 634 1472 010E9168" { set x [expr $x+1]; exp_continue; }
1931
        -re ".* 634      12345678" { set x [expr $x+1]; exp_continue; }
1932
        -re ".* 635 147a 010EA168" { set x [expr $x+1]; exp_continue; }
1933
        -re ".* 635      12345678" { set x [expr $x+1]; exp_continue; }
1934
        -re ".* 636 1482 010EC168" { set x [expr $x+1]; exp_continue; }
1935
        -re ".* 636      9ABC1234" { set x [expr $x+1]; exp_continue; }
1936
        -re ".* 636      5678" { set x [expr $x+1]; exp_continue; }
1937
        -re ".* 637 148c 010EC968" { set x [expr $x+1]; exp_continue; }
1938
        -re ".* 637      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1939
        -re ".* 637      12345678" { set x [expr $x+1]; exp_continue; }
1940
        -re ".* 638 1498 010ED268" { set x [expr $x+1]; exp_continue; }
1941
        -re ".* 638      9ABC1234" { set x [expr $x+1]; exp_continue; }
1942
        -re ".* 638      5678" { set x [expr $x+1]; exp_continue; }
1943
        -re ".* 639 14a2 010EE268" { set x [expr $x+1]; exp_continue; }
1944
        -re ".* 639      9ABC1234" { set x [expr $x+1]; exp_continue; }
1945
        -re ".* 639      5678" { set x [expr $x+1]; exp_continue; }
1946
        -re ".* 640 14ac 010EF268" { set x [expr $x+1]; exp_continue; }
1947
        -re ".* 640      9ABC1234" { set x [expr $x+1]; exp_continue; }
1948
        -re ".* 640      5678" { set x [expr $x+1]; exp_continue; }
1949
        -re ".* 641 14b6 010EDA68" { set x [expr $x+1]; exp_continue; }
1950
        -re ".* 641      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1951
        -re ".* 641      12345678" { set x [expr $x+1]; exp_continue; }
1952
        -re ".* 642 14c2 010EEA68" { set x [expr $x+1]; exp_continue; }
1953
        -re ".* 642      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1954
        -re ".* 642      12345678" { set x [expr $x+1]; exp_continue; }
1955
        -re ".* 643 14ce 010EFA68" { set x [expr $x+1]; exp_continue; }
1956
        -re ".* 643      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1957
        -re ".* 643      12345678" { set x [expr $x+1]; exp_continue; }
1958
        -re ".* 644 14da 010E4068" { set x [expr $x+1]; exp_continue; }
1959
        -re ".* 644      9ABC1234" { set x [expr $x+1]; exp_continue; }
1960
        -re ".* 644      5678" { set x [expr $x+1]; exp_continue; }
1961
        -re ".* 645 14e4 010E4868" { set x [expr $x+1]; exp_continue; }
1962
        -re ".* 645      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1963
        -re ".* 645      12345678" { set x [expr $x+1]; exp_continue; }
1964
        -re ".* 646 14f0 010E0160" { set x [expr $x+1]; exp_continue; }
1965
        -re ".* 646      1234" { set x [expr $x+1]; exp_continue; }
1966
        -re ".* 647 14f6 010E3160" { set x [expr $x+1]; exp_continue; }
1967
        -re ".* 647      1234" { set x [expr $x+1]; exp_continue; }
1968
        -re ".* 648 14fc 010E8160" { set x [expr $x+1]; exp_continue; }
1969
        -re ".* 648      1234" { set x [expr $x+1]; exp_continue; }
1970
        -re ".* 649 1502 010EB160" { set x [expr $x+1]; exp_continue; }
1971
        -re ".* 649      1234" { set x [expr $x+1]; exp_continue; }
1972
        -re ".* 650 1508 010E9160" { set x [expr $x+1]; exp_continue; }
1973
        -re ".* 650      1234" { set x [expr $x+1]; exp_continue; }
1974
        -re ".* 651 150e 010EA160" { set x [expr $x+1]; exp_continue; }
1975
        -re ".* 651      1234" { set x [expr $x+1]; exp_continue; }
1976
        -re ".* 652 1514 010EC160" { set x [expr $x+1]; exp_continue; }
1977
        -re ".* 652      9ABC1234" { set x [expr $x+1]; exp_continue; }
1978
        -re ".* 653 151c 010EC960" { set x [expr $x+1]; exp_continue; }
1979
        -re ".* 653      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1980
        -re ".* 653      1234" { set x [expr $x+1]; exp_continue; }
1981
        -re ".* 654 1526 010ED260" { set x [expr $x+1]; exp_continue; }
1982
        -re ".* 654      9ABC1234" { set x [expr $x+1]; exp_continue; }
1983
        -re ".* 655 152e 010EE260" { set x [expr $x+1]; exp_continue; }
1984
        -re ".* 655      9ABC1234" { set x [expr $x+1]; exp_continue; }
1985
        -re ".* 656 1536 010EF260" { set x [expr $x+1]; exp_continue; }
1986
        -re ".* 656      9ABC1234" { set x [expr $x+1]; exp_continue; }
1987
        -re ".* 657 153e 010EDA60" { set x [expr $x+1]; exp_continue; }
1988
        -re ".* 657      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1989
        -re ".* 657      1234" { set x [expr $x+1]; exp_continue; }
1990
        -re ".* 658 1548 010EEA60" { set x [expr $x+1]; exp_continue; }
1991
        -re ".* 658      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1992
        -re ".* 658      1234" { set x [expr $x+1]; exp_continue; }
1993
        -re ".* 659 1552 010EFA60" { set x [expr $x+1]; exp_continue; }
1994
        -re ".* 659      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
1995
        -re ".* 659      1234" { set x [expr $x+1]; exp_continue; }
1996
        -re ".* 660 155c 010E4060" { set x [expr $x+1]; exp_continue; }
1997
        -re ".* 660      9ABC1234" { set x [expr $x+1]; exp_continue; }
1998
        -re ".* 661 1564 010E4860" { set x [expr $x+1]; exp_continue; }
1999
        -re ".* 661      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2000
        -re ".* 661      1234" { set x [expr $x+1]; exp_continue; }
2001
        -re ".* 662              " {
2002
            if [expr $x == 82] then {
2003
                pass "$testname: and.l #0x1234:16, ..."
2004
            } else {
2005
                fail "$testname: and.l #0x1234:16, ... ($x)"
2006
            }
2007
        }
2008
        default { fail "$testname: and.l #0x1234:16, ... ($x)" }
2009
    }
2010
 
2011
    set x 0
2012
    expect {
2013
        -re ".* 663 156e 01F06631" { set x [expr $x+1]; exp_continue; }
2014
        -re ".* 664              " {
2015
            if [expr $x == 1] then {
2016
                pass "$testname: and.l er3, er1"
2017
            } else {
2018
                fail "$testname: and.l er3, er1 ($x)"
2019
            }
2020
        }
2021
        default { fail "$testname: and.l er3, er1 ($x)" }
2022
    }
2023
 
2024
    set x 0
2025
    expect {
2026
        -re ".* 665 1572 01090163" { set x [expr $x+1]; exp_continue; }
2027
        -re ".* 666 1576 01093163" { set x [expr $x+1]; exp_continue; }
2028
        -re ".* 667 157a 01098163" { set x [expr $x+1]; exp_continue; }
2029
        -re ".* 668 157e 0109B163" { set x [expr $x+1]; exp_continue; }
2030
        -re ".* 669 1582 01099163" { set x [expr $x+1]; exp_continue; }
2031
        -re ".* 670 1586 0109A163" { set x [expr $x+1]; exp_continue; }
2032
        -re ".* 671 158a 0109C163" { set x [expr $x+1]; exp_continue; }
2033
        -re ".* 671      1234" { set x [expr $x+1]; exp_continue; }
2034
        -re ".* 672 1590 0109C963" { set x [expr $x+1]; exp_continue; }
2035
        -re ".* 672      12345678" { set x [expr $x+1]; exp_continue; }
2036
        -re ".* 673 1598 0109D263" { set x [expr $x+1]; exp_continue; }
2037
        -re ".* 673      1234" { set x [expr $x+1]; exp_continue; }
2038
        -re ".* 674 159e 0109E263" { set x [expr $x+1]; exp_continue; }
2039
        -re ".* 674      1234" { set x [expr $x+1]; exp_continue; }
2040
        -re ".* 675 15a4 0109F263" { set x [expr $x+1]; exp_continue; }
2041
        -re ".* 675      1234" { set x [expr $x+1]; exp_continue; }
2042
        -re ".* 676 15aa 0109DA63" { set x [expr $x+1]; exp_continue; }
2043
        -re ".* 676      12345678" { set x [expr $x+1]; exp_continue; }
2044
        -re ".* 677 15b2 0109EA63" { set x [expr $x+1]; exp_continue; }
2045
        -re ".* 677      12345678" { set x [expr $x+1]; exp_continue; }
2046
        -re ".* 678 15ba 0109FA63" { set x [expr $x+1]; exp_continue; }
2047
        -re ".* 678      12345678" { set x [expr $x+1]; exp_continue; }
2048
        -re ".* 679 15c2 01094063" { set x [expr $x+1]; exp_continue; }
2049
        -re ".* 679      1234" { set x [expr $x+1]; exp_continue; }
2050
        -re ".* 680 15c8 01094863" { set x [expr $x+1]; exp_continue; }
2051
        -re ".* 680      12345678" { set x [expr $x+1]; exp_continue; }
2052
        -re ".* 681              " {
2053
            if [expr $x == 26] then {
2054
                pass "$testname: and.l er3, ..."
2055
            } else {
2056
                fail "$testname: and.l er3, ... ($x)"
2057
            }
2058
        }
2059
        default { fail "$testname: and.l er3, ... ($x)" }
2060
    }
2061
 
2062
    set x 0
2063
    expect {
2064
        -re ".* 682 15d0 010A0361" { set x [expr $x+1]; exp_continue; }
2065
        -re ".* 683 15d4 010A3361" { set x [expr $x+1]; exp_continue; }
2066
        -re ".* 684 15d8 010A8361" { set x [expr $x+1]; exp_continue; }
2067
        -re ".* 685 15dc 010AB361" { set x [expr $x+1]; exp_continue; }
2068
        -re ".* 686 15e0 010A9361" { set x [expr $x+1]; exp_continue; }
2069
        -re ".* 687 15e4 010AA361" { set x [expr $x+1]; exp_continue; }
2070
        -re ".* 688 15e8 010AC161" { set x [expr $x+1]; exp_continue; }
2071
        -re ".* 688      1234" { set x [expr $x+1]; exp_continue; }
2072
        -re ".* 689 15ee 010AC961" { set x [expr $x+1]; exp_continue; }
2073
        -re ".* 689      12345678" { set x [expr $x+1]; exp_continue; }
2074
        -re ".* 690 15f6 010AD261" { set x [expr $x+1]; exp_continue; }
2075
        -re ".* 690      1234" { set x [expr $x+1]; exp_continue; }
2076
        -re ".* 691 15fc 010AE261" { set x [expr $x+1]; exp_continue; }
2077
        -re ".* 691      1234" { set x [expr $x+1]; exp_continue; }
2078
        -re ".* 692 1602 010AF261" { set x [expr $x+1]; exp_continue; }
2079
        -re ".* 692      1234" { set x [expr $x+1]; exp_continue; }
2080
        -re ".* 693 1608 010ADA61" { set x [expr $x+1]; exp_continue; }
2081
        -re ".* 693      12345678" { set x [expr $x+1]; exp_continue; }
2082
        -re ".* 694 1610 010AEA61" { set x [expr $x+1]; exp_continue; }
2083
        -re ".* 694      12345678" { set x [expr $x+1]; exp_continue; }
2084
        -re ".* 695 1618 010AFA61" { set x [expr $x+1]; exp_continue; }
2085
        -re ".* 695      12345678" { set x [expr $x+1]; exp_continue; }
2086
        -re ".* 696 1620 010A4061" { set x [expr $x+1]; exp_continue; }
2087
        -re ".* 696      1234" { set x [expr $x+1]; exp_continue; }
2088
        -re ".* 697 1626 010A4861" { set x [expr $x+1]; exp_continue; }
2089
        -re ".* 697      12345678" { set x [expr $x+1]; exp_continue; }
2090
        -re ".* 698              " {
2091
            if [expr $x == 26] then {
2092
                pass "$testname: and.l @0x12345678:32, ..."
2093
            } else {
2094
                fail "$testname: and.l @0x12345678:32, ... ($x)"
2095
            }
2096
        }
2097
        default { fail "$testname: and.l @0x12345678:32, ... ($x)" }
2098
    }
2099
 
2100
    set x 0
2101
    expect {
2102
        -re ".* 699 162e 0104693C" { set x [expr $x+1]; exp_continue; }
2103
        -re ".* 699      0160" { set x [expr $x+1]; exp_continue; }
2104
        -re ".* 700 1634 0104693C" { set x [expr $x+1]; exp_continue; }
2105
        -re ".* 700      3160" { set x [expr $x+1]; exp_continue; }
2106
        -re ".* 701 163a 0104693C" { set x [expr $x+1]; exp_continue; }
2107
        -re ".* 701      B160" { set x [expr $x+1]; exp_continue; }
2108
        -re ".* 702 1640 0104693C" { set x [expr $x+1]; exp_continue; }
2109
        -re ".* 702      8160" { set x [expr $x+1]; exp_continue; }
2110
        -re ".* 703 1646 0104693C" { set x [expr $x+1]; exp_continue; }
2111
        -re ".* 703      A160" { set x [expr $x+1]; exp_continue; }
2112
        -re ".* 704 164c 0104693C" { set x [expr $x+1]; exp_continue; }
2113
        -re ".* 704      9160" { set x [expr $x+1]; exp_continue; }
2114
        -re ".* 705 1652 0104693C" { set x [expr $x+1]; exp_continue; }
2115
        -re ".* 705      C1609ABC" { set x [expr $x+1]; exp_continue; }
2116
        -re ".* 706 165a 0104693C" { set x [expr $x+1]; exp_continue; }
2117
        -re ".* 706      C9609ABC" { set x [expr $x+1]; exp_continue; }
2118
        -re ".* 706      DEF0" { set x [expr $x+1]; exp_continue; }
2119
        -re ".* 707 1664 0104693C" { set x [expr $x+1]; exp_continue; }
2120
        -re ".* 707      D2609ABC" { set x [expr $x+1]; exp_continue; }
2121
        -re ".* 708 166c 0104693C" { set x [expr $x+1]; exp_continue; }
2122
        -re ".* 708      E2609ABC" { set x [expr $x+1]; exp_continue; }
2123
        -re ".* 709 1674 0104693C" { set x [expr $x+1]; exp_continue; }
2124
        -re ".* 709      F2609ABC" { set x [expr $x+1]; exp_continue; }
2125
        -re ".* 710 167c 0104693C" { set x [expr $x+1]; exp_continue; }
2126
        -re ".* 710      DA609ABC" { set x [expr $x+1]; exp_continue; }
2127
        -re ".* 710      DEF0" { set x [expr $x+1]; exp_continue; }
2128
        -re ".* 711 1686 0104693C" { set x [expr $x+1]; exp_continue; }
2129
        -re ".* 711      EA609ABC" { set x [expr $x+1]; exp_continue; }
2130
        -re ".* 711      DEF0" { set x [expr $x+1]; exp_continue; }
2131
        -re ".* 712 1690 0104693C" { set x [expr $x+1]; exp_continue; }
2132
        -re ".* 712      FA609ABC" { set x [expr $x+1]; exp_continue; }
2133
        -re ".* 712      DEF0" { set x [expr $x+1]; exp_continue; }
2134
        -re ".* 713 169a 0104693C" { set x [expr $x+1]; exp_continue; }
2135
        -re ".* 713      40609ABC" { set x [expr $x+1]; exp_continue; }
2136
        -re ".* 714 16a2 0104693C" { set x [expr $x+1]; exp_continue; }
2137
        -re ".* 714      48609ABC" { set x [expr $x+1]; exp_continue; }
2138
        -re ".* 714      DEF0" { set x [expr $x+1]; exp_continue; }
2139
        -re ".* 715              " {
2140
            if [expr $x == 37] then {
2141
                pass "$testname: and.l @er3, ..."
2142
            } else {
2143
                fail "$testname: and.l @er3, ... ($x)"
2144
            }
2145
        }
2146
        default { fail "$testname: and.l @er3, ... ($x)" }
2147
    }
2148
 
2149
    set x 0
2150
    expect {
2151
        -re ".* 716 16ac 0107693C" { set x [expr $x+1]; exp_continue; }
2152
        -re ".* 716      0160" { set x [expr $x+1]; exp_continue; }
2153
        -re ".* 717 16b2 0107693C" { set x [expr $x+1]; exp_continue; }
2154
        -re ".* 717      3160" { set x [expr $x+1]; exp_continue; }
2155
        -re ".* 718 16b8 0107693C" { set x [expr $x+1]; exp_continue; }
2156
        -re ".* 718      B160" { set x [expr $x+1]; exp_continue; }
2157
        -re ".* 719 16be 0107693C" { set x [expr $x+1]; exp_continue; }
2158
        -re ".* 719      8160" { set x [expr $x+1]; exp_continue; }
2159
        -re ".* 720 16c4 0107693C" { set x [expr $x+1]; exp_continue; }
2160
        -re ".* 720      A160" { set x [expr $x+1]; exp_continue; }
2161
        -re ".* 721 16ca 0107693C" { set x [expr $x+1]; exp_continue; }
2162
        -re ".* 721      9160" { set x [expr $x+1]; exp_continue; }
2163
        -re ".* 722 16d0 0107693C" { set x [expr $x+1]; exp_continue; }
2164
        -re ".* 722      C1609ABC" { set x [expr $x+1]; exp_continue; }
2165
        -re ".* 723 16d8 0107693C" { set x [expr $x+1]; exp_continue; }
2166
        -re ".* 723      C9609ABC" { set x [expr $x+1]; exp_continue; }
2167
        -re ".* 723      DEF0" { set x [expr $x+1]; exp_continue; }
2168
        -re ".* 724 16e2 0107693C" { set x [expr $x+1]; exp_continue; }
2169
        -re ".* 724      D2609ABC" { set x [expr $x+1]; exp_continue; }
2170
        -re ".* 725 16ea 0107693C" { set x [expr $x+1]; exp_continue; }
2171
        -re ".* 725      E2609ABC" { set x [expr $x+1]; exp_continue; }
2172
        -re ".* 726 16f2 0107693C" { set x [expr $x+1]; exp_continue; }
2173
        -re ".* 726      F2609ABC" { set x [expr $x+1]; exp_continue; }
2174
        -re ".* 727 16fa 0107693C" { set x [expr $x+1]; exp_continue; }
2175
        -re ".* 727      DA609ABC" { set x [expr $x+1]; exp_continue; }
2176
        -re ".* 727      DEF0" { set x [expr $x+1]; exp_continue; }
2177
        -re ".* 728 1704 0107693C" { set x [expr $x+1]; exp_continue; }
2178
        -re ".* 728      EA609ABC" { set x [expr $x+1]; exp_continue; }
2179
        -re ".* 728      DEF0" { set x [expr $x+1]; exp_continue; }
2180
        -re ".* 729 170e 0107693C" { set x [expr $x+1]; exp_continue; }
2181
        -re ".* 729      FA609ABC" { set x [expr $x+1]; exp_continue; }
2182
        -re ".* 729      DEF0" { set x [expr $x+1]; exp_continue; }
2183
        -re ".* 730 1718 0107693C" { set x [expr $x+1]; exp_continue; }
2184
        -re ".* 730      40609ABC" { set x [expr $x+1]; exp_continue; }
2185
        -re ".* 731 1720 0107693C" { set x [expr $x+1]; exp_continue; }
2186
        -re ".* 731      48609ABC" { set x [expr $x+1]; exp_continue; }
2187
        -re ".* 731      DEF0" { set x [expr $x+1]; exp_continue; }
2188
        -re ".* 732              " {
2189
            if [expr $x == 37] then {
2190
                pass "$testname: and.l @(0xc:2,er3), ..."
2191
            } else {
2192
                fail "$testname: and.l @(0xc:2,er3), ... ($x)"
2193
            }
2194
        }
2195
        default { fail "$testname: and.l @(0xc:2,er3), ... ($x)" }
2196
    }
2197
 
2198
    set x 0
2199
    expect {
2200
        -re ".* 733 172a 01076D3C" { set x [expr $x+1]; exp_continue; }
2201
        -re ".* 733      0160" { set x [expr $x+1]; exp_continue; }
2202
        -re ".* 734 1730 01076D3C" { set x [expr $x+1]; exp_continue; }
2203
        -re ".* 734      3160" { set x [expr $x+1]; exp_continue; }
2204
        -re ".* 735 1736 01076D3C" { set x [expr $x+1]; exp_continue; }
2205
        -re ".* 735      B160" { set x [expr $x+1]; exp_continue; }
2206
        -re ".* 736 173c 01076D3C" { set x [expr $x+1]; exp_continue; }
2207
        -re ".* 736      8160" { set x [expr $x+1]; exp_continue; }
2208
        -re ".* 737 1742 01076D3C" { set x [expr $x+1]; exp_continue; }
2209
        -re ".* 737      A160" { set x [expr $x+1]; exp_continue; }
2210
        -re ".* 738 1748 01076D3C" { set x [expr $x+1]; exp_continue; }
2211
        -re ".* 738      9160" { set x [expr $x+1]; exp_continue; }
2212
        -re ".* 739 174e 01076D3C" { set x [expr $x+1]; exp_continue; }
2213
        -re ".* 739      C1609ABC" { set x [expr $x+1]; exp_continue; }
2214
        -re ".* 740 1756 01076D3C" { set x [expr $x+1]; exp_continue; }
2215
        -re ".* 740      C9609ABC" { set x [expr $x+1]; exp_continue; }
2216
        -re ".* 740      DEF0" { set x [expr $x+1]; exp_continue; }
2217
        -re ".* 741 1760 01076D3C" { set x [expr $x+1]; exp_continue; }
2218
        -re ".* 741      D2609ABC" { set x [expr $x+1]; exp_continue; }
2219
        -re ".* 742 1768 01076D3C" { set x [expr $x+1]; exp_continue; }
2220
        -re ".* 742      E2609ABC" { set x [expr $x+1]; exp_continue; }
2221
        -re ".* 743 1770 01076D3C" { set x [expr $x+1]; exp_continue; }
2222
        -re ".* 743      F2609ABC" { set x [expr $x+1]; exp_continue; }
2223
        -re ".* 744 1778 01076D3C" { set x [expr $x+1]; exp_continue; }
2224
        -re ".* 744      DA609ABC" { set x [expr $x+1]; exp_continue; }
2225
        -re ".* 744      DEF0" { set x [expr $x+1]; exp_continue; }
2226
        -re ".* 745 1782 01076D3C" { set x [expr $x+1]; exp_continue; }
2227
        -re ".* 745      EA609ABC" { set x [expr $x+1]; exp_continue; }
2228
        -re ".* 745      DEF0" { set x [expr $x+1]; exp_continue; }
2229
        -re ".* 746 178c 01076D3C" { set x [expr $x+1]; exp_continue; }
2230
        -re ".* 746      FA609ABC" { set x [expr $x+1]; exp_continue; }
2231
        -re ".* 746      DEF0" { set x [expr $x+1]; exp_continue; }
2232
        -re ".* 747 1796 01076D3C" { set x [expr $x+1]; exp_continue; }
2233
        -re ".* 747      40609ABC" { set x [expr $x+1]; exp_continue; }
2234
        -re ".* 748 179e 01076D3C" { set x [expr $x+1]; exp_continue; }
2235
        -re ".* 748      48609ABC" { set x [expr $x+1]; exp_continue; }
2236
        -re ".* 748      DEF0" { set x [expr $x+1]; exp_continue; }
2237
        -re ".* 749              " {
2238
            if [expr $x == 37] then {
2239
                pass "$testname: and.l @-er3, ..."
2240
            } else {
2241
                fail "$testname: and.l @-er3, ... ($x)"
2242
            }
2243
        }
2244
        default { fail "$testname: and.l @-er3, ... ($x)" }
2245
    }
2246
 
2247
    set x 0
2248
    expect {
2249
        -re ".* 750 17a8 01046D3C" { set x [expr $x+1]; exp_continue; }
2250
        -re ".* 750      0160" { set x [expr $x+1]; exp_continue; }
2251
        -re ".* 751 17ae 01046D3C" { set x [expr $x+1]; exp_continue; }
2252
        -re ".* 751      3160" { set x [expr $x+1]; exp_continue; }
2253
        -re ".* 752 17b4 01046D3C" { set x [expr $x+1]; exp_continue; }
2254
        -re ".* 752      B160" { set x [expr $x+1]; exp_continue; }
2255
        -re ".* 753 17ba 01046D3C" { set x [expr $x+1]; exp_continue; }
2256
        -re ".* 753      8160" { set x [expr $x+1]; exp_continue; }
2257
        -re ".* 754 17c0 01046D3C" { set x [expr $x+1]; exp_continue; }
2258
        -re ".* 754      A160" { set x [expr $x+1]; exp_continue; }
2259
        -re ".* 755 17c6 01046D3C" { set x [expr $x+1]; exp_continue; }
2260
        -re ".* 755      9160" { set x [expr $x+1]; exp_continue; }
2261
        -re ".* 756 17cc 01046D3C" { set x [expr $x+1]; exp_continue; }
2262
        -re ".* 756      C1609ABC" { set x [expr $x+1]; exp_continue; }
2263
        -re ".* 757 17d4 01046D3C" { set x [expr $x+1]; exp_continue; }
2264
        -re ".* 757      C9609ABC" { set x [expr $x+1]; exp_continue; }
2265
        -re ".* 757      DEF0" { set x [expr $x+1]; exp_continue; }
2266
        -re ".* 758 17de 01046D3C" { set x [expr $x+1]; exp_continue; }
2267
        -re ".* 758      D2609ABC" { set x [expr $x+1]; exp_continue; }
2268
        -re ".* 759 17e6 01046D3C" { set x [expr $x+1]; exp_continue; }
2269
        -re ".* 759      E2609ABC" { set x [expr $x+1]; exp_continue; }
2270
        -re ".* 760 17ee 01046D3C" { set x [expr $x+1]; exp_continue; }
2271
        -re ".* 760      F2609ABC" { set x [expr $x+1]; exp_continue; }
2272
        -re ".* 761 17f6 01046D3C" { set x [expr $x+1]; exp_continue; }
2273
        -re ".* 761      DA609ABC" { set x [expr $x+1]; exp_continue; }
2274
        -re ".* 761      DEF0" { set x [expr $x+1]; exp_continue; }
2275
        -re ".* 762 1800 01046D3C" { set x [expr $x+1]; exp_continue; }
2276
        -re ".* 762      EA609ABC" { set x [expr $x+1]; exp_continue; }
2277
        -re ".* 762      DEF0" { set x [expr $x+1]; exp_continue; }
2278
        -re ".* 763 180a 01046D3C" { set x [expr $x+1]; exp_continue; }
2279
        -re ".* 763      FA609ABC" { set x [expr $x+1]; exp_continue; }
2280
        -re ".* 763      DEF0" { set x [expr $x+1]; exp_continue; }
2281
        -re ".* 764 1814 01046D3C" { set x [expr $x+1]; exp_continue; }
2282
        -re ".* 764      40609ABC" { set x [expr $x+1]; exp_continue; }
2283
        -re ".* 765 181c 01046D3C" { set x [expr $x+1]; exp_continue; }
2284
        -re ".* 765      48609ABC" { set x [expr $x+1]; exp_continue; }
2285
        -re ".* 765      DEF0" { set x [expr $x+1]; exp_continue; }
2286
        -re ".* 766              " {
2287
            if [expr $x == 37] then {
2288
                pass "$testname: and.l @er3+, ..."
2289
            } else {
2290
                fail "$testname: and.l @er3+, ... ($x)"
2291
            }
2292
        }
2293
        default { fail "$testname: and.l @er3+, ... ($x)" }
2294
    }
2295
 
2296
    set x 0
2297
    expect {
2298
        -re ".* 767 1826 01066D3C" { set x [expr $x+1]; exp_continue; }
2299
        -re ".* 767      0160" { set x [expr $x+1]; exp_continue; }
2300
        -re ".* 768 182c 01066D3C" { set x [expr $x+1]; exp_continue; }
2301
        -re ".* 768      3160" { set x [expr $x+1]; exp_continue; }
2302
        -re ".* 769 1832 01066D3C" { set x [expr $x+1]; exp_continue; }
2303
        -re ".* 769      B160" { set x [expr $x+1]; exp_continue; }
2304
        -re ".* 770 1838 01066D3C" { set x [expr $x+1]; exp_continue; }
2305
        -re ".* 770      8160" { set x [expr $x+1]; exp_continue; }
2306
        -re ".* 771 183e 01066D3C" { set x [expr $x+1]; exp_continue; }
2307
        -re ".* 771      A160" { set x [expr $x+1]; exp_continue; }
2308
        -re ".* 772 1844 01066D3C" { set x [expr $x+1]; exp_continue; }
2309
        -re ".* 772      9160" { set x [expr $x+1]; exp_continue; }
2310
        -re ".* 773 184a 01066D3C" { set x [expr $x+1]; exp_continue; }
2311
        -re ".* 773      C1609ABC" { set x [expr $x+1]; exp_continue; }
2312
        -re ".* 774 1852 01066D3C" { set x [expr $x+1]; exp_continue; }
2313
        -re ".* 774      C9609ABC" { set x [expr $x+1]; exp_continue; }
2314
        -re ".* 774      DEF0" { set x [expr $x+1]; exp_continue; }
2315
        -re ".* 775 185c 01066D3C" { set x [expr $x+1]; exp_continue; }
2316
        -re ".* 775      D2609ABC" { set x [expr $x+1]; exp_continue; }
2317
        -re ".* 776 1864 01066D3C" { set x [expr $x+1]; exp_continue; }
2318
        -re ".* 776      E2609ABC" { set x [expr $x+1]; exp_continue; }
2319
        -re ".* 777 186c 01066D3C" { set x [expr $x+1]; exp_continue; }
2320
        -re ".* 777      F2609ABC" { set x [expr $x+1]; exp_continue; }
2321
        -re ".* 778 1874 01066D3C" { set x [expr $x+1]; exp_continue; }
2322
        -re ".* 778      DA609ABC" { set x [expr $x+1]; exp_continue; }
2323
        -re ".* 778      DEF0" { set x [expr $x+1]; exp_continue; }
2324
        -re ".* 779 187e 01066D3C" { set x [expr $x+1]; exp_continue; }
2325
        -re ".* 779      EA609ABC" { set x [expr $x+1]; exp_continue; }
2326
        -re ".* 779      DEF0" { set x [expr $x+1]; exp_continue; }
2327
        -re ".* 780 1888 01066D3C" { set x [expr $x+1]; exp_continue; }
2328
        -re ".* 780      FA609ABC" { set x [expr $x+1]; exp_continue; }
2329
        -re ".* 780      DEF0" { set x [expr $x+1]; exp_continue; }
2330
        -re ".* 781 1892 01066D3C" { set x [expr $x+1]; exp_continue; }
2331
        -re ".* 781      40609ABC" { set x [expr $x+1]; exp_continue; }
2332
        -re ".* 782 189a 01066D3C" { set x [expr $x+1]; exp_continue; }
2333
        -re ".* 782      48609ABC" { set x [expr $x+1]; exp_continue; }
2334
        -re ".* 782      DEF0" { set x [expr $x+1]; exp_continue; }
2335
        -re ".* 783              " {
2336
            if [expr $x == 37] then {
2337
                pass "$testname: and.l @er3-, ..."
2338
            } else {
2339
                fail "$testname: and.l @er3-, ... ($x)"
2340
            }
2341
        }
2342
        default { fail "$testname: and.l @er3-, ... ($x)" }
2343
    }
2344
 
2345
    set x 0
2346
    expect {
2347
        -re ".* 784 18a4 01056D3C" { set x [expr $x+1]; exp_continue; }
2348
        -re ".* 784      0160" { set x [expr $x+1]; exp_continue; }
2349
        -re ".* 785 18aa 01056D3C" { set x [expr $x+1]; exp_continue; }
2350
        -re ".* 785      3160" { set x [expr $x+1]; exp_continue; }
2351
        -re ".* 786 18b0 01056D3C" { set x [expr $x+1]; exp_continue; }
2352
        -re ".* 786      B160" { set x [expr $x+1]; exp_continue; }
2353
        -re ".* 787 18b6 01056D3C" { set x [expr $x+1]; exp_continue; }
2354
        -re ".* 787      8160" { set x [expr $x+1]; exp_continue; }
2355
        -re ".* 788 18bc 01056D3C" { set x [expr $x+1]; exp_continue; }
2356
        -re ".* 788      A160" { set x [expr $x+1]; exp_continue; }
2357
        -re ".* 789 18c2 01056D3C" { set x [expr $x+1]; exp_continue; }
2358
        -re ".* 789      9160" { set x [expr $x+1]; exp_continue; }
2359
        -re ".* 790 18c8 01056D3C" { set x [expr $x+1]; exp_continue; }
2360
        -re ".* 790      C1609ABC" { set x [expr $x+1]; exp_continue; }
2361
        -re ".* 791 18d0 01056D3C" { set x [expr $x+1]; exp_continue; }
2362
        -re ".* 791      C9609ABC" { set x [expr $x+1]; exp_continue; }
2363
        -re ".* 791      DEF0" { set x [expr $x+1]; exp_continue; }
2364
        -re ".* 792 18da 01056D3C" { set x [expr $x+1]; exp_continue; }
2365
        -re ".* 792      D2609ABC" { set x [expr $x+1]; exp_continue; }
2366
        -re ".* 793 18e2 01056D3C" { set x [expr $x+1]; exp_continue; }
2367
        -re ".* 793      E2609ABC" { set x [expr $x+1]; exp_continue; }
2368
        -re ".* 794 18ea 01056D3C" { set x [expr $x+1]; exp_continue; }
2369
        -re ".* 794      F2609ABC" { set x [expr $x+1]; exp_continue; }
2370
        -re ".* 795 18f2 01056D3C" { set x [expr $x+1]; exp_continue; }
2371
        -re ".* 795      DA609ABC" { set x [expr $x+1]; exp_continue; }
2372
        -re ".* 795      DEF0" { set x [expr $x+1]; exp_continue; }
2373
        -re ".* 796 18fc 01056D3C" { set x [expr $x+1]; exp_continue; }
2374
        -re ".* 796      EA609ABC" { set x [expr $x+1]; exp_continue; }
2375
        -re ".* 796      DEF0" { set x [expr $x+1]; exp_continue; }
2376
        -re ".* 797 1906 01056D3C" { set x [expr $x+1]; exp_continue; }
2377
        -re ".* 797      FA609ABC" { set x [expr $x+1]; exp_continue; }
2378
        -re ".* 797      DEF0" { set x [expr $x+1]; exp_continue; }
2379
        -re ".* 798 1910 01056D3C" { set x [expr $x+1]; exp_continue; }
2380
        -re ".* 798      40609ABC" { set x [expr $x+1]; exp_continue; }
2381
        -re ".* 799 1918 01056D3C" { set x [expr $x+1]; exp_continue; }
2382
        -re ".* 799      48609ABC" { set x [expr $x+1]; exp_continue; }
2383
        -re ".* 799      DEF0" { set x [expr $x+1]; exp_continue; }
2384
        -re ".* 800              " {
2385
            if [expr $x == 37] then {
2386
                pass "$testname: and.l @+er3, ..."
2387
            } else {
2388
                fail "$testname: and.l @+er3, ... ($x)"
2389
            }
2390
        }
2391
        default { fail "$testname: and.l @+er3, ... ($x)" }
2392
    }
2393
 
2394
    set x 0
2395
    expect {
2396
        -re ".* 801 1922 01046F3C" { set x [expr $x+1]; exp_continue; }
2397
        -re ".* 801      12340160" { set x [expr $x+1]; exp_continue; }
2398
        -re ".* 802 192a 01046F3C" { set x [expr $x+1]; exp_continue; }
2399
        -re ".* 802      12343160" { set x [expr $x+1]; exp_continue; }
2400
        -re ".* 803 1932 01046F3C" { set x [expr $x+1]; exp_continue; }
2401
        -re ".* 803      1234B160" { set x [expr $x+1]; exp_continue; }
2402
        -re ".* 804 193a 01046F3C" { set x [expr $x+1]; exp_continue; }
2403
        -re ".* 804      12348160" { set x [expr $x+1]; exp_continue; }
2404
        -re ".* 805 1942 01046F3C" { set x [expr $x+1]; exp_continue; }
2405
        -re ".* 805      1234A160" { set x [expr $x+1]; exp_continue; }
2406
        -re ".* 806 194a 01046F3C" { set x [expr $x+1]; exp_continue; }
2407
        -re ".* 806      12349160" { set x [expr $x+1]; exp_continue; }
2408
        -re ".* 807 1952 01046F3C" { set x [expr $x+1]; exp_continue; }
2409
        -re ".* 807      1234C160" { set x [expr $x+1]; exp_continue; }
2410
        -re ".* 807      9ABC" { set x [expr $x+1]; exp_continue; }
2411
        -re ".* 808 195c 01046F3C" { set x [expr $x+1]; exp_continue; }
2412
        -re ".* 808      1234C960" { set x [expr $x+1]; exp_continue; }
2413
        -re ".* 808      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2414
        -re ".* 809 1968 01046F3C" { set x [expr $x+1]; exp_continue; }
2415
        -re ".* 809      1234D260" { set x [expr $x+1]; exp_continue; }
2416
        -re ".* 809      9ABC" { set x [expr $x+1]; exp_continue; }
2417
        -re ".* 810 1972 01046F3C" { set x [expr $x+1]; exp_continue; }
2418
        -re ".* 810      1234E260" { set x [expr $x+1]; exp_continue; }
2419
        -re ".* 810      9ABC" { set x [expr $x+1]; exp_continue; }
2420
        -re ".* 811 197c 01046F3C" { set x [expr $x+1]; exp_continue; }
2421
        -re ".* 811      1234F260" { set x [expr $x+1]; exp_continue; }
2422
        -re ".* 811      9ABC" { set x [expr $x+1]; exp_continue; }
2423
        -re ".* 812 1986 01046F3C" { set x [expr $x+1]; exp_continue; }
2424
        -re ".* 812      1234DA60" { set x [expr $x+1]; exp_continue; }
2425
        -re ".* 812      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2426
        -re ".* 813 1992 01046F3C" { set x [expr $x+1]; exp_continue; }
2427
        -re ".* 813      1234EA60" { set x [expr $x+1]; exp_continue; }
2428
        -re ".* 813      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2429
        -re ".* 814 199e 01046F3C" { set x [expr $x+1]; exp_continue; }
2430
        -re ".* 814      1234FA60" { set x [expr $x+1]; exp_continue; }
2431
        -re ".* 814      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2432
        -re ".* 815 19aa 01046F3C" { set x [expr $x+1]; exp_continue; }
2433
        -re ".* 815      12344060" { set x [expr $x+1]; exp_continue; }
2434
        -re ".* 815      9ABC" { set x [expr $x+1]; exp_continue; }
2435
        -re ".* 816 19b4 01046F3C" { set x [expr $x+1]; exp_continue; }
2436
        -re ".* 816      12344860" { set x [expr $x+1]; exp_continue; }
2437
        -re ".* 816      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2438
        -re ".* 817              " {
2439
            if [expr $x == 42] then {
2440
                pass "$testname: and.l @(0x1234:16,er3), ..."
2441
            } else {
2442
                fail "$testname: and.l @(0x1234:16,er3), ... ($x)"
2443
            }
2444
        }
2445
        default { fail "$testname: and.l @(0x1234:16,er3), ... ($x)" }
2446
    }
2447
 
2448
    set x 0
2449
    expect {
2450
        -re ".* 818 19c0 78B46B2C" { set x [expr $x+1]; exp_continue; }
2451
        -re ".* 818      12345678" { set x [expr $x+1]; exp_continue; }
2452
        -re ".* 818      0160" { set x [expr $x+1]; exp_continue; }
2453
        -re ".* 819 19ca 78B46B2C" { set x [expr $x+1]; exp_continue; }
2454
        -re ".* 819      12345678" { set x [expr $x+1]; exp_continue; }
2455
        -re ".* 819      3160" { set x [expr $x+1]; exp_continue; }
2456
        -re ".* 820 19d4 78B46B2C" { set x [expr $x+1]; exp_continue; }
2457
        -re ".* 820      12345678" { set x [expr $x+1]; exp_continue; }
2458
        -re ".* 820      B160" { set x [expr $x+1]; exp_continue; }
2459
        -re ".* 821 19de 78B46B2C" { set x [expr $x+1]; exp_continue; }
2460
        -re ".* 821      12345678" { set x [expr $x+1]; exp_continue; }
2461
        -re ".* 821      8160" { set x [expr $x+1]; exp_continue; }
2462
        -re ".* 822 19e8 78B46B2C" { set x [expr $x+1]; exp_continue; }
2463
        -re ".* 822      12345678" { set x [expr $x+1]; exp_continue; }
2464
        -re ".* 822      A160" { set x [expr $x+1]; exp_continue; }
2465
        -re ".* 823 19f2 78B46B2C" { set x [expr $x+1]; exp_continue; }
2466
        -re ".* 823      12345678" { set x [expr $x+1]; exp_continue; }
2467
        -re ".* 823      9160" { set x [expr $x+1]; exp_continue; }
2468
        -re ".* 824 19fc 78B46B2C" { set x [expr $x+1]; exp_continue; }
2469
        -re ".* 824      12345678" { set x [expr $x+1]; exp_continue; }
2470
        -re ".* 824      C1609ABC" { set x [expr $x+1]; exp_continue; }
2471
        -re ".* 825 1a08 78B46B2C" { set x [expr $x+1]; exp_continue; }
2472
        -re ".* 825      12345678" { set x [expr $x+1]; exp_continue; }
2473
        -re ".* 825      C9609ABC" { set x [expr $x+1]; exp_continue; }
2474
        -re ".* 825      DEF0" { set x [expr $x+1]; exp_continue; }
2475
        -re ".* 826 1a16 78B46B2C" { set x [expr $x+1]; exp_continue; }
2476
        -re ".* 826      12345678" { set x [expr $x+1]; exp_continue; }
2477
        -re ".* 826      D2609ABC" { set x [expr $x+1]; exp_continue; }
2478
        -re ".* 827 1a22 78B46B2C" { set x [expr $x+1]; exp_continue; }
2479
        -re ".* 827      12345678" { set x [expr $x+1]; exp_continue; }
2480
        -re ".* 827      E2609ABC" { set x [expr $x+1]; exp_continue; }
2481
        -re ".* 828 1a2e 78B46B2C" { set x [expr $x+1]; exp_continue; }
2482
        -re ".* 828      12345678" { set x [expr $x+1]; exp_continue; }
2483
        -re ".* 828      F2609ABC" { set x [expr $x+1]; exp_continue; }
2484
        -re ".* 829 1a3a 78B46B2C" { set x [expr $x+1]; exp_continue; }
2485
        -re ".* 829      12345678" { set x [expr $x+1]; exp_continue; }
2486
        -re ".* 829      DA609ABC" { set x [expr $x+1]; exp_continue; }
2487
        -re ".* 829      DEF0" { set x [expr $x+1]; exp_continue; }
2488
        -re ".* 830 1a48 78B46B2C" { set x [expr $x+1]; exp_continue; }
2489
        -re ".* 830      12345678" { set x [expr $x+1]; exp_continue; }
2490
        -re ".* 830      EA609ABC" { set x [expr $x+1]; exp_continue; }
2491
        -re ".* 830      DEF0" { set x [expr $x+1]; exp_continue; }
2492
        -re ".* 831 1a56 78B46B2C" { set x [expr $x+1]; exp_continue; }
2493
        -re ".* 831      12345678" { set x [expr $x+1]; exp_continue; }
2494
        -re ".* 831      FA609ABC" { set x [expr $x+1]; exp_continue; }
2495
        -re ".* 831      DEF0" { set x [expr $x+1]; exp_continue; }
2496
        -re ".* 832 1a64 78B46B2C" { set x [expr $x+1]; exp_continue; }
2497
        -re ".* 832      12345678" { set x [expr $x+1]; exp_continue; }
2498
        -re ".* 832      40609ABC" { set x [expr $x+1]; exp_continue; }
2499
        -re ".* 833 1a70 78B46B2C" { set x [expr $x+1]; exp_continue; }
2500
        -re ".* 833      12345678" { set x [expr $x+1]; exp_continue; }
2501
        -re ".* 833      48609ABC" { set x [expr $x+1]; exp_continue; }
2502
        -re ".* 833      DEF0" { set x [expr $x+1]; exp_continue; }
2503
        -re ".* 834              " {
2504
            if [expr $x == 53] then {
2505
                pass "$testname: and.l @(0x12345678:32,er3), ..."
2506
            } else {
2507
                fail "$testname: and.l @(0x12345678:32,er3), ... ($x)"
2508
            }
2509
        }
2510
        default { fail "$testname: and.l @(0x12345678:32,er3), ... ($x)" }
2511
    }
2512
 
2513
    set x 0
2514
    expect {
2515
        -re ".* 835 1a7e 01056F3C" { set x [expr $x+1]; exp_continue; }
2516
        -re ".* 835      12340160" { set x [expr $x+1]; exp_continue; }
2517
        -re ".* 836 1a86 01056F3C" { set x [expr $x+1]; exp_continue; }
2518
        -re ".* 836      12343160" { set x [expr $x+1]; exp_continue; }
2519
        -re ".* 837 1a8e 01056F3C" { set x [expr $x+1]; exp_continue; }
2520
        -re ".* 837      1234B160" { set x [expr $x+1]; exp_continue; }
2521
        -re ".* 838 1a96 01056F3C" { set x [expr $x+1]; exp_continue; }
2522
        -re ".* 838      12348160" { set x [expr $x+1]; exp_continue; }
2523
        -re ".* 839 1a9e 01056F3C" { set x [expr $x+1]; exp_continue; }
2524
        -re ".* 839      1234A160" { set x [expr $x+1]; exp_continue; }
2525
        -re ".* 840 1aa6 01056F3C" { set x [expr $x+1]; exp_continue; }
2526
        -re ".* 840      12349160" { set x [expr $x+1]; exp_continue; }
2527
        -re ".* 841 1aae 01056F3C" { set x [expr $x+1]; exp_continue; }
2528
        -re ".* 841      1234C160" { set x [expr $x+1]; exp_continue; }
2529
        -re ".* 841      9ABC" { set x [expr $x+1]; exp_continue; }
2530
        -re ".* 842 1ab8 01056F3C" { set x [expr $x+1]; exp_continue; }
2531
        -re ".* 842      1234C960" { set x [expr $x+1]; exp_continue; }
2532
        -re ".* 842      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2533
        -re ".* 843 1ac4 01056F3C" { set x [expr $x+1]; exp_continue; }
2534
        -re ".* 843      1234D260" { set x [expr $x+1]; exp_continue; }
2535
        -re ".* 843      9ABC" { set x [expr $x+1]; exp_continue; }
2536
        -re ".* 844 1ace 01056F3C" { set x [expr $x+1]; exp_continue; }
2537
        -re ".* 844      1234E260" { set x [expr $x+1]; exp_continue; }
2538
        -re ".* 844      9ABC" { set x [expr $x+1]; exp_continue; }
2539
        -re ".* 845 1ad8 01056F3C" { set x [expr $x+1]; exp_continue; }
2540
        -re ".* 845      1234F260" { set x [expr $x+1]; exp_continue; }
2541
        -re ".* 845      9ABC" { set x [expr $x+1]; exp_continue; }
2542
        -re ".* 846 1ae2 01056F3C" { set x [expr $x+1]; exp_continue; }
2543
        -re ".* 846      1234DA60" { set x [expr $x+1]; exp_continue; }
2544
        -re ".* 846      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2545
        -re ".* 847 1aee 01056F3C" { set x [expr $x+1]; exp_continue; }
2546
        -re ".* 847      1234EA60" { set x [expr $x+1]; exp_continue; }
2547
        -re ".* 847      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2548
        -re ".* 848 1afa 01056F3C" { set x [expr $x+1]; exp_continue; }
2549
        -re ".* 848      1234FA60" { set x [expr $x+1]; exp_continue; }
2550
        -re ".* 848      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2551
        -re ".* 849 1b06 01056F3C" { set x [expr $x+1]; exp_continue; }
2552
        -re ".* 849      12344060" { set x [expr $x+1]; exp_continue; }
2553
        -re ".* 849      9ABC" { set x [expr $x+1]; exp_continue; }
2554
        -re ".* 850 1b10 01056F3C" { set x [expr $x+1]; exp_continue; }
2555
        -re ".* 850      12344860" { set x [expr $x+1]; exp_continue; }
2556
        -re ".* 850      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2557
        -re ".* 851              " {
2558
            if [expr $x == 42] then {
2559
                pass "$testname: and.l @(0x1234:16,r3l.b), ..."
2560
            } else {
2561
                fail "$testname: and.l @(0x1234:16,r3l.b), ... ($x)"
2562
            }
2563
        }
2564
        default { fail "$testname: and.l @(0x1234:16,r3l.b), ... ($x)" }
2565
    }
2566
 
2567
    set x 0
2568
    expect {
2569
        -re ".* 852 1b1c 01066F3C" { set x [expr $x+1]; exp_continue; }
2570
        -re ".* 852      12340160" { set x [expr $x+1]; exp_continue; }
2571
        -re ".* 853 1b24 01066F3C" { set x [expr $x+1]; exp_continue; }
2572
        -re ".* 853      12343160" { set x [expr $x+1]; exp_continue; }
2573
        -re ".* 854 1b2c 01066F3C" { set x [expr $x+1]; exp_continue; }
2574
        -re ".* 854      1234B160" { set x [expr $x+1]; exp_continue; }
2575
        -re ".* 855 1b34 01066F3C" { set x [expr $x+1]; exp_continue; }
2576
        -re ".* 855      12348160" { set x [expr $x+1]; exp_continue; }
2577
        -re ".* 856 1b3c 01066F3C" { set x [expr $x+1]; exp_continue; }
2578
        -re ".* 856      1234A160" { set x [expr $x+1]; exp_continue; }
2579
        -re ".* 857 1b44 01066F3C" { set x [expr $x+1]; exp_continue; }
2580
        -re ".* 857      12349160" { set x [expr $x+1]; exp_continue; }
2581
        -re ".* 858 1b4c 01066F3C" { set x [expr $x+1]; exp_continue; }
2582
        -re ".* 858      1234C160" { set x [expr $x+1]; exp_continue; }
2583
        -re ".* 858      9ABC" { set x [expr $x+1]; exp_continue; }
2584
        -re ".* 859 1b56 01066F3C" { set x [expr $x+1]; exp_continue; }
2585
        -re ".* 859      1234C960" { set x [expr $x+1]; exp_continue; }
2586
        -re ".* 859      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2587
        -re ".* 860 1b62 01066F3C" { set x [expr $x+1]; exp_continue; }
2588
        -re ".* 860      1234D260" { set x [expr $x+1]; exp_continue; }
2589
        -re ".* 860      9ABC" { set x [expr $x+1]; exp_continue; }
2590
        -re ".* 861 1b6c 01066F3C" { set x [expr $x+1]; exp_continue; }
2591
        -re ".* 861      1234E260" { set x [expr $x+1]; exp_continue; }
2592
        -re ".* 861      9ABC" { set x [expr $x+1]; exp_continue; }
2593
        -re ".* 862 1b76 01066F3C" { set x [expr $x+1]; exp_continue; }
2594
        -re ".* 862      1234F260" { set x [expr $x+1]; exp_continue; }
2595
        -re ".* 862      9ABC" { set x [expr $x+1]; exp_continue; }
2596
        -re ".* 863 1b80 01066F3C" { set x [expr $x+1]; exp_continue; }
2597
        -re ".* 863      1234DA60" { set x [expr $x+1]; exp_continue; }
2598
        -re ".* 863      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2599
        -re ".* 864 1b8c 01066F3C" { set x [expr $x+1]; exp_continue; }
2600
        -re ".* 864      1234EA60" { set x [expr $x+1]; exp_continue; }
2601
        -re ".* 864      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2602
        -re ".* 865 1b98 01066F3C" { set x [expr $x+1]; exp_continue; }
2603
        -re ".* 865      1234FA60" { set x [expr $x+1]; exp_continue; }
2604
        -re ".* 865      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2605
        -re ".* 866 1ba4 01066F3C" { set x [expr $x+1]; exp_continue; }
2606
        -re ".* 866      12344060" { set x [expr $x+1]; exp_continue; }
2607
        -re ".* 866      9ABC" { set x [expr $x+1]; exp_continue; }
2608
        -re ".* 867 1bae 01066F3C" { set x [expr $x+1]; exp_continue; }
2609
        -re ".* 867      12344860" { set x [expr $x+1]; exp_continue; }
2610
        -re ".* 867      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2611
        -re ".* 868              " {
2612
            if [expr $x == 42] then {
2613
                pass "$testname: and.l @(0x1234:16,r3.w), ..."
2614
            } else {
2615
                fail "$testname: and.l @(0x1234:16,r3.w), ... ($x)"
2616
            }
2617
        }
2618
        default { fail "$testname: and.l @(0x1234:16,r3.w), ... ($x)" }
2619
    }
2620
 
2621
    set x 0
2622
    expect {
2623
        -re ".* 869 1bba 01076F3C" { set x [expr $x+1]; exp_continue; }
2624
        -re ".* 869      12340160" { set x [expr $x+1]; exp_continue; }
2625
        -re ".* 870 1bc2 01076F3C" { set x [expr $x+1]; exp_continue; }
2626
        -re ".* 870      12343160" { set x [expr $x+1]; exp_continue; }
2627
        -re ".* 871 1bca 01076F3C" { set x [expr $x+1]; exp_continue; }
2628
        -re ".* 871      1234B160" { set x [expr $x+1]; exp_continue; }
2629
        -re ".* 872 1bd2 01076F3C" { set x [expr $x+1]; exp_continue; }
2630
        -re ".* 872      12348160" { set x [expr $x+1]; exp_continue; }
2631
        -re ".* 873 1bda 01076F3C" { set x [expr $x+1]; exp_continue; }
2632
        -re ".* 873      1234A160" { set x [expr $x+1]; exp_continue; }
2633
        -re ".* 874 1be2 01076F3C" { set x [expr $x+1]; exp_continue; }
2634
        -re ".* 874      12349160" { set x [expr $x+1]; exp_continue; }
2635
        -re ".* 875 1bea 01076F3C" { set x [expr $x+1]; exp_continue; }
2636
        -re ".* 875      1234C160" { set x [expr $x+1]; exp_continue; }
2637
        -re ".* 875      9ABC" { set x [expr $x+1]; exp_continue; }
2638
        -re ".* 876 1bf4 01076F3C" { set x [expr $x+1]; exp_continue; }
2639
        -re ".* 876      1234C960" { set x [expr $x+1]; exp_continue; }
2640
        -re ".* 876      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2641
        -re ".* 877 1c00 01076F3C" { set x [expr $x+1]; exp_continue; }
2642
        -re ".* 877      1234D260" { set x [expr $x+1]; exp_continue; }
2643
        -re ".* 877      9ABC" { set x [expr $x+1]; exp_continue; }
2644
        -re ".* 878 1c0a 01076F3C" { set x [expr $x+1]; exp_continue; }
2645
        -re ".* 878      1234E260" { set x [expr $x+1]; exp_continue; }
2646
        -re ".* 878      9ABC" { set x [expr $x+1]; exp_continue; }
2647
        -re ".* 879 1c14 01076F3C" { set x [expr $x+1]; exp_continue; }
2648
        -re ".* 879      1234F260" { set x [expr $x+1]; exp_continue; }
2649
        -re ".* 879      9ABC" { set x [expr $x+1]; exp_continue; }
2650
        -re ".* 880 1c1e 01076F3C" { set x [expr $x+1]; exp_continue; }
2651
        -re ".* 880      1234DA60" { set x [expr $x+1]; exp_continue; }
2652
        -re ".* 880      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2653
        -re ".* 881 1c2a 01076F3C" { set x [expr $x+1]; exp_continue; }
2654
        -re ".* 881      1234EA60" { set x [expr $x+1]; exp_continue; }
2655
        -re ".* 881      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2656
        -re ".* 882 1c36 01076F3C" { set x [expr $x+1]; exp_continue; }
2657
        -re ".* 882      1234FA60" { set x [expr $x+1]; exp_continue; }
2658
        -re ".* 882      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2659
        -re ".* 883 1c42 01076F3C" { set x [expr $x+1]; exp_continue; }
2660
        -re ".* 883      12344060" { set x [expr $x+1]; exp_continue; }
2661
        -re ".* 883      9ABC" { set x [expr $x+1]; exp_continue; }
2662
        -re ".* 884 1c4c 01076F3C" { set x [expr $x+1]; exp_continue; }
2663
        -re ".* 884      12344860" { set x [expr $x+1]; exp_continue; }
2664
        -re ".* 884      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2665
        -re ".* 885              " {
2666
            if [expr $x == 42] then {
2667
                pass "$testname: and.l @(0x1234:16,er3.l), ..."
2668
            } else {
2669
                fail "$testname: and.l @(0x1234:16,er3.l), ... ($x)"
2670
            }
2671
        }
2672
        default { fail "$testname: and.l @(0x1234:16,er3.l), ... ($x)" }
2673
    }
2674
 
2675
    set x 0
2676
    expect {
2677
        -re ".* 886 1c58 78B56B2C" { set x [expr $x+1]; exp_continue; }
2678
        -re ".* 886      12345678" { set x [expr $x+1]; exp_continue; }
2679
        -re ".* 886      0160" { set x [expr $x+1]; exp_continue; }
2680
        -re ".* 887 1c62 78B56B2C" { set x [expr $x+1]; exp_continue; }
2681
        -re ".* 887      12345678" { set x [expr $x+1]; exp_continue; }
2682
        -re ".* 887      3160" { set x [expr $x+1]; exp_continue; }
2683
        -re ".* 888 1c6c 78B56B2C" { set x [expr $x+1]; exp_continue; }
2684
        -re ".* 888      12345678" { set x [expr $x+1]; exp_continue; }
2685
        -re ".* 888      B160" { set x [expr $x+1]; exp_continue; }
2686
        -re ".* 889 1c76 78B56B2C" { set x [expr $x+1]; exp_continue; }
2687
        -re ".* 889      12345678" { set x [expr $x+1]; exp_continue; }
2688
        -re ".* 889      8160" { set x [expr $x+1]; exp_continue; }
2689
        -re ".* 890 1c80 78B56B2C" { set x [expr $x+1]; exp_continue; }
2690
        -re ".* 890      12345678" { set x [expr $x+1]; exp_continue; }
2691
        -re ".* 890      A160" { set x [expr $x+1]; exp_continue; }
2692
        -re ".* 891 1c8a 78B56B2C" { set x [expr $x+1]; exp_continue; }
2693
        -re ".* 891      12345678" { set x [expr $x+1]; exp_continue; }
2694
        -re ".* 891      9160" { set x [expr $x+1]; exp_continue; }
2695
        -re ".* 892 1c94 78B56B2C" { set x [expr $x+1]; exp_continue; }
2696
        -re ".* 892      12345678" { set x [expr $x+1]; exp_continue; }
2697
        -re ".* 892      C1609ABC" { set x [expr $x+1]; exp_continue; }
2698
        -re ".* 893 1ca0 78B56B2C" { set x [expr $x+1]; exp_continue; }
2699
        -re ".* 893      12345678" { set x [expr $x+1]; exp_continue; }
2700
        -re ".* 893      C9609ABC" { set x [expr $x+1]; exp_continue; }
2701
        -re ".* 893      DEF0" { set x [expr $x+1]; exp_continue; }
2702
        -re ".* 894 1cae 78B56B2C" { set x [expr $x+1]; exp_continue; }
2703
        -re ".* 894      12345678" { set x [expr $x+1]; exp_continue; }
2704
        -re ".* 894      D2609ABC" { set x [expr $x+1]; exp_continue; }
2705
        -re ".* 895 1cba 78B56B2C" { set x [expr $x+1]; exp_continue; }
2706
        -re ".* 895      12345678" { set x [expr $x+1]; exp_continue; }
2707
        -re ".* 895      E2609ABC" { set x [expr $x+1]; exp_continue; }
2708
        -re ".* 896 1cc6 78B56B2C" { set x [expr $x+1]; exp_continue; }
2709
        -re ".* 896      12345678" { set x [expr $x+1]; exp_continue; }
2710
        -re ".* 896      F2609ABC" { set x [expr $x+1]; exp_continue; }
2711
        -re ".* 897 1cd2 78B56B2C" { set x [expr $x+1]; exp_continue; }
2712
        -re ".* 897      12345678" { set x [expr $x+1]; exp_continue; }
2713
        -re ".* 897      DA609ABC" { set x [expr $x+1]; exp_continue; }
2714
        -re ".* 897      DEF0" { set x [expr $x+1]; exp_continue; }
2715
        -re ".* 898 1ce0 78B56B2C" { set x [expr $x+1]; exp_continue; }
2716
        -re ".* 898      12345678" { set x [expr $x+1]; exp_continue; }
2717
        -re ".* 898      EA609ABC" { set x [expr $x+1]; exp_continue; }
2718
        -re ".* 898      DEF0" { set x [expr $x+1]; exp_continue; }
2719
        -re ".* 899 1cee 78B56B2C" { set x [expr $x+1]; exp_continue; }
2720
        -re ".* 899      12345678" { set x [expr $x+1]; exp_continue; }
2721
        -re ".* 899      FA609ABC" { set x [expr $x+1]; exp_continue; }
2722
        -re ".* 899      DEF0" { set x [expr $x+1]; exp_continue; }
2723
        -re ".* 900 1cfc 78B56B2C" { set x [expr $x+1]; exp_continue; }
2724
        -re ".* 900      12345678" { set x [expr $x+1]; exp_continue; }
2725
        -re ".* 900      40609ABC" { set x [expr $x+1]; exp_continue; }
2726
        -re ".* 901 1d08 78B56B2C" { set x [expr $x+1]; exp_continue; }
2727
        -re ".* 901      12345678" { set x [expr $x+1]; exp_continue; }
2728
        -re ".* 901      48609ABC" { set x [expr $x+1]; exp_continue; }
2729
        -re ".* 901      DEF0" { set x [expr $x+1]; exp_continue; }
2730
        -re ".* 902              " {
2731
            if [expr $x == 53] then {
2732
                pass "$testname: and.l @(0x12345678:32,r3l.b), ..."
2733
            } else {
2734
                fail "$testname: and.l @(0x12345678:32,r3l.b), ... ($x)"
2735
            }
2736
        }
2737
        default { fail "$testname: and.l @(0x12345678:32,r3l.b), ... ($x)" }
2738
    }
2739
 
2740
    set x 0
2741
    expect {
2742
        -re ".* 903 1d16 78B66B2C" { set x [expr $x+1]; exp_continue; }
2743
        -re ".* 903      12345678" { set x [expr $x+1]; exp_continue; }
2744
        -re ".* 903      0160" { set x [expr $x+1]; exp_continue; }
2745
        -re ".* 904 1d20 78B66B2C" { set x [expr $x+1]; exp_continue; }
2746
        -re ".* 904      12345678" { set x [expr $x+1]; exp_continue; }
2747
        -re ".* 904      3160" { set x [expr $x+1]; exp_continue; }
2748
        -re ".* 905 1d2a 78B66B2C" { set x [expr $x+1]; exp_continue; }
2749
        -re ".* 905      12345678" { set x [expr $x+1]; exp_continue; }
2750
        -re ".* 905      B160" { set x [expr $x+1]; exp_continue; }
2751
        -re ".* 906 1d34 78B66B2C" { set x [expr $x+1]; exp_continue; }
2752
        -re ".* 906      12345678" { set x [expr $x+1]; exp_continue; }
2753
        -re ".* 906      8160" { set x [expr $x+1]; exp_continue; }
2754
        -re ".* 907 1d3e 78B66B2C" { set x [expr $x+1]; exp_continue; }
2755
        -re ".* 907      12345678" { set x [expr $x+1]; exp_continue; }
2756
        -re ".* 907      A160" { set x [expr $x+1]; exp_continue; }
2757
        -re ".* 908 1d48 78B66B2C" { set x [expr $x+1]; exp_continue; }
2758
        -re ".* 908      12345678" { set x [expr $x+1]; exp_continue; }
2759
        -re ".* 908      9160" { set x [expr $x+1]; exp_continue; }
2760
        -re ".* 909 1d52 78B66B2C" { set x [expr $x+1]; exp_continue; }
2761
        -re ".* 909      12345678" { set x [expr $x+1]; exp_continue; }
2762
        -re ".* 909      C1609ABC" { set x [expr $x+1]; exp_continue; }
2763
        -re ".* 910 1d5e 78B66B2C" { set x [expr $x+1]; exp_continue; }
2764
        -re ".* 910      12345678" { set x [expr $x+1]; exp_continue; }
2765
        -re ".* 910      C9609ABC" { set x [expr $x+1]; exp_continue; }
2766
        -re ".* 910      DEF0" { set x [expr $x+1]; exp_continue; }
2767
        -re ".* 911 1d6c 78B66B2C" { set x [expr $x+1]; exp_continue; }
2768
        -re ".* 911      12345678" { set x [expr $x+1]; exp_continue; }
2769
        -re ".* 911      D2609ABC" { set x [expr $x+1]; exp_continue; }
2770
        -re ".* 912 1d78 78B66B2C" { set x [expr $x+1]; exp_continue; }
2771
        -re ".* 912      12345678" { set x [expr $x+1]; exp_continue; }
2772
        -re ".* 912      E2609ABC" { set x [expr $x+1]; exp_continue; }
2773
        -re ".* 913 1d84 78B66B2C" { set x [expr $x+1]; exp_continue; }
2774
        -re ".* 913      12345678" { set x [expr $x+1]; exp_continue; }
2775
        -re ".* 913      F2609ABC" { set x [expr $x+1]; exp_continue; }
2776
        -re ".* 914 1d90 78B66B2C" { set x [expr $x+1]; exp_continue; }
2777
        -re ".* 914      12345678" { set x [expr $x+1]; exp_continue; }
2778
        -re ".* 914      DA609ABC" { set x [expr $x+1]; exp_continue; }
2779
        -re ".* 914      DEF0" { set x [expr $x+1]; exp_continue; }
2780
        -re ".* 915 1d9e 78B66B2C" { set x [expr $x+1]; exp_continue; }
2781
        -re ".* 915      12345678" { set x [expr $x+1]; exp_continue; }
2782
        -re ".* 915      EA609ABC" { set x [expr $x+1]; exp_continue; }
2783
        -re ".* 915      DEF0" { set x [expr $x+1]; exp_continue; }
2784
        -re ".* 916 1dac 78B66B2C" { set x [expr $x+1]; exp_continue; }
2785
        -re ".* 916      12345678" { set x [expr $x+1]; exp_continue; }
2786
        -re ".* 916      FA609ABC" { set x [expr $x+1]; exp_continue; }
2787
        -re ".* 916      DEF0" { set x [expr $x+1]; exp_continue; }
2788
        -re ".* 917 1dba 78B66B2C" { set x [expr $x+1]; exp_continue; }
2789
        -re ".* 917      12345678" { set x [expr $x+1]; exp_continue; }
2790
        -re ".* 917      40609ABC" { set x [expr $x+1]; exp_continue; }
2791
        -re ".* 918 1dc6 78B66B2C" { set x [expr $x+1]; exp_continue; }
2792
        -re ".* 918      12345678" { set x [expr $x+1]; exp_continue; }
2793
        -re ".* 918      48609ABC" { set x [expr $x+1]; exp_continue; }
2794
        -re ".* 918      DEF0" { set x [expr $x+1]; exp_continue; }
2795
        -re ".* 919              " {
2796
            if [expr $x == 53] then {
2797
                pass "$testname: and.l @(0x12345678:32,r3.w), ..."
2798
            } else {
2799
                fail "$testname: and.l @(0x12345678:32,r3.w), ... ($x)"
2800
            }
2801
        }
2802
        default { fail "$testname: and.l @(0x12345678:32,r3.w), ... ($x)" }
2803
    }
2804
 
2805
    set x 0
2806
    expect {
2807
        -re ".* 920 1dd4 78B76B2C" { set x [expr $x+1]; exp_continue; }
2808
        -re ".* 920      12345678" { set x [expr $x+1]; exp_continue; }
2809
        -re ".* 920      0160" { set x [expr $x+1]; exp_continue; }
2810
        -re ".* 921 1dde 78B76B2C" { set x [expr $x+1]; exp_continue; }
2811
        -re ".* 921      12345678" { set x [expr $x+1]; exp_continue; }
2812
        -re ".* 921      3160" { set x [expr $x+1]; exp_continue; }
2813
        -re ".* 922 1de8 78B76B2C" { set x [expr $x+1]; exp_continue; }
2814
        -re ".* 922      12345678" { set x [expr $x+1]; exp_continue; }
2815
        -re ".* 922      B160" { set x [expr $x+1]; exp_continue; }
2816
        -re ".* 923 1df2 78B76B2C" { set x [expr $x+1]; exp_continue; }
2817
        -re ".* 923      12345678" { set x [expr $x+1]; exp_continue; }
2818
        -re ".* 923      8160" { set x [expr $x+1]; exp_continue; }
2819
        -re ".* 924 1dfc 78B76B2C" { set x [expr $x+1]; exp_continue; }
2820
        -re ".* 924      12345678" { set x [expr $x+1]; exp_continue; }
2821
        -re ".* 924      A160" { set x [expr $x+1]; exp_continue; }
2822
        -re ".* 925 1e06 78B76B2C" { set x [expr $x+1]; exp_continue; }
2823
        -re ".* 925      12345678" { set x [expr $x+1]; exp_continue; }
2824
        -re ".* 925      9160" { set x [expr $x+1]; exp_continue; }
2825
        -re ".* 926 1e10 78B76B2C" { set x [expr $x+1]; exp_continue; }
2826
        -re ".* 926      12345678" { set x [expr $x+1]; exp_continue; }
2827
        -re ".* 926      C1609ABC" { set x [expr $x+1]; exp_continue; }
2828
        -re ".* 927 1e1c 78B76B2C" { set x [expr $x+1]; exp_continue; }
2829
        -re ".* 927      12345678" { set x [expr $x+1]; exp_continue; }
2830
        -re ".* 927      C9609ABC" { set x [expr $x+1]; exp_continue; }
2831
        -re ".* 927      DEF0" { set x [expr $x+1]; exp_continue; }
2832
        -re ".* 928 1e2a 78B76B2C" { set x [expr $x+1]; exp_continue; }
2833
        -re ".* 928      12345678" { set x [expr $x+1]; exp_continue; }
2834
        -re ".* 928      D2609ABC" { set x [expr $x+1]; exp_continue; }
2835
        -re ".* 929 1e36 78B76B2C" { set x [expr $x+1]; exp_continue; }
2836
        -re ".* 929      12345678" { set x [expr $x+1]; exp_continue; }
2837
        -re ".* 929      E2609ABC" { set x [expr $x+1]; exp_continue; }
2838
        -re ".* 930 1e42 78B76B2C" { set x [expr $x+1]; exp_continue; }
2839
        -re ".* 930      12345678" { set x [expr $x+1]; exp_continue; }
2840
        -re ".* 930      F2609ABC" { set x [expr $x+1]; exp_continue; }
2841
        -re ".* 931 1e4e 78B76B2C" { set x [expr $x+1]; exp_continue; }
2842
        -re ".* 931      12345678" { set x [expr $x+1]; exp_continue; }
2843
        -re ".* 931      DA609ABC" { set x [expr $x+1]; exp_continue; }
2844
        -re ".* 931      DEF0" { set x [expr $x+1]; exp_continue; }
2845
        -re ".* 932 1e5c 78B76B2C" { set x [expr $x+1]; exp_continue; }
2846
        -re ".* 932      12345678" { set x [expr $x+1]; exp_continue; }
2847
        -re ".* 932      EA609ABC" { set x [expr $x+1]; exp_continue; }
2848
        -re ".* 932      DEF0" { set x [expr $x+1]; exp_continue; }
2849
        -re ".* 933 1e6a 78B76B2C" { set x [expr $x+1]; exp_continue; }
2850
        -re ".* 933      12345678" { set x [expr $x+1]; exp_continue; }
2851
        -re ".* 933      FA609ABC" { set x [expr $x+1]; exp_continue; }
2852
        -re ".* 933      DEF0" { set x [expr $x+1]; exp_continue; }
2853
        -re ".* 934 1e78 78B76B2C" { set x [expr $x+1]; exp_continue; }
2854
        -re ".* 934      12345678" { set x [expr $x+1]; exp_continue; }
2855
        -re ".* 934      40609ABC" { set x [expr $x+1]; exp_continue; }
2856
        -re ".* 935 1e84 78B76B2C" { set x [expr $x+1]; exp_continue; }
2857
        -re ".* 935      12345678" { set x [expr $x+1]; exp_continue; }
2858
        -re ".* 935      48609ABC" { set x [expr $x+1]; exp_continue; }
2859
        -re ".* 935      DEF0" { set x [expr $x+1]; exp_continue; }
2860
        -re ".* 936              " {
2861
            if [expr $x == 53] then {
2862
                pass "$testname: and.l @(0x12345678:32,er3.l), ..."
2863
            } else {
2864
                fail "$testname: and.l @(0x12345678:32,er3.l), ... ($x)"
2865
            }
2866
        }
2867
        default { fail "$testname: and.l @(0x12345678:32,er3.l), ... ($x)" }
2868
    }
2869
 
2870
    set x 0
2871
    expect {
2872
        -re ".* 937 1e92 01046B0C" { set x [expr $x+1]; exp_continue; }
2873
        -re ".* 937      12340160" { set x [expr $x+1]; exp_continue; }
2874
        -re ".* 938 1e9a 01046B0C" { set x [expr $x+1]; exp_continue; }
2875
        -re ".* 938      12343160" { set x [expr $x+1]; exp_continue; }
2876
        -re ".* 939 1ea2 01046B0C" { set x [expr $x+1]; exp_continue; }
2877
        -re ".* 939      1234B160" { set x [expr $x+1]; exp_continue; }
2878
        -re ".* 940 1eaa 01046B0C" { set x [expr $x+1]; exp_continue; }
2879
        -re ".* 940      12348160" { set x [expr $x+1]; exp_continue; }
2880
        -re ".* 941 1eb2 01046B0C" { set x [expr $x+1]; exp_continue; }
2881
        -re ".* 941      1234A160" { set x [expr $x+1]; exp_continue; }
2882
        -re ".* 942 1eba 01046B0C" { set x [expr $x+1]; exp_continue; }
2883
        -re ".* 942      12349160" { set x [expr $x+1]; exp_continue; }
2884
        -re ".* 943 1ec2 01046B0C" { set x [expr $x+1]; exp_continue; }
2885
        -re ".* 943      1234C160" { set x [expr $x+1]; exp_continue; }
2886
        -re ".* 943      9ABC" { set x [expr $x+1]; exp_continue; }
2887
        -re ".* 944 1ecc 01046B0C" { set x [expr $x+1]; exp_continue; }
2888
        -re ".* 944      1234C960" { set x [expr $x+1]; exp_continue; }
2889
        -re ".* 944      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2890
        -re ".* 945 1ed8 01046B0C" { set x [expr $x+1]; exp_continue; }
2891
        -re ".* 945      1234D260" { set x [expr $x+1]; exp_continue; }
2892
        -re ".* 945      9ABC" { set x [expr $x+1]; exp_continue; }
2893
        -re ".* 946 1ee2 01046B0C" { set x [expr $x+1]; exp_continue; }
2894
        -re ".* 946      1234E260" { set x [expr $x+1]; exp_continue; }
2895
        -re ".* 946      9ABC" { set x [expr $x+1]; exp_continue; }
2896
        -re ".* 947 1eec 01046B0C" { set x [expr $x+1]; exp_continue; }
2897
        -re ".* 947      1234F260" { set x [expr $x+1]; exp_continue; }
2898
        -re ".* 947      9ABC" { set x [expr $x+1]; exp_continue; }
2899
        -re ".* 948 1ef6 01046B0C" { set x [expr $x+1]; exp_continue; }
2900
        -re ".* 948      1234DA60" { set x [expr $x+1]; exp_continue; }
2901
        -re ".* 948      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2902
        -re ".* 949 1f02 01046B0C" { set x [expr $x+1]; exp_continue; }
2903
        -re ".* 949      1234EA60" { set x [expr $x+1]; exp_continue; }
2904
        -re ".* 949      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2905
        -re ".* 950 1f0e 01046B0C" { set x [expr $x+1]; exp_continue; }
2906
        -re ".* 950      1234FA60" { set x [expr $x+1]; exp_continue; }
2907
        -re ".* 950      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2908
        -re ".* 951 1f1a 01046B0C" { set x [expr $x+1]; exp_continue; }
2909
        -re ".* 951      12344060" { set x [expr $x+1]; exp_continue; }
2910
        -re ".* 951      9ABC" { set x [expr $x+1]; exp_continue; }
2911
        -re ".* 952 1f24 01046B0C" { set x [expr $x+1]; exp_continue; }
2912
        -re ".* 952      12344860" { set x [expr $x+1]; exp_continue; }
2913
        -re ".* 952      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
2914
        -re ".* 953              " {
2915
            if [expr $x == 42] then {
2916
                pass "$testname: and.l @0x1234:16, ..."
2917
            } else {
2918
                fail "$testname: and.l @0x1234:16, ... ($x)"
2919
            }
2920
        }
2921
        default { fail "$testname: and.l @0x1234:16, ... ($x)" }
2922
    }
2923
    # FIXME return early, expect bombs out on the next group.
2924
    return
2925
    set x 0
2926
    expect {
2927
        -re ".* 954 1f30 01046B2C" { set x [expr $x+1]; exp_continue; }
2928
        -re ".* 954      12345678" { set x [expr $x+1]; exp_continue; }
2929
        -re ".* 954      0160" { set x [expr $x+1]; exp_continue; }
2930
        -re ".* 955 1f3a 01046B2C" { set x [expr $x+1]; exp_continue; }
2931
        -re ".* 955      12345678" { set x [expr $x+1]; exp_continue; }
2932
        -re ".* 955      3160" { set x [expr $x+1]; exp_continue; }
2933
        -re ".* 956 1f44 01046B2C" { set x [expr $x+1]; exp_continue; }
2934
        -re ".* 956      12345678" { set x [expr $x+1]; exp_continue; }
2935
        -re ".* 956      B160" { set x [expr $x+1]; exp_continue; }
2936
        -re ".* 957 1f4e 01046B2C" { set x [expr $x+1]; exp_continue; }
2937
        -re ".* 957      12345678" { set x [expr $x+1]; exp_continue; }
2938
        -re ".* 957      8160" { set x [expr $x+1]; exp_continue; }
2939
        -re ".* 958 1f58 01046B2C" { set x [expr $x+1]; exp_continue; }
2940
        -re ".* 958      12345678" { set x [expr $x+1]; exp_continue; }
2941
        -re ".* 958      A160" { set x [expr $x+1]; exp_continue; }
2942
        -re ".* 959 1f62 01046B2C" { set x [expr $x+1]; exp_continue; }
2943
        -re ".* 959      12345678" { set x [expr $x+1]; exp_continue; }
2944
        -re ".* 959      9160" { set x [expr $x+1]; exp_continue; }
2945
        -re ".* 960 1f6c 01046B2C" { set x [expr $x+1]; exp_continue; }
2946
        -re ".* 960      12345678" { set x [expr $x+1]; exp_continue; }
2947
        -re ".* 960      C1609ABC" { set x [expr $x+1]; exp_continue; }
2948
        -re ".* 961 1f78 01046B2C" { set x [expr $x+1]; exp_continue; }
2949
        -re ".* 961      12345678" { set x [expr $x+1]; exp_continue; }
2950
        -re ".* 961      C9609ABC" { set x [expr $x+1]; exp_continue; }
2951
        -re ".* 961      DEF0" { set x [expr $x+1]; exp_continue; }
2952
        -re ".* 962 1f86 01046B2C" { set x [expr $x+1]; exp_continue; }
2953
        -re ".* 962      12345678" { set x [expr $x+1]; exp_continue; }
2954
        -re ".* 962      D2609ABC" { set x [expr $x+1]; exp_continue; }
2955
        -re ".* 963 1f92 01046B2C" { set x [expr $x+1]; exp_continue; }
2956
        -re ".* 963      12345678" { set x [expr $x+1]; exp_continue; }
2957
        -re ".* 963      E2609ABC" { set x [expr $x+1]; exp_continue; }
2958
        -re ".* 964 1f9e 01046B2C" { set x [expr $x+1]; exp_continue; }
2959
        -re ".* 964      12345678" { set x [expr $x+1]; exp_continue; }
2960
        -re ".* 964      F2609ABC" { set x [expr $x+1]; exp_continue; }
2961
        -re ".* 965 1faa 01046B2C" { set x [expr $x+1]; exp_continue; }
2962
        -re ".* 965      12345678" { set x [expr $x+1]; exp_continue; }
2963
        -re ".* 965      DA609ABC" { set x [expr $x+1]; exp_continue; }
2964
        -re ".* 965      DEF0" { set x [expr $x+1]; exp_continue; }
2965
        -re ".* 966 1fb8 01046B2C" { set x [expr $x+1]; exp_continue; }
2966
        -re ".* 966      12345678" { set x [expr $x+1]; exp_continue; }
2967
        -re ".* 966      EA609ABC" { set x [expr $x+1]; exp_continue; }
2968
        -re ".* 966      DEF0" { set x [expr $x+1]; exp_continue; }
2969
        -re ".* 967 1fc6 01046B2C" { set x [expr $x+1]; exp_continue; }
2970
        -re ".* 967      12345678" { set x [expr $x+1]; exp_continue; }
2971
        -re ".* 967      FA609ABC" { set x [expr $x+1]; exp_continue; }
2972
        -re ".* 967      DEF0" { set x [expr $x+1]; exp_continue; }
2973
        -re ".* 968 1fd4 01046B2C" { set x [expr $x+1]; exp_continue; }
2974
        -re ".* 968      12345678" { set x [expr $x+1]; exp_continue; }
2975
        -re ".* 968      40609ABC" { set x [expr $x+1]; exp_continue; }
2976
        -re ".* 969 1fe0 01046B2C" { set x [expr $x+1]; exp_continue; }
2977
        -re ".* 969      12345678" { set x [expr $x+1]; exp_continue; }
2978
        -re ".* 969      48609ABC" { set x [expr $x+1]; exp_continue; }
2979
        -re ".* 969      DEF0" { set x [expr $x+1]; exp_continue; }
2980
        -re ".* 970              " {
2981
            if [expr $x == 53] then {
2982
                pass "$testname: and.l @0x12345678:32, ..."
2983
            } else {
2984
                fail "$testname: and.l @0x12345678:32, ... ($x)"
2985
            }
2986
        }
2987
        default { fail "$testname: and.l @0x12345678:32, ... ($x)" }
2988
    }
2989
 
2990
    # This was intended to do any cleanup necessary.
2991
    # It kinda looks like it isn't needed, but just
2992
    # in case, please keep it in for now.
2993
 
2994
    gas_finish
2995
 
2996
}
2997
 
2998
if [istarget h8300*-*-elf] then {
2999
    # Test advanced h8300sx instructions.
3000
    do_t10_and_test
3001
}
3002
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.