mem_helper.c 35.0 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
/*
 *  S/390 memory access helper routines
 *
 *  Copyright (c) 2009 Ulrich Hecht
 *  Copyright (c) 2009 Alexander Graf
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
 */

P
Peter Maydell 已提交
21
#include "qemu/osdep.h"
22
#include "cpu.h"
23
#include "exec/address-spaces.h"
24
#include "exec/helper-proto.h"
25
#include "exec/exec-all.h"
P
Paolo Bonzini 已提交
26
#include "exec/cpu_ldst.h"
27
#include "qemu/int128.h"
28 29

#if !defined(CONFIG_USER_ONLY)
30
#include "hw/s390x/storage-keys.h"
31
#endif
32 33 34 35 36 37 38 39 40

/*****************************************************************************/
/* Softmmu support */
#if !defined(CONFIG_USER_ONLY)

/* try to fill the TLB and return an exception if error. If retaddr is
   NULL, it means that the function was called in C code (i.e. not
   from generated code or from helper.c) */
/* XXX: fix it to restore all registers */
41 42
void tlb_fill(CPUState *cs, target_ulong addr, MMUAccessType access_type,
              int mmu_idx, uintptr_t retaddr)
43
{
44
    int ret = s390_cpu_handle_mmu_fault(cs, addr, access_type, mmu_idx);
45
    if (unlikely(ret != 0)) {
46
        cpu_loop_exit_restore(cs, retaddr);
47 48 49 50 51 52 53 54 55 56 57 58
    }
}

#endif

/* #define DEBUG_HELPER */
#ifdef DEBUG_HELPER
#define HELPER_LOG(x...) qemu_log(x)
#else
#define HELPER_LOG(x...)
#endif

59
/* Reduce the length so that addr + len doesn't cross a page boundary.  */
60
static inline uint32_t adj_len_to_page(uint32_t len, uint64_t addr)
61 62 63 64 65 66 67 68 69
{
#ifndef CONFIG_USER_ONLY
    if ((addr & ~TARGET_PAGE_MASK) + len - 1 >= TARGET_PAGE_SIZE) {
        return -addr & ~TARGET_PAGE_MASK;
    }
#endif
    return len;
}

70
static void fast_memset(CPUS390XState *env, uint64_t dest, uint8_t byte,
71
                        uint32_t l, uintptr_t ra)
72
{
73
    int mmu_idx = cpu_mmu_index(env, false);
74 75 76 77 78

    while (l > 0) {
        void *p = tlb_vaddr_to_host(env, dest, MMU_DATA_STORE, mmu_idx);
        if (p) {
            /* Access to the whole page in write mode granted.  */
79
            uint32_t l_adj = adj_len_to_page(l, dest);
80 81 82 83 84 85
            memset(p, byte, l_adj);
            dest += l_adj;
            l -= l_adj;
        } else {
            /* We failed to get access to the whole page. The next write
               access will likely fill the QEMU TLB for the next iteration.  */
86
            cpu_stb_data_ra(env, dest, byte, ra);
87 88 89
            dest++;
            l--;
        }
90 91 92
    }
}

93
static void fast_memmove(CPUS390XState *env, uint64_t dest, uint64_t src,
94
                         uint32_t l, uintptr_t ra)
95
{
96
    int mmu_idx = cpu_mmu_index(env, false);
97

98 99 100 101 102
    while (l > 0) {
        void *src_p = tlb_vaddr_to_host(env, src, MMU_DATA_LOAD, mmu_idx);
        void *dest_p = tlb_vaddr_to_host(env, dest, MMU_DATA_STORE, mmu_idx);
        if (src_p && dest_p) {
            /* Access to both whole pages granted.  */
103
            uint32_t l_adj = adj_len_to_page(l, src);
104 105 106 107 108 109 110 111 112
            l_adj = adj_len_to_page(l_adj, dest);
            memmove(dest_p, src_p, l_adj);
            src += l_adj;
            dest += l_adj;
            l -= l_adj;
        } else {
            /* We failed to get access to one or both whole pages. The next
               read or write access will likely fill the QEMU TLB for the
               next iteration.  */
113
            cpu_stb_data_ra(env, dest, cpu_ldub_data_ra(env, src, ra), ra);
114 115 116 117
            src++;
            dest++;
            l--;
        }
118 119 120 121
    }
}

/* and on array */
122 123
static uint32_t do_helper_nc(CPUS390XState *env, uint32_t l, uint64_t dest,
                             uint64_t src, uintptr_t ra)
124
{
125 126
    uint32_t i;
    uint8_t c = 0;
127 128 129

    HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
               __func__, l, dest, src);
130

131
    for (i = 0; i <= l; i++) {
132 133 134 135
        uint8_t x = cpu_ldub_data_ra(env, src + i, ra);
        x &= cpu_ldub_data_ra(env, dest + i, ra);
        c |= x;
        cpu_stb_data_ra(env, dest + i, x, ra);
136
    }
137 138 139 140 141 142 143
    return c != 0;
}

uint32_t HELPER(nc)(CPUS390XState *env, uint32_t l, uint64_t dest,
                    uint64_t src)
{
    return do_helper_nc(env, l, dest, src, GETPC());
144 145 146
}

/* xor on array */
147 148
static uint32_t do_helper_xc(CPUS390XState *env, uint32_t l, uint64_t dest,
                             uint64_t src, uintptr_t ra)
149
{
150 151
    uint32_t i;
    uint8_t c = 0;
152 153 154 155 156 157

    HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
               __func__, l, dest, src);

    /* xor with itself is the same as memset(0) */
    if (src == dest) {
158
        fast_memset(env, dest, 0, l + 1, ra);
159 160 161 162
        return 0;
    }

    for (i = 0; i <= l; i++) {
163 164 165 166
        uint8_t x = cpu_ldub_data_ra(env, src + i, ra);
        x ^= cpu_ldub_data_ra(env, dest + i, ra);
        c |= x;
        cpu_stb_data_ra(env, dest + i, x, ra);
167
    }
168 169 170 171 172 173 174
    return c != 0;
}

