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