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 -- t04_sub
     19 #
     20 
     21 proc do_t04_sub_test {} {
     22     set testname "t04_sub.s -- h8sx tests"
     23 
     24     gas_start "t04_sub.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 7D10A112" { set x [expr $x+1]; exp_continue; }
     31 	-re ".*   8 0004 01776818" { set x [expr $x+1]; exp_continue; }
     32 	-re ".*   8      A112" { set x [expr $x+1]; exp_continue; }
     33 	-re ".*   9 000a 01746C18" { set x [expr $x+1]; exp_continue; }
     34 	-re ".*   9      A112" { set x [expr $x+1]; exp_continue; }
     35 	-re ".*  10 0010 01776C18" { set x [expr $x+1]; exp_continue; }
     36 	-re ".*  10      A112" { set x [expr $x+1]; exp_continue; }
     37 	-re ".*  11 0016 01756C18" { set x [expr $x+1]; exp_continue; }
     38 	-re ".*  11      A112" { set x [expr $x+1]; exp_continue; }
     39 	-re ".*  12 001c 01766C18" { set x [expr $x+1]; exp_continue; }
     40 	-re ".*  12      A112" { set x [expr $x+1]; exp_continue; }
     41 	-re ".*  13 0022 01746E18" { set x [expr $x+1]; exp_continue; }
     42 	-re ".*  13      1234A112" { set x [expr $x+1]; exp_continue; }
     43 	-re ".*  14 002a 78146A28" { set x [expr $x+1]; exp_continue; }
     44 	-re ".*  14      12345678" { set x [expr $x+1]; exp_continue; }
     45 	-re ".*  14      A112" { set x [expr $x+1]; exp_continue; }
     46 	-re ".*  15 0034 01756E28" { set x [expr $x+1]; exp_continue; }
     47 	-re ".*  15      1234A112" { set x [expr $x+1]; exp_continue; }
     48 	-re ".*  16 003c 01766E28" { set x [expr $x+1]; exp_continue; }
     49 	-re ".*  16      1234A112" { set x [expr $x+1]; exp_continue; }
     50 	-re ".*  17 0044 01776E28" { set x [expr $x+1]; exp_continue; }
     51 	-re ".*  17      1234A112" { set x [expr $x+1]; exp_continue; }
     52 	-re ".*  18 004c 78256A28" { set x [expr $x+1]; exp_continue; }
     53 	-re ".*  18      12345678" { set x [expr $x+1]; exp_continue; }
     54 	-re ".*  18      A112" { set x [expr $x+1]; exp_continue; }
     55 	-re ".*  19 0056 78266A28" { set x [expr $x+1]; exp_continue; }
     56 	-re ".*  19      12345678" { set x [expr $x+1]; exp_continue; }
     57 	-re ".*  19      A112" { set x [expr $x+1]; exp_continue; }
     58 	-re ".*  20 0060 78276A28" { set x [expr $x+1]; exp_continue; }
     59 	-re ".*  20      12345678" { set x [expr $x+1]; exp_continue; }
     60 	-re ".*  20      A112" { set x [expr $x+1]; exp_continue; }
     61 	-re ".*  21 006a 7F9AA112" { set x [expr $x+1]; exp_continue; }
     62 	-re ".*  22 006e 6A181234" { set x [expr $x+1]; exp_continue; }
     63 	-re ".*  22      A112" { set x [expr $x+1]; exp_continue; }
     64 	-re ".*  23 0074 6A381234" { set x [expr $x+1]; exp_continue; }
     65 	-re ".*  23      5678A112" { set x [expr $x+1]; exp_continue; }
     66 	-re ".*  24              " {
     67 	    if [expr $x == 36] then {
     68 		pass "$testname: sub.b #0x12:8, ..."
     69 	    } else {
     70 		fail "$testname: sub.b #0x12:8, ... ($x)"
     71 	    }
     72 	}
     73         default	{ fail "$testname: sub.b #0x12:8, ... ($x)" }
     74     }
     75 
     76     set x 0
     77     expect {
     78 	-re ".*  25 007c 1831" { set x [expr $x+1]; exp_continue; }
     79 	-re ".*  26              " {
     80 	    if [expr $x == 1] then {
     81 		pass "$testname: sub.b r3h, r1h"
     82 	    } else {
     83 		fail "$testname: sub.b r3h, r1h ($x)"
     84 	    }
     85 	}
     86         default	{ fail "$testname: sub.b r3h, r1h ($x)" }
     87     }
     88 
     89     set x 0
     90     expect {
     91 	-re ".*  27 007e 7D101830" { set x [expr $x+1]; exp_continue; }
     92 	-re ".*  28 0082 01793133" { set x [expr $x+1]; exp_continue; }
     93 	-re ".*  29 0086 01798133" { set x [expr $x+1]; exp_continue; }
     94 	-re ".*  30 008a 0179B133" { set x [expr $x+1]; exp_continue; }
     95 	-re ".*  31 008e 01799133" { set x [expr $x+1]; exp_continue; }
     96 	-re ".*  32 0092 0179A133" { set x [expr $x+1]; exp_continue; }
     97 	-re ".*  33 0096 0179C133" { set x [expr $x+1]; exp_continue; }
     98 	-re ".*  33      1234" { set x [expr $x+1]; exp_continue; }
     99 	-re ".*  34 009c 0179C933" { set x [expr $x+1]; exp_continue; }
    100 	-re ".*  34      12345678" { set x [expr $x+1]; exp_continue; }
    101 	-re ".*  35 00a4 0179D233" { set x [expr $x+1]; exp_continue; }
    102 	-re ".*  35      1234" { set x [expr $x+1]; exp_continue; }
    103 	-re ".*  36 00aa 0179E233" { set x [expr $x+1]; exp_continue; }
    104 	-re ".*  36      1234" { set x [expr $x+1]; exp_continue; }
    105 	-re ".*  37 00b0 0179F233" { set x [expr $x+1]; exp_continue; }
    106 	-re ".*  37      1234" { set x [expr $x+1]; exp_continue; }
    107 	-re ".*  38 00b6 0179DA33" { set x [expr $x+1]; exp_continue; }
    108 	-re ".*  38      12345678" { set x [expr $x+1]; exp_continue; }
    109 	-re ".*  39 00be 0179EA33" { set x [expr $x+1]; exp_continue; }
    110 	-re ".*  39      12345678" { set x [expr $x+1]; exp_continue; }
    111 	-re ".*  40 00c6 0179FA33" { set x [expr $x+1]; exp_continue; }
    112 	-re ".*  40      12345678" { set x [expr $x+1]; exp_continue; }
    113 	-re ".*  41 00ce 7F121830" { set x [expr $x+1]; exp_continue; }
    114 	-re ".*  42 00d2 6A181234" { set x [expr $x+1]; exp_continue; }
    115 	-re ".*  42      1830" { set x [expr $x+1]; exp_continue; }
    116 	-re ".*  43 00d8 6A381234" { set x [expr $x+1]; exp_continue; }
    117 	-re ".*  43      56781830" { set x [expr $x+1]; exp_continue; }
    118 	-re ".*  44              " {
    119 	    if [expr $x == 27] then {
    120 		pass "$testname: sub.b r3h, ..."
    121 	    } else {
    122 		fail "$testname: sub.b r3h, ... ($x)"
    123 	    }
    124 	}
    125         default	{ fail "$testname: sub.b r3h, ... ($x)" }
    126     }
    127 
    128     set x 0
    129     expect {
    130 	-re ".*  45 00e0 7C301801" { set x [expr $x+1]; exp_continue; }
    131 	-re ".*  46 00e4 017A3331" { set x [expr $x+1]; exp_continue; }
    132 	-re ".*  47 00e8 017A8331" { set x [expr $x+1]; exp_continue; }
    133 	-re ".*  48 00ec 017AB331" { set x [expr $x+1]; exp_continue; }
    134 	-re ".*  49 00f0 017A9331" { set x [expr $x+1]; exp_continue; }
    135 	-re ".*  50 00f4 017AA331" { set x [expr $x+1]; exp_continue; }
    136 	-re ".*  51 00f8 017AC131" { set x [expr $x+1]; exp_continue; }
    137 	-re ".*  51      1234" { set x [expr $x+1]; exp_continue; }
    138 	-re ".*  52 00fe 017AC931" { set x [expr $x+1]; exp_continue; }
    139 	-re ".*  52      12345678" { set x [expr $x+1]; exp_continue; }
    140 	-re ".*  53 0106 017AD231" { set x [expr $x+1]; exp_continue; }
    141 	-re ".*  53      1234" { set x [expr $x+1]; exp_continue; }
    142 	-re ".*  54 010c 017AE231" { set x [expr $x+1]; exp_continue; }
    143 	-re ".*  54      1234" { set x [expr $x+1]; exp_continue; }
    144 	-re ".*  55 0112 017AF231" { set x [expr $x+1]; exp_continue; }
    145 	-re ".*  55      1234" { set x [expr $x+1]; exp_continue; }
    146 	-re ".*  56 0118 017ADA31" { set x [expr $x+1]; exp_continue; }
    147 	-re ".*  56      12345678" { set x [expr $x+1]; exp_continue; }
    148 	-re ".*  57 0120 017AEA31" { set x [expr $x+1]; exp_continue; }
    149 	-re ".*  57      12345678" { set x [expr $x+1]; exp_continue; }
    150 	-re ".*  58 0128 017AFA31" { set x [expr $x+1]; exp_continue; }
    151 	-re ".*  58      12345678" { set x [expr $x+1]; exp_continue; }
    152 	-re ".*  59 0130 7E121801" { set x [expr $x+1]; exp_continue; }
    153 	-re ".*  60 0134 6A101234" { set x [expr $x+1]; exp_continue; }
    154 	-re ".*  60      1801" { set x [expr $x+1]; exp_continue; }
    155 	-re ".*  61 013a 6A301234" { set x [expr $x+1]; exp_continue; }
    156 	-re ".*  61      56781801" { set x [expr $x+1]; exp_continue; }
    157 	-re ".*  62              " {
    158 	    if [expr $x == 27] then {
    159 		pass "$testname: sub.b ..., r1h"
    160 	    } else {
    161 		fail "$testname: sub.b ..., r1h ($x)"
    162 	    }
    163 	}
    164         default	{ fail "$testname: sub.b ..., r1h ($x)" }
    165     }
    166 
    167     set x 0
    168     expect {
    169 	-re ".*  63 0142 7C350130" { set x [expr $x+1]; exp_continue; }
    170 	-re ".*  64 0146 7C353130" { set x [expr $x+1]; exp_continue; }
    171 	-re ".*  65 014a 7C35B130" { set x [expr $x+1]; exp_continue; }
    172 	-re ".*  66 014e 7C358130" { set x [expr $x+1]; exp_continue; }
    173 	-re ".*  67 0152 7C35A130" { set x [expr $x+1]; exp_continue; }
    174 	-re ".*  68 0156 7C359130" { set x [expr $x+1]; exp_continue; }
    175 	-re ".*  69 015a 7C35C130" { set x [expr $x+1]; exp_continue; }
    176 	-re ".*  69      9ABC" { set x [expr $x+1]; exp_continue; }
    177 	-re ".*  70 0160 7C35C930" { set x [expr $x+1]; exp_continue; }
    178 	-re ".*  70      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    179 	-re ".*  71 0168 7C35D230" { set x [expr $x+1]; exp_continue; }
    180 	-re ".*  71      9ABC" { set x [expr $x+1]; exp_continue; }
    181 	-re ".*  72 016e 7C35E230" { set x [expr $x+1]; exp_continue; }
    182 	-re ".*  72      9ABC" { set x [expr $x+1]; exp_continue; }
    183 	-re ".*  73 0174 7C35F230" { set x [expr $x+1]; exp_continue; }
    184 	-re ".*  73      9ABC" { set x [expr $x+1]; exp_continue; }
    185 	-re ".*  74 017a 7C35DA30" { set x [expr $x+1]; exp_continue; }
    186 	-re ".*  74      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    187 	-re ".*  75 0182 7C35EA30" { set x [expr $x+1]; exp_continue; }
    188 	-re ".*  75      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    189 	-re ".*  76 018a 7C35FA30" { set x [expr $x+1]; exp_continue; }
    190 	-re ".*  76      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    191 	-re ".*  77 0192 7C354030" { set x [expr $x+1]; exp_continue; }
    192 	-re ".*  77      9ABC" { set x [expr $x+1]; exp_continue; }
    193 	-re ".*  78 0198 7C354830" { set x [expr $x+1]; exp_continue; }
    194 	-re ".*  78      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    195 	-re ".*  79              " {
    196 	    if [expr $x == 26] then {
    197 		pass "$testname: sub.b @er3, ..."
    198 	    } else {
    199 		fail "$testname: sub.b @er3, ... ($x)"
    200 	    }
    201 	}
    202         default	{ fail "$testname: sub.b @er3, ... ($x)" }
    203     }
    204 
    205     set x 0
    206     expect {
    207 	-re ".*  80 01a0 01776C3C" { set x [expr $x+1]; exp_continue; }
    208 	-re ".*  80      0130" { set x [expr $x+1]; exp_continue; }
    209 	-re ".*  81 01a6 01776C3C" { set x [expr $x+1]; exp_continue; }
    210 	-re ".*  81      3130" { set x [expr $x+1]; exp_continue; }
    211 	-re ".*  82 01ac 01776C3C" { set x [expr $x+1]; exp_continue; }
    212 	-re ".*  82      B130" { set x [expr $x+1]; exp_continue; }
    213 	-re ".*  83 01b2 01776C3C" { set x [expr $x+1]; exp_continue; }
    214 	-re ".*  83      8130" { set x [expr $x+1]; exp_continue; }
    215 	-re ".*  84 01b8 01776C3C" { set x [expr $x+1]; exp_continue; }
    216 	-re ".*  84      A130" { set x [expr $x+1]; exp_continue; }
    217 	-re ".*  85 01be 01776C3C" { set x [expr $x+1]; exp_continue; }
    218 	-re ".*  85      9130" { set x [expr $x+1]; exp_continue; }
    219 	-re ".*  86 01c4 01776C3C" { set x [expr $x+1]; exp_continue; }
    220 	-re ".*  86      C1309ABC" { set x [expr $x+1]; exp_continue; }
    221 	-re ".*  87 01cc 01776C3C" { set x [expr $x+1]; exp_continue; }
    222 	-re ".*  87      C9309ABC" { set x [expr $x+1]; exp_continue; }
    223 	-re ".*  87      DEF0" { set x [expr $x+1]; exp_continue; }
    224 	-re ".*  88 01d6 01776C3C" { set x [expr $x+1]; exp_continue; }
    225 	-re ".*  88      D2309ABC" { set x [expr $x+1]; exp_continue; }
    226 	-re ".*  89 01de 01776C3C" { set x [expr $x+1]; exp_continue; }
    227 	-re ".*  89      E2309ABC" { set x [expr $x+1]; exp_continue; }
    228 	-re ".*  90 01e6 01776C3C" { set x [expr $x+1]; exp_continue; }
    229 	-re ".*  90      F2309ABC" { set x [expr $x+1]; exp_continue; }
    230 	-re ".*  91 01ee 01776C3C" { set x [expr $x+1]; exp_continue; }
    231 	-re ".*  91      DA309ABC" { set x [expr $x+1]; exp_continue; }
    232 	-re ".*  91      DEF0" { set x [expr $x+1]; exp_continue; }
    233 	-re ".*  92 01f8 01776C3C" { set x [expr $x+1]; exp_continue; }
    234 	-re ".*  92      EA309ABC" { set x [expr $x+1]; exp_continue; }
    235 	-re ".*  92      DEF0" { set x [expr $x+1]; exp_continue; }
    236 	-re ".*  93 0202 01776C3C" { set x [expr $x+1]; exp_continue; }
    237 	-re ".*  93      FA309ABC" { set x [expr $x+1]; exp_continue; }
    238 	-re ".*  93      DEF0" { set x [expr $x+1]; exp_continue; }
    239 	-re ".*  94 020c 01776C3C" { set x [expr $x+1]; exp_continue; }
    240 	-re ".*  94      40309ABC" { set x [expr $x+1]; exp_continue; }
    241 	-re ".*  95 0214 01776C3C" { set x [expr $x+1]; exp_continue; }
    242 	-re ".*  95      48309ABC" { set x [expr $x+1]; exp_continue; }
    243 	-re ".*  95      DEF0" { set x [expr $x+1]; exp_continue; }
    244 	-re ".*  96              " {
    245 	    if [expr $x == 37] then {
    246 		pass "$testname: sub.b @-er3, ..."
    247 	    } else {
    248 		fail "$testname: sub.b @-er3, ... ($x)"
    249 	    }
    250 	}
    251         default	{ fail "$testname: sub.b @-er3, ... ($x)" }
    252     }
    253 
    254     set x 0
    255     expect {
    256 	-re ".*  97 021e 01746C3C" { set x [expr $x+1]; exp_continue; }
    257 	-re ".*  97      0130" { set x [expr $x+1]; exp_continue; }
    258 	-re ".*  98 0224 01746C3C" { set x [expr $x+1]; exp_continue; }
    259 	-re ".*  98      3130" { set x [expr $x+1]; exp_continue; }
    260 	-re ".*  99 022a 01746C3C" { set x [expr $x+1]; exp_continue; }
    261 	-re ".*  99      B130" { set x [expr $x+1]; exp_continue; }
    262 	-re ".* 100 0230 01746C3C" { set x [expr $x+1]; exp_continue; }
    263 	-re ".* 100      8130" { set x [expr $x+1]; exp_continue; }
    264 	-re ".* 101 0236 01746C3C" { set x [expr $x+1]; exp_continue; }
    265 	-re ".* 101      A130" { set x [expr $x+1]; exp_continue; }
    266 	-re ".* 102 023c 01746C3C" { set x [expr $x+1]; exp_continue; }
    267 	-re ".* 102      9130" { set x [expr $x+1]; exp_continue; }
    268 	-re ".* 103 0242 01746C3C" { set x [expr $x+1]; exp_continue; }
    269 	-re ".* 103      C1309ABC" { set x [expr $x+1]; exp_continue; }
    270 	-re ".* 104 024a 01746C3C" { set x [expr $x+1]; exp_continue; }
    271 	-re ".* 104      C9309ABC" { set x [expr $x+1]; exp_continue; }
    272 	-re ".* 104      DEF0" { set x [expr $x+1]; exp_continue; }
    273 	-re ".* 105 0254 01746C3C" { set x [expr $x+1]; exp_continue; }
    274 	-re ".* 105      D2309ABC" { set x [expr $x+1]; exp_continue; }
    275 	-re ".* 106 025c 01746C3C" { set x [expr $x+1]; exp_continue; }
    276 	-re ".* 106      E2309ABC" { set x [expr $x+1]; exp_continue; }
    277 	-re ".* 107 0264 01746C3C" { set x [expr $x+1]; exp_continue; }
    278 	-re ".* 107      F2309ABC" { set x [expr $x+1]; exp_continue; }
    279 	-re ".* 108 026c 01746C3C" { set x [expr $x+1]; exp_continue; }
    280 	-re ".* 108      DA309ABC" { set x [expr $x+1]; exp_continue; }
    281 	-re ".* 108      DEF0" { set x [expr $x+1]; exp_continue; }
    282 	-re ".* 109 0276 01746C3C" { set x [expr $x+1]; exp_continue; }
    283 	-re ".* 109      EA309ABC" { set x [expr $x+1]; exp_continue; }
    284 	-re ".* 109      DEF0" { set x [expr $x+1]; exp_continue; }
    285 	-re ".* 110 0280 01746C3C" { set x [expr $x+1]; exp_continue; }
    286 	-re ".* 110      FA309ABC" { set x [expr $x+1]; exp_continue; }
    287 	-re ".* 110      DEF0" { set x [expr $x+1]; exp_continue; }
    288 	-re ".* 111 028a 01746C3C" { set x [expr $x+1]; exp_continue; }
    289 	-re ".* 111      40309ABC" { set x [expr $x+1]; exp_continue; }
    290 	-re ".* 112 0292 01746C3C" { set x [expr $x+1]; exp_continue; }
    291 	-re ".* 112      48309ABC" { set x [expr $x+1]; exp_continue; }
    292 	-re ".* 112      DEF0" { set x [expr $x+1]; exp_continue; }
    293 	-re ".* 113              " {
    294 	    if [expr $x == 37] then {
    295 		pass "$testname: sub.b @er3+, ..."
    296 	    } else {
    297 		fail "$testname: sub.b @er3+, ... ($x)"
    298 	    }
    299 	}
    300         default	{ fail "$testname: sub.b @er3+, ... ($x)" }
    301     }
    302 
    303     set x 0
    304     expect {
    305 	-re ".* 114 029c 01766C3C" { set x [expr $x+1]; exp_continue; }
    306 	-re ".* 114      0130" { set x [expr $x+1]; exp_continue; }
    307 	-re ".* 115 02a2 01766C3C" { set x [expr $x+1]; exp_continue; }
    308 	-re ".* 115      3130" { set x [expr $x+1]; exp_continue; }
    309 	-re ".* 116 02a8 01766C3C" { set x [expr $x+1]; exp_continue; }
    310 	-re ".* 116      B130" { set x [expr $x+1]; exp_continue; }
    311 	-re ".* 117 02ae 01766C3C" { set x [expr $x+1]; exp_continue; }
    312 	-re ".* 117      8130" { set x [expr $x+1]; exp_continue; }
    313 	-re ".* 118 02b4 01766C3C" { set x [expr $x+1]; exp_continue; }
    314 	-re ".* 118      A130" { set x [expr $x+1]; exp_continue; }
    315 	-re ".* 119 02ba 01766C3C" { set x [expr $x+1]; exp_continue; }
    316 	-re ".* 119      9130" { set x [expr $x+1]; exp_continue; }
    317 	-re ".* 120 02c0 01766C3C" { set x [expr $x+1]; exp_continue; }
    318 	-re ".* 120      C1309ABC" { set x [expr $x+1]; exp_continue; }
    319 	-re ".* 121 02c8 01766C3C" { set x [expr $x+1]; exp_continue; }
    320 	-re ".* 121      C9309ABC" { set x [expr $x+1]; exp_continue; }
    321 	-re ".* 121      DEF0" { set x [expr $x+1]; exp_continue; }
    322 	-re ".* 122 02d2 01766C3C" { set x [expr $x+1]; exp_continue; }
    323 	-re ".* 122      D2309ABC" { set x [expr $x+1]; exp_continue; }
    324 	-re ".* 123 02da 01766C3C" { set x [expr $x+1]; exp_continue; }
    325 	-re ".* 123      E2309ABC" { set x [expr $x+1]; exp_continue; }
    326 	-re ".* 124 02e2 01766C3C" { set x [expr $x+1]; exp_continue; }
    327 	-re ".* 124      F2309ABC" { set x [expr $x+1]; exp_continue; }
    328 	-re ".* 125 02ea 01766C3C" { set x [expr $x+1]; exp_continue; }
    329 	-re ".* 125      DA309ABC" { set x [expr $x+1]; exp_continue; }
    330 	-re ".* 125      DEF0" { set x [expr $x+1]; exp_continue; }
    331 	-re ".* 126 02f4 01766C3C" { set x [expr $x+1]; exp_continue; }
    332 	-re ".* 126      EA309ABC" { set x [expr $x+1]; exp_continue; }
    333 	-re ".* 126      DEF0" { set x [expr $x+1]; exp_continue; }
    334 	-re ".* 127 02fe 01766C3C" { set x [expr $x+1]; exp_continue; }
    335 	-re ".* 127      FA309ABC" { set x [expr $x+1]; exp_continue; }
    336 	-re ".* 127      DEF0" { set x [expr $x+1]; exp_continue; }
    337 	-re ".* 128 0308 01766C3C" { set x [expr $x+1]; exp_continue; }
    338 	-re ".* 128      40309ABC" { set x [expr $x+1]; exp_continue; }
    339 	-re ".* 129 0310 01766C3C" { set x [expr $x+1]; exp_continue; }
    340 	-re ".* 129      48309ABC" { set x [expr $x+1]; exp_continue; }
    341 	-re ".* 129      DEF0" { set x [expr $x+1]; exp_continue; }
    342 	-re ".* 130              " {
    343 	    if [expr $x == 37] then {
    344 		pass "$testname: sub.b @er3-, ..."
    345 	    } else {
    346 		fail "$testname: sub.b @er3-, ... ($x)"
    347 	    }
    348 	}
    349         default	{ fail "$testname: sub.b @er3-, ... ($x)" }
    350     }
    351 
    352     set x 0
    353     expect {
    354 	-re ".* 131 031a 01756C3C" { set x [expr $x+1]; exp_continue; }
    355 	-re ".* 131      0130" { set x [expr $x+1]; exp_continue; }
    356 	-re ".* 132 0320 01756C3C" { set x [expr $x+1]; exp_continue; }
    357 	-re ".* 132      3130" { set x [expr $x+1]; exp_continue; }
    358 	-re ".* 133 0326 01756C3C" { set x [expr $x+1]; exp_continue; }
    359 	-re ".* 133      B130" { set x [expr $x+1]; exp_continue; }
    360 	-re ".* 134 032c 01756C3C" { set x [expr $x+1]; exp_continue; }
    361 	-re ".* 134      8130" { set x [expr $x+1]; exp_continue; }
    362 	-re ".* 135 0332 01756C3C" { set x [expr $x+1]; exp_continue; }
    363 	-re ".* 135      A130" { set x [expr $x+1]; exp_continue; }
    364 	-re ".* 136 0338 01756C3C" { set x [expr $x+1]; exp_continue; }
    365 	-re ".* 136      9130" { set x [expr $x+1]; exp_continue; }
    366 	-re ".* 137 033e 01756C3C" { set x [expr $x+1]; exp_continue; }
    367 	-re ".* 137      C1309ABC" { set x [expr $x+1]; exp_continue; }
    368 	-re ".* 138 0346 01756C3C" { set x [expr $x+1]; exp_continue; }
    369 	-re ".* 138      C9309ABC" { set x [expr $x+1]; exp_continue; }
    370 	-re ".* 138      DEF0" { set x [expr $x+1]; exp_continue; }
    371 	-re ".* 139 0350 01756C3C" { set x [expr $x+1]; exp_continue; }
    372 	-re ".* 139      D2309ABC" { set x [expr $x+1]; exp_continue; }
    373 	-re ".* 140 0358 01756C3C" { set x [expr $x+1]; exp_continue; }
    374 	-re ".* 140      E2309ABC" { set x [expr $x+1]; exp_continue; }
    375 	-re ".* 141 0360 01756C3C" { set x [expr $x+1]; exp_continue; }
    376 	-re ".* 141      F2309ABC" { set x [expr $x+1]; exp_continue; }
    377 	-re ".* 142 0368 01756C3C" { set x [expr $x+1]; exp_continue; }
    378 	-re ".* 142      DA309ABC" { set x [expr $x+1]; exp_continue; }
    379 	-re ".* 142      DEF0" { set x [expr $x+1]; exp_continue; }
    380 	-re ".* 143 0372 01756C3C" { set x [expr $x+1]; exp_continue; }
    381 	-re ".* 143      EA309ABC" { set x [expr $x+1]; exp_continue; }
    382 	-re ".* 143      DEF0" { set x [expr $x+1]; exp_continue; }
    383 	-re ".* 144 037c 01756C3C" { set x [expr $x+1]; exp_continue; }
    384 	-re ".* 144      FA309ABC" { set x [expr $x+1]; exp_continue; }
    385 	-re ".* 144      DEF0" { set x [expr $x+1]; exp_continue; }
    386 	-re ".* 145 0386 01756C3C" { set x [expr $x+1]; exp_continue; }
    387 	-re ".* 145      40309ABC" { set x [expr $x+1]; exp_continue; }
    388 	-re ".* 146 038e 01756C3C" { set x [expr $x+1]; exp_continue; }
    389 	-re ".* 146      48309ABC" { set x [expr $x+1]; exp_continue; }
    390 	-re ".* 146      DEF0" { set x [expr $x+1]; exp_continue; }
    391 	-re ".* 147              " {
    392 	    if [expr $x == 37] then {
    393 		pass "$testname: sub.b @+er3, ..."
    394 	    } else {
    395 		fail "$testname: sub.b @+er3, ... ($x)"
    396 	    }
    397 	}
    398         default	{ fail "$testname: sub.b @+er3, ... ($x)" }
    399     }
    400 
    401     set x 0
    402     expect {
    403 	-re ".* 148 0398 01746E3C" { set x [expr $x+1]; exp_continue; }
    404 	-re ".* 148      12340130" { set x [expr $x+1]; exp_continue; }
    405 	-re ".* 149 03a0 01746E3C" { set x [expr $x+1]; exp_continue; }
    406 	-re ".* 149      12343130" { set x [expr $x+1]; exp_continue; }
    407 	-re ".* 150 03a8 01746E3C" { set x [expr $x+1]; exp_continue; }
    408 	-re ".* 150      1234B130" { set x [expr $x+1]; exp_continue; }
    409 	-re ".* 151 03b0 01746E3C" { set x [expr $x+1]; exp_continue; }
    410 	-re ".* 151      12348130" { set x [expr $x+1]; exp_continue; }
    411 	-re ".* 152 03b8 01746E3C" { set x [expr $x+1]; exp_continue; }
    412 	-re ".* 152      1234A130" { set x [expr $x+1]; exp_continue; }
    413 	-re ".* 153 03c0 01746E3C" { set x [expr $x+1]; exp_continue; }
    414 	-re ".* 153      12349130" { set x [expr $x+1]; exp_continue; }
    415 	-re ".* 154 03c8 01746E3C" { set x [expr $x+1]; exp_continue; }
    416 	-re ".* 154      1234C130" { set x [expr $x+1]; exp_continue; }
    417 	-re ".* 154      9ABC" { set x [expr $x+1]; exp_continue; }
    418 	-re ".* 155 03d2 01746E3C" { set x [expr $x+1]; exp_continue; }
    419 	-re ".* 155      1234C930" { set x [expr $x+1]; exp_continue; }
    420 	-re ".* 155      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    421 	-re ".* 156 03de 01746E3C" { set x [expr $x+1]; exp_continue; }
    422 	-re ".* 156      1234D230" { set x [expr $x+1]; exp_continue; }
    423 	-re ".* 156      9ABC" { set x [expr $x+1]; exp_continue; }
    424 	-re ".* 157 03e8 01746E3C" { set x [expr $x+1]; exp_continue; }
    425 	-re ".* 157      1234E230" { set x [expr $x+1]; exp_continue; }
    426 	-re ".* 157      9ABC" { set x [expr $x+1]; exp_continue; }
    427 	-re ".* 158 03f2 01746E3C" { set x [expr $x+1]; exp_continue; }
    428 	-re ".* 158      1234F230" { set x [expr $x+1]; exp_continue; }
    429 	-re ".* 158      9ABC" { set x [expr $x+1]; exp_continue; }
    430 	-re ".* 159 03fc 01746E3C" { set x [expr $x+1]; exp_continue; }
    431 	-re ".* 159      1234DA30" { set x [expr $x+1]; exp_continue; }
    432 	-re ".* 159      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    433 	-re ".* 160 0408 01746E3C" { set x [expr $x+1]; exp_continue; }
    434 	-re ".* 160      1234EA30" { set x [expr $x+1]; exp_continue; }
    435 	-re ".* 160      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    436 	-re ".* 161 0414 01746E3C" { set x [expr $x+1]; exp_continue; }
    437 	-re ".* 161      1234FA30" { set x [expr $x+1]; exp_continue; }
    438 	-re ".* 161      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    439 	-re ".* 162 0420 01746E3C" { set x [expr $x+1]; exp_continue; }
    440 	-re ".* 162      12344030" { set x [expr $x+1]; exp_continue; }
    441 	-re ".* 162      9ABC" { set x [expr $x+1]; exp_continue; }
    442 	-re ".* 163 042a 01746E3C" { set x [expr $x+1]; exp_continue; }
    443 	-re ".* 163      12344830" { set x [expr $x+1]; exp_continue; }
    444 	-re ".* 163      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    445 	-re ".* 164              " {
    446 	    if [expr $x == 42] then {
    447 		pass "$testname: sub.b @(0x1234:16,er3), ..."
    448 	    } else {
    449 		fail "$testname: sub.b @(0x1234:16,er3), ... ($x)"
    450 	    }
    451 	}
    452         default	{ fail "$testname: sub.b @(0x1234:16,er3), ... ($x)" }
    453     }
    454 
    455     set x 0
    456     expect {
    457 	-re ".* 165 0436 78346A2C" { set x [expr $x+1]; exp_continue; }
    458 	-re ".* 165      12345678" { set x [expr $x+1]; exp_continue; }
    459 	-re ".* 165      0130" { set x [expr $x+1]; exp_continue; }
    460 	-re ".* 166 0440 78346A2C" { set x [expr $x+1]; exp_continue; }
    461 	-re ".* 166      12345678" { set x [expr $x+1]; exp_continue; }
    462 	-re ".* 166      3130" { set x [expr $x+1]; exp_continue; }
    463 	-re ".* 167 044a 78346A2C" { set x [expr $x+1]; exp_continue; }
    464 	-re ".* 167      12345678" { set x [expr $x+1]; exp_continue; }
    465 	-re ".* 167      B130" { set x [expr $x+1]; exp_continue; }
    466 	-re ".* 168 0454 78346A2C" { set x [expr $x+1]; exp_continue; }
    467 	-re ".* 168      12345678" { set x [expr $x+1]; exp_continue; }
    468 	-re ".* 168      8130" { set x [expr $x+1]; exp_continue; }
    469 	-re ".* 169 045e 78346A2C" { set x [expr $x+1]; exp_continue; }
    470 	-re ".* 169      12345678" { set x [expr $x+1]; exp_continue; }
    471 	-re ".* 169      A130" { set x [expr $x+1]; exp_continue; }
    472 	-re ".* 170 0468 78346A2C" { set x [expr $x+1]; exp_continue; }
    473 	-re ".* 170      12345678" { set x [expr $x+1]; exp_continue; }
    474 	-re ".* 170      9130" { set x [expr $x+1]; exp_continue; }
    475 	-re ".* 171 0472 78346A2C" { set x [expr $x+1]; exp_continue; }
    476 	-re ".* 171      12345678" { set x [expr $x+1]; exp_continue; }
    477 	-re ".* 171      C1309ABC" { set x [expr $x+1]; exp_continue; }
    478 	-re ".* 172 047e 78346A2C" { set x [expr $x+1]; exp_continue; }
    479 	-re ".* 172      12345678" { set x [expr $x+1]; exp_continue; }
    480 	-re ".* 172      C9309ABC" { set x [expr $x+1]; exp_continue; }
    481 	-re ".* 172      DEF0" { set x [expr $x+1]; exp_continue; }
    482 	-re ".* 173 048c 78346A2C" { set x [expr $x+1]; exp_continue; }
    483 	-re ".* 173      12345678" { set x [expr $x+1]; exp_continue; }
    484 	-re ".* 173      D2309ABC" { set x [expr $x+1]; exp_continue; }
    485 	-re ".* 174 0498 78346A2C" { set x [expr $x+1]; exp_continue; }
    486 	-re ".* 174      12345678" { set x [expr $x+1]; exp_continue; }
    487 	-re ".* 174      E2309ABC" { set x [expr $x+1]; exp_continue; }
    488 	-re ".* 175 04a4 78346A2C" { set x [expr $x+1]; exp_continue; }
    489 	-re ".* 175      12345678" { set x [expr $x+1]; exp_continue; }
    490 	-re ".* 175      F2309ABC" { set x [expr $x+1]; exp_continue; }
    491 	-re ".* 176 04b0 78346A2C" { set x [expr $x+1]; exp_continue; }
    492 	-re ".* 176      12345678" { set x [expr $x+1]; exp_continue; }
    493 	-re ".* 176      DA309ABC" { set x [expr $x+1]; exp_continue; }
    494 	-re ".* 176      DEF0" { set x [expr $x+1]; exp_continue; }
    495 	-re ".* 177 04be 78346A2C" { set x [expr $x+1]; exp_continue; }
    496 	-re ".* 177      12345678" { set x [expr $x+1]; exp_continue; }
    497 	-re ".* 177      EA309ABC" { set x [expr $x+1]; exp_continue; }
    498 	-re ".* 177      DEF0" { set x [expr $x+1]; exp_continue; }
    499 	-re ".* 178 04cc 78346A2C" { set x [expr $x+1]; exp_continue; }
    500 	-re ".* 178      12345678" { set x [expr $x+1]; exp_continue; }
    501 	-re ".* 178      FA309ABC" { set x [expr $x+1]; exp_continue; }
    502 	-re ".* 178      DEF0" { set x [expr $x+1]; exp_continue; }
    503 	-re ".* 179 04da 78346A2C" { set x [expr $x+1]; exp_continue; }
    504 	-re ".* 179      12345678" { set x [expr $x+1]; exp_continue; }
    505 	-re ".* 179      40309ABC" { set x [expr $x+1]; exp_continue; }
    506 	-re ".* 180 04e6 78346A2C" { set x [expr $x+1]; exp_continue; }
    507 	-re ".* 180      12345678" { set x [expr $x+1]; exp_continue; }
    508 	-re ".* 180      48309ABC" { set x [expr $x+1]; exp_continue; }
    509 	-re ".* 180      DEF0" { set x [expr $x+1]; exp_continue; }
    510 	-re ".* 181              " {
    511 	    if [expr $x == 53] then {
    512 		pass "$testname: sub.b @(0x12345678:32,er3), ..."
    513 	    } else {
    514 		fail "$testname: sub.b @(0x12345678:32,er3), ... ($x)"
    515 	    }
    516 	}
    517         default	{ fail "$testname: sub.b @(0x12345678:32,er3), ... ($x)" }
    518     }
    519 
    520     set x 0
    521     expect {
    522 	-re ".* 182 04f4 01756E3C" { set x [expr $x+1]; exp_continue; }
    523 	-re ".* 182      12340130" { set x [expr $x+1]; exp_continue; }
    524 	-re ".* 183 04fc 01756E3C" { set x [expr $x+1]; exp_continue; }
    525 	-re ".* 183      12343130" { set x [expr $x+1]; exp_continue; }
    526 	-re ".* 184 0504 01756E3C" { set x [expr $x+1]; exp_continue; }
    527 	-re ".* 184      1234B130" { set x [expr $x+1]; exp_continue; }
    528 	-re ".* 185 050c 01756E3C" { set x [expr $x+1]; exp_continue; }
    529 	-re ".* 185      12348130" { set x [expr $x+1]; exp_continue; }
    530 	-re ".* 186 0514 01756E3C" { set x [expr $x+1]; exp_continue; }
    531 	-re ".* 186      1234A130" { set x [expr $x+1]; exp_continue; }
    532 	-re ".* 187 051c 01756E3C" { set x [expr $x+1]; exp_continue; }
    533 	-re ".* 187      12349130" { set x [expr $x+1]; exp_continue; }
    534 	-re ".* 188 0524 01756E3C" { set x [expr $x+1]; exp_continue; }
    535 	-re ".* 188      1234C130" { set x [expr $x+1]; exp_continue; }
    536 	-re ".* 188      9ABC" { set x [expr $x+1]; exp_continue; }
    537 	-re ".* 189 052e 01756E3C" { set x [expr $x+1]; exp_continue; }
    538 	-re ".* 189      1234C930" { set x [expr $x+1]; exp_continue; }
    539 	-re ".* 189      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    540 	-re ".* 190 053a 01756E3C" { set x [expr $x+1]; exp_continue; }
    541 	-re ".* 190      1234D230" { set x [expr $x+1]; exp_continue; }
    542 	-re ".* 190      9ABC" { set x [expr $x+1]; exp_continue; }
    543 	-re ".* 191 0544 01756E3C" { set x [expr $x+1]; exp_continue; }
    544 	-re ".* 191      1234E230" { set x [expr $x+1]; exp_continue; }
    545 	-re ".* 191      9ABC" { set x [expr $x+1]; exp_continue; }
    546 	-re ".* 192 054e 01756E3C" { set x [expr $x+1]; exp_continue; }
    547 	-re ".* 192      1234F230" { set x [expr $x+1]; exp_continue; }
    548 	-re ".* 192      9ABC" { set x [expr $x+1]; exp_continue; }
    549 	-re ".* 193 0558 01756E3C" { set x [expr $x+1]; exp_continue; }
    550 	-re ".* 193      1234DA30" { set x [expr $x+1]; exp_continue; }
    551 	-re ".* 193      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    552 	-re ".* 194 0564 01756E3C" { set x [expr $x+1]; exp_continue; }
    553 	-re ".* 194      1234EA30" { set x [expr $x+1]; exp_continue; }
    554 	-re ".* 194      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    555 	-re ".* 195 0570 01756E3C" { set x [expr $x+1]; exp_continue; }
    556 	-re ".* 195      1234FA30" { set x [expr $x+1]; exp_continue; }
    557 	-re ".* 195      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    558 	-re ".* 196 057c 01756E3C" { set x [expr $x+1]; exp_continue; }
    559 	-re ".* 196      12344030" { set x [expr $x+1]; exp_continue; }
    560 	-re ".* 196      9ABC" { set x [expr $x+1]; exp_continue; }
    561 	-re ".* 197 0586 01756E3C" { set x [expr $x+1]; exp_continue; }
    562 	-re ".* 197      12344830" { set x [expr $x+1]; exp_continue; }
    563 	-re ".* 197      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    564 	-re ".* 198              " {
    565 	    if [expr $x == 42] then {
    566 		pass "$testname: sub.b @(0x1234:16,r3l.b), ..."
    567 	    } else {
    568 		fail "$testname: sub.b @(0x1234:16,r3l.b), ... ($x)"
    569 	    }
    570 	}
    571         default	{ fail "$testname: sub.b @(0x1234:16,r3l.b), ... ($x)" }
    572     }
    573 
    574     set x 0
    575     expect {
    576 	-re ".* 199 0592 01766E3C" { set x [expr $x+1]; exp_continue; }
    577 	-re ".* 199      12340130" { set x [expr $x+1]; exp_continue; }
    578 	-re ".* 200 059a 01766E3C" { set x [expr $x+1]; exp_continue; }
    579 	-re ".* 200      12343130" { set x [expr $x+1]; exp_continue; }
    580 	-re ".* 201 05a2 01766E3C" { set x [expr $x+1]; exp_continue; }
    581 	-re ".* 201      1234B130" { set x [expr $x+1]; exp_continue; }
    582 	-re ".* 202 05aa 01766E3C" { set x [expr $x+1]; exp_continue; }
    583 	-re ".* 202      12348130" { set x [expr $x+1]; exp_continue; }
    584 	-re ".* 203 05b2 01766E3C" { set x [expr $x+1]; exp_continue; }
    585 	-re ".* 203      1234A130" { set x [expr $x+1]; exp_continue; }
    586 	-re ".* 204 05ba 01766E3C" { set x [expr $x+1]; exp_continue; }
    587 	-re ".* 204      12349130" { set x [expr $x+1]; exp_continue; }
    588 	-re ".* 205 05c2 01766E3C" { set x [expr $x+1]; exp_continue; }
    589 	-re ".* 205      1234C130" { set x [expr $x+1]; exp_continue; }
    590 	-re ".* 205      9ABC" { set x [expr $x+1]; exp_continue; }
    591 	-re ".* 206 05cc 01766E3C" { set x [expr $x+1]; exp_continue; }
    592 	-re ".* 206      1234C930" { set x [expr $x+1]; exp_continue; }
    593 	-re ".* 206      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    594 	-re ".* 207 05d8 01766E3C" { set x [expr $x+1]; exp_continue; }
    595 	-re ".* 207      1234D230" { set x [expr $x+1]; exp_continue; }
    596 	-re ".* 207      9ABC" { set x [expr $x+1]; exp_continue; }
    597 	-re ".* 208 05e2 01766E3C" { set x [expr $x+1]; exp_continue; }
    598 	-re ".* 208      1234E230" { set x [expr $x+1]; exp_continue; }
    599 	-re ".* 208      9ABC" { set x [expr $x+1]; exp_continue; }
    600 	-re ".* 209 05ec 01766E3C" { set x [expr $x+1]; exp_continue; }
    601 	-re ".* 209      1234F230" { set x [expr $x+1]; exp_continue; }
    602 	-re ".* 209      9ABC" { set x [expr $x+1]; exp_continue; }
    603 	-re ".* 210 05f6 01766E3C" { set x [expr $x+1]; exp_continue; }
    604 	-re ".* 210      1234DA30" { set x [expr $x+1]; exp_continue; }
    605 	-re ".* 210      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    606 	-re ".* 211 0602 01766E3C" { set x [expr $x+1]; exp_continue; }
    607 	-re ".* 211      1234EA30" { set x [expr $x+1]; exp_continue; }
    608 	-re ".* 211      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    609 	-re ".* 212 060e 01766E3C" { set x [expr $x+1]; exp_continue; }
    610 	-re ".* 212      1234FA30" { set x [expr $x+1]; exp_continue; }
    611 	-re ".* 212      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    612 	-re ".* 213 061a 01766E3C" { set x [expr $x+1]; exp_continue; }
    613 	-re ".* 213      12344030" { set x [expr $x+1]; exp_continue; }
    614 	-re ".* 213      9ABC" { set x [expr $x+1]; exp_continue; }
    615 	-re ".* 214 0624 01766E3C" { set x [expr $x+1]; exp_continue; }
    616 	-re ".* 214      12344830" { set x [expr $x+1]; exp_continue; }
    617 	-re ".* 214      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    618 	-re ".* 215              " {
    619 	    if [expr $x == 42] then {
    620 		pass "$testname: sub.b @(0x1234:16,r3.w), ..."
    621 	    } else {
    622 		fail "$testname: sub.b @(0x1234:16,r3.w), ... ($x)"
    623 	    }
    624 	}
    625         default	{ fail "$testname: sub.b @(0x1234:16,r3.w), ... ($x)" }
    626     }
    627 
    628     set x 0
    629     expect {
    630 	-re ".* 216 0630 01776E3C" { set x [expr $x+1]; exp_continue; }
    631 	-re ".* 216      12340130" { set x [expr $x+1]; exp_continue; }
    632 	-re ".* 217 0638 01776E3C" { set x [expr $x+1]; exp_continue; }
    633 	-re ".* 217      12343130" { set x [expr $x+1]; exp_continue; }
    634 	-re ".* 218 0640 01776E3C" { set x [expr $x+1]; exp_continue; }
    635 	-re ".* 218      1234B130" { set x [expr $x+1]; exp_continue; }
    636 	-re ".* 219 0648 01776E3C" { set x [expr $x+1]; exp_continue; }
    637 	-re ".* 219      12348130" { set x [expr $x+1]; exp_continue; }
    638 	-re ".* 220 0650 01776E3C" { set x [expr $x+1]; exp_continue; }
    639 	-re ".* 220      1234A130" { set x [expr $x+1]; exp_continue; }
    640 	-re ".* 221 0658 01776E3C" { set x [expr $x+1]; exp_continue; }
    641 	-re ".* 221      12349130" { set x [expr $x+1]; exp_continue; }
    642 	-re ".* 222 0660 01776E3C" { set x [expr $x+1]; exp_continue; }
    643 	-re ".* 222      1234C130" { set x [expr $x+1]; exp_continue; }
    644 	-re ".* 222      9ABC" { set x [expr $x+1]; exp_continue; }
    645 	-re ".* 223 066a 01776E3C" { set x [expr $x+1]; exp_continue; }
    646 	-re ".* 223      1234C930" { set x [expr $x+1]; exp_continue; }
    647 	-re ".* 223      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    648 	-re ".* 224 0676 01776E3C" { set x [expr $x+1]; exp_continue; }
    649 	-re ".* 224      1234D230" { set x [expr $x+1]; exp_continue; }
    650 	-re ".* 224      9ABC" { set x [expr $x+1]; exp_continue; }
    651 	-re ".* 225 0680 01776E3C" { set x [expr $x+1]; exp_continue; }
    652 	-re ".* 225      1234E230" { set x [expr $x+1]; exp_continue; }
    653 	-re ".* 225      9ABC" { set x [expr $x+1]; exp_continue; }
    654 	-re ".* 226 068a 01776E3C" { set x [expr $x+1]; exp_continue; }
    655 	-re ".* 226      1234F230" { set x [expr $x+1]; exp_continue; }
    656 	-re ".* 226      9ABC" { set x [expr $x+1]; exp_continue; }
    657 	-re ".* 227 0694 01776E3C" { set x [expr $x+1]; exp_continue; }
    658 	-re ".* 227      1234DA30" { set x [expr $x+1]; exp_continue; }
    659 	-re ".* 227      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    660 	-re ".* 228 06a0 01776E3C" { set x [expr $x+1]; exp_continue; }
    661 	-re ".* 228      1234EA30" { set x [expr $x+1]; exp_continue; }
    662 	-re ".* 228      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    663 	-re ".* 229 06ac 01776E3C" { set x [expr $x+1]; exp_continue; }
    664 	-re ".* 229      1234FA30" { set x [expr $x+1]; exp_continue; }
    665 	-re ".* 229      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    666 	-re ".* 230 06b8 01776E3C" { set x [expr $x+1]; exp_continue; }
    667 	-re ".* 230      12344030" { set x [expr $x+1]; exp_continue; }
    668 	-re ".* 230      9ABC" { set x [expr $x+1]; exp_continue; }
    669 	-re ".* 231 06c2 01776E3C" { set x [expr $x+1]; exp_continue; }
    670 	-re ".* 231      12344830" { set x [expr $x+1]; exp_continue; }
    671 	-re ".* 231      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    672 	-re ".* 232              " {
    673 	    if [expr $x == 42] then {
    674 		pass "$testname: sub.b @(0x1234:16,er3.l), ..."
    675 	    } else {
    676 		fail "$testname: sub.b @(0x1234:16,er3.l), ... ($x)"
    677 	    }
    678 	}
    679         default	{ fail "$testname: sub.b @(0x1234:16,er3.l), ... ($x)" }
    680     }
    681 
    682     set x 0
    683     expect {
    684 	-re ".* 233 06ce 78356A2C" { set x [expr $x+1]; exp_continue; }
    685 	-re ".* 233      12345678" { set x [expr $x+1]; exp_continue; }
    686 	-re ".* 233      0130" { set x [expr $x+1]; exp_continue; }
    687 	-re ".* 234 06d8 78356A2C" { set x [expr $x+1]; exp_continue; }
    688 	-re ".* 234      12345678" { set x [expr $x+1]; exp_continue; }
    689 	-re ".* 234      3130" { set x [expr $x+1]; exp_continue; }
    690 	-re ".* 235 06e2 78356A2C" { set x [expr $x+1]; exp_continue; }
    691 	-re ".* 235      12345678" { set x [expr $x+1]; exp_continue; }
    692 	-re ".* 235      B130" { set x [expr $x+1]; exp_continue; }
    693 	-re ".* 236 06ec 78356A2C" { set x [expr $x+1]; exp_continue; }
    694 	-re ".* 236      12345678" { set x [expr $x+1]; exp_continue; }
    695 	-re ".* 236      8130" { set x [expr $x+1]; exp_continue; }
    696 	-re ".* 237 06f6 78356A2C" { set x [expr $x+1]; exp_continue; }
    697 	-re ".* 237      12345678" { set x [expr $x+1]; exp_continue; }
    698 	-re ".* 237      A130" { set x [expr $x+1]; exp_continue; }
    699 	-re ".* 238 0700 78356A2C" { set x [expr $x+1]; exp_continue; }
    700 	-re ".* 238      12345678" { set x [expr $x+1]; exp_continue; }
    701 	-re ".* 238      9130" { set x [expr $x+1]; exp_continue; }
    702 	-re ".* 239 070a 78356A2C" { set x [expr $x+1]; exp_continue; }
    703 	-re ".* 239      12345678" { set x [expr $x+1]; exp_continue; }
    704 	-re ".* 239      C1309ABC" { set x [expr $x+1]; exp_continue; }
    705 	-re ".* 240 0716 78356A2C" { set x [expr $x+1]; exp_continue; }
    706 	-re ".* 240      12345678" { set x [expr $x+1]; exp_continue; }
    707 	-re ".* 240      C9309ABC" { set x [expr $x+1]; exp_continue; }
    708 	-re ".* 240      DEF0" { set x [expr $x+1]; exp_continue; }
    709 	-re ".* 241 0724 78356A2C" { set x [expr $x+1]; exp_continue; }
    710 	-re ".* 241      12345678" { set x [expr $x+1]; exp_continue; }
    711 	-re ".* 241      D2309ABC" { set x [expr $x+1]; exp_continue; }
    712 	-re ".* 242 0730 78356A2C" { set x [expr $x+1]; exp_continue; }
    713 	-re ".* 242      12345678" { set x [expr $x+1]; exp_continue; }
    714 	-re ".* 242      E2309ABC" { set x [expr $x+1]; exp_continue; }
    715 	-re ".* 243 073c 78356A2C" { set x [expr $x+1]; exp_continue; }
    716 	-re ".* 243      12345678" { set x [expr $x+1]; exp_continue; }
    717 	-re ".* 243      F2309ABC" { set x [expr $x+1]; exp_continue; }
    718 	-re ".* 244 0748 78356A2C" { set x [expr $x+1]; exp_continue; }
    719 	-re ".* 244      12345678" { set x [expr $x+1]; exp_continue; }
    720 	-re ".* 244      DA309ABC" { set x [expr $x+1]; exp_continue; }
    721 	-re ".* 244      DEF0" { set x [expr $x+1]; exp_continue; }
    722 	-re ".* 245 0756 78356A2C" { set x [expr $x+1]; exp_continue; }
    723 	-re ".* 245      12345678" { set x [expr $x+1]; exp_continue; }
    724 	-re ".* 245      EA309ABC" { set x [expr $x+1]; exp_continue; }
    725 	-re ".* 245      DEF0" { set x [expr $x+1]; exp_continue; }
    726 	-re ".* 246 0764 78356A2C" { set x [expr $x+1]; exp_continue; }
    727 	-re ".* 246      12345678" { set x [expr $x+1]; exp_continue; }
    728 	-re ".* 246      FA309ABC" { set x [expr $x+1]; exp_continue; }
    729 	-re ".* 246      DEF0" { set x [expr $x+1]; exp_continue; }
    730 	-re ".* 247 0772 78356A2C" { set x [expr $x+1]; exp_continue; }
    731 	-re ".* 247      12345678" { set x [expr $x+1]; exp_continue; }
    732 	-re ".* 247      40309ABC" { set x [expr $x+1]; exp_continue; }
    733 	-re ".* 248 077e 78356A2C" { set x [expr $x+1]; exp_continue; }
    734 	-re ".* 248      12345678" { set x [expr $x+1]; exp_continue; }
    735 	-re ".* 248      48309ABC" { set x [expr $x+1]; exp_continue; }
    736 	-re ".* 248      DEF0" { set x [expr $x+1]; exp_continue; }
    737 	-re ".* 249              " {
    738 	    if [expr $x == 53] then {
    739 		pass "$testname: sub.b @(0x12345678:32,r3l.b), ..."
    740 	    } else {
    741 		fail "$testname: sub.b @(0x12345678:32,r3l.b), ... ($x)"
    742 	    }
    743 	}
    744         default	{ fail "$testname: sub.b @(0x12345678:32,r3l.b), ... ($x)" }
    745     }
    746 
    747     set x 0
    748     expect {
    749 	-re ".* 250 078c 78366A2C" { set x [expr $x+1]; exp_continue; }
    750 	-re ".* 250      12345678" { set x [expr $x+1]; exp_continue; }
    751 	-re ".* 250      0130" { set x [expr $x+1]; exp_continue; }
    752 	-re ".* 251 0796 78366A2C" { set x [expr $x+1]; exp_continue; }
    753 	-re ".* 251      12345678" { set x [expr $x+1]; exp_continue; }
    754 	-re ".* 251      3130" { set x [expr $x+1]; exp_continue; }
    755 	-re ".* 252 07a0 78366A2C" { set x [expr $x+1]; exp_continue; }
    756 	-re ".* 252      12345678" { set x [expr $x+1]; exp_continue; }
    757 	-re ".* 252      B130" { set x [expr $x+1]; exp_continue; }
    758 	-re ".* 253 07aa 78366A2C" { set x [expr $x+1]; exp_continue; }
    759 	-re ".* 253      12345678" { set x [expr $x+1]; exp_continue; }
    760 	-re ".* 253      8130" { set x [expr $x+1]; exp_continue; }
    761 	-re ".* 254 07b4 78366A2C" { set x [expr $x+1]; exp_continue; }
    762 	-re ".* 254      12345678" { set x [expr $x+1]; exp_continue; }
    763 	-re ".* 254      A130" { set x [expr $x+1]; exp_continue; }
    764 	-re ".* 255 07be 78366A2C" { set x [expr $x+1]; exp_continue; }
    765 	-re ".* 255      12345678" { set x [expr $x+1]; exp_continue; }
    766 	-re ".* 255      9130" { set x [expr $x+1]; exp_continue; }
    767 	-re ".* 256 07c8 78366A2C" { set x [expr $x+1]; exp_continue; }
    768 	-re ".* 256      12345678" { set x [expr $x+1]; exp_continue; }
    769 	-re ".* 256      C1309ABC" { set x [expr $x+1]; exp_continue; }
    770 	-re ".* 257 07d4 78366A2C" { set x [expr $x+1]; exp_continue; }
    771 	-re ".* 257      12345678" { set x [expr $x+1]; exp_continue; }
    772 	-re ".* 257      C9309ABC" { set x [expr $x+1]; exp_continue; }
    773 	-re ".* 257      DEF0" { set x [expr $x+1]; exp_continue; }
    774 	-re ".* 258 07e2 78366A2C" { set x [expr $x+1]; exp_continue; }
    775 	-re ".* 258      12345678" { set x [expr $x+1]; exp_continue; }
    776 	-re ".* 258      D2309ABC" { set x [expr $x+1]; exp_continue; }
    777 	-re ".* 259 07ee 78366A2C" { set x [expr $x+1]; exp_continue; }
    778 	-re ".* 259      12345678" { set x [expr $x+1]; exp_continue; }
    779 	-re ".* 259      E2309ABC" { set x [expr $x+1]; exp_continue; }
    780 	-re ".* 260 07fa 78366A2C" { set x [expr $x+1]; exp_continue; }
    781 	-re ".* 260      12345678" { set x [expr $x+1]; exp_continue; }
    782 	-re ".* 260      F2309ABC" { set x [expr $x+1]; exp_continue; }
    783 	-re ".* 261 0806 78366A2C" { set x [expr $x+1]; exp_continue; }
    784 	-re ".* 261      12345678" { set x [expr $x+1]; exp_continue; }
    785 	-re ".* 261      DA309ABC" { set x [expr $x+1]; exp_continue; }
    786 	-re ".* 261      DEF0" { set x [expr $x+1]; exp_continue; }
    787 	-re ".* 262 0814 78366A2C" { set x [expr $x+1]; exp_continue; }
    788 	-re ".* 262      12345678" { set x [expr $x+1]; exp_continue; }
    789 	-re ".* 262      EA309ABC" { set x [expr $x+1]; exp_continue; }
    790 	-re ".* 262      DEF0" { set x [expr $x+1]; exp_continue; }
    791 	-re ".* 263 0822 78366A2C" { set x [expr $x+1]; exp_continue; }
    792 	-re ".* 263      12345678" { set x [expr $x+1]; exp_continue; }
    793 	-re ".* 263      FA309ABC" { set x [expr $x+1]; exp_continue; }
    794 	-re ".* 263      DEF0" { set x [expr $x+1]; exp_continue; }
    795 	-re ".* 264 0830 78366A2C" { set x [expr $x+1]; exp_continue; }
    796 	-re ".* 264      12345678" { set x [expr $x+1]; exp_continue; }
    797 	-re ".* 264      40309ABC" { set x [expr $x+1]; exp_continue; }
    798 	-re ".* 265 083c 78366A2C" { set x [expr $x+1]; exp_continue; }
    799 	-re ".* 265      12345678" { set x [expr $x+1]; exp_continue; }
    800 	-re ".* 265      48309ABC" { set x [expr $x+1]; exp_continue; }
    801 	-re ".* 265      DEF0" { set x [expr $x+1]; exp_continue; }
    802 	-re ".* 266              " {
    803 	    if [expr $x == 53] then {
    804 		pass "$testname: sub.b @(0x12345678:32,r3.w), ..."
    805 	    } else {
    806 		fail "$testname: sub.b @(0x12345678:32,r3.w), ... ($x)"
    807 	    }
    808 	}
    809         default	{ fail "$testname: sub.b @(0x12345678:32,r3.w), ... ($x)" }
    810     }
    811 
    812     set x 0
    813     expect {
    814 	-re ".* 267 084a 78376A2C" { set x [expr $x+1]; exp_continue; }
    815 	-re ".* 267      12345678" { set x [expr $x+1]; exp_continue; }
    816 	-re ".* 267      0130" { set x [expr $x+1]; exp_continue; }
    817 	-re ".* 268 0854 78376A2C" { set x [expr $x+1]; exp_continue; }
    818 	-re ".* 268      12345678" { set x [expr $x+1]; exp_continue; }
    819 	-re ".* 268      3130" { set x [expr $x+1]; exp_continue; }
    820 	-re ".* 269 085e 78376A2C" { set x [expr $x+1]; exp_continue; }
    821 	-re ".* 269      12345678" { set x [expr $x+1]; exp_continue; }
    822 	-re ".* 269      B130" { set x [expr $x+1]; exp_continue; }
    823 	-re ".* 270 0868 78376A2C" { set x [expr $x+1]; exp_continue; }
    824 	-re ".* 270      12345678" { set x [expr $x+1]; exp_continue; }
    825 	-re ".* 270      8130" { set x [expr $x+1]; exp_continue; }
    826 	-re ".* 271 0872 78376A2C" { set x [expr $x+1]; exp_continue; }
    827 	-re ".* 271      12345678" { set x [expr $x+1]; exp_continue; }
    828 	-re ".* 271      A130" { set x [expr $x+1]; exp_continue; }
    829 	-re ".* 272 087c 78376A2C" { set x [expr $x+1]; exp_continue; }
    830 	-re ".* 272      12345678" { set x [expr $x+1]; exp_continue; }
    831 	-re ".* 272      9130" { set x [expr $x+1]; exp_continue; }
    832 	-re ".* 273 0886 78376A2C" { set x [expr $x+1]; exp_continue; }
    833 	-re ".* 273      12345678" { set x [expr $x+1]; exp_continue; }
    834 	-re ".* 273      C1309ABC" { set x [expr $x+1]; exp_continue; }
    835 	-re ".* 274 0892 78376A2C" { set x [expr $x+1]; exp_continue; }
    836 	-re ".* 274      12345678" { set x [expr $x+1]; exp_continue; }
    837 	-re ".* 274      C9309ABC" { set x [expr $x+1]; exp_continue; }
    838 	-re ".* 274      DEF0" { set x [expr $x+1]; exp_continue; }
    839 	-re ".* 275 08a0 78376A2C" { set x [expr $x+1]; exp_continue; }
    840 	-re ".* 275      12345678" { set x [expr $x+1]; exp_continue; }
    841 	-re ".* 275      D2309ABC" { set x [expr $x+1]; exp_continue; }
    842 	-re ".* 276 08ac 78376A2C" { set x [expr $x+1]; exp_continue; }
    843 	-re ".* 276      12345678" { set x [expr $x+1]; exp_continue; }
    844 	-re ".* 276      E2309ABC" { set x [expr $x+1]; exp_continue; }
    845 	-re ".* 277 08b8 78376A2C" { set x [expr $x+1]; exp_continue; }
    846 	-re ".* 277      12345678" { set x [expr $x+1]; exp_continue; }
    847 	-re ".* 277      F2309ABC" { set x [expr $x+1]; exp_continue; }
    848 	-re ".* 278 08c4 78376A2C" { set x [expr $x+1]; exp_continue; }
    849 	-re ".* 278      12345678" { set x [expr $x+1]; exp_continue; }
    850 	-re ".* 278      DA309ABC" { set x [expr $x+1]; exp_continue; }
    851 	-re ".* 278      DEF0" { set x [expr $x+1]; exp_continue; }
    852 	-re ".* 279 08d2 78376A2C" { set x [expr $x+1]; exp_continue; }
    853 	-re ".* 279      12345678" { set x [expr $x+1]; exp_continue; }
    854 	-re ".* 279      EA309ABC" { set x [expr $x+1]; exp_continue; }
    855 	-re ".* 279      DEF0" { set x [expr $x+1]; exp_continue; }
    856 	-re ".* 280 08e0 78376A2C" { set x [expr $x+1]; exp_continue; }
    857 	-re ".* 280      12345678" { set x [expr $x+1]; exp_continue; }
    858 	-re ".* 280      FA309ABC" { set x [expr $x+1]; exp_continue; }
    859 	-re ".* 280      DEF0" { set x [expr $x+1]; exp_continue; }
    860 	-re ".* 281 08ee 78376A2C" { set x [expr $x+1]; exp_continue; }
    861 	-re ".* 281      12345678" { set x [expr $x+1]; exp_continue; }
    862 	-re ".* 281      40309ABC" { set x [expr $x+1]; exp_continue; }
    863 	-re ".* 282 08fa 78376A2C" { set x [expr $x+1]; exp_continue; }
    864 	-re ".* 282      12345678" { set x [expr $x+1]; exp_continue; }
    865 	-re ".* 282      48309ABC" { set x [expr $x+1]; exp_continue; }
    866 	-re ".* 282      DEF0" { set x [expr $x+1]; exp_continue; }
    867 	-re ".* 283              " {
    868 	    if [expr $x == 53] then {
    869 		pass "$testname: sub.b @(0x12345678:32,er3.l), ..."
    870 	    } else {
    871 		fail "$testname: sub.b @(0x12345678:32,er3.l), ... ($x)"
    872 	    }
    873 	}
    874         default	{ fail "$testname: sub.b @(0x12345678:32,er3.l), ... ($x)" }
    875     }
    876 
    877     set x 0
    878     expect {
    879 	-re ".* 284 0908 6A151234" { set x [expr $x+1]; exp_continue; }
    880 	-re ".* 284      0130" { set x [expr $x+1]; exp_continue; }
    881 	-re ".* 285 090e 6A151234" { set x [expr $x+1]; exp_continue; }
    882 	-re ".* 285      3130" { set x [expr $x+1]; exp_continue; }
    883 	-re ".* 286 0914 6A151234" { set x [expr $x+1]; exp_continue; }
    884 	-re ".* 286      B130" { set x [expr $x+1]; exp_continue; }
    885 	-re ".* 287 091a 6A151234" { set x [expr $x+1]; exp_continue; }
    886 	-re ".* 287      8130" { set x [expr $x+1]; exp_continue; }
    887 	-re ".* 288 0920 6A151234" { set x [expr $x+1]; exp_continue; }
    888 	-re ".* 288      A130" { set x [expr $x+1]; exp_continue; }
    889 	-re ".* 289 0926 6A151234" { set x [expr $x+1]; exp_continue; }
    890 	-re ".* 289      9130" { set x [expr $x+1]; exp_continue; }
    891 	-re ".* 290 092c 6A151234" { set x [expr $x+1]; exp_continue; }
    892 	-re ".* 290      C1309ABC" { set x [expr $x+1]; exp_continue; }
    893 	-re ".* 291 0934 6A151234" { set x [expr $x+1]; exp_continue; }
    894 	-re ".* 291      C9309ABC" { set x [expr $x+1]; exp_continue; }
    895 	-re ".* 291      DEF0" { set x [expr $x+1]; exp_continue; }
    896 	-re ".* 292 093e 6A151234" { set x [expr $x+1]; exp_continue; }
    897 	-re ".* 292      D2309ABC" { set x [expr $x+1]; exp_continue; }
    898 	-re ".* 293 0946 6A151234" { set x [expr $x+1]; exp_continue; }
    899 	-re ".* 293      E2309ABC" { set x [expr $x+1]; exp_continue; }
    900 	-re ".* 294 094e 6A151234" { set x [expr $x+1]; exp_continue; }
    901 	-re ".* 294      F2309ABC" { set x [expr $x+1]; exp_continue; }
    902 	-re ".* 295 0956 6A151234" { set x [expr $x+1]; exp_continue; }
    903 	-re ".* 295      DA309ABC" { set x [expr $x+1]; exp_continue; }
    904 	-re ".* 295      DEF0" { set x [expr $x+1]; exp_continue; }
    905 	-re ".* 296 0960 6A151234" { set x [expr $x+1]; exp_continue; }
    906 	-re ".* 296      EA309ABC" { set x [expr $x+1]; exp_continue; }
    907 	-re ".* 296      DEF0" { set x [expr $x+1]; exp_continue; }
    908 	-re ".* 297 096a 6A151234" { set x [expr $x+1]; exp_continue; }
    909 	-re ".* 297      FA309ABC" { set x [expr $x+1]; exp_continue; }
    910 	-re ".* 297      DEF0" { set x [expr $x+1]; exp_continue; }
    911 	-re ".* 298 0974 6A151234" { set x [expr $x+1]; exp_continue; }
    912 	-re ".* 298      40309ABC" { set x [expr $x+1]; exp_continue; }
    913 	-re ".* 299 097c 6A151234" { set x [expr $x+1]; exp_continue; }
    914 	-re ".* 299      48309ABC" { set x [expr $x+1]; exp_continue; }
    915 	-re ".* 299      DEF0" { set x [expr $x+1]; exp_continue; }
    916 	-re ".* 300              " {
    917 	    if [expr $x == 37] then {
    918 		pass "$testname: sub.b @0x1234:16, ..."
    919 	    } else {
    920 		fail "$testname: sub.b @0x1234:16, ... ($x)"
    921 	    }
    922 	}
    923         default	{ fail "$testname: sub.b @0x1234:16, ... ($x)" }
    924     }
    925 
    926     set x 0
    927     expect {
    928 	-re ".* 301 0986 6A351234" { set x [expr $x+1]; exp_continue; }
    929 	-re ".* 301      56780130" { set x [expr $x+1]; exp_continue; }
    930 	-re ".* 302 098e 6A351234" { set x [expr $x+1]; exp_continue; }
    931 	-re ".* 302      56783130" { set x [expr $x+1]; exp_continue; }
    932 	-re ".* 303 0996 6A351234" { set x [expr $x+1]; exp_continue; }
    933 	-re ".* 303      5678B130" { set x [expr $x+1]; exp_continue; }
    934 	-re ".* 304 099e 6A351234" { set x [expr $x+1]; exp_continue; }
    935 	-re ".* 304      56788130" { set x [expr $x+1]; exp_continue; }
    936 	-re ".* 305 09a6 6A351234" { set x [expr $x+1]; exp_continue; }
    937 	-re ".* 305      5678A130" { set x [expr $x+1]; exp_continue; }
    938 	-re ".* 306 09ae 6A351234" { set x [expr $x+1]; exp_continue; }
    939 	-re ".* 306      56789130" { set x [expr $x+1]; exp_continue; }
    940 	-re ".* 307 09b6 6A351234" { set x [expr $x+1]; exp_continue; }
    941 	-re ".* 307      5678C130" { set x [expr $x+1]; exp_continue; }
    942 	-re ".* 307      9ABC" { set x [expr $x+1]; exp_continue; }
    943 	-re ".* 308 09c0 6A351234" { set x [expr $x+1]; exp_continue; }
    944 	-re ".* 308      5678C930" { set x [expr $x+1]; exp_continue; }
    945 	-re ".* 308      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    946 	-re ".* 309 09cc 6A351234" { set x [expr $x+1]; exp_continue; }
    947 	-re ".* 309      5678D230" { set x [expr $x+1]; exp_continue; }
    948 	-re ".* 309      9ABC" { set x [expr $x+1]; exp_continue; }
    949 	-re ".* 310 09d6 6A351234" { set x [expr $x+1]; exp_continue; }
    950 	-re ".* 310      5678E230" { set x [expr $x+1]; exp_continue; }
    951 	-re ".* 310      9ABC" { set x [expr $x+1]; exp_continue; }
    952 	-re ".* 311 09e0 6A351234" { set x [expr $x+1]; exp_continue; }
    953 	-re ".* 311      5678F230" { set x [expr $x+1]; exp_continue; }
    954 	-re ".* 311      9ABC" { set x [expr $x+1]; exp_continue; }
    955 	-re ".* 312 09ea 6A351234" { set x [expr $x+1]; exp_continue; }
    956 	-re ".* 312      5678DA30" { set x [expr $x+1]; exp_continue; }
    957 	-re ".* 312      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    958 	-re ".* 313 09f6 6A351234" { set x [expr $x+1]; exp_continue; }
    959 	-re ".* 313      5678EA30" { set x [expr $x+1]; exp_continue; }
    960 	-re ".* 313      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    961 	-re ".* 314 0a02 6A351234" { set x [expr $x+1]; exp_continue; }
    962 	-re ".* 314      5678FA30" { set x [expr $x+1]; exp_continue; }
    963 	-re ".* 314      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    964 	-re ".* 315 0a0e 6A351234" { set x [expr $x+1]; exp_continue; }
    965 	-re ".* 315      56784030" { set x [expr $x+1]; exp_continue; }
    966 	-re ".* 315      9ABC" { set x [expr $x+1]; exp_continue; }
    967 	-re ".* 316 0a18 6A351234" { set x [expr $x+1]; exp_continue; }
    968 	-re ".* 316      56784830" { set x [expr $x+1]; exp_continue; }
    969 	-re ".* 316      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
    970 	-re ".* 317              " {
    971 	    if [expr $x == 42] then {
    972 		pass "$testname: sub.b @0x12345678:32, ..."
    973 	    } else {
    974 		fail "$testname: sub.b @0x12345678:32, ... ($x)"
    975 	    }
    976 	}
    977         default	{ fail "$testname: sub.b @0x12345678:32, ... ($x)" }
    978     }
    979 
    980     set x 0
    981     expect {
    982 	-re ".* 318 0a24 79311234" { set x [expr $x+1]; exp_continue; }
    983 	-re ".* 319 0a28 1A72" { set x [expr $x+1]; exp_continue; }
    984 	-re ".* 320 0a2a 015E0130" { set x [expr $x+1]; exp_continue; }
    985 	-re ".* 320      1234" { set x [expr $x+1]; exp_continue; }
    986 	-re ".* 321 0a30 015E3130" { set x [expr $x+1]; exp_continue; }
    987 	-re ".* 321      1234" { set x [expr $x+1]; exp_continue; }
    988 	-re ".* 322 0a36 015E8130" { set x [expr $x+1]; exp_continue; }
    989 	-re ".* 322      1234" { set x [expr $x+1]; exp_continue; }
    990 	-re ".* 323 0a3c 015EB130" { set x [expr $x+1]; exp_continue; }
    991 	-re ".* 323      1234" { set x [expr $x+1]; exp_continue; }
    992 	-re ".* 324 0a42 015E9130" { set x [expr $x+1]; exp_continue; }
    993 	-re ".* 324      1234" { set x [expr $x+1]; exp_continue; }
    994 	-re ".* 325 0a48 015EA130" { set x [expr $x+1]; exp_continue; }
    995 	-re ".* 325      1234" { set x [expr $x+1]; exp_continue; }
    996 	-re ".* 326 0a4e 015EC130" { set x [expr $x+1]; exp_continue; }
    997 	-re ".* 326      9ABC1234" { set x [expr $x+1]; exp_continue; }
    998 	-re ".* 327 0a56 015EC930" { 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 015ED230" { set x [expr $x+1]; exp_continue; }
   1002 	-re ".* 328      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1003 	-re ".* 329 0a68 015EE230" { set x [expr $x+1]; exp_continue; }
   1004 	-re ".* 329      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1005 	-re ".* 330 0a70 015EF230" { set x [expr $x+1]; exp_continue; }
   1006 	-re ".* 330      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1007 	-re ".* 331 0a78 015EDA30" { 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 015EEA30" { 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 015EFA30" { 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 015E4030" { set x [expr $x+1]; exp_continue; }
   1017 	-re ".* 334      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1018 	-re ".* 335 0a9e 015E4830" { 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 == 39] then {
   1023 		pass "$testname: sub.w #0x1234:16, ..."
   1024 	    } else {
   1025 		fail "$testname: sub.w #0x1234:16, ... ($x)"
   1026 	    }
   1027 	}
   1028         default	{ fail "$testname: sub.w #0x1234:16, ... ($x)" }
   1029     }
   1030 
   1031     set x 0
   1032     expect {
   1033 	-re ".* 337 0aa8 7D901A70" { set x [expr $x+1]; exp_continue; }
   1034 	-re ".* 338 0aac 6B181234" { set x [expr $x+1]; exp_continue; }
   1035 	-re ".* 338      1A70" { set x [expr $x+1]; exp_continue; }
   1036 	-re ".* 339 0ab2 6B381234" { set x [expr $x+1]; exp_continue; }
   1037 	-re ".* 339      56781A70" { set x [expr $x+1]; exp_continue; }
   1038 	-re ".* 340              " {
   1039 	    if [expr $x == 5] then {
   1040 		pass "$testname: sub.w #0x7:3, ..."
   1041 	    } else {
   1042 		fail "$testname: sub.w #0x7:3, ... ($x)"
   1043 	    }
   1044 	}
   1045         default	{ fail "$testname: sub.w #0x7:3, ... ($x)" }
   1046     }
   1047 
   1048     set x 0
   1049     expect {
   1050 	-re ".* 341 0aba 1931" { set x [expr $x+1]; exp_continue; }
   1051 	-re ".* 342              " {
   1052 	    if [expr $x == 1] then {
   1053 		pass "$testname: sub.w r3, r1"
   1054 	    } else {
   1055 		fail "$testname: sub.w r3, r1 ($x)"
   1056 	    }
   1057 	}
   1058         default	{ fail "$testname: sub.w r3, r1 ($x)" }
   1059     }
   1060 
   1061     set x 0
   1062     expect {
   1063 	-re ".* 343 0abc 7D901930" { set x [expr $x+1]; exp_continue; }
   1064 	-re ".* 344 0ac0 01593133" { set x [expr $x+1]; exp_continue; }
   1065 	-re ".* 345 0ac4 01598133" { set x [expr $x+1]; exp_continue; }
   1066 	-re ".* 346 0ac8 0159B133" { set x [expr $x+1]; exp_continue; }
   1067 	-re ".* 347 0acc 01599133" { set x [expr $x+1]; exp_continue; }
   1068 	-re ".* 348 0ad0 0159A133" { set x [expr $x+1]; exp_continue; }
   1069 	-re ".* 349 0ad4 0159C133" { set x [expr $x+1]; exp_continue; }
   1070 	-re ".* 349      1234" { set x [expr $x+1]; exp_continue; }
   1071 	-re ".* 350 0ada 0159C933" { set x [expr $x+1]; exp_continue; }
   1072 	-re ".* 350      12345678" { set x [expr $x+1]; exp_continue; }
   1073 	-re ".* 351 0ae2 0159D233" { set x [expr $x+1]; exp_continue; }
   1074 	-re ".* 351      1234" { set x [expr $x+1]; exp_continue; }
   1075 	-re ".* 352 0ae8 0159E233" { set x [expr $x+1]; exp_continue; }
   1076 	-re ".* 352      1234" { set x [expr $x+1]; exp_continue; }
   1077 	-re ".* 353 0aee 0159F233" { set x [expr $x+1]; exp_continue; }
   1078 	-re ".* 353      1234" { set x [expr $x+1]; exp_continue; }
   1079 	-re ".* 354 0af4 0159DA33" { set x [expr $x+1]; exp_continue; }
   1080 	-re ".* 354      12345678" { set x [expr $x+1]; exp_continue; }
   1081 	-re ".* 355 0afc 0159EA33" { set x [expr $x+1]; exp_continue; }
   1082 	-re ".* 355      12345678" { set x [expr $x+1]; exp_continue; }
   1083 	-re ".* 356 0b04 0159FA33" { set x [expr $x+1]; exp_continue; }
   1084 	-re ".* 356      12345678" { set x [expr $x+1]; exp_continue; }
   1085 	-re ".* 357 0b0c 6B181234" { set x [expr $x+1]; exp_continue; }
   1086 	-re ".* 357      1930" { set x [expr $x+1]; exp_continue; }
   1087 	-re ".* 358 0b12 6B381234" { set x [expr $x+1]; exp_continue; }
   1088 	-re ".* 358      56781930" { set x [expr $x+1]; exp_continue; }
   1089 	-re ".* 359              " {
   1090 	    if [expr $x == 26] then {
   1091 		pass "$testname: sub.w r3, ..."
   1092 	    } else {
   1093 		fail "$testname: sub.w r3, ... ($x)"
   1094 	    }
   1095 	}
   1096         default	{ fail "$testname: sub.w r3, ... ($x)" }
   1097     }
   1098 
   1099     set x 0
   1100     expect {
   1101 	-re ".* 360 0b1a 7CB01901" { set x [expr $x+1]; exp_continue; }
   1102 	-re ".* 361 0b1e 015A3331" { set x [expr $x+1]; exp_continue; }
   1103 	-re ".* 362 0b22 015A8331" { set x [expr $x+1]; exp_continue; }
   1104 	-re ".* 363 0b26 015AB331" { set x [expr $x+1]; exp_continue; }
   1105 	-re ".* 364 0b2a 015A9331" { set x [expr $x+1]; exp_continue; }
   1106 	-re ".* 365 0b2e 015AA331" { set x [expr $x+1]; exp_continue; }
   1107 	-re ".* 366 0b32 015AC131" { set x [expr $x+1]; exp_continue; }
   1108 	-re ".* 366      1234" { set x [expr $x+1]; exp_continue; }
   1109 	-re ".* 367 0b38 015AC931" { set x [expr $x+1]; exp_continue; }
   1110 	-re ".* 367      12345678" { set x [expr $x+1]; exp_continue; }
   1111 	-re ".* 368 0b40 015AD231" { set x [expr $x+1]; exp_continue; }
   1112 	-re ".* 368      1234" { set x [expr $x+1]; exp_continue; }
   1113 	-re ".* 369 0b46 015AE231" { set x [expr $x+1]; exp_continue; }
   1114 	-re ".* 369      1234" { set x [expr $x+1]; exp_continue; }
   1115 	-re ".* 370 0b4c 015AF231" { set x [expr $x+1]; exp_continue; }
   1116 	-re ".* 370      1234" { set x [expr $x+1]; exp_continue; }
   1117 	-re ".* 371 0b52 015ADA31" { set x [expr $x+1]; exp_continue; }
   1118 	-re ".* 371      12345678" { set x [expr $x+1]; exp_continue; }
   1119 	-re ".* 372 0b5a 015AEA31" { set x [expr $x+1]; exp_continue; }
   1120 	-re ".* 372      12345678" { set x [expr $x+1]; exp_continue; }
   1121 	-re ".* 373 0b62 015AFA31" { set x [expr $x+1]; exp_continue; }
   1122 	-re ".* 373      12345678" { set x [expr $x+1]; exp_continue; }
   1123 	-re ".* 374 0b6a 6B101234" { set x [expr $x+1]; exp_continue; }
   1124 	-re ".* 374      1901" { set x [expr $x+1]; exp_continue; }
   1125 	-re ".* 375 0b70 6B301234" { set x [expr $x+1]; exp_continue; }
   1126 	-re ".* 375      56781901" { set x [expr $x+1]; exp_continue; }
   1127 	-re ".* 376              " {
   1128 	    if [expr $x == 26] then {
   1129 		pass "$testname: sub.w ..., r1"
   1130 	    } else {
   1131 		fail "$testname: sub.w ..., r1 ($x)"
   1132 	    }
   1133 	}
   1134         default	{ fail "$testname: sub.w ..., r1 ($x)" }
   1135     }
   1136 
   1137     set x 0
   1138     expect {
   1139 	-re ".* 377 0b78 7CB50130" { set x [expr $x+1]; exp_continue; }
   1140 	-re ".* 378 0b7c 7CB53130" { set x [expr $x+1]; exp_continue; }
   1141 	-re ".* 379 0b80 7CB5B130" { set x [expr $x+1]; exp_continue; }
   1142 	-re ".* 380 0b84 7CB58130" { set x [expr $x+1]; exp_continue; }
   1143 	-re ".* 381 0b88 7CB5A130" { set x [expr $x+1]; exp_continue; }
   1144 	-re ".* 382 0b8c 7CB59130" { set x [expr $x+1]; exp_continue; }
   1145 	-re ".* 383 0b90 7CB5C130" { set x [expr $x+1]; exp_continue; }
   1146 	-re ".* 383      9ABC" { set x [expr $x+1]; exp_continue; }
   1147 	-re ".* 384 0b96 7CB5C930" { set x [expr $x+1]; exp_continue; }
   1148 	-re ".* 384      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1149 	-re ".* 385 0b9e 7CB5D230" { set x [expr $x+1]; exp_continue; }
   1150 	-re ".* 385      9ABC" { set x [expr $x+1]; exp_continue; }
   1151 	-re ".* 386 0ba4 7CB5E230" { set x [expr $x+1]; exp_continue; }
   1152 	-re ".* 386      9ABC" { set x [expr $x+1]; exp_continue; }
   1153 	-re ".* 387 0baa 7CB5F230" { set x [expr $x+1]; exp_continue; }
   1154 	-re ".* 387      9ABC" { set x [expr $x+1]; exp_continue; }
   1155 	-re ".* 388 0bb0 7CB5DA30" { set x [expr $x+1]; exp_continue; }
   1156 	-re ".* 388      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1157 	-re ".* 389 0bb8 7CB5EA30" { set x [expr $x+1]; exp_continue; }
   1158 	-re ".* 389      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1159 	-re ".* 390 0bc0 7CB5FA30" { set x [expr $x+1]; exp_continue; }
   1160 	-re ".* 390      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1161 	-re ".* 391 0bc8 7CB54030" { set x [expr $x+1]; exp_continue; }
   1162 	-re ".* 391      9ABC" { set x [expr $x+1]; exp_continue; }
   1163 	-re ".* 392 0bce 7CB54830" { set x [expr $x+1]; exp_continue; }
   1164 	-re ".* 392      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1165 	-re ".* 393              " {
   1166 	    if [expr $x == 26] then {
   1167 		pass "$testname: sub.w @er3, ..."
   1168 	    } else {
   1169 		fail "$testname: sub.w @er3, ... ($x)"
   1170 	    }
   1171 	}
   1172         default	{ fail "$testname: sub.w @er3, ... ($x)" }
   1173     }
   1174 
   1175     set x 0
   1176     expect {
   1177 	-re ".* 394 0bd6 01576D3C" { set x [expr $x+1]; exp_continue; }
   1178 	-re ".* 394      0130" { set x [expr $x+1]; exp_continue; }
   1179 	-re ".* 395 0bdc 01576D3C" { set x [expr $x+1]; exp_continue; }
   1180 	-re ".* 395      3130" { set x [expr $x+1]; exp_continue; }
   1181 	-re ".* 396 0be2 01576D3C" { set x [expr $x+1]; exp_continue; }
   1182 	-re ".* 396      B130" { set x [expr $x+1]; exp_continue; }
   1183 	-re ".* 397 0be8 01576D3C" { set x [expr $x+1]; exp_continue; }
   1184 	-re ".* 397      8130" { set x [expr $x+1]; exp_continue; }
   1185 	-re ".* 398 0bee 01576D3C" { set x [expr $x+1]; exp_continue; }
   1186 	-re ".* 398      A130" { set x [expr $x+1]; exp_continue; }
   1187 	-re ".* 399 0bf4 01576D3C" { set x [expr $x+1]; exp_continue; }
   1188 	-re ".* 399      9130" { set x [expr $x+1]; exp_continue; }
   1189 	-re ".* 400 0bfa 01576D3C" { set x [expr $x+1]; exp_continue; }
   1190 	-re ".* 400      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1191 	-re ".* 401 0c02 01576D3C" { set x [expr $x+1]; exp_continue; }
   1192 	-re ".* 401      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1193 	-re ".* 401      DEF0" { set x [expr $x+1]; exp_continue; }
   1194 	-re ".* 402 0c0c 01576D3C" { set x [expr $x+1]; exp_continue; }
   1195 	-re ".* 402      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1196 	-re ".* 403 0c14 01576D3C" { set x [expr $x+1]; exp_continue; }
   1197 	-re ".* 403      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1198 	-re ".* 404 0c1c 01576D3C" { set x [expr $x+1]; exp_continue; }
   1199 	-re ".* 404      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1200 	-re ".* 405 0c24 01576D3C" { set x [expr $x+1]; exp_continue; }
   1201 	-re ".* 405      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1202 	-re ".* 405      DEF0" { set x [expr $x+1]; exp_continue; }
   1203 	-re ".* 406 0c2e 01576D3C" { set x [expr $x+1]; exp_continue; }
   1204 	-re ".* 406      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1205 	-re ".* 406      DEF0" { set x [expr $x+1]; exp_continue; }
   1206 	-re ".* 407 0c38 01576D3C" { set x [expr $x+1]; exp_continue; }
   1207 	-re ".* 407      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1208 	-re ".* 407      DEF0" { set x [expr $x+1]; exp_continue; }
   1209 	-re ".* 408 0c42 01576D3C" { set x [expr $x+1]; exp_continue; }
   1210 	-re ".* 408      40309ABC" { set x [expr $x+1]; exp_continue; }
   1211 	-re ".* 409 0c4a 01576D3C" { set x [expr $x+1]; exp_continue; }
   1212 	-re ".* 409      48309ABC" { set x [expr $x+1]; exp_continue; }
   1213 	-re ".* 409      DEF0" { set x [expr $x+1]; exp_continue; }
   1214 	-re ".* 410              " {
   1215 	    if [expr $x == 37] then {
   1216 		pass "$testname: sub.w @-er3, ..."
   1217 	    } else {
   1218 		fail "$testname: sub.w @-er3, ... ($x)"
   1219 	    }
   1220 	}
   1221         default	{ fail "$testname: sub.w @-er3, ... ($x)" }
   1222     }
   1223 
   1224     set x 0
   1225     expect {
   1226 	-re ".* 411 0c54 01546D3C" { set x [expr $x+1]; exp_continue; }
   1227 	-re ".* 411      0130" { set x [expr $x+1]; exp_continue; }
   1228 	-re ".* 412 0c5a 01546D3C" { set x [expr $x+1]; exp_continue; }
   1229 	-re ".* 412      3130" { set x [expr $x+1]; exp_continue; }
   1230 	-re ".* 413 0c60 01546D3C" { set x [expr $x+1]; exp_continue; }
   1231 	-re ".* 413      B130" { set x [expr $x+1]; exp_continue; }
   1232 	-re ".* 414 0c66 01546D3C" { set x [expr $x+1]; exp_continue; }
   1233 	-re ".* 414      8130" { set x [expr $x+1]; exp_continue; }
   1234 	-re ".* 415 0c6c 01546D3C" { set x [expr $x+1]; exp_continue; }
   1235 	-re ".* 415      A130" { set x [expr $x+1]; exp_continue; }
   1236 	-re ".* 416 0c72 01546D3C" { set x [expr $x+1]; exp_continue; }
   1237 	-re ".* 416      9130" { set x [expr $x+1]; exp_continue; }
   1238 	-re ".* 417 0c78 01546D3C" { set x [expr $x+1]; exp_continue; }
   1239 	-re ".* 417      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1240 	-re ".* 418 0c80 01546D3C" { set x [expr $x+1]; exp_continue; }
   1241 	-re ".* 418      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1242 	-re ".* 418      DEF0" { set x [expr $x+1]; exp_continue; }
   1243 	-re ".* 419 0c8a 01546D3C" { set x [expr $x+1]; exp_continue; }
   1244 	-re ".* 419      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1245 	-re ".* 420 0c92 01546D3C" { set x [expr $x+1]; exp_continue; }
   1246 	-re ".* 420      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1247 	-re ".* 421 0c9a 01546D3C" { set x [expr $x+1]; exp_continue; }
   1248 	-re ".* 421      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1249 	-re ".* 422 0ca2 01546D3C" { set x [expr $x+1]; exp_continue; }
   1250 	-re ".* 422      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1251 	-re ".* 422      DEF0" { set x [expr $x+1]; exp_continue; }
   1252 	-re ".* 423 0cac 01546D3C" { set x [expr $x+1]; exp_continue; }
   1253 	-re ".* 423      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1254 	-re ".* 423      DEF0" { set x [expr $x+1]; exp_continue; }
   1255 	-re ".* 424 0cb6 01546D3C" { set x [expr $x+1]; exp_continue; }
   1256 	-re ".* 424      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1257 	-re ".* 424      DEF0" { set x [expr $x+1]; exp_continue; }
   1258 	-re ".* 425 0cc0 01546D3C" { set x [expr $x+1]; exp_continue; }
   1259 	-re ".* 425      40309ABC" { set x [expr $x+1]; exp_continue; }
   1260 	-re ".* 426 0cc8 01546D3C" { set x [expr $x+1]; exp_continue; }
   1261 	-re ".* 426      48309ABC" { set x [expr $x+1]; exp_continue; }
   1262 	-re ".* 426      DEF0" { set x [expr $x+1]; exp_continue; }
   1263 	-re ".* 427              " {
   1264 	    if [expr $x == 37] then {
   1265 		pass "$testname: sub.w @er3+, ..."
   1266 	    } else {
   1267 		fail "$testname: sub.w @er3+, ... ($x)"
   1268 	    }
   1269 	}
   1270         default	{ fail "$testname: sub.w @er3+, ... ($x)" }
   1271     }
   1272 
   1273     set x 0
   1274     expect {
   1275 	-re ".* 428 0cd2 01566D3C" { set x [expr $x+1]; exp_continue; }
   1276 	-re ".* 428      0130" { set x [expr $x+1]; exp_continue; }
   1277 	-re ".* 429 0cd8 01566D3C" { set x [expr $x+1]; exp_continue; }
   1278 	-re ".* 429      3130" { set x [expr $x+1]; exp_continue; }
   1279 	-re ".* 430 0cde 01566D3C" { set x [expr $x+1]; exp_continue; }
   1280 	-re ".* 430      B130" { set x [expr $x+1]; exp_continue; }
   1281 	-re ".* 431 0ce4 01566D3C" { set x [expr $x+1]; exp_continue; }
   1282 	-re ".* 431      8130" { set x [expr $x+1]; exp_continue; }
   1283 	-re ".* 432 0cea 01566D3C" { set x [expr $x+1]; exp_continue; }
   1284 	-re ".* 432      A130" { set x [expr $x+1]; exp_continue; }
   1285 	-re ".* 433 0cf0 01566D3C" { set x [expr $x+1]; exp_continue; }
   1286 	-re ".* 433      9130" { set x [expr $x+1]; exp_continue; }
   1287 	-re ".* 434 0cf6 01566D3C" { set x [expr $x+1]; exp_continue; }
   1288 	-re ".* 434      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1289 	-re ".* 435 0cfe 01566D3C" { set x [expr $x+1]; exp_continue; }
   1290 	-re ".* 435      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1291 	-re ".* 435      DEF0" { set x [expr $x+1]; exp_continue; }
   1292 	-re ".* 436 0d08 01566D3C" { set x [expr $x+1]; exp_continue; }
   1293 	-re ".* 436      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1294 	-re ".* 437 0d10 01566D3C" { set x [expr $x+1]; exp_continue; }
   1295 	-re ".* 437      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1296 	-re ".* 438 0d18 01566D3C" { set x [expr $x+1]; exp_continue; }
   1297 	-re ".* 438      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1298 	-re ".* 439 0d20 01566D3C" { set x [expr $x+1]; exp_continue; }
   1299 	-re ".* 439      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1300 	-re ".* 439      DEF0" { set x [expr $x+1]; exp_continue; }
   1301 	-re ".* 440 0d2a 01566D3C" { set x [expr $x+1]; exp_continue; }
   1302 	-re ".* 440      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1303 	-re ".* 440      DEF0" { set x [expr $x+1]; exp_continue; }
   1304 	-re ".* 441 0d34 01566D3C" { set x [expr $x+1]; exp_continue; }
   1305 	-re ".* 441      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1306 	-re ".* 441      DEF0" { set x [expr $x+1]; exp_continue; }
   1307 	-re ".* 442 0d3e 01566D3C" { set x [expr $x+1]; exp_continue; }
   1308 	-re ".* 442      40309ABC" { set x [expr $x+1]; exp_continue; }
   1309 	-re ".* 443 0d46 01566D3C" { set x [expr $x+1]; exp_continue; }
   1310 	-re ".* 443      48309ABC" { set x [expr $x+1]; exp_continue; }
   1311 	-re ".* 443      DEF0" { set x [expr $x+1]; exp_continue; }
   1312 	-re ".* 444              " {
   1313 	    if [expr $x == 37] then {
   1314 		pass "$testname: sub.w @er3-, ..."
   1315 	    } else {
   1316 		fail "$testname: sub.w @er3-, ... ($x)"
   1317 	    }
   1318 	}
   1319         default	{ fail "$testname: sub.w @er3-, ... ($x)" }
   1320     }
   1321 
   1322     set x 0
   1323     expect {
   1324 	-re ".* 445 0d50 01556D3C" { set x [expr $x+1]; exp_continue; }
   1325 	-re ".* 445      0130" { set x [expr $x+1]; exp_continue; }
   1326 	-re ".* 446 0d56 01556D3C" { set x [expr $x+1]; exp_continue; }
   1327 	-re ".* 446      3130" { set x [expr $x+1]; exp_continue; }
   1328 	-re ".* 447 0d5c 01556D3C" { set x [expr $x+1]; exp_continue; }
   1329 	-re ".* 447      B130" { set x [expr $x+1]; exp_continue; }
   1330 	-re ".* 448 0d62 01556D3C" { set x [expr $x+1]; exp_continue; }
   1331 	-re ".* 448      8130" { set x [expr $x+1]; exp_continue; }
   1332 	-re ".* 449 0d68 01556D3C" { set x [expr $x+1]; exp_continue; }
   1333 	-re ".* 449      A130" { set x [expr $x+1]; exp_continue; }
   1334 	-re ".* 450 0d6e 01556D3C" { set x [expr $x+1]; exp_continue; }
   1335 	-re ".* 450      9130" { set x [expr $x+1]; exp_continue; }
   1336 	-re ".* 451 0d74 01556D3C" { set x [expr $x+1]; exp_continue; }
   1337 	-re ".* 451      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1338 	-re ".* 452 0d7c 01556D3C" { set x [expr $x+1]; exp_continue; }
   1339 	-re ".* 452      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1340 	-re ".* 452      DEF0" { set x [expr $x+1]; exp_continue; }
   1341 	-re ".* 453 0d86 01556D3C" { set x [expr $x+1]; exp_continue; }
   1342 	-re ".* 453      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1343 	-re ".* 454 0d8e 01556D3C" { set x [expr $x+1]; exp_continue; }
   1344 	-re ".* 454      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1345 	-re ".* 455 0d96 01556D3C" { set x [expr $x+1]; exp_continue; }
   1346 	-re ".* 455      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1347 	-re ".* 456 0d9e 01556D3C" { set x [expr $x+1]; exp_continue; }
   1348 	-re ".* 456      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1349 	-re ".* 456      DEF0" { set x [expr $x+1]; exp_continue; }
   1350 	-re ".* 457 0da8 01556D3C" { set x [expr $x+1]; exp_continue; }
   1351 	-re ".* 457      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1352 	-re ".* 457      DEF0" { set x [expr $x+1]; exp_continue; }
   1353 	-re ".* 458 0db2 01556D3C" { set x [expr $x+1]; exp_continue; }
   1354 	-re ".* 458      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1355 	-re ".* 458      DEF0" { set x [expr $x+1]; exp_continue; }
   1356 	-re ".* 459 0dbc 01556D3C" { set x [expr $x+1]; exp_continue; }
   1357 	-re ".* 459      40309ABC" { set x [expr $x+1]; exp_continue; }
   1358 	-re ".* 460 0dc4 01556D3C" { set x [expr $x+1]; exp_continue; }
   1359 	-re ".* 460      48309ABC" { set x [expr $x+1]; exp_continue; }
   1360 	-re ".* 460      DEF0" { set x [expr $x+1]; exp_continue; }
   1361 	-re ".* 461              " {
   1362 	    if [expr $x == 37] then {
   1363 		pass "$testname: sub.w @+er3, ..."
   1364 	    } else {
   1365 		fail "$testname: sub.w @+er3, ... ($x)"
   1366 	    }
   1367 	}
   1368         default	{ fail "$testname: sub.w @+er3, ... ($x)" }
   1369     }
   1370 
   1371     set x 0
   1372     expect {
   1373 	-re ".* 462 0dce 01546F3C" { set x [expr $x+1]; exp_continue; }
   1374 	-re ".* 462      12340130" { set x [expr $x+1]; exp_continue; }
   1375 	-re ".* 463 0dd6 01546F3C" { set x [expr $x+1]; exp_continue; }
   1376 	-re ".* 463      12343130" { set x [expr $x+1]; exp_continue; }
   1377 	-re ".* 464 0dde 01546F3C" { set x [expr $x+1]; exp_continue; }
   1378 	-re ".* 464      1234B130" { set x [expr $x+1]; exp_continue; }
   1379 	-re ".* 465 0de6 01546F3C" { set x [expr $x+1]; exp_continue; }
   1380 	-re ".* 465      12348130" { set x [expr $x+1]; exp_continue; }
   1381 	-re ".* 466 0dee 01546F3C" { set x [expr $x+1]; exp_continue; }
   1382 	-re ".* 466      1234A130" { set x [expr $x+1]; exp_continue; }
   1383 	-re ".* 467 0df6 01546F3C" { set x [expr $x+1]; exp_continue; }
   1384 	-re ".* 467      12349130" { set x [expr $x+1]; exp_continue; }
   1385 	-re ".* 468 0dfe 01546F3C" { set x [expr $x+1]; exp_continue; }
   1386 	-re ".* 468      1234C130" { set x [expr $x+1]; exp_continue; }
   1387 	-re ".* 468      9ABC" { set x [expr $x+1]; exp_continue; }
   1388 	-re ".* 469 0e08 01546F3C" { set x [expr $x+1]; exp_continue; }
   1389 	-re ".* 469      1234C930" { set x [expr $x+1]; exp_continue; }
   1390 	-re ".* 469      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1391 	-re ".* 470 0e14 01546F3C" { set x [expr $x+1]; exp_continue; }
   1392 	-re ".* 470      1234D230" { set x [expr $x+1]; exp_continue; }
   1393 	-re ".* 470      9ABC" { set x [expr $x+1]; exp_continue; }
   1394 	-re ".* 471 0e1e 01546F3C" { set x [expr $x+1]; exp_continue; }
   1395 	-re ".* 471      1234E230" { set x [expr $x+1]; exp_continue; }
   1396 	-re ".* 471      9ABC" { set x [expr $x+1]; exp_continue; }
   1397 	-re ".* 472 0e28 01546F3C" { set x [expr $x+1]; exp_continue; }
   1398 	-re ".* 472      1234F230" { set x [expr $x+1]; exp_continue; }
   1399 	-re ".* 472      9ABC" { set x [expr $x+1]; exp_continue; }
   1400 	-re ".* 473 0e32 01546F3C" { set x [expr $x+1]; exp_continue; }
   1401 	-re ".* 473      1234DA30" { set x [expr $x+1]; exp_continue; }
   1402 	-re ".* 473      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1403 	-re ".* 474 0e3e 01546F3C" { set x [expr $x+1]; exp_continue; }
   1404 	-re ".* 474      1234EA30" { set x [expr $x+1]; exp_continue; }
   1405 	-re ".* 474      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1406 	-re ".* 475 0e4a 01546F3C" { set x [expr $x+1]; exp_continue; }
   1407 	-re ".* 475      1234FA30" { set x [expr $x+1]; exp_continue; }
   1408 	-re ".* 475      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1409 	-re ".* 476 0e56 01546F3C" { set x [expr $x+1]; exp_continue; }
   1410 	-re ".* 476      12344030" { set x [expr $x+1]; exp_continue; }
   1411 	-re ".* 476      9ABC" { set x [expr $x+1]; exp_continue; }
   1412 	-re ".* 477 0e60 01546F3C" { set x [expr $x+1]; exp_continue; }
   1413 	-re ".* 477      12344830" { set x [expr $x+1]; exp_continue; }
   1414 	-re ".* 477      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1415 	-re ".* 478              " {
   1416 	    if [expr $x == 42] then {
   1417 		pass "$testname: sub.w @(0x1234:16,er3), ..."
   1418 	    } else {
   1419 		fail "$testname: sub.w @(0x1234:16,er3), ... ($x)"
   1420 	    }
   1421 	}
   1422         default	{ fail "$testname: sub.w @(0x1234:16,er3), ... ($x)" }
   1423     }
   1424 
   1425     set x 0
   1426     expect {
   1427 	-re ".* 479 0e6c 78346B2C" { set x [expr $x+1]; exp_continue; }
   1428 	-re ".* 479      12345678" { set x [expr $x+1]; exp_continue; }
   1429 	-re ".* 479      0130" { set x [expr $x+1]; exp_continue; }
   1430 	-re ".* 480 0e76 78346B2C" { set x [expr $x+1]; exp_continue; }
   1431 	-re ".* 480      12345678" { set x [expr $x+1]; exp_continue; }
   1432 	-re ".* 480      3130" { set x [expr $x+1]; exp_continue; }
   1433 	-re ".* 481 0e80 78346B2C" { set x [expr $x+1]; exp_continue; }
   1434 	-re ".* 481      12345678" { set x [expr $x+1]; exp_continue; }
   1435 	-re ".* 481      B130" { set x [expr $x+1]; exp_continue; }
   1436 	-re ".* 482 0e8a 78346B2C" { set x [expr $x+1]; exp_continue; }
   1437 	-re ".* 482      12345678" { set x [expr $x+1]; exp_continue; }
   1438 	-re ".* 482      8130" { set x [expr $x+1]; exp_continue; }
   1439 	-re ".* 483 0e94 78346B2C" { set x [expr $x+1]; exp_continue; }
   1440 	-re ".* 483      12345678" { set x [expr $x+1]; exp_continue; }
   1441 	-re ".* 483      A130" { set x [expr $x+1]; exp_continue; }
   1442 	-re ".* 484 0e9e 78346B2C" { set x [expr $x+1]; exp_continue; }
   1443 	-re ".* 484      12345678" { set x [expr $x+1]; exp_continue; }
   1444 	-re ".* 484      9130" { set x [expr $x+1]; exp_continue; }
   1445 	-re ".* 485 0ea8 78346B2C" { set x [expr $x+1]; exp_continue; }
   1446 	-re ".* 485      12345678" { set x [expr $x+1]; exp_continue; }
   1447 	-re ".* 485      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1448 	-re ".* 486 0eb4 78346B2C" { set x [expr $x+1]; exp_continue; }
   1449 	-re ".* 486      12345678" { set x [expr $x+1]; exp_continue; }
   1450 	-re ".* 486      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1451 	-re ".* 486      DEF0" { set x [expr $x+1]; exp_continue; }
   1452 	-re ".* 487 0ec2 78346B2C" { set x [expr $x+1]; exp_continue; }
   1453 	-re ".* 487      12345678" { set x [expr $x+1]; exp_continue; }
   1454 	-re ".* 487      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1455 	-re ".* 488 0ece 78346B2C" { set x [expr $x+1]; exp_continue; }
   1456 	-re ".* 488      12345678" { set x [expr $x+1]; exp_continue; }
   1457 	-re ".* 488      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1458 	-re ".* 489 0eda 78346B2C" { set x [expr $x+1]; exp_continue; }
   1459 	-re ".* 489      12345678" { set x [expr $x+1]; exp_continue; }
   1460 	-re ".* 489      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1461 	-re ".* 490 0ee6 78346B2C" { set x [expr $x+1]; exp_continue; }
   1462 	-re ".* 490      12345678" { set x [expr $x+1]; exp_continue; }
   1463 	-re ".* 490      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1464 	-re ".* 490      DEF0" { set x [expr $x+1]; exp_continue; }
   1465 	-re ".* 491 0ef4 78346B2C" { set x [expr $x+1]; exp_continue; }
   1466 	-re ".* 491      12345678" { set x [expr $x+1]; exp_continue; }
   1467 	-re ".* 491      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1468 	-re ".* 491      DEF0" { set x [expr $x+1]; exp_continue; }
   1469 	-re ".* 492 0f02 78346B2C" { set x [expr $x+1]; exp_continue; }
   1470 	-re ".* 492      12345678" { set x [expr $x+1]; exp_continue; }
   1471 	-re ".* 492      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1472 	-re ".* 492      DEF0" { set x [expr $x+1]; exp_continue; }
   1473 	-re ".* 493 0f10 78346B2C" { set x [expr $x+1]; exp_continue; }
   1474 	-re ".* 493      12345678" { set x [expr $x+1]; exp_continue; }
   1475 	-re ".* 493      40309ABC" { set x [expr $x+1]; exp_continue; }
   1476 	-re ".* 494 0f1c 78346B2C" { set x [expr $x+1]; exp_continue; }
   1477 	-re ".* 494      12345678" { set x [expr $x+1]; exp_continue; }
   1478 	-re ".* 494      48309ABC" { set x [expr $x+1]; exp_continue; }
   1479 	-re ".* 494      DEF0" { set x [expr $x+1]; exp_continue; }
   1480 	-re ".* 495              " {
   1481 	    if [expr $x == 53] then {
   1482 		pass "$testname: sub.w @(0x12345678:32,er3), ..."
   1483 	    } else {
   1484 		fail "$testname: sub.w @(0x12345678:32,er3), ... ($x)"
   1485 	    }
   1486 	}
   1487         default	{ fail "$testname: sub.w @(0x12345678:32,er3), ... ($x)" }
   1488     }
   1489 
   1490     set x 0
   1491     expect {
   1492 	-re ".* 496 0f2a 01556F3C" { set x [expr $x+1]; exp_continue; }
   1493 	-re ".* 496      12340130" { set x [expr $x+1]; exp_continue; }
   1494 	-re ".* 497 0f32 01556F3C" { set x [expr $x+1]; exp_continue; }
   1495 	-re ".* 497      12343130" { set x [expr $x+1]; exp_continue; }
   1496 	-re ".* 498 0f3a 01556F3C" { set x [expr $x+1]; exp_continue; }
   1497 	-re ".* 498      1234B130" { set x [expr $x+1]; exp_continue; }
   1498 	-re ".* 499 0f42 01556F3C" { set x [expr $x+1]; exp_continue; }
   1499 	-re ".* 499      12348130" { set x [expr $x+1]; exp_continue; }
   1500 	-re ".* 500 0f4a 01556F3C" { set x [expr $x+1]; exp_continue; }
   1501 	-re ".* 500      1234A130" { set x [expr $x+1]; exp_continue; }
   1502 	-re ".* 501 0f52 01556F3C" { set x [expr $x+1]; exp_continue; }
   1503 	-re ".* 501      12349130" { set x [expr $x+1]; exp_continue; }
   1504 	-re ".* 502 0f5a 01556F3C" { set x [expr $x+1]; exp_continue; }
   1505 	-re ".* 502      1234C130" { set x [expr $x+1]; exp_continue; }
   1506 	-re ".* 502      9ABC" { set x [expr $x+1]; exp_continue; }
   1507 	-re ".* 503 0f64 01556F3C" { set x [expr $x+1]; exp_continue; }
   1508 	-re ".* 503      1234C930" { set x [expr $x+1]; exp_continue; }
   1509 	-re ".* 503      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1510 	-re ".* 504 0f70 01556F3C" { set x [expr $x+1]; exp_continue; }
   1511 	-re ".* 504      1234D230" { set x [expr $x+1]; exp_continue; }
   1512 	-re ".* 504      9ABC" { set x [expr $x+1]; exp_continue; }
   1513 	-re ".* 505 0f7a 01556F3C" { set x [expr $x+1]; exp_continue; }
   1514 	-re ".* 505      1234E230" { set x [expr $x+1]; exp_continue; }
   1515 	-re ".* 505      9ABC" { set x [expr $x+1]; exp_continue; }
   1516 	-re ".* 506 0f84 01556F3C" { set x [expr $x+1]; exp_continue; }
   1517 	-re ".* 506      1234F230" { set x [expr $x+1]; exp_continue; }
   1518 	-re ".* 506      9ABC" { set x [expr $x+1]; exp_continue; }
   1519 	-re ".* 507 0f8e 01556F3C" { set x [expr $x+1]; exp_continue; }
   1520 	-re ".* 507      1234DA30" { set x [expr $x+1]; exp_continue; }
   1521 	-re ".* 507      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1522 	-re ".* 508 0f9a 01556F3C" { set x [expr $x+1]; exp_continue; }
   1523 	-re ".* 508      1234EA30" { set x [expr $x+1]; exp_continue; }
   1524 	-re ".* 508      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1525 	-re ".* 509 0fa6 01556F3C" { set x [expr $x+1]; exp_continue; }
   1526 	-re ".* 509      1234FA30" { set x [expr $x+1]; exp_continue; }
   1527 	-re ".* 509      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1528 	-re ".* 510 0fb2 01556F3C" { set x [expr $x+1]; exp_continue; }
   1529 	-re ".* 510      12344030" { set x [expr $x+1]; exp_continue; }
   1530 	-re ".* 510      9ABC" { set x [expr $x+1]; exp_continue; }
   1531 	-re ".* 511 0fbc 01556F3C" { set x [expr $x+1]; exp_continue; }
   1532 	-re ".* 511      12344830" { set x [expr $x+1]; exp_continue; }
   1533 	-re ".* 511      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1534 	-re ".* 512              " {
   1535 	    if [expr $x == 42] then {
   1536 		pass "$testname: sub.w @(0x1234:16,r3l.b), ..."
   1537 	    } else {
   1538 		fail "$testname: sub.w @(0x1234:16,r3l.b), ... ($x)"
   1539 	    }
   1540 	}
   1541         default	{ fail "$testname: sub.w @(0x1234:16,r3l.b), ... ($x)" }
   1542     }
   1543 
   1544     set x 0
   1545     expect {
   1546 	-re ".* 513 0fc8 01566F3C" { set x [expr $x+1]; exp_continue; }
   1547 	-re ".* 513      12340130" { set x [expr $x+1]; exp_continue; }
   1548 	-re ".* 514 0fd0 01566F3C" { set x [expr $x+1]; exp_continue; }
   1549 	-re ".* 514      12343130" { set x [expr $x+1]; exp_continue; }
   1550 	-re ".* 515 0fd8 01566F3C" { set x [expr $x+1]; exp_continue; }
   1551 	-re ".* 515      1234B130" { set x [expr $x+1]; exp_continue; }
   1552 	-re ".* 516 0fe0 01566F3C" { set x [expr $x+1]; exp_continue; }
   1553 	-re ".* 516      12348130" { set x [expr $x+1]; exp_continue; }
   1554 	-re ".* 517 0fe8 01566F3C" { set x [expr $x+1]; exp_continue; }
   1555 	-re ".* 517      1234A130" { set x [expr $x+1]; exp_continue; }
   1556 	-re ".* 518 0ff0 01566F3C" { set x [expr $x+1]; exp_continue; }
   1557 	-re ".* 518      12349130" { set x [expr $x+1]; exp_continue; }
   1558 	-re ".* 519 0ff8 01566F3C" { set x [expr $x+1]; exp_continue; }
   1559 	-re ".* 519      1234C130" { set x [expr $x+1]; exp_continue; }
   1560 	-re ".* 519      9ABC" { set x [expr $x+1]; exp_continue; }
   1561 	-re ".* 520 1002 01566F3C" { set x [expr $x+1]; exp_continue; }
   1562 	-re ".* 520      1234C930" { set x [expr $x+1]; exp_continue; }
   1563 	-re ".* 520      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1564 	-re ".* 521 100e 01566F3C" { set x [expr $x+1]; exp_continue; }
   1565 	-re ".* 521      1234D230" { set x [expr $x+1]; exp_continue; }
   1566 	-re ".* 521      9ABC" { set x [expr $x+1]; exp_continue; }
   1567 	-re ".* 522 1018 01566F3C" { set x [expr $x+1]; exp_continue; }
   1568 	-re ".* 522      1234E230" { set x [expr $x+1]; exp_continue; }
   1569 	-re ".* 522      9ABC" { set x [expr $x+1]; exp_continue; }
   1570 	-re ".* 523 1022 01566F3C" { set x [expr $x+1]; exp_continue; }
   1571 	-re ".* 523      1234F230" { set x [expr $x+1]; exp_continue; }
   1572 	-re ".* 523      9ABC" { set x [expr $x+1]; exp_continue; }
   1573 	-re ".* 524 102c 01566F3C" { set x [expr $x+1]; exp_continue; }
   1574 	-re ".* 524      1234DA30" { set x [expr $x+1]; exp_continue; }
   1575 	-re ".* 524      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1576 	-re ".* 525 1038 01566F3C" { set x [expr $x+1]; exp_continue; }
   1577 	-re ".* 525      1234EA30" { set x [expr $x+1]; exp_continue; }
   1578 	-re ".* 525      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1579 	-re ".* 526 1044 01566F3C" { set x [expr $x+1]; exp_continue; }
   1580 	-re ".* 526      1234FA30" { set x [expr $x+1]; exp_continue; }
   1581 	-re ".* 526      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1582 	-re ".* 527 1050 01566F3C" { set x [expr $x+1]; exp_continue; }
   1583 	-re ".* 527      12344030" { set x [expr $x+1]; exp_continue; }
   1584 	-re ".* 527      9ABC" { set x [expr $x+1]; exp_continue; }
   1585 	-re ".* 528 105a 01566F3C" { set x [expr $x+1]; exp_continue; }
   1586 	-re ".* 528      12344830" { set x [expr $x+1]; exp_continue; }
   1587 	-re ".* 528      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1588 	-re ".* 529              " {
   1589 	    if [expr $x == 42] then {
   1590 		pass "$testname: sub.w @(0x1234:16,r3.w), ..."
   1591 	    } else {
   1592 		fail "$testname: sub.w @(0x1234:16,r3.w), ... ($x)"
   1593 	    }
   1594 	}
   1595         default	{ fail "$testname: sub.w @(0x1234:16,r3.w), ... ($x)" }
   1596     }
   1597 
   1598     set x 0
   1599     expect {
   1600 	-re ".* 530 1066 01576F3C" { set x [expr $x+1]; exp_continue; }
   1601 	-re ".* 530      12340130" { set x [expr $x+1]; exp_continue; }
   1602 	-re ".* 531 106e 01576F3C" { set x [expr $x+1]; exp_continue; }
   1603 	-re ".* 531      12343130" { set x [expr $x+1]; exp_continue; }
   1604 	-re ".* 532 1076 01576F3C" { set x [expr $x+1]; exp_continue; }
   1605 	-re ".* 532      1234B130" { set x [expr $x+1]; exp_continue; }
   1606 	-re ".* 533 107e 01576F3C" { set x [expr $x+1]; exp_continue; }
   1607 	-re ".* 533      12348130" { set x [expr $x+1]; exp_continue; }
   1608 	-re ".* 534 1086 01576F3C" { set x [expr $x+1]; exp_continue; }
   1609 	-re ".* 534      1234A130" { set x [expr $x+1]; exp_continue; }
   1610 	-re ".* 535 108e 01576F3C" { set x [expr $x+1]; exp_continue; }
   1611 	-re ".* 535      12349130" { set x [expr $x+1]; exp_continue; }
   1612 	-re ".* 536 1096 01576F3C" { set x [expr $x+1]; exp_continue; }
   1613 	-re ".* 536      1234C130" { set x [expr $x+1]; exp_continue; }
   1614 	-re ".* 536      9ABC" { set x [expr $x+1]; exp_continue; }
   1615 	-re ".* 537 10a0 01576F3C" { set x [expr $x+1]; exp_continue; }
   1616 	-re ".* 537      1234C930" { set x [expr $x+1]; exp_continue; }
   1617 	-re ".* 537      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1618 	-re ".* 538 10ac 01576F3C" { set x [expr $x+1]; exp_continue; }
   1619 	-re ".* 538      1234D230" { set x [expr $x+1]; exp_continue; }
   1620 	-re ".* 538      9ABC" { set x [expr $x+1]; exp_continue; }
   1621 	-re ".* 539 10b6 01576F3C" { set x [expr $x+1]; exp_continue; }
   1622 	-re ".* 539      1234E230" { set x [expr $x+1]; exp_continue; }
   1623 	-re ".* 539      9ABC" { set x [expr $x+1]; exp_continue; }
   1624 	-re ".* 540 10c0 01576F3C" { set x [expr $x+1]; exp_continue; }
   1625 	-re ".* 540      1234F230" { set x [expr $x+1]; exp_continue; }
   1626 	-re ".* 540      9ABC" { set x [expr $x+1]; exp_continue; }
   1627 	-re ".* 541 10ca 01576F3C" { set x [expr $x+1]; exp_continue; }
   1628 	-re ".* 541      1234DA30" { set x [expr $x+1]; exp_continue; }
   1629 	-re ".* 541      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1630 	-re ".* 542 10d6 01576F3C" { set x [expr $x+1]; exp_continue; }
   1631 	-re ".* 542      1234EA30" { set x [expr $x+1]; exp_continue; }
   1632 	-re ".* 542      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1633 	-re ".* 543 10e2 01576F3C" { set x [expr $x+1]; exp_continue; }
   1634 	-re ".* 543      1234FA30" { set x [expr $x+1]; exp_continue; }
   1635 	-re ".* 543      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1636 	-re ".* 544 10ee 01576F3C" { set x [expr $x+1]; exp_continue; }
   1637 	-re ".* 544      12344030" { set x [expr $x+1]; exp_continue; }
   1638 	-re ".* 544      9ABC" { set x [expr $x+1]; exp_continue; }
   1639 	-re ".* 545 10f8 01576F3C" { set x [expr $x+1]; exp_continue; }
   1640 	-re ".* 545      12344830" { set x [expr $x+1]; exp_continue; }
   1641 	-re ".* 545      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1642 	-re ".* 546              " {
   1643 	    if [expr $x == 42] then {
   1644 		pass "$testname: sub.w @(0x1234:16,er3.l), ..."
   1645 	    } else {
   1646 		fail "$testname: sub.w @(0x1234:16,er3.l), ... ($x)"
   1647 	    }
   1648 	}
   1649         default	{ fail "$testname: sub.w @(0x1234:16,er3.l), ... ($x)" }
   1650     }
   1651 
   1652     set x 0
   1653     expect {
   1654 	-re ".* 547 1104 78356B2C" { set x [expr $x+1]; exp_continue; }
   1655 	-re ".* 547      12345678" { set x [expr $x+1]; exp_continue; }
   1656 	-re ".* 547      0130" { set x [expr $x+1]; exp_continue; }
   1657 	-re ".* 548 110e 78356B2C" { set x [expr $x+1]; exp_continue; }
   1658 	-re ".* 548      12345678" { set x [expr $x+1]; exp_continue; }
   1659 	-re ".* 548      3130" { set x [expr $x+1]; exp_continue; }
   1660 	-re ".* 549 1118 78356B2C" { set x [expr $x+1]; exp_continue; }
   1661 	-re ".* 549      12345678" { set x [expr $x+1]; exp_continue; }
   1662 	-re ".* 549      B130" { set x [expr $x+1]; exp_continue; }
   1663 	-re ".* 550 1122 78356B2C" { set x [expr $x+1]; exp_continue; }
   1664 	-re ".* 550      12345678" { set x [expr $x+1]; exp_continue; }
   1665 	-re ".* 550      8130" { set x [expr $x+1]; exp_continue; }
   1666 	-re ".* 551 112c 78356B2C" { set x [expr $x+1]; exp_continue; }
   1667 	-re ".* 551      12345678" { set x [expr $x+1]; exp_continue; }
   1668 	-re ".* 551      A130" { set x [expr $x+1]; exp_continue; }
   1669 	-re ".* 552 1136 78356B2C" { set x [expr $x+1]; exp_continue; }
   1670 	-re ".* 552      12345678" { set x [expr $x+1]; exp_continue; }
   1671 	-re ".* 552      9130" { set x [expr $x+1]; exp_continue; }
   1672 	-re ".* 553 1140 78356B2C" { set x [expr $x+1]; exp_continue; }
   1673 	-re ".* 553      12345678" { set x [expr $x+1]; exp_continue; }
   1674 	-re ".* 553      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1675 	-re ".* 554 114c 78356B2C" { set x [expr $x+1]; exp_continue; }
   1676 	-re ".* 554      12345678" { set x [expr $x+1]; exp_continue; }
   1677 	-re ".* 554      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1678 	-re ".* 554      DEF0" { set x [expr $x+1]; exp_continue; }
   1679 	-re ".* 555 115a 78356B2C" { set x [expr $x+1]; exp_continue; }
   1680 	-re ".* 555      12345678" { set x [expr $x+1]; exp_continue; }
   1681 	-re ".* 555      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1682 	-re ".* 556 1166 78356B2C" { set x [expr $x+1]; exp_continue; }
   1683 	-re ".* 556      12345678" { set x [expr $x+1]; exp_continue; }
   1684 	-re ".* 556      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1685 	-re ".* 557 1172 78356B2C" { set x [expr $x+1]; exp_continue; }
   1686 	-re ".* 557      12345678" { set x [expr $x+1]; exp_continue; }
   1687 	-re ".* 557      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1688 	-re ".* 558 117e 78356B2C" { set x [expr $x+1]; exp_continue; }
   1689 	-re ".* 558      12345678" { set x [expr $x+1]; exp_continue; }
   1690 	-re ".* 558      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1691 	-re ".* 558      DEF0" { set x [expr $x+1]; exp_continue; }
   1692 	-re ".* 559 118c 78356B2C" { set x [expr $x+1]; exp_continue; }
   1693 	-re ".* 559      12345678" { set x [expr $x+1]; exp_continue; }
   1694 	-re ".* 559      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1695 	-re ".* 559      DEF0" { set x [expr $x+1]; exp_continue; }
   1696 	-re ".* 560 119a 78356B2C" { set x [expr $x+1]; exp_continue; }
   1697 	-re ".* 560      12345678" { set x [expr $x+1]; exp_continue; }
   1698 	-re ".* 560      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1699 	-re ".* 560      DEF0" { set x [expr $x+1]; exp_continue; }
   1700 	-re ".* 561 11a8 78356B2C" { set x [expr $x+1]; exp_continue; }
   1701 	-re ".* 561      12345678" { set x [expr $x+1]; exp_continue; }
   1702 	-re ".* 561      40309ABC" { set x [expr $x+1]; exp_continue; }
   1703 	-re ".* 562 11b4 78356B2C" { set x [expr $x+1]; exp_continue; }
   1704 	-re ".* 562      12345678" { set x [expr $x+1]; exp_continue; }
   1705 	-re ".* 562      48309ABC" { set x [expr $x+1]; exp_continue; }
   1706 	-re ".* 562      DEF0" { set x [expr $x+1]; exp_continue; }
   1707 	-re ".* 563              " {
   1708 	    if [expr $x == 53] then {
   1709 		pass "$testname: sub.w @(0x12345678:32,r3l.b), ..."
   1710 	    } else {
   1711 		fail "$testname: sub.w @(0x12345678:32,r3l.b), ... ($x)"
   1712 	    }
   1713 	}
   1714         default	{ fail "$testname: sub.w @(0x12345678:32,r3l.b), ... ($x)" }
   1715     }
   1716 
   1717     set x 0
   1718     expect {
   1719 	-re ".* 564 11c2 78366B2C" { set x [expr $x+1]; exp_continue; }
   1720 	-re ".* 564      12345678" { set x [expr $x+1]; exp_continue; }
   1721 	-re ".* 564      0130" { set x [expr $x+1]; exp_continue; }
   1722 	-re ".* 565 11cc 78366B2C" { set x [expr $x+1]; exp_continue; }
   1723 	-re ".* 565      12345678" { set x [expr $x+1]; exp_continue; }
   1724 	-re ".* 565      3130" { set x [expr $x+1]; exp_continue; }
   1725 	-re ".* 566 11d6 78366B2C" { set x [expr $x+1]; exp_continue; }
   1726 	-re ".* 566      12345678" { set x [expr $x+1]; exp_continue; }
   1727 	-re ".* 566      B130" { set x [expr $x+1]; exp_continue; }
   1728 	-re ".* 567 11e0 78366B2C" { set x [expr $x+1]; exp_continue; }
   1729 	-re ".* 567      12345678" { set x [expr $x+1]; exp_continue; }
   1730 	-re ".* 567      8130" { set x [expr $x+1]; exp_continue; }
   1731 	-re ".* 568 11ea 78366B2C" { set x [expr $x+1]; exp_continue; }
   1732 	-re ".* 568      12345678" { set x [expr $x+1]; exp_continue; }
   1733 	-re ".* 568      A130" { set x [expr $x+1]; exp_continue; }
   1734 	-re ".* 569 11f4 78366B2C" { set x [expr $x+1]; exp_continue; }
   1735 	-re ".* 569      12345678" { set x [expr $x+1]; exp_continue; }
   1736 	-re ".* 569      9130" { set x [expr $x+1]; exp_continue; }
   1737 	-re ".* 570 11fe 78366B2C" { set x [expr $x+1]; exp_continue; }
   1738 	-re ".* 570      12345678" { set x [expr $x+1]; exp_continue; }
   1739 	-re ".* 570      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1740 	-re ".* 571 120a 78366B2C" { set x [expr $x+1]; exp_continue; }
   1741 	-re ".* 571      12345678" { set x [expr $x+1]; exp_continue; }
   1742 	-re ".* 571      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1743 	-re ".* 571      DEF0" { set x [expr $x+1]; exp_continue; }
   1744 	-re ".* 572 1218 78366B2C" { set x [expr $x+1]; exp_continue; }
   1745 	-re ".* 572      12345678" { set x [expr $x+1]; exp_continue; }
   1746 	-re ".* 572      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1747 	-re ".* 573 1224 78366B2C" { set x [expr $x+1]; exp_continue; }
   1748 	-re ".* 573      12345678" { set x [expr $x+1]; exp_continue; }
   1749 	-re ".* 573      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1750 	-re ".* 574 1230 78366B2C" { set x [expr $x+1]; exp_continue; }
   1751 	-re ".* 574      12345678" { set x [expr $x+1]; exp_continue; }
   1752 	-re ".* 574      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1753 	-re ".* 575 123c 78366B2C" { set x [expr $x+1]; exp_continue; }
   1754 	-re ".* 575      12345678" { set x [expr $x+1]; exp_continue; }
   1755 	-re ".* 575      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1756 	-re ".* 575      DEF0" { set x [expr $x+1]; exp_continue; }
   1757 	-re ".* 576 124a 78366B2C" { set x [expr $x+1]; exp_continue; }
   1758 	-re ".* 576      12345678" { set x [expr $x+1]; exp_continue; }
   1759 	-re ".* 576      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1760 	-re ".* 576      DEF0" { set x [expr $x+1]; exp_continue; }
   1761 	-re ".* 577 1258 78366B2C" { set x [expr $x+1]; exp_continue; }
   1762 	-re ".* 577      12345678" { set x [expr $x+1]; exp_continue; }
   1763 	-re ".* 577      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1764 	-re ".* 577      DEF0" { set x [expr $x+1]; exp_continue; }
   1765 	-re ".* 578 1266 78366B2C" { set x [expr $x+1]; exp_continue; }
   1766 	-re ".* 578      12345678" { set x [expr $x+1]; exp_continue; }
   1767 	-re ".* 578      40309ABC" { set x [expr $x+1]; exp_continue; }
   1768 	-re ".* 579 1272 78366B2C" { set x [expr $x+1]; exp_continue; }
   1769 	-re ".* 579      12345678" { set x [expr $x+1]; exp_continue; }
   1770 	-re ".* 579      48309ABC" { set x [expr $x+1]; exp_continue; }
   1771 	-re ".* 579      DEF0" { set x [expr $x+1]; exp_continue; }
   1772 	-re ".* 580              " {
   1773 	    if [expr $x == 53] then {
   1774 		pass "$testname: sub.w @(0x12345678:32,r3.w), ..."
   1775 	    } else {
   1776 		fail "$testname: sub.w @(0x12345678:32,r3.w), ... ($x)"
   1777 	    }
   1778 	}
   1779         default	{ fail "$testname: sub.w @(0x12345678:32,r3.w), ... ($x)" }
   1780     }
   1781 
   1782     set x 0
   1783     expect {
   1784 	-re ".* 581 1280 78376B2C" { set x [expr $x+1]; exp_continue; }
   1785 	-re ".* 581      12345678" { set x [expr $x+1]; exp_continue; }
   1786 	-re ".* 581      0130" { set x [expr $x+1]; exp_continue; }
   1787 	-re ".* 582 128a 78376B2C" { set x [expr $x+1]; exp_continue; }
   1788 	-re ".* 582      12345678" { set x [expr $x+1]; exp_continue; }
   1789 	-re ".* 582      3130" { set x [expr $x+1]; exp_continue; }
   1790 	-re ".* 583 1294 78376B2C" { set x [expr $x+1]; exp_continue; }
   1791 	-re ".* 583      12345678" { set x [expr $x+1]; exp_continue; }
   1792 	-re ".* 583      B130" { set x [expr $x+1]; exp_continue; }
   1793 	-re ".* 584 129e 78376B2C" { set x [expr $x+1]; exp_continue; }
   1794 	-re ".* 584      12345678" { set x [expr $x+1]; exp_continue; }
   1795 	-re ".* 584      8130" { set x [expr $x+1]; exp_continue; }
   1796 	-re ".* 585 12a8 78376B2C" { set x [expr $x+1]; exp_continue; }
   1797 	-re ".* 585      12345678" { set x [expr $x+1]; exp_continue; }
   1798 	-re ".* 585      A130" { set x [expr $x+1]; exp_continue; }
   1799 	-re ".* 586 12b2 78376B2C" { set x [expr $x+1]; exp_continue; }
   1800 	-re ".* 586      12345678" { set x [expr $x+1]; exp_continue; }
   1801 	-re ".* 586      9130" { set x [expr $x+1]; exp_continue; }
   1802 	-re ".* 587 12bc 78376B2C" { set x [expr $x+1]; exp_continue; }
   1803 	-re ".* 587      12345678" { set x [expr $x+1]; exp_continue; }
   1804 	-re ".* 587      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1805 	-re ".* 588 12c8 78376B2C" { set x [expr $x+1]; exp_continue; }
   1806 	-re ".* 588      12345678" { set x [expr $x+1]; exp_continue; }
   1807 	-re ".* 588      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1808 	-re ".* 588      DEF0" { set x [expr $x+1]; exp_continue; }
   1809 	-re ".* 589 12d6 78376B2C" { set x [expr $x+1]; exp_continue; }
   1810 	-re ".* 589      12345678" { set x [expr $x+1]; exp_continue; }
   1811 	-re ".* 589      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1812 	-re ".* 590 12e2 78376B2C" { set x [expr $x+1]; exp_continue; }
   1813 	-re ".* 590      12345678" { set x [expr $x+1]; exp_continue; }
   1814 	-re ".* 590      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1815 	-re ".* 591 12ee 78376B2C" { set x [expr $x+1]; exp_continue; }
   1816 	-re ".* 591      12345678" { set x [expr $x+1]; exp_continue; }
   1817 	-re ".* 591      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1818 	-re ".* 592 12fa 78376B2C" { set x [expr $x+1]; exp_continue; }
   1819 	-re ".* 592      12345678" { set x [expr $x+1]; exp_continue; }
   1820 	-re ".* 592      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1821 	-re ".* 592      DEF0" { set x [expr $x+1]; exp_continue; }
   1822 	-re ".* 593 1308 78376B2C" { set x [expr $x+1]; exp_continue; }
   1823 	-re ".* 593      12345678" { set x [expr $x+1]; exp_continue; }
   1824 	-re ".* 593      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1825 	-re ".* 593      DEF0" { set x [expr $x+1]; exp_continue; }
   1826 	-re ".* 594 1316 78376B2C" { set x [expr $x+1]; exp_continue; }
   1827 	-re ".* 594      12345678" { set x [expr $x+1]; exp_continue; }
   1828 	-re ".* 594      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1829 	-re ".* 594      DEF0" { set x [expr $x+1]; exp_continue; }
   1830 	-re ".* 595 1324 78376B2C" { set x [expr $x+1]; exp_continue; }
   1831 	-re ".* 595      12345678" { set x [expr $x+1]; exp_continue; }
   1832 	-re ".* 595      40309ABC" { set x [expr $x+1]; exp_continue; }
   1833 	-re ".* 596 1330 78376B2C" { set x [expr $x+1]; exp_continue; }
   1834 	-re ".* 596      12345678" { set x [expr $x+1]; exp_continue; }
   1835 	-re ".* 596      48309ABC" { set x [expr $x+1]; exp_continue; }
   1836 	-re ".* 596      DEF0" { set x [expr $x+1]; exp_continue; }
   1837 	-re ".* 597              " {
   1838 	    if [expr $x == 53] then {
   1839 		pass "$testname: sub.w @(0x12345678:32,er3.l), ..."
   1840 	    } else {
   1841 		fail "$testname: sub.w @(0x12345678:32,er3.l), ... ($x)"
   1842 	    }
   1843 	}
   1844         default	{ fail "$testname: sub.w @(0x12345678:32,er3.l), ... ($x)" }
   1845     }
   1846 
   1847     set x 0
   1848     expect {
   1849 	-re ".* 598 133e 6B151234" { set x [expr $x+1]; exp_continue; }
   1850 	-re ".* 598      0130" { set x [expr $x+1]; exp_continue; }
   1851 	-re ".* 599 1344 6B151234" { set x [expr $x+1]; exp_continue; }
   1852 	-re ".* 599      3130" { set x [expr $x+1]; exp_continue; }
   1853 	-re ".* 600 134a 6B151234" { set x [expr $x+1]; exp_continue; }
   1854 	-re ".* 600      B130" { set x [expr $x+1]; exp_continue; }
   1855 	-re ".* 601 1350 6B151234" { set x [expr $x+1]; exp_continue; }
   1856 	-re ".* 601      8130" { set x [expr $x+1]; exp_continue; }
   1857 	-re ".* 602 1356 6B151234" { set x [expr $x+1]; exp_continue; }
   1858 	-re ".* 602      A130" { set x [expr $x+1]; exp_continue; }
   1859 	-re ".* 603 135c 6B151234" { set x [expr $x+1]; exp_continue; }
   1860 	-re ".* 603      9130" { set x [expr $x+1]; exp_continue; }
   1861 	-re ".* 604 1362 6B151234" { set x [expr $x+1]; exp_continue; }
   1862 	-re ".* 604      C1309ABC" { set x [expr $x+1]; exp_continue; }
   1863 	-re ".* 605 136a 6B151234" { set x [expr $x+1]; exp_continue; }
   1864 	-re ".* 605      C9309ABC" { set x [expr $x+1]; exp_continue; }
   1865 	-re ".* 605      DEF0" { set x [expr $x+1]; exp_continue; }
   1866 	-re ".* 606 1374 6B151234" { set x [expr $x+1]; exp_continue; }
   1867 	-re ".* 606      D2309ABC" { set x [expr $x+1]; exp_continue; }
   1868 	-re ".* 607 137c 6B151234" { set x [expr $x+1]; exp_continue; }
   1869 	-re ".* 607      E2309ABC" { set x [expr $x+1]; exp_continue; }
   1870 	-re ".* 608 1384 6B151234" { set x [expr $x+1]; exp_continue; }
   1871 	-re ".* 608      F2309ABC" { set x [expr $x+1]; exp_continue; }
   1872 	-re ".* 609 138c 6B151234" { set x [expr $x+1]; exp_continue; }
   1873 	-re ".* 609      DA309ABC" { set x [expr $x+1]; exp_continue; }
   1874 	-re ".* 609      DEF0" { set x [expr $x+1]; exp_continue; }
   1875 	-re ".* 610 1396 6B151234" { set x [expr $x+1]; exp_continue; }
   1876 	-re ".* 610      EA309ABC" { set x [expr $x+1]; exp_continue; }
   1877 	-re ".* 610      DEF0" { set x [expr $x+1]; exp_continue; }
   1878 	-re ".* 611 13a0 6B151234" { set x [expr $x+1]; exp_continue; }
   1879 	-re ".* 611      FA309ABC" { set x [expr $x+1]; exp_continue; }
   1880 	-re ".* 611      DEF0" { set x [expr $x+1]; exp_continue; }
   1881 	-re ".* 612 13aa 6B151234" { set x [expr $x+1]; exp_continue; }
   1882 	-re ".* 612      40309ABC" { set x [expr $x+1]; exp_continue; }
   1883 	-re ".* 613 13b2 6B151234" { set x [expr $x+1]; exp_continue; }
   1884 	-re ".* 613      48309ABC" { set x [expr $x+1]; exp_continue; }
   1885 	-re ".* 613      DEF0" { set x [expr $x+1]; exp_continue; }
   1886 	-re ".* 614              " {
   1887 	    if [expr $x == 37] then {
   1888 		pass "$testname: sub.w @0x1234:16, ..."
   1889 	    } else {
   1890 		fail "$testname: sub.w @0x1234:16, ... ($x)"
   1891 	    }
   1892 	}
   1893         default	{ fail "$testname: sub.w @0x1234:16, ... ($x)" }
   1894     }
   1895 
   1896     set x 0
   1897     expect {
   1898 	-re ".* 615 13bc 6B351234" { set x [expr $x+1]; exp_continue; }
   1899 	-re ".* 615      56780130" { set x [expr $x+1]; exp_continue; }
   1900 	-re ".* 616 13c4 6B351234" { set x [expr $x+1]; exp_continue; }
   1901 	-re ".* 616      56783130" { set x [expr $x+1]; exp_continue; }
   1902 	-re ".* 617 13cc 6B351234" { set x [expr $x+1]; exp_continue; }
   1903 	-re ".* 617      5678B130" { set x [expr $x+1]; exp_continue; }
   1904 	-re ".* 618 13d4 6B351234" { set x [expr $x+1]; exp_continue; }
   1905 	-re ".* 618      56788130" { set x [expr $x+1]; exp_continue; }
   1906 	-re ".* 619 13dc 6B351234" { set x [expr $x+1]; exp_continue; }
   1907 	-re ".* 619      5678A130" { set x [expr $x+1]; exp_continue; }
   1908 	-re ".* 620 13e4 6B351234" { set x [expr $x+1]; exp_continue; }
   1909 	-re ".* 620      56789130" { set x [expr $x+1]; exp_continue; }
   1910 	-re ".* 621 13ec 6B351234" { set x [expr $x+1]; exp_continue; }
   1911 	-re ".* 621      5678C130" { set x [expr $x+1]; exp_continue; }
   1912 	-re ".* 621      9ABC" { set x [expr $x+1]; exp_continue; }
   1913 	-re ".* 622 13f6 6B351234" { set x [expr $x+1]; exp_continue; }
   1914 	-re ".* 622      5678C930" { set x [expr $x+1]; exp_continue; }
   1915 	-re ".* 622      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1916 	-re ".* 623 1402 6B351234" { set x [expr $x+1]; exp_continue; }
   1917 	-re ".* 623      5678D230" { set x [expr $x+1]; exp_continue; }
   1918 	-re ".* 623      9ABC" { set x [expr $x+1]; exp_continue; }
   1919 	-re ".* 624 140c 6B351234" { set x [expr $x+1]; exp_continue; }
   1920 	-re ".* 624      5678E230" { set x [expr $x+1]; exp_continue; }
   1921 	-re ".* 624      9ABC" { set x [expr $x+1]; exp_continue; }
   1922 	-re ".* 625 1416 6B351234" { set x [expr $x+1]; exp_continue; }
   1923 	-re ".* 625      5678F230" { set x [expr $x+1]; exp_continue; }
   1924 	-re ".* 625      9ABC" { set x [expr $x+1]; exp_continue; }
   1925 	-re ".* 626 1420 6B351234" { set x [expr $x+1]; exp_continue; }
   1926 	-re ".* 626      5678DA30" { set x [expr $x+1]; exp_continue; }
   1927 	-re ".* 626      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1928 	-re ".* 627 142c 6B351234" { set x [expr $x+1]; exp_continue; }
   1929 	-re ".* 627      5678EA30" { set x [expr $x+1]; exp_continue; }
   1930 	-re ".* 627      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1931 	-re ".* 628 1438 6B351234" { set x [expr $x+1]; exp_continue; }
   1932 	-re ".* 628      5678FA30" { set x [expr $x+1]; exp_continue; }
   1933 	-re ".* 628      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1934 	-re ".* 629 1444 6B351234" { set x [expr $x+1]; exp_continue; }
   1935 	-re ".* 629      56784030" { set x [expr $x+1]; exp_continue; }
   1936 	-re ".* 629      9ABC" { set x [expr $x+1]; exp_continue; }
   1937 	-re ".* 630 144e 6B351234" { set x [expr $x+1]; exp_continue; }
   1938 	-re ".* 630      56784830" { set x [expr $x+1]; exp_continue; }
   1939 	-re ".* 630      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1940 	-re ".* 631              " {
   1941 	    if [expr $x == 42] then {
   1942 		pass "$testname: sub.w @0x12345678:32, ..."
   1943 	    } else {
   1944 		fail "$testname: sub.w @0x12345678:32, ... ($x)"
   1945 	    }
   1946 	}
   1947         default	{ fail "$testname: sub.w @0x12345678:32, ... ($x)" }
   1948     }
   1949 
   1950     set x 0
   1951     expect {
   1952 	-re ".* 632 145a 7A311234" { set x [expr $x+1]; exp_continue; }
   1953 	-re ".* 632      5678" { set x [expr $x+1]; exp_continue; }
   1954 	-re ".* 633 1460 7A391234" { set x [expr $x+1]; exp_continue; }
   1955 	-re ".* 634 1464 1AFA" { set x [expr $x+1]; exp_continue; }
   1956 	-re ".* 635 1466 010E0138" { set x [expr $x+1]; exp_continue; }
   1957 	-re ".* 635      12345678" { set x [expr $x+1]; exp_continue; }
   1958 	-re ".* 636 146e 010E3138" { set x [expr $x+1]; exp_continue; }
   1959 	-re ".* 636      12345678" { set x [expr $x+1]; exp_continue; }
   1960 	-re ".* 637 1476 010E8138" { set x [expr $x+1]; exp_continue; }
   1961 	-re ".* 637      12345678" { set x [expr $x+1]; exp_continue; }
   1962 	-re ".* 638 147e 010EB138" { set x [expr $x+1]; exp_continue; }
   1963 	-re ".* 638      12345678" { set x [expr $x+1]; exp_continue; }
   1964 	-re ".* 639 1486 010E9138" { set x [expr $x+1]; exp_continue; }
   1965 	-re ".* 639      12345678" { set x [expr $x+1]; exp_continue; }
   1966 	-re ".* 640 148e 010EA138" { set x [expr $x+1]; exp_continue; }
   1967 	-re ".* 640      12345678" { set x [expr $x+1]; exp_continue; }
   1968 	-re ".* 641 1496 010EC138" { set x [expr $x+1]; exp_continue; }
   1969 	-re ".* 641      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1970 	-re ".* 641      5678" { set x [expr $x+1]; exp_continue; }
   1971 	-re ".* 642 14a0 010EC938" { set x [expr $x+1]; exp_continue; }
   1972 	-re ".* 642      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1973 	-re ".* 642      12345678" { set x [expr $x+1]; exp_continue; }
   1974 	-re ".* 643 14ac 010ED238" { set x [expr $x+1]; exp_continue; }
   1975 	-re ".* 643      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1976 	-re ".* 643      5678" { set x [expr $x+1]; exp_continue; }
   1977 	-re ".* 644 14b6 010EE238" { set x [expr $x+1]; exp_continue; }
   1978 	-re ".* 644      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1979 	-re ".* 644      5678" { set x [expr $x+1]; exp_continue; }
   1980 	-re ".* 645 14c0 010EF238" { set x [expr $x+1]; exp_continue; }
   1981 	-re ".* 645      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1982 	-re ".* 645      5678" { set x [expr $x+1]; exp_continue; }
   1983 	-re ".* 646 14ca 010EDA38" { set x [expr $x+1]; exp_continue; }
   1984 	-re ".* 646      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1985 	-re ".* 646      12345678" { set x [expr $x+1]; exp_continue; }
   1986 	-re ".* 647 14d6 010EEA38" { set x [expr $x+1]; exp_continue; }
   1987 	-re ".* 647      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1988 	-re ".* 647      12345678" { set x [expr $x+1]; exp_continue; }
   1989 	-re ".* 648 14e2 010EFA38" { set x [expr $x+1]; exp_continue; }
   1990 	-re ".* 648      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1991 	-re ".* 648      12345678" { set x [expr $x+1]; exp_continue; }
   1992 	-re ".* 649 14ee 010E4038" { set x [expr $x+1]; exp_continue; }
   1993 	-re ".* 649      9ABC1234" { set x [expr $x+1]; exp_continue; }
   1994 	-re ".* 649      5678" { set x [expr $x+1]; exp_continue; }
   1995 	-re ".* 650 14f8 010E4838" { set x [expr $x+1]; exp_continue; }
   1996 	-re ".* 650      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   1997 	-re ".* 650      12345678" { set x [expr $x+1]; exp_continue; }
   1998 	-re ".* 651 1504 010E0130" { set x [expr $x+1]; exp_continue; }
   1999 	-re ".* 651      1234" { set x [expr $x+1]; exp_continue; }
   2000 	-re ".* 652 150a 010E3130" { set x [expr $x+1]; exp_continue; }
   2001 	-re ".* 652      1234" { set x [expr $x+1]; exp_continue; }
   2002 	-re ".* 653 1510 010E8130" { set x [expr $x+1]; exp_continue; }
   2003 	-re ".* 653      1234" { set x [expr $x+1]; exp_continue; }
   2004 	-re ".* 654 1516 010EB130" { set x [expr $x+1]; exp_continue; }
   2005 	-re ".* 654      1234" { set x [expr $x+1]; exp_continue; }
   2006 	-re ".* 655 151c 010E9130" { set x [expr $x+1]; exp_continue; }
   2007 	-re ".* 655      1234" { set x [expr $x+1]; exp_continue; }
   2008 	-re ".* 656 1522 010EA130" { set x [expr $x+1]; exp_continue; }
   2009 	-re ".* 656      1234" { set x [expr $x+1]; exp_continue; }
   2010 	-re ".* 657 1528 010EC130" { set x [expr $x+1]; exp_continue; }
   2011 	-re ".* 657      9ABC1234" { set x [expr $x+1]; exp_continue; }
   2012 	-re ".* 658 1530 010EC930" { set x [expr $x+1]; exp_continue; }
   2013 	-re ".* 658      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2014 	-re ".* 658      1234" { set x [expr $x+1]; exp_continue; }
   2015 	-re ".* 659 153a 010ED230" { set x [expr $x+1]; exp_continue; }
   2016 	-re ".* 659      9ABC1234" { set x [expr $x+1]; exp_continue; }
   2017 	-re ".* 660 1542 010EE230" { set x [expr $x+1]; exp_continue; }
   2018 	-re ".* 660      9ABC1234" { set x [expr $x+1]; exp_continue; }
   2019 	-re ".* 661 154a 010EF230" { set x [expr $x+1]; exp_continue; }
   2020 	-re ".* 661      9ABC1234" { set x [expr $x+1]; exp_continue; }
   2021 	-re ".* 662 1552 010EDA30" { set x [expr $x+1]; exp_continue; }
   2022 	-re ".* 662      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2023 	-re ".* 662      1234" { set x [expr $x+1]; exp_continue; }
   2024 	-re ".* 663 155c 010EEA30" { set x [expr $x+1]; exp_continue; }
   2025 	-re ".* 663      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2026 	-re ".* 663      1234" { set x [expr $x+1]; exp_continue; }
   2027 	-re ".* 664 1566 010EFA30" { set x [expr $x+1]; exp_continue; }
   2028 	-re ".* 664      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2029 	-re ".* 664      1234" { set x [expr $x+1]; exp_continue; }
   2030 	-re ".* 665 1570 010E4030" { set x [expr $x+1]; exp_continue; }
   2031 	-re ".* 665      9ABC1234" { set x [expr $x+1]; exp_continue; }
   2032 	-re ".* 666 1578 010E4830" { set x [expr $x+1]; exp_continue; }
   2033 	-re ".* 666      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2034 	-re ".* 666      1234" { set x [expr $x+1]; exp_continue; }
   2035 	-re ".* 667              " {
   2036 	    if [expr $x == 83] then {
   2037 		pass "$testname: sub.l #0x1234:16, ..."
   2038 	    } else {
   2039 		fail "$testname: sub.l #0x1234:16, ... ($x)"
   2040 	    }
   2041 	}
   2042         default	{ fail "$testname: sub.l #0x1234:16, ... ($x)" }
   2043     }
   2044 
   2045     set x 0
   2046     expect {
   2047 	-re ".* 668 1582 1AB1" { set x [expr $x+1]; exp_continue; }
   2048 	-re ".* 669              " {
   2049 	    if [expr $x == 1] then {
   2050 		pass "$testname: sub.l er3, er1"
   2051 	    } else {
   2052 		fail "$testname: sub.l er3, er1 ($x)"
   2053 	    }
   2054 	}
   2055         default	{ fail "$testname: sub.l er3, er1 ($x)" }
   2056     }
   2057 
   2058     set x 0
   2059     expect {
   2060 	-re ".* 670 1584 01090133" { set x [expr $x+1]; exp_continue; }
   2061 	-re ".* 671 1588 01093133" { set x [expr $x+1]; exp_continue; }
   2062 	-re ".* 672 158c 01098133" { set x [expr $x+1]; exp_continue; }
   2063 	-re ".* 673 1590 0109B133" { set x [expr $x+1]; exp_continue; }
   2064 	-re ".* 674 1594 01099133" { set x [expr $x+1]; exp_continue; }
   2065 	-re ".* 675 1598 0109A133" { set x [expr $x+1]; exp_continue; }
   2066 	-re ".* 676 159c 0109C133" { set x [expr $x+1]; exp_continue; }
   2067 	-re ".* 676      1234" { set x [expr $x+1]; exp_continue; }
   2068 	-re ".* 677 15a2 0109C933" { set x [expr $x+1]; exp_continue; }
   2069 	-re ".* 677      12345678" { set x [expr $x+1]; exp_continue; }
   2070 	-re ".* 678 15aa 0109D233" { set x [expr $x+1]; exp_continue; }
   2071 	-re ".* 678      1234" { set x [expr $x+1]; exp_continue; }
   2072 	-re ".* 679 15b0 0109E233" { set x [expr $x+1]; exp_continue; }
   2073 	-re ".* 679      1234" { set x [expr $x+1]; exp_continue; }
   2074 	-re ".* 680 15b6 0109F233" { set x [expr $x+1]; exp_continue; }
   2075 	-re ".* 680      1234" { set x [expr $x+1]; exp_continue; }
   2076 	-re ".* 681 15bc 0109DA33" { set x [expr $x+1]; exp_continue; }
   2077 	-re ".* 681      12345678" { set x [expr $x+1]; exp_continue; }
   2078 	-re ".* 682 15c4 0109EA33" { set x [expr $x+1]; exp_continue; }
   2079 	-re ".* 682      12345678" { set x [expr $x+1]; exp_continue; }
   2080 	-re ".* 683 15cc 0109FA33" { set x [expr $x+1]; exp_continue; }
   2081 	-re ".* 683      12345678" { set x [expr $x+1]; exp_continue; }
   2082 	-re ".* 684 15d4 01094033" { set x [expr $x+1]; exp_continue; }
   2083 	-re ".* 684      1234" { set x [expr $x+1]; exp_continue; }
   2084 	-re ".* 685 15da 01094833" { set x [expr $x+1]; exp_continue; }
   2085 	-re ".* 685      12345678" { set x [expr $x+1]; exp_continue; }
   2086 	-re ".* 686              " {
   2087 	    if [expr $x == 26] then {
   2088 		pass "$testname: sub.l er3, ..."
   2089 	    } else {
   2090 		fail "$testname: sub.l er3, ... ($x)"
   2091 	    }
   2092 	}
   2093         default	{ fail "$testname: sub.l er3, ... ($x)" }
   2094     }
   2095 
   2096     set x 0
   2097     expect {
   2098 	-re ".* 687 15e2 010A0331" { set x [expr $x+1]; exp_continue; }
   2099 	-re ".* 688 15e6 010A3331" { set x [expr $x+1]; exp_continue; }
   2100 	-re ".* 689 15ea 010A8331" { set x [expr $x+1]; exp_continue; }
   2101 	-re ".* 690 15ee 010AB331" { set x [expr $x+1]; exp_continue; }
   2102 	-re ".* 691 15f2 010A9331" { set x [expr $x+1]; exp_continue; }
   2103 	-re ".* 692 15f6 010AA331" { set x [expr $x+1]; exp_continue; }
   2104 	-re ".* 693 15fa 010AC131" { set x [expr $x+1]; exp_continue; }
   2105 	-re ".* 693      1234" { set x [expr $x+1]; exp_continue; }
   2106 	-re ".* 694 1600 010AC931" { set x [expr $x+1]; exp_continue; }
   2107 	-re ".* 694      12345678" { set x [expr $x+1]; exp_continue; }
   2108 	-re ".* 695 1608 010AD231" { set x [expr $x+1]; exp_continue; }
   2109 	-re ".* 695      1234" { set x [expr $x+1]; exp_continue; }
   2110 	-re ".* 696 160e 010AE231" { set x [expr $x+1]; exp_continue; }
   2111 	-re ".* 696      1234" { set x [expr $x+1]; exp_continue; }
   2112 	-re ".* 697 1614 010AF231" { set x [expr $x+1]; exp_continue; }
   2113 	-re ".* 697      1234" { set x [expr $x+1]; exp_continue; }
   2114 	-re ".* 698 161a 010ADA31" { set x [expr $x+1]; exp_continue; }
   2115 	-re ".* 698      12345678" { set x [expr $x+1]; exp_continue; }
   2116 	-re ".* 699 1622 010AEA31" { set x [expr $x+1]; exp_continue; }
   2117 	-re ".* 699      12345678" { set x [expr $x+1]; exp_continue; }
   2118 	-re ".* 700 162a 010AFA31" { set x [expr $x+1]; exp_continue; }
   2119 	-re ".* 700      12345678" { set x [expr $x+1]; exp_continue; }
   2120 	-re ".* 701 1632 010A4031" { set x [expr $x+1]; exp_continue; }
   2121 	-re ".* 701      1234" { set x [expr $x+1]; exp_continue; }
   2122 	-re ".* 702 1638 010A4831" { set x [expr $x+1]; exp_continue; }
   2123 	-re ".* 702      12345678" { set x [expr $x+1]; exp_continue; }
   2124 	-re ".* 703              " {
   2125 	    if [expr $x == 26] then {
   2126 		pass "$testname: sub.l ..., er1"
   2127 	    } else {
   2128 		fail "$testname: sub.l ..., er1 ($x)"
   2129 	    }
   2130 	}
   2131         default	{ fail "$testname: sub.l ..., er1 ($x)" }
   2132     }
   2133 
   2134     set x 0
   2135     expect {
   2136 	-re ".* 704 1640 0104693C" { set x [expr $x+1]; exp_continue; }
   2137 	-re ".* 704      0130" { set x [expr $x+1]; exp_continue; }
   2138 	-re ".* 705 1646 0104693C" { set x [expr $x+1]; exp_continue; }
   2139 	-re ".* 705      3130" { set x [expr $x+1]; exp_continue; }
   2140 	-re ".* 706 164c 0104693C" { set x [expr $x+1]; exp_continue; }
   2141 	-re ".* 706      B130" { set x [expr $x+1]; exp_continue; }
   2142 	-re ".* 707 1652 0104693C" { set x [expr $x+1]; exp_continue; }
   2143 	-re ".* 707      8130" { set x [expr $x+1]; exp_continue; }
   2144 	-re ".* 708 1658 0104693C" { set x [expr $x+1]; exp_continue; }
   2145 	-re ".* 708      A130" { set x [expr $x+1]; exp_continue; }
   2146 	-re ".* 709 165e 0104693C" { set x [expr $x+1]; exp_continue; }
   2147 	-re ".* 709      9130" { set x [expr $x+1]; exp_continue; }
   2148 	-re ".* 710 1664 0104693C" { set x [expr $x+1]; exp_continue; }
   2149 	-re ".* 710      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2150 	-re ".* 711 166c 0104693C" { set x [expr $x+1]; exp_continue; }
   2151 	-re ".* 711      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2152 	-re ".* 711      DEF0" { set x [expr $x+1]; exp_continue; }
   2153 	-re ".* 712 1676 0104693C" { set x [expr $x+1]; exp_continue; }
   2154 	-re ".* 712      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2155 	-re ".* 713 167e 0104693C" { set x [expr $x+1]; exp_continue; }
   2156 	-re ".* 713      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2157 	-re ".* 714 1686 0104693C" { set x [expr $x+1]; exp_continue; }
   2158 	-re ".* 714      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2159 	-re ".* 715 168e 0104693C" { set x [expr $x+1]; exp_continue; }
   2160 	-re ".* 715      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2161 	-re ".* 715      DEF0" { set x [expr $x+1]; exp_continue; }
   2162 	-re ".* 716 1698 0104693C" { set x [expr $x+1]; exp_continue; }
   2163 	-re ".* 716      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2164 	-re ".* 716      DEF0" { set x [expr $x+1]; exp_continue; }
   2165 	-re ".* 717 16a2 0104693C" { set x [expr $x+1]; exp_continue; }
   2166 	-re ".* 717      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2167 	-re ".* 717      DEF0" { set x [expr $x+1]; exp_continue; }
   2168 	-re ".* 718 16ac 0104693C" { set x [expr $x+1]; exp_continue; }
   2169 	-re ".* 718      40309ABC" { set x [expr $x+1]; exp_continue; }
   2170 	-re ".* 719 16b4 0104693C" { set x [expr $x+1]; exp_continue; }
   2171 	-re ".* 719      48309ABC" { set x [expr $x+1]; exp_continue; }
   2172 	-re ".* 719      DEF0" { set x [expr $x+1]; exp_continue; }
   2173 	-re ".* 720              " {
   2174 	    if [expr $x == 37] then {
   2175 		pass "$testname: sub.l @er3, ..."
   2176 	    } else {
   2177 		fail "$testname: sub.l @er3, ... ($x)"
   2178 	    }
   2179 	}
   2180         default	{ fail "$testname: sub.l @er3, ... ($x)" }
   2181     }
   2182 
   2183     set x 0
   2184     expect {
   2185 	-re ".* 721 16be 0107693C" { set x [expr $x+1]; exp_continue; }
   2186 	-re ".* 721      0130" { set x [expr $x+1]; exp_continue; }
   2187 	-re ".* 722 16c4 0107693C" { set x [expr $x+1]; exp_continue; }
   2188 	-re ".* 722      3130" { set x [expr $x+1]; exp_continue; }
   2189 	-re ".* 723 16ca 0107693C" { set x [expr $x+1]; exp_continue; }
   2190 	-re ".* 723      B130" { set x [expr $x+1]; exp_continue; }
   2191 	-re ".* 724 16d0 0107693C" { set x [expr $x+1]; exp_continue; }
   2192 	-re ".* 724      8130" { set x [expr $x+1]; exp_continue; }
   2193 	-re ".* 725 16d6 0107693C" { set x [expr $x+1]; exp_continue; }
   2194 	-re ".* 725      A130" { set x [expr $x+1]; exp_continue; }
   2195 	-re ".* 726 16dc 0107693C" { set x [expr $x+1]; exp_continue; }
   2196 	-re ".* 726      9130" { set x [expr $x+1]; exp_continue; }
   2197 	-re ".* 727 16e2 0107693C" { set x [expr $x+1]; exp_continue; }
   2198 	-re ".* 727      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2199 	-re ".* 728 16ea 0107693C" { set x [expr $x+1]; exp_continue; }
   2200 	-re ".* 728      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2201 	-re ".* 728      DEF0" { set x [expr $x+1]; exp_continue; }
   2202 	-re ".* 729 16f4 0107693C" { set x [expr $x+1]; exp_continue; }
   2203 	-re ".* 729      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2204 	-re ".* 730 16fc 0107693C" { set x [expr $x+1]; exp_continue; }
   2205 	-re ".* 730      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2206 	-re ".* 731 1704 0107693C" { set x [expr $x+1]; exp_continue; }
   2207 	-re ".* 731      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2208 	-re ".* 732 170c 0107693C" { set x [expr $x+1]; exp_continue; }
   2209 	-re ".* 732      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2210 	-re ".* 732      DEF0" { set x [expr $x+1]; exp_continue; }
   2211 	-re ".* 733 1716 0107693C" { set x [expr $x+1]; exp_continue; }
   2212 	-re ".* 733      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2213 	-re ".* 733      DEF0" { set x [expr $x+1]; exp_continue; }
   2214 	-re ".* 734 1720 0107693C" { set x [expr $x+1]; exp_continue; }
   2215 	-re ".* 734      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2216 	-re ".* 734      DEF0" { set x [expr $x+1]; exp_continue; }
   2217 	-re ".* 735 172a 0107693C" { set x [expr $x+1]; exp_continue; }
   2218 	-re ".* 735      40309ABC" { set x [expr $x+1]; exp_continue; }
   2219 	-re ".* 736 1732 0107693C" { set x [expr $x+1]; exp_continue; }
   2220 	-re ".* 736      48309ABC" { set x [expr $x+1]; exp_continue; }
   2221 	-re ".* 736      DEF0" { set x [expr $x+1]; exp_continue; }
   2222 	-re ".* 737              " {
   2223 	    if [expr $x == 37] then {
   2224 		pass "$testname: sub.l @(0xc:2,er3), ..."
   2225 	    } else {
   2226 		fail "$testname: sub.l @(0xc:2,er3), ... ($x)"
   2227 	    }
   2228 	}
   2229         default	{ fail "$testname: sub.l @(0xc:2,er3), ... ($x)" }
   2230     }
   2231 
   2232     set x 0
   2233     expect {
   2234 	-re ".* 738 173c 01076D3C" { set x [expr $x+1]; exp_continue; }
   2235 	-re ".* 738      0130" { set x [expr $x+1]; exp_continue; }
   2236 	-re ".* 739 1742 01076D3C" { set x [expr $x+1]; exp_continue; }
   2237 	-re ".* 739      3130" { set x [expr $x+1]; exp_continue; }
   2238 	-re ".* 740 1748 01076D3C" { set x [expr $x+1]; exp_continue; }
   2239 	-re ".* 740      B130" { set x [expr $x+1]; exp_continue; }
   2240 	-re ".* 741 174e 01076D3C" { set x [expr $x+1]; exp_continue; }
   2241 	-re ".* 741      8130" { set x [expr $x+1]; exp_continue; }
   2242 	-re ".* 742 1754 01076D3C" { set x [expr $x+1]; exp_continue; }
   2243 	-re ".* 742      A130" { set x [expr $x+1]; exp_continue; }
   2244 	-re ".* 743 175a 01076D3C" { set x [expr $x+1]; exp_continue; }
   2245 	-re ".* 743      9130" { set x [expr $x+1]; exp_continue; }
   2246 	-re ".* 744 1760 01076D3C" { set x [expr $x+1]; exp_continue; }
   2247 	-re ".* 744      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2248 	-re ".* 745 1768 01076D3C" { set x [expr $x+1]; exp_continue; }
   2249 	-re ".* 745      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2250 	-re ".* 745      DEF0" { set x [expr $x+1]; exp_continue; }
   2251 	-re ".* 746 1772 01076D3C" { set x [expr $x+1]; exp_continue; }
   2252 	-re ".* 746      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2253 	-re ".* 747 177a 01076D3C" { set x [expr $x+1]; exp_continue; }
   2254 	-re ".* 747      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2255 	-re ".* 748 1782 01076D3C" { set x [expr $x+1]; exp_continue; }
   2256 	-re ".* 748      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2257 	-re ".* 749 178a 01076D3C" { set x [expr $x+1]; exp_continue; }
   2258 	-re ".* 749      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2259 	-re ".* 749      DEF0" { set x [expr $x+1]; exp_continue; }
   2260 	-re ".* 750 1794 01076D3C" { set x [expr $x+1]; exp_continue; }
   2261 	-re ".* 750      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2262 	-re ".* 750      DEF0" { set x [expr $x+1]; exp_continue; }
   2263 	-re ".* 751 179e 01076D3C" { set x [expr $x+1]; exp_continue; }
   2264 	-re ".* 751      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2265 	-re ".* 751      DEF0" { set x [expr $x+1]; exp_continue; }
   2266 	-re ".* 752 17a8 01076D3C" { set x [expr $x+1]; exp_continue; }
   2267 	-re ".* 752      40309ABC" { set x [expr $x+1]; exp_continue; }
   2268 	-re ".* 753 17b0 01076D3C" { set x [expr $x+1]; exp_continue; }
   2269 	-re ".* 753      48309ABC" { set x [expr $x+1]; exp_continue; }
   2270 	-re ".* 753      DEF0" { set x [expr $x+1]; exp_continue; }
   2271 	-re ".* 754              " {
   2272 	    if [expr $x == 37] then {
   2273 		pass "$testname: sub.l @-er3, ..."
   2274 	    } else {
   2275 		fail "$testname: sub.l @-er3, ... ($x)"
   2276 	    }
   2277 	}
   2278         default	{ fail "$testname: sub.l @-er3, ... ($x)" }
   2279     }
   2280 
   2281     set x 0
   2282     expect {
   2283 	-re ".* 755 17ba 01046D3C" { set x [expr $x+1]; exp_continue; }
   2284 	-re ".* 755      0130" { set x [expr $x+1]; exp_continue; }
   2285 	-re ".* 756 17c0 01046D3C" { set x [expr $x+1]; exp_continue; }
   2286 	-re ".* 756      3130" { set x [expr $x+1]; exp_continue; }
   2287 	-re ".* 757 17c6 01046D3C" { set x [expr $x+1]; exp_continue; }
   2288 	-re ".* 757      B130" { set x [expr $x+1]; exp_continue; }
   2289 	-re ".* 758 17cc 01046D3C" { set x [expr $x+1]; exp_continue; }
   2290 	-re ".* 758      8130" { set x [expr $x+1]; exp_continue; }
   2291 	-re ".* 759 17d2 01046D3C" { set x [expr $x+1]; exp_continue; }
   2292 	-re ".* 759      A130" { set x [expr $x+1]; exp_continue; }
   2293 	-re ".* 760 17d8 01046D3C" { set x [expr $x+1]; exp_continue; }
   2294 	-re ".* 760      9130" { set x [expr $x+1]; exp_continue; }
   2295 	-re ".* 761 17de 01046D3C" { set x [expr $x+1]; exp_continue; }
   2296 	-re ".* 761      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2297 	-re ".* 762 17e6 01046D3C" { set x [expr $x+1]; exp_continue; }
   2298 	-re ".* 762      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2299 	-re ".* 762      DEF0" { set x [expr $x+1]; exp_continue; }
   2300 	-re ".* 763 17f0 01046D3C" { set x [expr $x+1]; exp_continue; }
   2301 	-re ".* 763      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2302 	-re ".* 764 17f8 01046D3C" { set x [expr $x+1]; exp_continue; }
   2303 	-re ".* 764      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2304 	-re ".* 765 1800 01046D3C" { set x [expr $x+1]; exp_continue; }
   2305 	-re ".* 765      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2306 	-re ".* 766 1808 01046D3C" { set x [expr $x+1]; exp_continue; }
   2307 	-re ".* 766      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2308 	-re ".* 766      DEF0" { set x [expr $x+1]; exp_continue; }
   2309 	-re ".* 767 1812 01046D3C" { set x [expr $x+1]; exp_continue; }
   2310 	-re ".* 767      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2311 	-re ".* 767      DEF0" { set x [expr $x+1]; exp_continue; }
   2312 	-re ".* 768 181c 01046D3C" { set x [expr $x+1]; exp_continue; }
   2313 	-re ".* 768      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2314 	-re ".* 768      DEF0" { set x [expr $x+1]; exp_continue; }
   2315 	-re ".* 769 1826 01046D3C" { set x [expr $x+1]; exp_continue; }
   2316 	-re ".* 769      40309ABC" { set x [expr $x+1]; exp_continue; }
   2317 	-re ".* 770 182e 01046D3C" { set x [expr $x+1]; exp_continue; }
   2318 	-re ".* 770      48309ABC" { set x [expr $x+1]; exp_continue; }
   2319 	-re ".* 770      DEF0" { set x [expr $x+1]; exp_continue; }
   2320 	-re ".* 771              " {
   2321 	    if [expr $x == 37] then {
   2322 		pass "$testname: sub.l @er3+, ..."
   2323 	    } else {
   2324 		fail "$testname: sub.l @er3+, ... ($x)"
   2325 	    }
   2326 	}
   2327         default	{ fail "$testname: sub.l @er3+, ... ($x)" }
   2328     }
   2329 
   2330     set x 0
   2331     expect {
   2332 	-re ".* 772 1838 01066D3C" { set x [expr $x+1]; exp_continue; }
   2333 	-re ".* 772      0130" { set x [expr $x+1]; exp_continue; }
   2334 	-re ".* 773 183e 01066D3C" { set x [expr $x+1]; exp_continue; }
   2335 	-re ".* 773      3130" { set x [expr $x+1]; exp_continue; }
   2336 	-re ".* 774 1844 01066D3C" { set x [expr $x+1]; exp_continue; }
   2337 	-re ".* 774      B130" { set x [expr $x+1]; exp_continue; }
   2338 	-re ".* 775 184a 01066D3C" { set x [expr $x+1]; exp_continue; }
   2339 	-re ".* 775      8130" { set x [expr $x+1]; exp_continue; }
   2340 	-re ".* 776 1850 01066D3C" { set x [expr $x+1]; exp_continue; }
   2341 	-re ".* 776      A130" { set x [expr $x+1]; exp_continue; }
   2342 	-re ".* 777 1856 01066D3C" { set x [expr $x+1]; exp_continue; }
   2343 	-re ".* 777      9130" { set x [expr $x+1]; exp_continue; }
   2344 	-re ".* 778 185c 01066D3C" { set x [expr $x+1]; exp_continue; }
   2345 	-re ".* 778      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2346 	-re ".* 779 1864 01066D3C" { set x [expr $x+1]; exp_continue; }
   2347 	-re ".* 779      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2348 	-re ".* 779      DEF0" { set x [expr $x+1]; exp_continue; }
   2349 	-re ".* 780 186e 01066D3C" { set x [expr $x+1]; exp_continue; }
   2350 	-re ".* 780      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2351 	-re ".* 781 1876 01066D3C" { set x [expr $x+1]; exp_continue; }
   2352 	-re ".* 781      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2353 	-re ".* 782 187e 01066D3C" { set x [expr $x+1]; exp_continue; }
   2354 	-re ".* 782      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2355 	-re ".* 783 1886 01066D3C" { set x [expr $x+1]; exp_continue; }
   2356 	-re ".* 783      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2357 	-re ".* 783      DEF0" { set x [expr $x+1]; exp_continue; }
   2358 	-re ".* 784 1890 01066D3C" { set x [expr $x+1]; exp_continue; }
   2359 	-re ".* 784      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2360 	-re ".* 784      DEF0" { set x [expr $x+1]; exp_continue; }
   2361 	-re ".* 785 189a 01066D3C" { set x [expr $x+1]; exp_continue; }
   2362 	-re ".* 785      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2363 	-re ".* 785      DEF0" { set x [expr $x+1]; exp_continue; }
   2364 	-re ".* 786 18a4 01066D3C" { set x [expr $x+1]; exp_continue; }
   2365 	-re ".* 786      40309ABC" { set x [expr $x+1]; exp_continue; }
   2366 	-re ".* 787 18ac 01066D3C" { set x [expr $x+1]; exp_continue; }
   2367 	-re ".* 787      48309ABC" { set x [expr $x+1]; exp_continue; }
   2368 	-re ".* 787      DEF0" { set x [expr $x+1]; exp_continue; }
   2369 	-re ".* 788              " {
   2370 	    if [expr $x == 37] then {
   2371 		pass "$testname: sub.l @er3-, ..."
   2372 	    } else {
   2373 		fail "$testname: sub.l @er3-, ... ($x)"
   2374 	    }
   2375 	}
   2376         default	{ fail "$testname: sub.l @er3-, ... ($x)" }
   2377     }
   2378 
   2379     set x 0
   2380     expect {
   2381 	-re ".* 789 18b6 01056D3C" { set x [expr $x+1]; exp_continue; }
   2382 	-re ".* 789      0130" { set x [expr $x+1]; exp_continue; }
   2383 	-re ".* 790 18bc 01056D3C" { set x [expr $x+1]; exp_continue; }
   2384 	-re ".* 790      3130" { set x [expr $x+1]; exp_continue; }
   2385 	-re ".* 791 18c2 01056D3C" { set x [expr $x+1]; exp_continue; }
   2386 	-re ".* 791      B130" { set x [expr $x+1]; exp_continue; }
   2387 	-re ".* 792 18c8 01056D3C" { set x [expr $x+1]; exp_continue; }
   2388 	-re ".* 792      8130" { set x [expr $x+1]; exp_continue; }
   2389 	-re ".* 793 18ce 01056D3C" { set x [expr $x+1]; exp_continue; }
   2390 	-re ".* 793      A130" { set x [expr $x+1]; exp_continue; }
   2391 	-re ".* 794 18d4 01056D3C" { set x [expr $x+1]; exp_continue; }
   2392 	-re ".* 794      9130" { set x [expr $x+1]; exp_continue; }
   2393 	-re ".* 795 18da 01056D3C" { set x [expr $x+1]; exp_continue; }
   2394 	-re ".* 795      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2395 	-re ".* 796 18e2 01056D3C" { set x [expr $x+1]; exp_continue; }
   2396 	-re ".* 796      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2397 	-re ".* 796      DEF0" { set x [expr $x+1]; exp_continue; }
   2398 	-re ".* 797 18ec 01056D3C" { set x [expr $x+1]; exp_continue; }
   2399 	-re ".* 797      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2400 	-re ".* 798 18f4 01056D3C" { set x [expr $x+1]; exp_continue; }
   2401 	-re ".* 798      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2402 	-re ".* 799 18fc 01056D3C" { set x [expr $x+1]; exp_continue; }
   2403 	-re ".* 799      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2404 	-re ".* 800 1904 01056D3C" { set x [expr $x+1]; exp_continue; }
   2405 	-re ".* 800      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2406 	-re ".* 800      DEF0" { set x [expr $x+1]; exp_continue; }
   2407 	-re ".* 801 190e 01056D3C" { set x [expr $x+1]; exp_continue; }
   2408 	-re ".* 801      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2409 	-re ".* 801      DEF0" { set x [expr $x+1]; exp_continue; }
   2410 	-re ".* 802 1918 01056D3C" { set x [expr $x+1]; exp_continue; }
   2411 	-re ".* 802      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2412 	-re ".* 802      DEF0" { set x [expr $x+1]; exp_continue; }
   2413 	-re ".* 803 1922 01056D3C" { set x [expr $x+1]; exp_continue; }
   2414 	-re ".* 803      40309ABC" { set x [expr $x+1]; exp_continue; }
   2415 	-re ".* 804 192a 01056D3C" { set x [expr $x+1]; exp_continue; }
   2416 	-re ".* 804      48309ABC" { set x [expr $x+1]; exp_continue; }
   2417 	-re ".* 804      DEF0" { set x [expr $x+1]; exp_continue; }
   2418 	-re ".* 805              " {
   2419 	    if [expr $x == 37] then {
   2420 		pass "$testname: sub.l @+er3, ..."
   2421 	    } else {
   2422 		fail "$testname: sub.l @+er3, ... ($x)"
   2423 	    }
   2424 	}
   2425         default	{ fail "$testname: sub.l @+er3, ... ($x)" }
   2426     }
   2427 
   2428     set x 0
   2429     expect {
   2430 	-re ".* 806 1934 01046F3C" { set x [expr $x+1]; exp_continue; }
   2431 	-re ".* 806      12340130" { set x [expr $x+1]; exp_continue; }
   2432 	-re ".* 807 193c 01046F3C" { set x [expr $x+1]; exp_continue; }
   2433 	-re ".* 807      12343130" { set x [expr $x+1]; exp_continue; }
   2434 	-re ".* 808 1944 01046F3C" { set x [expr $x+1]; exp_continue; }
   2435 	-re ".* 808      1234B130" { set x [expr $x+1]; exp_continue; }
   2436 	-re ".* 809 194c 01046F3C" { set x [expr $x+1]; exp_continue; }
   2437 	-re ".* 809      12348130" { set x [expr $x+1]; exp_continue; }
   2438 	-re ".* 810 1954 01046F3C" { set x [expr $x+1]; exp_continue; }
   2439 	-re ".* 810      1234A130" { set x [expr $x+1]; exp_continue; }
   2440 	-re ".* 811 195c 01046F3C" { set x [expr $x+1]; exp_continue; }
   2441 	-re ".* 811      12349130" { set x [expr $x+1]; exp_continue; }
   2442 	-re ".* 812 1964 01046F3C" { set x [expr $x+1]; exp_continue; }
   2443 	-re ".* 812      1234C130" { set x [expr $x+1]; exp_continue; }
   2444 	-re ".* 812      9ABC" { set x [expr $x+1]; exp_continue; }
   2445 	-re ".* 813 196e 01046F3C" { set x [expr $x+1]; exp_continue; }
   2446 	-re ".* 813      1234C930" { set x [expr $x+1]; exp_continue; }
   2447 	-re ".* 813      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2448 	-re ".* 814 197a 01046F3C" { set x [expr $x+1]; exp_continue; }
   2449 	-re ".* 814      1234D230" { set x [expr $x+1]; exp_continue; }
   2450 	-re ".* 814      9ABC" { set x [expr $x+1]; exp_continue; }
   2451 	-re ".* 815 1984 01046F3C" { set x [expr $x+1]; exp_continue; }
   2452 	-re ".* 815      1234E230" { set x [expr $x+1]; exp_continue; }
   2453 	-re ".* 815      9ABC" { set x [expr $x+1]; exp_continue; }
   2454 	-re ".* 816 198e 01046F3C" { set x [expr $x+1]; exp_continue; }
   2455 	-re ".* 816      1234F230" { set x [expr $x+1]; exp_continue; }
   2456 	-re ".* 816      9ABC" { set x [expr $x+1]; exp_continue; }
   2457 	-re ".* 817 1998 01046F3C" { set x [expr $x+1]; exp_continue; }
   2458 	-re ".* 817      1234DA30" { set x [expr $x+1]; exp_continue; }
   2459 	-re ".* 817      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2460 	-re ".* 818 19a4 01046F3C" { set x [expr $x+1]; exp_continue; }
   2461 	-re ".* 818      1234EA30" { set x [expr $x+1]; exp_continue; }
   2462 	-re ".* 818      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2463 	-re ".* 819 19b0 01046F3C" { set x [expr $x+1]; exp_continue; }
   2464 	-re ".* 819      1234FA30" { set x [expr $x+1]; exp_continue; }
   2465 	-re ".* 819      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2466 	-re ".* 820 19bc 01046F3C" { set x [expr $x+1]; exp_continue; }
   2467 	-re ".* 820      12344030" { set x [expr $x+1]; exp_continue; }
   2468 	-re ".* 820      9ABC" { set x [expr $x+1]; exp_continue; }
   2469 	-re ".* 821 19c6 01046F3C" { set x [expr $x+1]; exp_continue; }
   2470 	-re ".* 821      12344830" { set x [expr $x+1]; exp_continue; }
   2471 	-re ".* 821      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2472 	-re ".* 822              " {
   2473 	    if [expr $x == 42] then {
   2474 		pass "$testname: sub.l @(0x1234:16,er3), ..."
   2475 	    } else {
   2476 		fail "$testname: sub.l @(0x1234:16,er3), ... ($x)"
   2477 	    }
   2478 	}
   2479         default	{ fail "$testname: sub.l @(0x1234:16,er3), ... ($x)" }
   2480     }
   2481 
   2482     set x 0
   2483     expect {
   2484 	-re ".* 823 19d2 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2485 	-re ".* 823      12345678" { set x [expr $x+1]; exp_continue; }
   2486 	-re ".* 823      0130" { set x [expr $x+1]; exp_continue; }
   2487 	-re ".* 824 19dc 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2488 	-re ".* 824      12345678" { set x [expr $x+1]; exp_continue; }
   2489 	-re ".* 824      3130" { set x [expr $x+1]; exp_continue; }
   2490 	-re ".* 825 19e6 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2491 	-re ".* 825      12345678" { set x [expr $x+1]; exp_continue; }
   2492 	-re ".* 825      B130" { set x [expr $x+1]; exp_continue; }
   2493 	-re ".* 826 19f0 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2494 	-re ".* 826      12345678" { set x [expr $x+1]; exp_continue; }
   2495 	-re ".* 826      8130" { set x [expr $x+1]; exp_continue; }
   2496 	-re ".* 827 19fa 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2497 	-re ".* 827      12345678" { set x [expr $x+1]; exp_continue; }
   2498 	-re ".* 827      A130" { set x [expr $x+1]; exp_continue; }
   2499 	-re ".* 828 1a04 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2500 	-re ".* 828      12345678" { set x [expr $x+1]; exp_continue; }
   2501 	-re ".* 828      9130" { set x [expr $x+1]; exp_continue; }
   2502 	-re ".* 829 1a0e 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2503 	-re ".* 829      12345678" { set x [expr $x+1]; exp_continue; }
   2504 	-re ".* 829      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2505 	-re ".* 830 1a1a 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2506 	-re ".* 830      12345678" { set x [expr $x+1]; exp_continue; }
   2507 	-re ".* 830      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2508 	-re ".* 830      DEF0" { set x [expr $x+1]; exp_continue; }
   2509 	-re ".* 831 1a28 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2510 	-re ".* 831      12345678" { set x [expr $x+1]; exp_continue; }
   2511 	-re ".* 831      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2512 	-re ".* 832 1a34 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2513 	-re ".* 832      12345678" { set x [expr $x+1]; exp_continue; }
   2514 	-re ".* 832      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2515 	-re ".* 833 1a40 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2516 	-re ".* 833      12345678" { set x [expr $x+1]; exp_continue; }
   2517 	-re ".* 833      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2518 	-re ".* 834 1a4c 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2519 	-re ".* 834      12345678" { set x [expr $x+1]; exp_continue; }
   2520 	-re ".* 834      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2521 	-re ".* 834      DEF0" { set x [expr $x+1]; exp_continue; }
   2522 	-re ".* 835 1a5a 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2523 	-re ".* 835      12345678" { set x [expr $x+1]; exp_continue; }
   2524 	-re ".* 835      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2525 	-re ".* 835      DEF0" { set x [expr $x+1]; exp_continue; }
   2526 	-re ".* 836 1a68 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2527 	-re ".* 836      12345678" { set x [expr $x+1]; exp_continue; }
   2528 	-re ".* 836      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2529 	-re ".* 836      DEF0" { set x [expr $x+1]; exp_continue; }
   2530 	-re ".* 837 1a76 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2531 	-re ".* 837      12345678" { set x [expr $x+1]; exp_continue; }
   2532 	-re ".* 837      40309ABC" { set x [expr $x+1]; exp_continue; }
   2533 	-re ".* 838 1a82 78B46B2C" { set x [expr $x+1]; exp_continue; }
   2534 	-re ".* 838      12345678" { set x [expr $x+1]; exp_continue; }
   2535 	-re ".* 838      48309ABC" { set x [expr $x+1]; exp_continue; }
   2536 	-re ".* 838      DEF0" { set x [expr $x+1]; exp_continue; }
   2537 	-re ".* 839              " {
   2538 	    if [expr $x == 53] then {
   2539 		pass "$testname: sub.l @(0x12345678:32,er3), ..."
   2540 	    } else {
   2541 		fail "$testname: sub.l @(0x12345678:32,er3), ... ($x)"
   2542 	    }
   2543 	}
   2544         default	{ fail "$testname: sub.l @(0x12345678:32,er3), ... ($x)" }
   2545     }
   2546 
   2547     set x 0
   2548     expect {
   2549 	-re ".* 840 1a90 01056F3C" { set x [expr $x+1]; exp_continue; }
   2550 	-re ".* 840      12340130" { set x [expr $x+1]; exp_continue; }
   2551 	-re ".* 841 1a98 01056F3C" { set x [expr $x+1]; exp_continue; }
   2552 	-re ".* 841      12343130" { set x [expr $x+1]; exp_continue; }
   2553 	-re ".* 842 1aa0 01056F3C" { set x [expr $x+1]; exp_continue; }
   2554 	-re ".* 842      1234B130" { set x [expr $x+1]; exp_continue; }
   2555 	-re ".* 843 1aa8 01056F3C" { set x [expr $x+1]; exp_continue; }
   2556 	-re ".* 843      12348130" { set x [expr $x+1]; exp_continue; }
   2557 	-re ".* 844 1ab0 01056F3C" { set x [expr $x+1]; exp_continue; }
   2558 	-re ".* 844      1234A130" { set x [expr $x+1]; exp_continue; }
   2559 	-re ".* 845 1ab8 01056F3C" { set x [expr $x+1]; exp_continue; }
   2560 	-re ".* 845      12349130" { set x [expr $x+1]; exp_continue; }
   2561 	-re ".* 846 1ac0 01056F3C" { set x [expr $x+1]; exp_continue; }
   2562 	-re ".* 846      1234C130" { set x [expr $x+1]; exp_continue; }
   2563 	-re ".* 846      9ABC" { set x [expr $x+1]; exp_continue; }
   2564 	-re ".* 847 1aca 01056F3C" { set x [expr $x+1]; exp_continue; }
   2565 	-re ".* 847      1234C930" { set x [expr $x+1]; exp_continue; }
   2566 	-re ".* 847      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2567 	-re ".* 848 1ad6 01056F3C" { set x [expr $x+1]; exp_continue; }
   2568 	-re ".* 848      1234D230" { set x [expr $x+1]; exp_continue; }
   2569 	-re ".* 848      9ABC" { set x [expr $x+1]; exp_continue; }
   2570 	-re ".* 849 1ae0 01056F3C" { set x [expr $x+1]; exp_continue; }
   2571 	-re ".* 849      1234E230" { set x [expr $x+1]; exp_continue; }
   2572 	-re ".* 849      9ABC" { set x [expr $x+1]; exp_continue; }
   2573 	-re ".* 850 1aea 01056F3C" { set x [expr $x+1]; exp_continue; }
   2574 	-re ".* 850      1234F230" { set x [expr $x+1]; exp_continue; }
   2575 	-re ".* 850      9ABC" { set x [expr $x+1]; exp_continue; }
   2576 	-re ".* 851 1af4 01056F3C" { set x [expr $x+1]; exp_continue; }
   2577 	-re ".* 851      1234DA30" { set x [expr $x+1]; exp_continue; }
   2578 	-re ".* 851      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2579 	-re ".* 852 1b00 01056F3C" { set x [expr $x+1]; exp_continue; }
   2580 	-re ".* 852      1234EA30" { set x [expr $x+1]; exp_continue; }
   2581 	-re ".* 852      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2582 	-re ".* 853 1b0c 01056F3C" { set x [expr $x+1]; exp_continue; }
   2583 	-re ".* 853      1234FA30" { set x [expr $x+1]; exp_continue; }
   2584 	-re ".* 853      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2585 	-re ".* 854 1b18 01056F3C" { set x [expr $x+1]; exp_continue; }
   2586 	-re ".* 854      12344030" { set x [expr $x+1]; exp_continue; }
   2587 	-re ".* 854      9ABC" { set x [expr $x+1]; exp_continue; }
   2588 	-re ".* 855 1b22 01056F3C" { set x [expr $x+1]; exp_continue; }
   2589 	-re ".* 855      12344830" { set x [expr $x+1]; exp_continue; }
   2590 	-re ".* 855      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2591 	-re ".* 856              " {
   2592 	    if [expr $x == 42] then {
   2593 		pass "$testname: sub.l @(0x1234:16,r3l.b), ..."
   2594 	    } else {
   2595 		fail "$testname: sub.l @(0x1234:16,r3l.b), ... ($x)"
   2596 	    }
   2597 	}
   2598         default	{ fail "$testname: sub.l @(0x1234:16,r3l.b), ... ($x)" }
   2599     }
   2600 
   2601     set x 0
   2602     expect {
   2603 	-re ".* 857 1b2e 01066F3C" { set x [expr $x+1]; exp_continue; }
   2604 	-re ".* 857      12340130" { set x [expr $x+1]; exp_continue; }
   2605 	-re ".* 858 1b36 01066F3C" { set x [expr $x+1]; exp_continue; }
   2606 	-re ".* 858      12343130" { set x [expr $x+1]; exp_continue; }
   2607 	-re ".* 859 1b3e 01066F3C" { set x [expr $x+1]; exp_continue; }
   2608 	-re ".* 859      1234B130" { set x [expr $x+1]; exp_continue; }
   2609 	-re ".* 860 1b46 01066F3C" { set x [expr $x+1]; exp_continue; }
   2610 	-re ".* 860      12348130" { set x [expr $x+1]; exp_continue; }
   2611 	-re ".* 861 1b4e 01066F3C" { set x [expr $x+1]; exp_continue; }
   2612 	-re ".* 861      1234A130" { set x [expr $x+1]; exp_continue; }
   2613 	-re ".* 862 1b56 01066F3C" { set x [expr $x+1]; exp_continue; }
   2614 	-re ".* 862      12349130" { set x [expr $x+1]; exp_continue; }
   2615 	-re ".* 863 1b5e 01066F3C" { set x [expr $x+1]; exp_continue; }
   2616 	-re ".* 863      1234C130" { set x [expr $x+1]; exp_continue; }
   2617 	-re ".* 863      9ABC" { set x [expr $x+1]; exp_continue; }
   2618 	-re ".* 864 1b68 01066F3C" { set x [expr $x+1]; exp_continue; }
   2619 	-re ".* 864      1234C930" { set x [expr $x+1]; exp_continue; }
   2620 	-re ".* 864      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2621 	-re ".* 865 1b74 01066F3C" { set x [expr $x+1]; exp_continue; }
   2622 	-re ".* 865      1234D230" { set x [expr $x+1]; exp_continue; }
   2623 	-re ".* 865      9ABC" { set x [expr $x+1]; exp_continue; }
   2624 	-re ".* 866 1b7e 01066F3C" { set x [expr $x+1]; exp_continue; }
   2625 	-re ".* 866      1234E230" { set x [expr $x+1]; exp_continue; }
   2626 	-re ".* 866      9ABC" { set x [expr $x+1]; exp_continue; }
   2627 	-re ".* 867 1b88 01066F3C" { set x [expr $x+1]; exp_continue; }
   2628 	-re ".* 867      1234F230" { set x [expr $x+1]; exp_continue; }
   2629 	-re ".* 867      9ABC" { set x [expr $x+1]; exp_continue; }
   2630 	-re ".* 868 1b92 01066F3C" { set x [expr $x+1]; exp_continue; }
   2631 	-re ".* 868      1234DA30" { set x [expr $x+1]; exp_continue; }
   2632 	-re ".* 868      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2633 	-re ".* 869 1b9e 01066F3C" { set x [expr $x+1]; exp_continue; }
   2634 	-re ".* 869      1234EA30" { set x [expr $x+1]; exp_continue; }
   2635 	-re ".* 869      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2636 	-re ".* 870 1baa 01066F3C" { set x [expr $x+1]; exp_continue; }
   2637 	-re ".* 870      1234FA30" { set x [expr $x+1]; exp_continue; }
   2638 	-re ".* 870      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2639 	-re ".* 871 1bb6 01066F3C" { set x [expr $x+1]; exp_continue; }
   2640 	-re ".* 871      12344030" { set x [expr $x+1]; exp_continue; }
   2641 	-re ".* 871      9ABC" { set x [expr $x+1]; exp_continue; }
   2642 	-re ".* 872 1bc0 01066F3C" { set x [expr $x+1]; exp_continue; }
   2643 	-re ".* 872      12344830" { set x [expr $x+1]; exp_continue; }
   2644 	-re ".* 872      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2645 	-re ".* 873              " {
   2646 	    if [expr $x == 42] then {
   2647 		pass "$testname: sub.l @(0x1234:16,r3.w), ..."
   2648 	    } else {
   2649 		fail "$testname: sub.l @(0x1234:16,r3.w), ... ($x)"
   2650 	    }
   2651 	}
   2652         default	{ fail "$testname: sub.l @(0x1234:16,r3.w), ... ($x)" }
   2653     }
   2654 
   2655     set x 0
   2656     expect {
   2657 	-re ".* 874 1bcc 01076F3C" { set x [expr $x+1]; exp_continue; }
   2658 	-re ".* 874      12340130" { set x [expr $x+1]; exp_continue; }
   2659 	-re ".* 875 1bd4 01076F3C" { set x [expr $x+1]; exp_continue; }
   2660 	-re ".* 875      12343130" { set x [expr $x+1]; exp_continue; }
   2661 	-re ".* 876 1bdc 01076F3C" { set x [expr $x+1]; exp_continue; }
   2662 	-re ".* 876      1234B130" { set x [expr $x+1]; exp_continue; }
   2663 	-re ".* 877 1be4 01076F3C" { set x [expr $x+1]; exp_continue; }
   2664 	-re ".* 877      12348130" { set x [expr $x+1]; exp_continue; }
   2665 	-re ".* 878 1bec 01076F3C" { set x [expr $x+1]; exp_continue; }
   2666 	-re ".* 878      1234A130" { set x [expr $x+1]; exp_continue; }
   2667 	-re ".* 879 1bf4 01076F3C" { set x [expr $x+1]; exp_continue; }
   2668 	-re ".* 879      12349130" { set x [expr $x+1]; exp_continue; }
   2669 	-re ".* 880 1bfc 01076F3C" { set x [expr $x+1]; exp_continue; }
   2670 	-re ".* 880      1234C130" { set x [expr $x+1]; exp_continue; }
   2671 	-re ".* 880      9ABC" { set x [expr $x+1]; exp_continue; }
   2672 	-re ".* 881 1c06 01076F3C" { set x [expr $x+1]; exp_continue; }
   2673 	-re ".* 881      1234C930" { set x [expr $x+1]; exp_continue; }
   2674 	-re ".* 881      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2675 	-re ".* 882 1c12 01076F3C" { set x [expr $x+1]; exp_continue; }
   2676 	-re ".* 882      1234D230" { set x [expr $x+1]; exp_continue; }
   2677 	-re ".* 882      9ABC" { set x [expr $x+1]; exp_continue; }
   2678 	-re ".* 883 1c1c 01076F3C" { set x [expr $x+1]; exp_continue; }
   2679 	-re ".* 883      1234E230" { set x [expr $x+1]; exp_continue; }
   2680 	-re ".* 883      9ABC" { set x [expr $x+1]; exp_continue; }
   2681 	-re ".* 884 1c26 01076F3C" { set x [expr $x+1]; exp_continue; }
   2682 	-re ".* 884      1234F230" { set x [expr $x+1]; exp_continue; }
   2683 	-re ".* 884      9ABC" { set x [expr $x+1]; exp_continue; }
   2684 	-re ".* 885 1c30 01076F3C" { set x [expr $x+1]; exp_continue; }
   2685 	-re ".* 885      1234DA30" { set x [expr $x+1]; exp_continue; }
   2686 	-re ".* 885      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2687 	-re ".* 886 1c3c 01076F3C" { set x [expr $x+1]; exp_continue; }
   2688 	-re ".* 886      1234EA30" { set x [expr $x+1]; exp_continue; }
   2689 	-re ".* 886      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2690 	-re ".* 887 1c48 01076F3C" { set x [expr $x+1]; exp_continue; }
   2691 	-re ".* 887      1234FA30" { set x [expr $x+1]; exp_continue; }
   2692 	-re ".* 887      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2693 	-re ".* 888 1c54 01076F3C" { set x [expr $x+1]; exp_continue; }
   2694 	-re ".* 888      12344030" { set x [expr $x+1]; exp_continue; }
   2695 	-re ".* 888      9ABC" { set x [expr $x+1]; exp_continue; }
   2696 	-re ".* 889 1c5e 01076F3C" { set x [expr $x+1]; exp_continue; }
   2697 	-re ".* 889      12344830" { set x [expr $x+1]; exp_continue; }
   2698 	-re ".* 889      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2699 	-re ".* 890              " {
   2700 	    if [expr $x == 42] then {
   2701 		pass "$testname: sub.l @(0x1234:16,er3.l), ..."
   2702 	    } else {
   2703 		fail "$testname: sub.l @(0x1234:16,er3.l), ... ($x)"
   2704 	    }
   2705 	}
   2706         default	{ fail "$testname: sub.l @(0x1234:16,er3.l), ... ($x)" }
   2707     }
   2708 
   2709     set x 0
   2710     expect {
   2711 	-re ".* 891 1c6a 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2712 	-re ".* 891      12345678" { set x [expr $x+1]; exp_continue; }
   2713 	-re ".* 891      0130" { set x [expr $x+1]; exp_continue; }
   2714 	-re ".* 892 1c74 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2715 	-re ".* 892      12345678" { set x [expr $x+1]; exp_continue; }
   2716 	-re ".* 892      3130" { set x [expr $x+1]; exp_continue; }
   2717 	-re ".* 893 1c7e 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2718 	-re ".* 893      12345678" { set x [expr $x+1]; exp_continue; }
   2719 	-re ".* 893      B130" { set x [expr $x+1]; exp_continue; }
   2720 	-re ".* 894 1c88 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2721 	-re ".* 894      12345678" { set x [expr $x+1]; exp_continue; }
   2722 	-re ".* 894      8130" { set x [expr $x+1]; exp_continue; }
   2723 	-re ".* 895 1c92 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2724 	-re ".* 895      12345678" { set x [expr $x+1]; exp_continue; }
   2725 	-re ".* 895      A130" { set x [expr $x+1]; exp_continue; }
   2726 	-re ".* 896 1c9c 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2727 	-re ".* 896      12345678" { set x [expr $x+1]; exp_continue; }
   2728 	-re ".* 896      9130" { set x [expr $x+1]; exp_continue; }
   2729 	-re ".* 897 1ca6 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2730 	-re ".* 897      12345678" { set x [expr $x+1]; exp_continue; }
   2731 	-re ".* 897      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2732 	-re ".* 898 1cb2 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2733 	-re ".* 898      12345678" { set x [expr $x+1]; exp_continue; }
   2734 	-re ".* 898      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2735 	-re ".* 898      DEF0" { set x [expr $x+1]; exp_continue; }
   2736 	-re ".* 899 1cc0 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2737 	-re ".* 899      12345678" { set x [expr $x+1]; exp_continue; }
   2738 	-re ".* 899      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2739 	-re ".* 900 1ccc 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2740 	-re ".* 900      12345678" { set x [expr $x+1]; exp_continue; }
   2741 	-re ".* 900      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2742 	-re ".* 901 1cd8 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2743 	-re ".* 901      12345678" { set x [expr $x+1]; exp_continue; }
   2744 	-re ".* 901      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2745 	-re ".* 902 1ce4 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2746 	-re ".* 902      12345678" { set x [expr $x+1]; exp_continue; }
   2747 	-re ".* 902      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2748 	-re ".* 902      DEF0" { set x [expr $x+1]; exp_continue; }
   2749 	-re ".* 903 1cf2 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2750 	-re ".* 903      12345678" { set x [expr $x+1]; exp_continue; }
   2751 	-re ".* 903      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2752 	-re ".* 903      DEF0" { set x [expr $x+1]; exp_continue; }
   2753 	-re ".* 904 1d00 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2754 	-re ".* 904      12345678" { set x [expr $x+1]; exp_continue; }
   2755 	-re ".* 904      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2756 	-re ".* 904      DEF0" { set x [expr $x+1]; exp_continue; }
   2757 	-re ".* 905 1d0e 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2758 	-re ".* 905      12345678" { set x [expr $x+1]; exp_continue; }
   2759 	-re ".* 905      40309ABC" { set x [expr $x+1]; exp_continue; }
   2760 	-re ".* 906 1d1a 78B56B2C" { set x [expr $x+1]; exp_continue; }
   2761 	-re ".* 906      12345678" { set x [expr $x+1]; exp_continue; }
   2762 	-re ".* 906      48309ABC" { set x [expr $x+1]; exp_continue; }
   2763 	-re ".* 906      DEF0" { set x [expr $x+1]; exp_continue; }
   2764 	-re ".* 907              " {
   2765 	    if [expr $x == 53] then {
   2766 		pass "$testname: sub.l @(0x12345678:32,r3l.b), ..."
   2767 	    } else {
   2768 		fail "$testname: sub.l @(0x12345678:32,r3l.b), ... ($x)"
   2769 	    }
   2770 	}
   2771         default	{ fail "$testname: sub.l @(0x12345678:32,r3l.b), ... ($x)" }
   2772     }
   2773 
   2774     set x 0
   2775     expect {
   2776 	-re ".* 908 1d28 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2777 	-re ".* 908      12345678" { set x [expr $x+1]; exp_continue; }
   2778 	-re ".* 908      0130" { set x [expr $x+1]; exp_continue; }
   2779 	-re ".* 909 1d32 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2780 	-re ".* 909      12345678" { set x [expr $x+1]; exp_continue; }
   2781 	-re ".* 909      3130" { set x [expr $x+1]; exp_continue; }
   2782 	-re ".* 910 1d3c 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2783 	-re ".* 910      12345678" { set x [expr $x+1]; exp_continue; }
   2784 	-re ".* 910      B130" { set x [expr $x+1]; exp_continue; }
   2785 	-re ".* 911 1d46 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2786 	-re ".* 911      12345678" { set x [expr $x+1]; exp_continue; }
   2787 	-re ".* 911      8130" { set x [expr $x+1]; exp_continue; }
   2788 	-re ".* 912 1d50 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2789 	-re ".* 912      12345678" { set x [expr $x+1]; exp_continue; }
   2790 	-re ".* 912      A130" { set x [expr $x+1]; exp_continue; }
   2791 	-re ".* 913 1d5a 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2792 	-re ".* 913      12345678" { set x [expr $x+1]; exp_continue; }
   2793 	-re ".* 913      9130" { set x [expr $x+1]; exp_continue; }
   2794 	-re ".* 914 1d64 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2795 	-re ".* 914      12345678" { set x [expr $x+1]; exp_continue; }
   2796 	-re ".* 914      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2797 	-re ".* 915 1d70 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2798 	-re ".* 915      12345678" { set x [expr $x+1]; exp_continue; }
   2799 	-re ".* 915      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2800 	-re ".* 915      DEF0" { set x [expr $x+1]; exp_continue; }
   2801 	-re ".* 916 1d7e 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2802 	-re ".* 916      12345678" { set x [expr $x+1]; exp_continue; }
   2803 	-re ".* 916      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2804 	-re ".* 917 1d8a 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2805 	-re ".* 917      12345678" { set x [expr $x+1]; exp_continue; }
   2806 	-re ".* 917      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2807 	-re ".* 918 1d96 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2808 	-re ".* 918      12345678" { set x [expr $x+1]; exp_continue; }
   2809 	-re ".* 918      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2810 	-re ".* 919 1da2 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2811 	-re ".* 919      12345678" { set x [expr $x+1]; exp_continue; }
   2812 	-re ".* 919      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2813 	-re ".* 919      DEF0" { set x [expr $x+1]; exp_continue; }
   2814 	-re ".* 920 1db0 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2815 	-re ".* 920      12345678" { set x [expr $x+1]; exp_continue; }
   2816 	-re ".* 920      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2817 	-re ".* 920      DEF0" { set x [expr $x+1]; exp_continue; }
   2818 	-re ".* 921 1dbe 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2819 	-re ".* 921      12345678" { set x [expr $x+1]; exp_continue; }
   2820 	-re ".* 921      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2821 	-re ".* 921      DEF0" { set x [expr $x+1]; exp_continue; }
   2822 	-re ".* 922 1dcc 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2823 	-re ".* 922      12345678" { set x [expr $x+1]; exp_continue; }
   2824 	-re ".* 922      40309ABC" { set x [expr $x+1]; exp_continue; }
   2825 	-re ".* 923 1dd8 78B66B2C" { set x [expr $x+1]; exp_continue; }
   2826 	-re ".* 923      12345678" { set x [expr $x+1]; exp_continue; }
   2827 	-re ".* 923      48309ABC" { set x [expr $x+1]; exp_continue; }
   2828 	-re ".* 923      DEF0" { set x [expr $x+1]; exp_continue; }
   2829 	-re ".* 924              " {
   2830 	    if [expr $x == 53] then {
   2831 		pass "$testname: sub.l @(0x12345678:32,r3.w), ..."
   2832 	    } else {
   2833 		fail "$testname: sub.l @(0x12345678:32,r3.w), ... ($x)"
   2834 	    }
   2835 	}
   2836         default	{ fail "$testname: sub.l @(0x12345678:32,r3.w), ... ($x)" }
   2837     }
   2838 
   2839     set x 0
   2840     expect {
   2841 	-re ".* 925 1de6 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2842 	-re ".* 925      12345678" { set x [expr $x+1]; exp_continue; }
   2843 	-re ".* 925      0130" { set x [expr $x+1]; exp_continue; }
   2844 	-re ".* 926 1df0 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2845 	-re ".* 926      12345678" { set x [expr $x+1]; exp_continue; }
   2846 	-re ".* 926      3130" { set x [expr $x+1]; exp_continue; }
   2847 	-re ".* 927 1dfa 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2848 	-re ".* 927      12345678" { set x [expr $x+1]; exp_continue; }
   2849 	-re ".* 927      B130" { set x [expr $x+1]; exp_continue; }
   2850 	-re ".* 928 1e04 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2851 	-re ".* 928      12345678" { set x [expr $x+1]; exp_continue; }
   2852 	-re ".* 928      8130" { set x [expr $x+1]; exp_continue; }
   2853 	-re ".* 929 1e0e 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2854 	-re ".* 929      12345678" { set x [expr $x+1]; exp_continue; }
   2855 	-re ".* 929      A130" { set x [expr $x+1]; exp_continue; }
   2856 	-re ".* 930 1e18 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2857 	-re ".* 930      12345678" { set x [expr $x+1]; exp_continue; }
   2858 	-re ".* 930      9130" { set x [expr $x+1]; exp_continue; }
   2859 	-re ".* 931 1e22 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2860 	-re ".* 931      12345678" { set x [expr $x+1]; exp_continue; }
   2861 	-re ".* 931      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2862 	-re ".* 932 1e2e 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2863 	-re ".* 932      12345678" { set x [expr $x+1]; exp_continue; }
   2864 	-re ".* 932      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2865 	-re ".* 932      DEF0" { set x [expr $x+1]; exp_continue; }
   2866 	-re ".* 933 1e3c 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2867 	-re ".* 933      12345678" { set x [expr $x+1]; exp_continue; }
   2868 	-re ".* 933      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2869 	-re ".* 934 1e48 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2870 	-re ".* 934      12345678" { set x [expr $x+1]; exp_continue; }
   2871 	-re ".* 934      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2872 	-re ".* 935 1e54 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2873 	-re ".* 935      12345678" { set x [expr $x+1]; exp_continue; }
   2874 	-re ".* 935      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2875 	-re ".* 936 1e60 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2876 	-re ".* 936      12345678" { set x [expr $x+1]; exp_continue; }
   2877 	-re ".* 936      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2878 	-re ".* 936      DEF0" { set x [expr $x+1]; exp_continue; }
   2879 	-re ".* 937 1e6e 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2880 	-re ".* 937      12345678" { set x [expr $x+1]; exp_continue; }
   2881 	-re ".* 937      EA309ABC" { set x [expr $x+1]; exp_continue; }
   2882 	-re ".* 937      DEF0" { set x [expr $x+1]; exp_continue; }
   2883 	-re ".* 938 1e7c 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2884 	-re ".* 938      12345678" { set x [expr $x+1]; exp_continue; }
   2885 	-re ".* 938      FA309ABC" { set x [expr $x+1]; exp_continue; }
   2886 	-re ".* 938      DEF0" { set x [expr $x+1]; exp_continue; }
   2887 	-re ".* 939 1e8a 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2888 	-re ".* 939      12345678" { set x [expr $x+1]; exp_continue; }
   2889 	-re ".* 939      40309ABC" { set x [expr $x+1]; exp_continue; }
   2890 	-re ".* 940 1e96 78B76B2C" { set x [expr $x+1]; exp_continue; }
   2891 	-re ".* 940      12345678" { set x [expr $x+1]; exp_continue; }
   2892 	-re ".* 940      48309ABC" { set x [expr $x+1]; exp_continue; }
   2893 	-re ".* 940      DEF0" { set x [expr $x+1]; exp_continue; }
   2894 	-re ".* 941              " {
   2895 	    if [expr $x == 53] then {
   2896 		pass "$testname: sub.l @(0x12345678:32,er3.l), ..."
   2897 	    } else {
   2898 		fail "$testname: sub.l @(0x12345678:32,er3.l), ... ($x)"
   2899 	    }
   2900 	}
   2901         default	{ fail "$testname: sub.l @(0x12345678:32,er3.l), ... ($x)" }
   2902     }
   2903 
   2904     set x 0
   2905     expect {
   2906 	-re ".* 942 1ea4 01046B0C" { set x [expr $x+1]; exp_continue; }
   2907 	-re ".* 942      12340130" { set x [expr $x+1]; exp_continue; }
   2908 	-re ".* 943 1eac 01046B0C" { set x [expr $x+1]; exp_continue; }
   2909 	-re ".* 943      12343130" { set x [expr $x+1]; exp_continue; }
   2910 	-re ".* 944 1eb4 01046B0C" { set x [expr $x+1]; exp_continue; }
   2911 	-re ".* 944      1234B130" { set x [expr $x+1]; exp_continue; }
   2912 	-re ".* 945 1ebc 01046B0C" { set x [expr $x+1]; exp_continue; }
   2913 	-re ".* 945      12348130" { set x [expr $x+1]; exp_continue; }
   2914 	-re ".* 946 1ec4 01046B0C" { set x [expr $x+1]; exp_continue; }
   2915 	-re ".* 946      1234A130" { set x [expr $x+1]; exp_continue; }
   2916 	-re ".* 947 1ecc 01046B0C" { set x [expr $x+1]; exp_continue; }
   2917 	-re ".* 947      12349130" { set x [expr $x+1]; exp_continue; }
   2918 	-re ".* 948 1ed4 01046B0C" { set x [expr $x+1]; exp_continue; }
   2919 	-re ".* 948      1234C130" { set x [expr $x+1]; exp_continue; }
   2920 	-re ".* 948      9ABC" { set x [expr $x+1]; exp_continue; }
   2921 	-re ".* 949 1ede 01046B0C" { set x [expr $x+1]; exp_continue; }
   2922 	-re ".* 949      1234C930" { set x [expr $x+1]; exp_continue; }
   2923 	-re ".* 949      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2924 	-re ".* 950 1eea 01046B0C" { set x [expr $x+1]; exp_continue; }
   2925 	-re ".* 950      1234D230" { set x [expr $x+1]; exp_continue; }
   2926 	-re ".* 950      9ABC" { set x [expr $x+1]; exp_continue; }
   2927 	-re ".* 951 1ef4 01046B0C" { set x [expr $x+1]; exp_continue; }
   2928 	-re ".* 951      1234E230" { set x [expr $x+1]; exp_continue; }
   2929 	-re ".* 951      9ABC" { set x [expr $x+1]; exp_continue; }
   2930 	-re ".* 952 1efe 01046B0C" { set x [expr $x+1]; exp_continue; }
   2931 	-re ".* 952      1234F230" { set x [expr $x+1]; exp_continue; }
   2932 	-re ".* 952      9ABC" { set x [expr $x+1]; exp_continue; }
   2933 	-re ".* 953 1f08 01046B0C" { set x [expr $x+1]; exp_continue; }
   2934 	-re ".* 953      1234DA30" { set x [expr $x+1]; exp_continue; }
   2935 	-re ".* 953      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2936 	-re ".* 954 1f14 01046B0C" { set x [expr $x+1]; exp_continue; }
   2937 	-re ".* 954      1234EA30" { set x [expr $x+1]; exp_continue; }
   2938 	-re ".* 954      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2939 	-re ".* 955 1f20 01046B0C" { set x [expr $x+1]; exp_continue; }
   2940 	-re ".* 955      1234FA30" { set x [expr $x+1]; exp_continue; }
   2941 	-re ".* 955      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2942 	-re ".* 956 1f2c 01046B0C" { set x [expr $x+1]; exp_continue; }
   2943 	-re ".* 956      12344030" { set x [expr $x+1]; exp_continue; }
   2944 	-re ".* 956      9ABC" { set x [expr $x+1]; exp_continue; }
   2945 	-re ".* 957 1f36 01046B0C" { set x [expr $x+1]; exp_continue; }
   2946 	-re ".* 957      12344830" { set x [expr $x+1]; exp_continue; }
   2947 	-re ".* 957      9ABCDEF0" { set x [expr $x+1]; exp_continue; }
   2948 	-re ".* 958              " {
   2949 	    if [expr $x == 42] then {
   2950 		pass "$testname: sub.l @0x1234:16, ..."
   2951 	    } else {
   2952 		fail "$testname: sub.l @0x1234:16, ... ($x)"
   2953 	    }
   2954 	}
   2955         default	{ fail "$testname: sub.l @0x1234:16, ... ($x)" }
   2956     }
   2957     # FIXME return early, expect bombs out on the next group.
   2958     return
   2959     set x 0
   2960     expect {
   2961 	-re ".* 959 1f42 01046B2C" { set x [expr $x+1]; exp_continue; }
   2962 	-re ".* 959      12345678" { set x [expr $x+1]; exp_continue; }
   2963 	-re ".* 959      0130" { set x [expr $x+1]; exp_continue; }
   2964 	-re ".* 960 1f4c 01046B2C" { set x [expr $x+1]; exp_continue; }
   2965 	-re ".* 960      12345678" { set x [expr $x+1]; exp_continue; }
   2966 	-re ".* 960      3130" { set x [expr $x+1]; exp_continue; }
   2967 	-re ".* 961 1f56 01046B2C" { set x [expr $x+1]; exp_continue; }
   2968 	-re ".* 961      12345678" { set x [expr $x+1]; exp_continue; }
   2969 	-re ".* 961      B130" { set x [expr $x+1]; exp_continue; }
   2970 	-re ".* 962 1f60 01046B2C" { set x [expr $x+1]; exp_continue; }
   2971 	-re ".* 962      12345678" { set x [expr $x+1]; exp_continue; }
   2972 	-re ".* 962      8130" { set x [expr $x+1]; exp_continue; }
   2973 	-re ".* 963 1f6a 01046B2C" { set x [expr $x+1]; exp_continue; }
   2974 	-re ".* 963      12345678" { set x [expr $x+1]; exp_continue; }
   2975 	-re ".* 963      A130" { set x [expr $x+1]; exp_continue; }
   2976 	-re ".* 964 1f74 01046B2C" { set x [expr $x+1]; exp_continue; }
   2977 	-re ".* 964      12345678" { set x [expr $x+1]; exp_continue; }
   2978 	-re ".* 964      9130" { set x [expr $x+1]; exp_continue; }
   2979 	-re ".* 965 1f7e 01046B2C" { set x [expr $x+1]; exp_continue; }
   2980 	-re ".* 965      12345678" { set x [expr $x+1]; exp_continue; }
   2981 	-re ".* 965      C1309ABC" { set x [expr $x+1]; exp_continue; }
   2982 	-re ".* 966 1f8a 01046B2C" { set x [expr $x+1]; exp_continue; }
   2983 	-re ".* 966      12345678" { set x [expr $x+1]; exp_continue; }
   2984 	-re ".* 966      C9309ABC" { set x [expr $x+1]; exp_continue; }
   2985 	-re ".* 966      DEF0" { set x [expr $x+1]; exp_continue; }
   2986 	-re ".* 967 1f98 01046B2C" { set x [expr $x+1]; exp_continue; }
   2987 	-re ".* 967      12345678" { set x [expr $x+1]; exp_continue; }
   2988 	-re ".* 967      D2309ABC" { set x [expr $x+1]; exp_continue; }
   2989 	-re ".* 968 1fa4 01046B2C" { set x [expr $x+1]; exp_continue; }
   2990 	-re ".* 968      12345678" { set x [expr $x+1]; exp_continue; }
   2991 	-re ".* 968      E2309ABC" { set x [expr $x+1]; exp_continue; }
   2992 	-re ".* 969 1fb0 01046B2C" { set x [expr $x+1]; exp_continue; }
   2993 	-re ".* 969      12345678" { set x [expr $x+1]; exp_continue; }
   2994 	-re ".* 969      F2309ABC" { set x [expr $x+1]; exp_continue; }
   2995 	-re ".* 970 1fbc 01046B2C" { set x [expr $x+1]; exp_continue; }
   2996 	-re ".* 970      12345678" { set x [expr $x+1]; exp_continue; }
   2997 	-re ".* 970      DA309ABC" { set x [expr $x+1]; exp_continue; }
   2998 	-re ".* 970      DEF0" { set x [expr $x+1]; exp_continue; }
   2999 	-re ".* 971 1fca 01046B2C" { set x [expr $x+1]; exp_continue; }
   3000 	-re ".* 971      12345678" { set x [expr $x+1]; exp_continue; }
   3001 	-re ".* 971      EA309ABC" { set x [expr $x+1]; exp_continue; }
   3002 	-re ".* 971      DEF0" { set x [expr $x+1]; exp_continue; }
   3003 	-re ".* 972 1fd8 01046B2C" { set x [expr $x+1]; exp_continue; }
   3004 	-re ".* 972      12345678" { set x [expr $x+1]; exp_continue; }
   3005 	-re ".* 972      FA309ABC" { set x [expr $x+1]; exp_continue; }
   3006 	-re ".* 972      DEF0" { set x [expr $x+1]; exp_continue; }
   3007 	-re ".* 973 1fe6 01046B2C" { set x [expr $x+1]; exp_continue; }
   3008 	-re ".* 973      12345678" { set x [expr $x+1]; exp_continue; }
   3009 	-re ".* 973      40309ABC" { set x [expr $x+1]; exp_continue; }
   3010 	-re ".* 974 1ff2 01046B2C" { set x [expr $x+1]; exp_continue; }
   3011 	-re ".* 974      12345678" { set x [expr $x+1]; exp_continue; }
   3012 	-re ".* 974      48309ABC" { set x [expr $x+1]; exp_continue; }
   3013 	-re ".* 974      DEF0" { set x [expr $x+1]; exp_continue; }
   3014 	-re ".* 975              " {
   3015 	    if [expr $x == 53] then {
   3016 		pass "$testname: sub.l @0x12345678:32, ..."
   3017 	    } else {
   3018 		fail "$testname: sub.l @0x12345678:32, ... ($x)"
   3019 	    }
   3020 	}
   3021         default	{ fail "$testname: sub.l @0x12345678:32, ... ($x)" }
   3022     }
   3023 
   3024     # This was intended to do any cleanup necessary.
   3025     # It kinda looks like it isn't needed, but just
   3026     # in case, please keep it in for now.
   3027 
   3028     gas_finish
   3029 
   3030 }
   3031 
   3032 if [istarget h8300*-*-elf] then {
   3033     # Test advanced h8300sx instructions.
   3034     do_t04_sub_test
   3035 }
   3036 
   3037