uint32_t HELPER(xc)(CPUS390XState *env, uint32_t l, uint64_t dest,
                    uint64_t src)
{
    return do_helper_xc(env, l, dest, src, GETPC());
175 176 177
}

/* or on array */
178 179
static uint32_t do_helper_oc(CPUS390XState *env, uint32_t l, uint64_t dest,
                             uint64_t src, uintptr_t ra)
180
{
181 182
    uint32_t i;
    uint8_t c = 0;
183 184 185

    HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
               __func__, l, dest, src);
186

187
    for (i = 0; i <= l; i++) {
188 189 190 191
        uint8_t x = cpu_ldub_data_ra(env, src + i, ra);
        x |= cpu_ldub_data_ra(env, dest + i, ra);
        c |= x;
        cpu_stb_data_ra(env, dest + i, x, ra);
192
    }
193 194 195 196 197 198 199
    return c != 0;
}

uint32_t HELPER(oc)(CPUS390XState *env, uint32_t l, uint64_t dest,
                    uint64_t src)
{
    return do_helper_oc(env, l, dest, src, GETPC());
200 201 202
}

/* memmove */
203 204
static void do_helper_mvc(CPUS390XState *env, uint32_t l, uint64_t dest,
                          uint64_t src, uintptr_t ra)
205
{
206
    uint32_t i;
207 208 209 210

    HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
               __func__, l, dest, src);

211 212
    /* mvc with source pointing to the byte after the destination is the
       same as memset with the first source byte */
213 214
    if (dest == src + 1) {
        fast_memset(env, dest, cpu_ldub_data_ra(env, src, ra), l + 1, ra);
215 216
        return;
    }
217

218
    /* mvc and memmove do not behave the same when areas overlap! */
219 220
    if (dest < src || src + l < dest) {
        fast_memmove(env, dest, src, l + 1, ra);
221 222 223
        return;
    }

224
    /* slow version with byte accesses which always work */
225
    for (i = 0; i <= l; i++) {
226
        cpu_stb_data_ra(env, dest + i, cpu_ldub_data_ra(env, src + i, ra), ra);
227 228 229
    }
}

230 231 232 233 234
void HELPER(mvc)(CPUS390XState *env, uint32_t l, uint64_t dest, uint64_t src)
{
    do_helper_mvc(env, l, dest, src, GETPC());
}

235
/* compare unsigned byte arrays */
236 237
static uint32_t do_helper_clc(CPUS390XState *env, uint32_t l, uint64_t s1,
                              uint64_t s2, uintptr_t ra)
238
{
239 240
    uint32_t i;
    uint32_t cc = 0;
241 242 243

    HELPER_LOG("%s l %d s1 %" PRIx64 " s2 %" PRIx64 "\n",
               __func__, l, s1, s2);
244

245
    for (i = 0; i <= l; i++) {
246 247
        uint8_t x = cpu_ldub_data_ra(env, s1 + i, ra);
        uint8_t y = cpu_ldub_data_ra(env, s2 + i, ra);
248 249 250
        HELPER_LOG("%02x (%c)/%02x (%c) ", x, x, y, y);
        if (x < y) {
            cc = 1;
251
            break;
252 253
        } else if (x > y) {
            cc = 2;
254
            break;
255 256
        }
    }
257

258 259 260 261
    HELPER_LOG("\n");
    return cc;
}

262 263 264 265 266
uint32_t HELPER(clc)(CPUS390XState *env, uint32_t l, uint64_t s1, uint64_t s2)
{
    return do_helper_clc(env, l, s1, s2, GETPC());
}

267
/* compare logical under mask */
268 269
uint32_t HELPER(clm)(CPUS390XState *env, uint32_t r1, uint32_t mask,
                     uint64_t addr)
270
{
271 272
    uintptr_t ra = GETPC();
    uint32_t cc = 0;
273 274 275

    HELPER_LOG("%s: r1 0x%x mask 0x%x addr 0x%" PRIx64 "\n", __func__, r1,
               mask, addr);
276

277 278
    while (mask) {
        if (mask & 8) {
279 280
            uint8_t d = cpu_ldub_data_ra(env, addr, ra);
            uint8_t r = extract32(r1, 24, 8);
281 282 283 284 285 286 287 288 289 290 291 292 293 294
            HELPER_LOG("mask 0x%x %02x/%02x (0x%" PRIx64 ") ", mask, r, d,
                       addr);
            if (r < d) {
                cc = 1;
                break;
            } else if (r > d) {
                cc = 2;
                break;
            }
            addr++;
        }
        mask = (mask << 1) & 0xf;
        r1 <<= 8;
    }
295

296 297 298 299
    HELPER_LOG("\n");
    return cc;
}

300 301 302 303 304 305 306 307 308
static inline uint64_t fix_address(CPUS390XState *env, uint64_t a)
{
    /* 31-Bit mode */
    if (!(env->psw.mask & PSW_MASK_64)) {
        a &= 0x7fffffff;
    }
    return a;
}

309
static inline uint64_t get_address(CPUS390XState *env, int x2, int b2, int d2)
310 311 312 313 314 315 316 317
{
    uint64_t r = d2;
    if (x2) {
        r += env->regs[x2];
    }
    if (b2) {
        r += env->regs[b2];
    }
318
    return fix_address(env, r);
319 320
}

321
static inline uint64_t get_address_31fix(CPUS390XState *env, int reg)
322
{
323
    return fix_address(env, env->regs[reg]);
324 325 326
}

/* search string (c is byte to search, r2 is string, r1 end of string) */
R
Richard Henderson 已提交
327 328
uint64_t HELPER(srst)(CPUS390XState *env, uint64_t r0, uint64_t end,
                      uint64_t str)
