gas/testsuite/gas/h8300/t03_add.exp

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