329
{
330
    uintptr_t ra = GETPC();
R
Richard Henderson 已提交
331 332
    uint32_t len;
    uint8_t v, c = r0;
333

R
Richard Henderson 已提交
334 335
    str = fix_address(env, str);
    end = fix_address(env, end);
336

R
Richard Henderson 已提交
337 338 339 340
    /* Assume for now that R2 is unmodified.  */
    env->retxl = str;

    /* Lest we fail to service interrupts in a timely manner, limit the
341
       amount of work we're willing to do.  For now, let's cap at 8k.  */
R
Richard Henderson 已提交
342 343 344 345 346 347
    for (len = 0; len < 0x2000; ++len) {
        if (str + len == end) {
            /* Character not found.  R1 & R2 are unmodified.  */
            env->cc_op = 2;
            return end;
        }
348
        v = cpu_ldub_data_ra(env, str + len, ra);
R
Richard Henderson 已提交
349 350 351 352
        if (v == c) {
            /* Character found.  Set R1 to the location; R2 is unmodified.  */
            env->cc_op = 1;
            return str + len;
353 354 355
        }
    }

R
Richard Henderson 已提交
356 357 358 359
    /* CPU-determined bytes processed.  Advance R2 to next byte to process.  */
    env->retxl = str + len;
    env->cc_op = 3;
    return end;
360 361 362
}

/* unsigned string compare (c is string terminator) */
363
uint64_t HELPER(clst)(CPUS390XState *env, uint64_t c, uint64_t s1, uint64_t s2)
364
{
365
    uintptr_t ra = GETPC();
366
    uint32_t len;
367 368

    c = c & 0xff;
369 370 371 372
    s1 = fix_address(env, s1);
    s2 = fix_address(env, s2);

    /* Lest we fail to service interrupts in a timely manner, limit the
373
       amount of work we're willing to do.  For now, let's cap at 8k.  */
374
    for (len = 0; len < 0x2000; ++len) {
375 376
        uint8_t v1 = cpu_ldub_data_ra(env, s1 + len, ra);
        uint8_t v2 = cpu_ldub_data_ra(env, s2 + len, ra);
377 378 379 380 381 382 383 384 385 386 387 388 389 390
        if (v1 == v2) {
            if (v1 == c) {
                /* Equal.  CC=0, and don't advance the registers.  */
                env->cc_op = 0;
                env->retxl = s2;
                return s1;
            }
        } else {
            /* Unequal.  CC={1,2}, and advance the registers.  Note that
               the terminator need not be zero, but the string that contains
               the terminator is by definition "low".  */
            env->cc_op = (v1 == c ? 1 : v2 == c ? 2 : v1 < v2 ? 1 : 2);
            env->retxl = s2 + len;
            return s1 + len;
391 392 393
        }
    }

394 395 396 397
    /* CPU-determined bytes equal; advance the registers.  */
    env->cc_op = 3;
    env->retxl = s2 + len;
    return s1 + len;
398 399 400
}

/* move page */
401
uint32_t HELPER(mvpg)(CPUS390XState *env, uint64_t r0, uint64_t r1, uint64_t r2)
402
{
403 404 405 406
    /* ??? missing r0 handling, which includes access keys, but more
       importantly optional suppression of the exception!  */
    fast_memmove(env, r1, r2, TARGET_PAGE_SIZE, GETPC());
    return 0; /* data moved */
407 408 409
}

/* string copy (c is string terminator) */
410
uint64_t HELPER(mvst)(CPUS390XState *env, uint64_t c, uint64_t d, uint64_t s)
411
{
412
    uintptr_t ra = GETPC();
413
    uint32_t len;
414 415

    c = c & 0xff;
416 417 418 419
    d = fix_address(env, d);
    s = fix_address(env, s);

    /* Lest we fail to service interrupts in a timely manner, limit the
420
       amount of work we're willing to do.  For now, let's cap at 8k.  */
421
    for (len = 0; len < 0x2000; ++len) {
422 423
        uint8_t v = cpu_ldub_data_ra(env, s + len, ra);
        cpu_stb_data_ra(env, d + len, v, ra);
424
        if (v == c) {
425 426 427 428
            /* Complete.  Set CC=1 and advance R1.  */
            env->cc_op = 1;
            env->retxl = s;
            return d + len;
429 430
        }
    }
431 432 433 434 435

    /* Incomplete.  Set CC=3 and signal to advance R1 and R2.  */
    env->cc_op = 3;
    env->retxl = s + len;
    return d + len;
436 437
}

438 439
static uint32_t helper_icm(CPUS390XState *env, uint32_t r1, uint64_t address,
                           uint32_t mask)
440 441 442 443 444 445 446 447 448 449
{
    int pos = 24; /* top of the lower half of r1 */
    uint64_t rmask = 0xff000000ULL;
    uint8_t val = 0;
    int ccd = 0;
    uint32_t cc = 0;

    while (mask) {
        if (mask & 8) {
            env->regs[r1] &= ~rmask;
450
            val = cpu_ldub_data(env, address);
451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469
            if ((val & 0x80) && !ccd) {
                cc = 1;
            }
            ccd = 1;
            if (val && cc == 0) {
                cc = 2;
            }
            env->regs[r1] |= (uint64_t)val << pos;
            address++;
        }
        mask = (mask << 1) & 0xf;
        pos -= 8;
        rmask >>= 8;
    }

    return cc;
}

/* load access registers r1 to r3 from memory at a2 */
470
void HELPER(lam)(CPUS390XState *env, uint32_t r1, uint64_t a2, uint32_t r3)
471
{
472
    uintptr_t ra = GETPC();
473 474 475
    int i;

    for (i = r1;; i = (i + 1) % 16) {
476
        env->aregs[i] = cpu_ldl_data_ra(env, a2, ra);
477 478 479 480 481 482 483 484 485
        a2 += 4;

        if (i == r3) {
            break;
        }
    }
}

/* store access registers r1 to r3 in memory at a2 */
486
void HELPER(stam)(CPUS390XState *env, uint32_t r1, uint64_t a2, uint32_t r3)
487
{
488
    uintptr_t ra = GETPC();
489 490 491
    int i;

    for (i = r1;; i = (i + 1) % 16) {
492
        cpu_stl_data_ra(env, a2, env->aregs[i], ra);
493 494 495 496 497 498 499 500 501
        a2 += 4;

        if (i == r3) {
            break;
        }
    }
}

/* move long */
502
uint32_t HELPER(mvcl)(CPUS390XState *env, uint32_t r1, uint32_t r2)
503
{
504
    uintptr_t ra = GETPC();
505
    uint64_t destlen = env->regs[r1 + 1] & 0xffffff;
506
    uint64_t dest = get_address_31fix(env, r1);
507
    uint64_t srclen = env->regs[r2 + 1] & 0xffffff;
508
    uint64_t src = get_address_31fix(env, r2);
509
    uint8_t pad = env->regs[r2 + 1] >> 24;
510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525
    uint8_t v;
    uint32_t cc;

    if (destlen == srclen) {
        cc = 0;
    } else if (destlen < srclen) {
        cc = 1;
    } else {
        cc = 2;
    }

    if (srclen > destlen) {
        srclen = destlen;
    }

    for (; destlen && srclen; src++, dest++, destlen--, srclen--) {
526 527
        v = cpu_ldub_data_ra(env, src, ra);
        cpu_stb_data_ra(env, dest, v, ra);
528 529 530
    }

    for (; destlen; dest++, destlen--) {
531
        cpu_stb_data_ra(env, dest, pad, ra);
532 533 534 535 536 537 538 539 540 541 542 543
    }

    env->regs[r1 + 1] = destlen;
    /* can't use srclen here, we trunc'ed it */
    env->regs[r2 + 1] -= src - env->regs[r2];
    env->regs[r1] = dest;
    env->regs[r2] = src;

    return cc;
}

/* move long extended another memcopy insn with more bells and whistles */
544 545
uint32_t HELPER(mvcle)(CPUS390XState *env, uint32_t r1, uint64_t a2,
                       uint32_t r3)
546
{
547
    uintptr_t ra = GETPC();
548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575
    uint64_t destlen = env->regs[r1 + 1];
    uint64_t dest = env->regs[r1];
    uint64_t srclen = env->regs[r3 + 1];
    uint64_t src = env->regs[r3];
    uint8_t pad = a2 & 0xff;
    uint8_t v;
    uint32_t cc;

    if (!(env->psw.mask & PSW_MASK_64)) {
        destlen = (uint32_t)destlen;
        srclen = (uint32_t)srclen;
        dest &= 0x7fffffff;
        src &= 0x7fffffff;
    }

    if (destlen == srclen) {
        cc = 0;
    } else if (destlen < srclen) {
        cc = 1;
    } else {
        cc = 2;
    }

    if (srclen > destlen) {
        srclen = destlen;
    }

    for (; destlen && srclen; src++, dest++, destlen--, srclen--) {
576 577
        v = cpu_ldub_data_ra(env, src, ra);
        cpu_stb_data_ra(env, dest, v, ra);
578 579 580
    }

    for (; destlen; dest++, destlen--) {
581
        cpu_stb_data_ra(env, dest, pad, ra);
582 583 584 585 586 587 588 589 590 591 592 593 594
    }

    env->regs[r1 + 1] = destlen;
    /* can't use srclen here, we trunc'ed it */
    /* FIXME: 31-bit mode! */
    env->regs[r3 + 1] -= src - env->regs[r3];
    env->regs[r1] = dest;
    env->regs[r3] = src;

    return cc;
}

/* compare logical long extended memcompare insn with padding */
595 596
uint32_t HELPER(clcle)(CPUS390XState *env, uint32_t r1, uint64_t a2,
                       uint32_t r3)
597
{
598
    uintptr_t ra = GETPC();
599
    uint64_t destlen = env->regs[r1 + 1];
600
    uint64_t dest = get_address_31fix(env, r1);
601
    uint64_t srclen = env->regs[r3 + 1];
602
    uint64_t src = get_address_31fix(env, r3);
603 604 605 606 607 608 609 610 611 612 613 614
    uint8_t pad = a2 & 0xff;
    uint32_t cc = 0;

    if (!(destlen || srclen)) {
        return cc;
    }

    if (srclen > destlen) {
        srclen = destlen;
    }

    for (; destlen || srclen; src++, dest++, destlen--, srclen--) {
615 616
        uint8_t v1 = srclen ? cpu_ldub_data_ra(env, src, ra) : pad;
        uint8_t v2 = destlen ? cpu_ldub_data_ra(env, dest, ra) : pad;
617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632
        if (v1 != v2) {
            cc = (v1 < v2) ? 1 : 2;
            break;
        }
    }

    env->regs[r1 + 1] = destlen;
    /* can't use srclen here, we trunc'ed it */
    env->regs[r3 + 1] -= src - env->regs[r3];
    env->regs[r1] = dest;
    env->regs[r3] = src;

    return cc;
}

/* checksum */
R
Richard Henderson 已提交
633 634
uint64_t HELPER(cksm)(CPUS390XState *env, uint64_t r1,
                      uint64_t src, uint64_t src_len)
635
{
636
    uintptr_t ra = GETPC();
R
Richard Henderson 已提交
637 638
    uint64_t max_len, len;
    uint64_t cksm = (uint32_t)r1;
639

R
Richard Henderson 已提交
640
    /* Lest we fail to service interrupts in a timely manner, limit the
641
       amount of work we're willing to do.  For now, let's cap at 8k.  */
R
Richard Henderson 已提交
642
    max_len = (src_len > 0x2000 ? 0x2000 : src_len);
643

R
Richard Henderson 已提交
644 645
    /* Process full words as available.  */
    for (len = 0; len + 4 <= max_len; len += 4, src += 4) {
646
        cksm += (uint32_t)cpu_ldl_data_ra(env, src, ra);
647 648
    }

R
Richard Henderson 已提交
649
    switch (max_len - len) {
650
    case 1:
651
        cksm += cpu_ldub_data_ra(env, src, ra) << 24;
R
Richard Henderson 已提交
652
        len += 1;
653 654
        break;
    case 2:
655
        cksm += cpu_lduw_data_ra(env, src, ra) << 16;
R
Richard Henderson 已提交
656
        len += 2;
657 658
        break;
    case 3:
659 660
        cksm += cpu_lduw_data_ra(env, src, ra) << 16;
        cksm += cpu_ldub_data_ra(env, src + 2, ra) << 8;
R
Richard Henderson 已提交
661
        len += 3;
662 663 664
        break;
    }

R
Richard Henderson 已提交
665 666 667 668 669 670 671 672
    /* Fold the carry from the checksum.  Note that we can see carry-out
       during folding more than once (but probably not more than twice).  */
    while (cksm > 0xffffffffull) {
        cksm = (uint32_t)cksm + (cksm >> 32);
    }

    /* Indicate whether or not we've processed everything.  */
    env->cc_op = (len == src_len ? 0 : 3);
673

R
Richard Henderson 已提交
674 675 676
    /* Return both cksm and processed length.  */
    env->retxl = cksm;
    return len;
677 678
}

679 680
void HELPER(unpk)(CPUS390XState *env, uint32_t len, uint64_t dest,
                  uint64_t src)
681
{
682
    uintptr_t ra = GETPC();
683 684 685 686 687 688 689 690 691
    int len_dest = len >> 4;
    int len_src = len & 0xf;
    uint8_t b;
    int second_nibble = 0;

    dest += len_dest;
    src += len_src;

    /* last byte is special, it only flips the nibbles */
692 693
    b = cpu_ldub_data_ra(env, src, ra);
    cpu_stb_data_ra(env, dest, (b << 4) | (b >> 4), ra);
694 695 696 697 698 699 700 701 702
    src--;
    len_src--;

    /* now pad every nibble with 0xf0 */

    while (len_dest > 0) {
        uint8_t cur_byte = 0;

        if (len_src > 0) {
703
            cur_byte = cpu_ldub_data_ra(env, src, ra);
704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721
        }

        len_dest--;
        dest--;

        /* only advance one nibble at a time */
        if (second_nibble) {
            cur_byte >>= 4;
            len_src--;
            src--;
        }
        second_nibble = !second_nibble;

        /* digit */
        cur_byte = (cur_byte & 0xf);
        /* zone bits */
        cur_byte |= 0xf0;

722
        cpu_stb_data_ra(env, dest, cur_byte, ra);
723 724 725
    }
}

726 727
static void do_helper_tr(CPUS390XState *env, uint32_t len, uint64_t array,
                         uint64_t trans, uintptr_t ra)
728
{
729
    uint32_t i;
730 731

    for (i = 0; i <= len; i++) {
732 733 734
        uint8_t byte = cpu_ldub_data_ra(env, array + i, ra);
        uint8_t new_byte = cpu_ldub_data_ra(env, trans + byte, ra);
        cpu_stb_data_ra(env, array + i, new_byte, ra);
735 736 737
    }
}

738 739 740 741 742 743
void HELPER(tr)(CPUS390XState *env, uint32_t len, uint64_t array,
                uint64_t trans)
{
    return do_helper_tr(env, len, array, trans, GETPC());
}

744 745 746
uint64_t HELPER(tre)(CPUS390XState *env, uint64_t array,
                     uint64_t len, uint64_t trans)
{
747
    uintptr_t ra = GETPC();
748 749 750
    uint8_t end = env->regs[0] & 0xff;
    uint64_t l = len;
    uint64_t i;
751
    uint32_t cc = 0;
752 753 754 755 756 757 758 759 760 761

    if (!(env->psw.mask & PSW_MASK_64)) {
        array &= 0x7fffffff;
        l = (uint32_t)l;
    }

    /* Lest we fail to service interrupts in a timely manner, limit the
       amount of work we're willing to do.  For now, let's cap at 8k.  */
    if (l > 0x2000) {
        l = 0x2000;
762
        cc = 3;
763 764 765 766 767
    }

    for (i = 0; i < l; i++) {
        uint8_t byte, new_byte;

768
        byte = cpu_ldub_data_ra(env, array + i, ra);
769 770

        if (byte == end) {
771
            cc = 1;
772 773 774
            break;
        }

775 776
        new_byte = cpu_ldub_data_ra(env, trans + byte, ra);
        cpu_stb_data_ra(env, array + i, new_byte, ra);
777 778
    }

779
    env->cc_op = cc;
780 781 782 783
    env->retxl = len - i;
    return array + i;
}

784 785
static uint32_t do_helper_trt(CPUS390XState *env, uint32_t len, uint64_t array,
                              uint64_t trans, uintptr_t ra)
786
{
787
    uint32_t i;
788 789

    for (i = 0; i <= len; i++) {
790 791
        uint8_t byte = cpu_ldub_data_ra(env, array + i, ra);
        uint8_t sbyte = cpu_ldub_data_ra(env, trans + byte, ra);
792 793 794

        if (sbyte != 0) {
            env->regs[1] = array + i;
795 796
            env->regs[2] = deposit64(env->regs[2], 0, 8, sbyte);
            return (i == len) ? 2 : 1;
797 798 799
        }
    }

800 801 802 803 804 805 806
    return 0;
}

uint32_t HELPER(trt)(CPUS390XState *env, uint32_t len, uint64_t array,
                     uint64_t trans)
{
    return do_helper_trt(env, len, array, trans, GETPC());
807 808
}

809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847
void HELPER(cdsg)(CPUS390XState *env, uint64_t addr,
                  uint32_t r1, uint32_t r3)
{
    uintptr_t ra = GETPC();
    Int128 cmpv = int128_make128(env->regs[r1 + 1], env->regs[r1]);
    Int128 newv = int128_make128(env->regs[r3 + 1], env->regs[r3]);
    Int128 oldv;
    bool fail;

    if (parallel_cpus) {
#ifndef CONFIG_ATOMIC128
        cpu_loop_exit_atomic(ENV_GET_CPU(env), ra);
#else
        int mem_idx = cpu_mmu_index(env, false);
        TCGMemOpIdx oi = make_memop_idx(MO_TEQ | MO_ALIGN_16, mem_idx);
        oldv = helper_atomic_cmpxchgo_be_mmu(env, addr, cmpv, newv, oi, ra);
        fail = !int128_eq(oldv, cmpv);
#endif
    } else {
        uint64_t oldh, oldl;

        oldh = cpu_ldq_data_ra(env, addr + 0, ra);
        oldl = cpu_ldq_data_ra(env, addr + 8, ra);

        oldv = int128_make128(oldl, oldh);
        fail = !int128_eq(oldv, cmpv);
        if (fail) {
            newv = oldv;
        }

        cpu_stq_data_ra(env, addr + 0, int128_gethi(newv), ra);
        cpu_stq_data_ra(env, addr + 8, int128_getlo(newv), ra);
    }

    env->cc_op = fail;
    env->regs[r1] = int128_gethi(oldv);
    env->regs[r1 + 1] = int128_getlo(oldv);
}

848
#if !defined(CONFIG_USER_ONLY)
849
void HELPER(lctlg)(CPUS390XState *env, uint32_t r1, uint64_t a2, uint32_t r3)
850
{
851
    S390CPU *cpu = s390_env_get_cpu(env);
852
    bool PERchanged = false;
853 854
    int i;
    uint64_t src = a2;
855
    uint64_t val;
856 857

    for (i = r1;; i = (i + 1) % 16) {
858 859 860 861 862
        val = cpu_ldq_data(env, src);
        if (env->cregs[i] != val && i >= 9 && i <= 11) {
            PERchanged = true;
        }
        env->cregs[i] = val;
863 864 865 866 867 868 869 870 871
        HELPER_LOG("load ctl %d from 0x%" PRIx64 " == 0x%" PRIx64 "\n",
                   i, src, env->cregs[i]);
        src += sizeof(uint64_t);

        if (i == r3) {
            break;
        }
    }

872 873 874 875
    if (PERchanged && env->psw.mask & PSW_MASK_PER) {
        s390_cpu_recompute_watchpoints(CPU(cpu));
    }

876
    tlb_flush(CPU(cpu));
877 878
}

879
void HELPER(lctl)(CPUS390XState *env, uint32_t r1, uint64_t a2, uint32_t r3)
880
{
881
    S390CPU *cpu = s390_env_get_cpu(env);
882
    bool PERchanged = false;
883 884
    int i;
    uint64_t src = a2;
885
    uint32_t val;
886 887

    for (i = r1;; i = (i + 1) % 16) {
888 889 890 891 892
        val = cpu_ldl_data(env, src);
        if ((uint32_t)env->cregs[i] != val && i >= 9 && i <= 11) {
            PERchanged = true;
        }
        env->cregs[i] = (env->cregs[i] & 0xFFFFFFFF00000000ULL) | val;
893 894 895 896 897 898 899
        src += sizeof(uint32_t);

        if (i == r3) {
            break;
        }
    }

900 901 902 903
    if (PERchanged && env->psw.mask & PSW_MASK_PER) {
        s390_cpu_recompute_watchpoints(CPU(cpu));
    }

904
    tlb_flush(CPU(cpu));
905 906
}

907
void HELPER(stctg)(CPUS390XState *env, uint32_t r1, uint64_t a2, uint32_t r3)
908 909 910 911 912
{
    int i;
    uint64_t dest = a2;

    for (i = r1;; i = (i + 1) % 16) {
913
        cpu_stq_data(env, dest, env->cregs[i]);
914 915 916 917 918 919 920 921
        dest += sizeof(uint64_t);

        if (i == r3) {
            break;
        }
    }
}

922
void HELPER(stctl)(CPUS390XState *env, uint32_t r1, uint64_t a2, uint32_t r3)
923 924 925 926 927
{
    int i;
    uint64_t dest = a2;

    for (i = r1;; i = (i + 1) % 16) {
928
        cpu_stl_data(env, dest, env->cregs[i]);
929 930 931 932 933 934 935 936
        dest += sizeof(uint32_t);

        if (i == r3) {
            break;
        }
    }
}

937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963
uint32_t HELPER(testblock)(CPUS390XState *env, uint64_t real_addr)
{
    CPUState *cs = CPU(s390_env_get_cpu(env));
    uint64_t abs_addr;
    int i;

    real_addr = fix_address(env, real_addr);
    abs_addr = mmu_real2abs(env, real_addr) & TARGET_PAGE_MASK;
    if (!address_space_access_valid(&address_space_memory, abs_addr,
                                    TARGET_PAGE_SIZE, true)) {
        program_interrupt(env, PGM_ADDRESSING, 4);
        return 1;
    }

    /* Check low-address protection */
    if ((env->cregs[0] & CR0_LOWPROT) && real_addr < 0x2000) {
        program_interrupt(env, PGM_PROTECTION, 4);
        return 1;
    }

    for (i = 0; i < TARGET_PAGE_SIZE; i += 8) {
        stq_phys(cs->as, abs_addr + i, 0);
    }

    return 0;
}

964 965 966 967 968 969 970 971
uint32_t HELPER(tprot)(uint64_t a1, uint64_t a2)
{
    /* XXX implement */

    return 0;
}

/* insert storage key extended */
972
uint64_t HELPER(iske)(CPUS390XState *env, uint64_t r2)
973
{
974 975
    static S390SKeysState *ss;
    static S390SKeysClass *skeyclass;
976
    uint64_t addr = get_address(env, 0, 0, r2);
977
    uint8_t key;
978 979 980 981 982

    if (addr > ram_size) {
        return 0;
    }

983 984 985 986 987 988 989 990 991
    if (unlikely(!ss)) {
        ss = s390_get_skeys_device();
        skeyclass = S390_SKEYS_GET_CLASS(ss);
    }

    if (skeyclass->get_skeys(ss, addr / TARGET_PAGE_SIZE, 1, &key)) {
        return 0;
    }
    return key;
992 993 994
}

/* set storage key extended */
R
Richard Henderson 已提交
995
void HELPER(sske)(CPUS390XState *env, uint64_t r1, uint64_t r2)
996
{
997 998
    static S390SKeysState *ss;
    static S390SKeysClass *skeyclass;
999
    uint64_t addr = get_address(env, 0, 0, r2);
1000
    uint8_t key;
1001 1002 1003 1004 1005

    if (addr > ram_size) {
        return;
    }

1006 1007 1008 1009 1010 1011 1012
    if (unlikely(!ss)) {
        ss = s390_get_skeys_device();
        skeyclass = S390_SKEYS_GET_CLASS(ss);
    }

    key = (uint8_t) r1;
    skeyclass->set_skeys(ss, addr / TARGET_PAGE_SIZE, 1, &key);
1013 1014 1015
}

/* reset reference bit extended */
R
Richard Henderson 已提交
1016
uint32_t HELPER(rrbe)(CPUS390XState *env, uint64_t r2)
1017
{
1018 1019 1020
    static S390SKeysState *ss;
    static S390SKeysClass *skeyclass;
    uint8_t re, key;
1021 1022 1023 1024 1025

    if (r2 > ram_size) {
        return 0;
    }

1026 1027 1028 1029 1030 1031 1032 1033 1034
    if (unlikely(!ss)) {
        ss = s390_get_skeys_device();
        skeyclass = S390_SKEYS_GET_CLASS(ss);
    }

    if (skeyclass->get_skeys(ss, r2 / TARGET_PAGE_SIZE, 1, &key)) {
        return 0;
    }

1035
    re = key & (SK_R | SK_C);
1036 1037 1038 1039 1040
    key &= ~SK_R;

    if (skeyclass->set_skeys(ss, r2 / TARGET_PAGE_SIZE, 1, &key)) {
        return 0;
    }
1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054

    /*
     * cc
     *
     * 0  Reference bit zero; change bit zero
     * 1  Reference bit zero; change bit one
     * 2  Reference bit one; change bit zero
     * 3  Reference bit one; change bit one
     */

    return re >> 1;
}

/* compare and swap and purge */
R
Richard Henderson 已提交
1055
uint32_t HELPER(csp)(CPUS390XState *env, uint32_t r1, uint64_t r2)
1056
{
1057
    S390CPU *cpu = s390_env_get_cpu(env);
1058 1059
    uint32_t cc;
    uint32_t o1 = env->regs[r1];
R
Richard Henderson 已提交
1060
    uint64_t a2 = r2 & ~3ULL;
1061
    uint32_t o2 = cpu_ldl_data(env, a2);
1062 1063

    if (o1 == o2) {
1064
        cpu_stl_data(env, a2, env->regs[(r1 + 1) & 15]);
R
Richard Henderson 已提交
1065
        if (r2 & 0x3) {
1066
            /* flush TLB / ALB */
1067
            tlb_flush(CPU(cpu));
1068 1069 1070 1071 1072 1073 1074 1075 1076 1077
        }
        cc = 0;
    } else {
        env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) | o2;
        cc = 1;
    }

    return cc;
}

1078
uint32_t HELPER(mvcs)(CPUS390XState *env, uint64_t l, uint64_t a1, uint64_t a2)
1079
{
1080
    int cc = 0, i;
1081

1082 1083 1084 1085
    HELPER_LOG("%s: %16" PRIx64 " %16" PRIx64 " %16" PRIx64 "\n",
               __func__, l, a1, a2);

    if (l > 256) {
1086 1087 1088 1089 1090 1091 1092
        /* max 256 */
        l = 256;
        cc = 3;
    }

    /* XXX replace w/ memcpy */
    for (i = 0; i < l; i++) {
1093
        cpu_stb_secondary(env, a1 + i, cpu_ldub_primary(env, a2 + i));
1094 1095 1096 1097 1098
    }

    return cc;
}

1099
uint32_t HELPER(mvcp)(CPUS390XState *env, uint64_t l, uint64_t a1, uint64_t a2)
1100
{
1101 1102
    int cc = 0, i;

1103 1104 1105
    HELPER_LOG("%s: %16" PRIx64 " %16" PRIx64 " %16" PRIx64 "\n",
               __func__, l, a1, a2);

1106 1107 1108 1109 1110
    if (l > 256) {
        /* max 256 */
        l = 256;
        cc = 3;
    }
1111

1112 1113 1114 1115
    /* XXX replace w/ memcpy */
    for (i = 0; i < l; i++) {
        cpu_stb_primary(env, a1 + i, cpu_ldub_secondary(env, a2 + i));
    }
1116

1117
    return cc;
1118 1119 1120
}

/* invalidate pte */
1121
void HELPER(ipte)(CPUS390XState *env, uint64_t pte_addr, uint64_t vaddr)
1122
{
1123
    CPUState *cs = CPU(s390_env_get_cpu(env));
1124 1125 1126 1127 1128 1129 1130 1131 1132
    uint64_t page = vaddr & TARGET_PAGE_MASK;
    uint64_t pte = 0;

    /* XXX broadcast to other CPUs */

    /* XXX Linux is nice enough to give us the exact pte address.
       According to spec we'd have to find it out ourselves */
    /* XXX Linux is fine with overwriting the pte, the spec requires
       us to only set the invalid bit */
1133
    stq_phys(cs->as, pte_addr, pte | _PAGE_INVALID);
1134 1135 1136

    /* XXX we exploit the fact that Linux passes the exact virtual
       address here - it's not obliged to! */
1137
    tlb_flush_page(cs, page);
1138 1139 1140

    /* XXX 31-bit hack */
    if (page & 0x80000000) {
1141
        tlb_flush_page(cs, page & ~0x80000000);
1142
    } else {
1143
        tlb_flush_page(cs, page | 0x80000000);
1144 1145 1146 1147
    }
}

/* flush local tlb */
1148
void HELPER(ptlb)(CPUS390XState *env)
1149
{
1150 1151
    S390CPU *cpu = s390_env_get_cpu(env);

1152
    tlb_flush(CPU(cpu));
1153 1154
}

1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169
/* load using real address */
uint64_t HELPER(lura)(CPUS390XState *env, uint64_t addr)
{
    CPUState *cs = CPU(s390_env_get_cpu(env));

    return (uint32_t)ldl_phys(cs->as, get_address(env, 0, 0, addr));
}

uint64_t HELPER(lurag)(CPUS390XState *env, uint64_t addr)
{
    CPUState *cs = CPU(s390_env_get_cpu(env));

    return ldq_phys(cs->as, get_address(env, 0, 0, addr));
}

1170
/* store using real address */
R
Richard Henderson 已提交
1171
void HELPER(stura)(CPUS390XState *env, uint64_t addr, uint64_t v1)
1172
{
1173 1174
    CPUState *cs = CPU(s390_env_get_cpu(env));

R
Richard Henderson 已提交
1175
    stl_phys(cs->as, get_address(env, 0, 0, addr), (uint32_t)v1);
1176 1177 1178 1179 1180 1181 1182 1183

    if ((env->psw.mask & PSW_MASK_PER) &&
        (env->cregs[9] & PER_CR9_EVENT_STORE) &&
        (env->cregs[9] & PER_CR9_EVENT_STORE_REAL)) {
        /* PSW is saved just before calling the helper.  */
        env->per_address = env->psw.addr;
        env->per_perc_atmid = PER_CODE_EVENT_STORE_REAL | get_per_atmid(env);
    }
1184 1185
}

1186 1187 1188 1189 1190
void HELPER(sturg)(CPUS390XState *env, uint64_t addr, uint64_t v1)
{
    CPUState *cs = CPU(s390_env_get_cpu(env));

    stq_phys(cs->as, get_address(env, 0, 0, addr), v1);
1191 1192 1193 1194 1195 1196 1197 1198

    if ((env->psw.mask & PSW_MASK_PER) &&
        (env->cregs[9] & PER_CR9_EVENT_STORE) &&
        (env->cregs[9] & PER_CR9_EVENT_STORE_REAL)) {
        /* PSW is saved just before calling the helper.  */
        env->per_address = env->psw.addr;
        env->per_perc_atmid = PER_CODE_EVENT_STORE_REAL | get_per_atmid(env);
    }
1199 1200
}

1201
/* load real address */
R
Richard Henderson 已提交
1202
uint64_t HELPER(lra)(CPUS390XState *env, uint64_t addr)
1203
{
1204
    CPUState *cs = CPU(s390_env_get_cpu(env));
1205
    uint32_t cc = 0;
1206
    int old_exc = cs->exception_index;
1207 1208 1209 1210 1211 1212 1213 1214 1215
    uint64_t asc = env->psw.mask & PSW_MASK_ASC;
    uint64_t ret;
    int flags;

    /* XXX incomplete - has more corner cases */
    if (!(env->psw.mask & PSW_MASK_64) && (addr >> 32)) {
        program_interrupt(env, PGM_SPECIAL_OP, 2);
    }

1216
    cs->exception_index = old_exc;
1217
    if (mmu_translate(env, addr, 0, asc, &ret, &flags, true)) {
1218 1219
        cc = 3;
    }
1220
    if (cs->exception_index == EXCP_PGM) {
1221 1222 1223 1224
        ret = env->int_pgm_code | 0x80000000;
    } else {
        ret |= addr & ~TARGET_PAGE_MASK;
    }
1225
    cs->exception_index = old_exc;
1226

R
Richard Henderson 已提交
1227 1228
    env->cc_op = cc;
    return ret;
1229 1230
}
#endif
1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257

/* execute instruction
   this instruction executes an insn modified with the contents of r1
   it does not change the executed instruction in memory
   it does not change the program counter
   in other words: tricky...
   currently implemented by interpreting the cases it is most commonly used.
*/
uint32_t HELPER(ex)(CPUS390XState *env, uint32_t cc, uint64_t v1,
                    uint64_t addr, uint64_t ret)
{
    S390CPU *cpu = s390_env_get_cpu(env);
    uint16_t insn = cpu_lduw_code(env, addr);

    HELPER_LOG("%s: v1 0x%lx addr 0x%lx insn 0x%x\n", __func__, v1, addr,
               insn);
    if ((insn & 0xf0ff) == 0xd000) {
        uint32_t l, insn2, b1, b2, d1, d2;

        l = v1 & 0xff;
        insn2 = cpu_ldl_code(env, addr + 2);
        b1 = (insn2 >> 28) & 0xf;
        b2 = (insn2 >> 12) & 0xf;
        d1 = (insn2 >> 16) & 0xfff;
        d2 = insn2 & 0xfff;
        switch (insn & 0xf00) {
        case 0x200:
1258 1259
            do_helper_mvc(env, l, get_address(env, 0, b1, d1),
                          get_address(env, 0, b2, d2), 0);
1260 1261
            break;
        case 0x400:
1262 1263
            cc = do_helper_nc(env, l, get_address(env, 0, b1, d1),
                              get_address(env, 0, b2, d2), 0);
1264 1265
            break;
        case 0x500:
1266 1267
            cc = do_helper_clc(env, l, get_address(env, 0, b1, d1),
                               get_address(env, 0, b2, d2), 0);
1268 1269
            break;
        case 0x600:
1270 1271
            cc = do_helper_oc(env, l, get_address(env, 0, b1, d1),
                              get_address(env, 0, b2, d2), 0);
1272 1273
            break;
        case 0x700:
1274 1275
            cc = do_helper_xc(env, l, get_address(env, 0, b1, d1),
                              get_address(env, 0, b2, d2), 0);
1276 1277
            break;
        case 0xc00:
1278 1279 1280
            do_helper_tr(env, l, get_address(env, 0, b1, d1),
                         get_address(env, 0, b2, d2), 0);
            return cc;
1281
        case 0xd00:
1282 1283
            cc = do_helper_trt(env, l, get_address(env, 0, b1, d1),
                               get_address(env, 0, b2, d2), 0);
1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311
            break;
        default:
            goto abort;
        }
    } else if ((insn & 0xff00) == 0x0a00) {
        /* supervisor call */
        HELPER_LOG("%s: svc %ld via execute\n", __func__, (insn | v1) & 0xff);
        env->psw.addr = ret - 4;
        env->int_svc_code = (insn | v1) & 0xff;
        env->int_svc_ilen = 4;
        helper_exception(env, EXCP_SVC);
    } else if ((insn & 0xff00) == 0xbf00) {
        uint32_t insn2, r1, r3, b2, d2;

        insn2 = cpu_ldl_code(env, addr + 2);
        r1 = (insn2 >> 20) & 0xf;
        r3 = (insn2 >> 16) & 0xf;
        b2 = (insn2 >> 12) & 0xf;
        d2 = insn2 & 0xfff;
        cc = helper_icm(env, r1, get_address(env, 0, b2, d2), r3);
    } else {
    abort:
        cpu_abort(CPU(cpu),
                  "EXECUTE on instruction prefix 0x%x not implemented\n",
                  insn);
    }
    return cc;
}