mem_helper.c 31.1 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/helper-proto.h"
24
#include "exec/exec-all.h"
P
Paolo Bonzini 已提交
25
#include "exec/cpu_ldst.h"
26 27

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

/*****************************************************************************/
/* 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 */
39 40
void tlb_fill(CPUState *cs, target_ulong addr, MMUAccessType access_type,
              int mmu_idx, uintptr_t retaddr)
41 42 43
{
    int ret;

44
    ret = s390_cpu_handle_mmu_fault(cs, addr, access_type, mmu_idx);
45 46 47
    if (unlikely(ret != 0)) {
        if (likely(retaddr)) {
            /* now we have a real cpu fault */
48
            cpu_restore_state(cs, retaddr);
49
        }
50
        cpu_loop_exit(cs);
51 52 53 54 55 56 57 58 59 60 61 62
    }
}

#endif

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

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

74 75
static void fast_memset(CPUS390XState *env, uint64_t dest, uint8_t byte,
                        uint32_t l)
76
{
77
    int mmu_idx = cpu_mmu_index(env, false);
78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93

    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.  */
            int l_adj = adj_len_to_page(l, dest);
            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.  */
            cpu_stb_data(env, dest, byte);
            dest++;
            l--;
        }
94 95 96
    }
}

97 98
static void fast_memmove(CPUS390XState *env, uint64_t dest, uint64_t src,
                         uint32_t l)
99
{
100
    int mmu_idx = cpu_mmu_index(env, false);
101

102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121
    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.  */
            int l_adj = adj_len_to_page(l, src);
            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.  */
            cpu_stb_data(env, dest, cpu_ldub_data(env, src));
            src++;
            dest++;
            l--;
        }
122 123 124 125
    }
}

/* and on array */
126 127
uint32_t HELPER(nc)(CPUS390XState *env, uint32_t l, uint64_t dest,
                    uint64_t src)
128 129 130 131 132 133 134 135
{
    int i;
    unsigned char x;
    uint32_t cc = 0;

    HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
               __func__, l, dest, src);
    for (i = 0; i <= l; i++) {
136
        x = cpu_ldub_data(env, dest + i) & cpu_ldub_data(env, src + i);
137 138 139
        if (x) {
            cc = 1;
        }
140
        cpu_stb_data(env, dest + i, x);
141 142 143 144 145
    }
    return cc;
}

/* xor on array */
146 147
uint32_t HELPER(xc)(CPUS390XState *env, uint32_t l, uint64_t dest,
                    uint64_t src)
148 149 150 151 152 153 154 155 156 157
{
    int i;
    unsigned char x;
    uint32_t cc = 0;

    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);
159 160 161 162
        return 0;
    }

    for (i = 0; i <= l; i++) {
163
        x = cpu_ldub_data(env, dest + i) ^ cpu_ldub_data(env, src + i);
164 165 166
        if (x) {
            cc = 1;
        }
167
        cpu_stb_data(env, dest + i, x);
168 169 170 171 172
    }
    return cc;
}

/* or on array */
173 174
uint32_t HELPER(oc)(CPUS390XState *env, uint32_t l, uint64_t dest,
                    uint64_t src)
175 176 177 178 179 180 181 182
{
    int i;
    unsigned char x;
    uint32_t cc = 0;

    HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
               __func__, l, dest, src);
    for (i = 0; i <= l; i++) {
183
        x = cpu_ldub_data(env, dest + i) | cpu_ldub_data(env, src + i);
184 185 186
        if (x) {
            cc = 1;
        }
187
        cpu_stb_data(env, dest + i, x);
188 189 190 191 192
    }
    return cc;
}

/* memmove */
193
void HELPER(mvc)(CPUS390XState *env, uint32_t l, uint64_t dest, uint64_t src)
194 195 196 197 198 199
{
    int i = 0;

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

200 201 202 203 204 205
    /* mvc with source pointing to the byte after the destination is the
       same as memset with the first source byte */
    if (dest == (src + 1)) {
        fast_memset(env, dest, cpu_ldub_data(env, src), l + 1);
        return;
    }
206

207
    /* mvc and memmove do not behave the same when areas overlap! */
208
    if ((dest < src) || (src + l < dest)) {
209
        fast_memmove(env, dest, src, l + 1);
210 211 212
        return;
    }

213
    /* slow version with byte accesses which always work */
214
    for (i = 0; i <= l; i++) {
215
        cpu_stb_data(env, dest + i, cpu_ldub_data(env, src + i));
216 217 218 219
    }
}

/* compare unsigned byte arrays */
220
uint32_t HELPER(clc)(CPUS390XState *env, uint32_t l, uint64_t s1, uint64_t s2)
221 222 223 224 225 226 227 228
{
    int i;
    unsigned char x, y;
    uint32_t cc;

    HELPER_LOG("%s l %d s1 %" PRIx64 " s2 %" PRIx64 "\n",
               __func__, l, s1, s2);
    for (i = 0; i <= l; i++) {
229 230
        x = cpu_ldub_data(env, s1 + i);
        y = cpu_ldub_data(env, s2 + i);
231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246
        HELPER_LOG("%02x (%c)/%02x (%c) ", x, x, y, y);
        if (x < y) {
            cc = 1;
            goto done;
        } else if (x > y) {
            cc = 2;
            goto done;
        }
    }
    cc = 0;
 done:
    HELPER_LOG("\n");
    return cc;
}

/* compare logical under mask */
247 248
uint32_t HELPER(clm)(CPUS390XState *env, uint32_t r1, uint32_t mask,
                     uint64_t addr)
249 250 251 252 253 254 255 256 257
{
    uint8_t r, d;
    uint32_t cc;

    HELPER_LOG("%s: r1 0x%x mask 0x%x addr 0x%" PRIx64 "\n", __func__, r1,
               mask, addr);
    cc = 0;
    while (mask) {
        if (mask & 8) {
258
            d = cpu_ldub_data(env, addr);
259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277
            r = (r1 & 0xff000000UL) >> 24;
            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;
    }
    HELPER_LOG("\n");
    return cc;
}

278 279 280 281 282 283 284 285 286
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;
}

287
static inline uint64_t get_address(CPUS390XState *env, int x2, int b2, int d2)
288 289 290 291 292 293 294 295
{
    uint64_t r = d2;
    if (x2) {
        r += env->regs[x2];
    }
    if (b2) {
        r += env->regs[b2];
    }
296
    return fix_address(env, r);
297 298
}

299
static inline uint64_t get_address_31fix(CPUS390XState *env, int reg)
300
{
301
    return fix_address(env, env->regs[reg]);
302 303 304
}

/* search string (c is byte to search, r2 is string, r1 end of string) */
R
Richard Henderson 已提交
305 306
uint64_t HELPER(srst)(CPUS390XState *env, uint64_t r0, uint64_t end,
                      uint64_t str)
307
{
R
Richard Henderson 已提交
308 309
    uint32_t len;
    uint8_t v, c = r0;
310

R
Richard Henderson 已提交
311 312
    str = fix_address(env, str);
    end = fix_address(env, end);
313

R
Richard Henderson 已提交
314 315 316 317
    /* Assume for now that R2 is unmodified.  */
    env->retxl = str;

    /* Lest we fail to service interrupts in a timely manner, limit the
318
       amount of work we're willing to do.  For now, let's cap at 8k.  */
R
Richard Henderson 已提交
319 320 321 322 323 324 325 326 327 328 329
    for (len = 0; len < 0x2000; ++len) {
        if (str + len == end) {
            /* Character not found.  R1 & R2 are unmodified.  */
            env->cc_op = 2;
            return end;
        }
        v = cpu_ldub_data(env, str + len);
        if (v == c) {
            /* Character found.  Set R1 to the location; R2 is unmodified.  */
            env->cc_op = 1;
            return str + len;
330 331 332
        }
    }

R
Richard Henderson 已提交
333 334 335 336
    /* CPU-determined bytes processed.  Advance R2 to next byte to process.  */
    env->retxl = str + len;
    env->cc_op = 3;
    return end;
337 338 339
}

/* unsigned string compare (c is string terminator) */
340
uint64_t HELPER(clst)(CPUS390XState *env, uint64_t c, uint64_t s1, uint64_t s2)
341
{
342
    uint32_t len;
343 344

    c = c & 0xff;
345 346 347 348
    s1 = fix_address(env, s1);
    s2 = fix_address(env, s2);

    /* Lest we fail to service interrupts in a timely manner, limit the
349
       amount of work we're willing to do.  For now, let's cap at 8k.  */
350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366
    for (len = 0; len < 0x2000; ++len) {
        uint8_t v1 = cpu_ldub_data(env, s1 + len);
        uint8_t v2 = cpu_ldub_data(env, s2 + len);
        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;
367 368 369
        }
    }

370 371 372 373
    /* CPU-determined bytes equal; advance the registers.  */
    env->cc_op = 3;
    env->retxl = s2 + len;
    return s1 + len;
374 375 376
}

/* move page */
377
void HELPER(mvpg)(CPUS390XState *env, uint64_t r0, uint64_t r1, uint64_t r2)
378 379
{
    /* XXX missing r0 handling */
R
Richard Henderson 已提交
380
    env->cc_op = 0;
381
    fast_memmove(env, r1, r2, TARGET_PAGE_SIZE);
382 383 384
}

/* string copy (c is string terminator) */
385
uint64_t HELPER(mvst)(CPUS390XState *env, uint64_t c, uint64_t d, uint64_t s)
386
{
387
    uint32_t len;
388 389

    c = c & 0xff;
390 391 392 393
    d = fix_address(env, d);
    s = fix_address(env, s);

    /* Lest we fail to service interrupts in a timely manner, limit the
394
       amount of work we're willing to do.  For now, let's cap at 8k.  */
395 396 397
    for (len = 0; len < 0x2000; ++len) {
        uint8_t v = cpu_ldub_data(env, s + len);
        cpu_stb_data(env, d + len, v);
398
        if (v == c) {
399 400 401 402
            /* Complete.  Set CC=1 and advance R1.  */
            env->cc_op = 1;
            env->retxl = s;
            return d + len;
403 404
        }
    }
405 406 407 408 409

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

412 413
static uint32_t helper_icm(CPUS390XState *env, uint32_t r1, uint64_t address,
                           uint32_t mask)
414 415 416 417 418 419 420 421 422 423
{
    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;
424
            val = cpu_ldub_data(env, address);
425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449
            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;
}

/* 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 in
*/
450 451
uint32_t HELPER(ex)(CPUS390XState *env, uint32_t cc, uint64_t v1,
                    uint64_t addr, uint64_t ret)
452
{
453
    S390CPU *cpu = s390_env_get_cpu(env);
454
    uint16_t insn = cpu_lduw_code(env, addr);
455 456 457 458 459 460 461

    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;
462
        insn2 = cpu_ldl_code(env, addr + 2);
463 464 465 466 467 468
        b1 = (insn2 >> 28) & 0xf;
        b2 = (insn2 >> 12) & 0xf;
        d1 = (insn2 >> 16) & 0xfff;
        d2 = insn2 & 0xfff;
        switch (insn & 0xf00) {
        case 0x200:
469 470
            helper_mvc(env, l, get_address(env, 0, b1, d1),
                       get_address(env, 0, b2, d2));
471
            break;
472 473 474 475
        case 0x400:
            cc = helper_nc(env, l, get_address(env, 0, b1, d1),
                            get_address(env, 0, b2, d2));
            break;
476
        case 0x500:
477 478
            cc = helper_clc(env, l, get_address(env, 0, b1, d1),
                            get_address(env, 0, b2, d2));
479
            break;
480 481 482 483
        case 0x600:
            cc = helper_oc(env, l, get_address(env, 0, b1, d1),
                            get_address(env, 0, b2, d2));
            break;
484
        case 0x700:
485 486
            cc = helper_xc(env, l, get_address(env, 0, b1, d1),
                           get_address(env, 0, b2, d2));
487 488
            break;
        case 0xc00:
489 490
            helper_tr(env, l, get_address(env, 0, b1, d1),
                      get_address(env, 0, b2, d2));
491
            break;
492 493 494
        case 0xd00:
            cc = helper_trt(env, l, get_address(env, 0, b1, d1),
                            get_address(env, 0, b2, d2));
495 496 497 498 499 500 501 502 503
            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;
504
        env->int_svc_ilen = 4;
505
        helper_exception(env, EXCP_SVC);
506 507 508
    } else if ((insn & 0xff00) == 0xbf00) {
        uint32_t insn2, r1, r3, b2, d2;

509
        insn2 = cpu_ldl_code(env, addr + 2);
510 511 512 513
        r1 = (insn2 >> 20) & 0xf;
        r3 = (insn2 >> 16) & 0xf;
        b2 = (insn2 >> 12) & 0xf;
        d2 = insn2 & 0xfff;
514
        cc = helper_icm(env, r1, get_address(env, 0, b2, d2), r3);
515 516
    } else {
    abort:
517
        cpu_abort(CPU(cpu), "EXECUTE on instruction prefix 0x%x not implemented\n",
518 519 520 521 522 523
                  insn);
    }
    return cc;
}

/* load access registers r1 to r3 from memory at a2 */
524
void HELPER(lam)(CPUS390XState *env, uint32_t r1, uint64_t a2, uint32_t r3)
525 526 527 528
{
    int i;

    for (i = r1;; i = (i + 1) % 16) {
529
        env->aregs[i] = cpu_ldl_data(env, a2);
530 531 532 533 534 535 536 537 538
        a2 += 4;

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

/* store access registers r1 to r3 in memory at a2 */
539
void HELPER(stam)(CPUS390XState *env, uint32_t r1, uint64_t a2, uint32_t r3)
540 541 542 543
{
    int i;

    for (i = r1;; i = (i + 1) % 16) {
544
        cpu_stl_data(env, a2, env->aregs[i]);
545 546 547 548 549 550 551 552 553
        a2 += 4;

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

/* move long */
554
uint32_t HELPER(mvcl)(CPUS390XState *env, uint32_t r1, uint32_t r2)
555 556
{
    uint64_t destlen = env->regs[r1 + 1] & 0xffffff;
557
    uint64_t dest = get_address_31fix(env, r1);
558
    uint64_t srclen = env->regs[r2 + 1] & 0xffffff;
559
    uint64_t src = get_address_31fix(env, r2);
560
    uint8_t pad = env->regs[r2 + 1] >> 24;
561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576
    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--) {
577 578
        v = cpu_ldub_data(env, src);
        cpu_stb_data(env, dest, v);
579 580 581
    }

    for (; destlen; dest++, destlen--) {
582
        cpu_stb_data(env, dest, pad);
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 */
    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 */
595 596
uint32_t HELPER(mvcle)(CPUS390XState *env, uint32_t r1, uint64_t a2,
                       uint32_t r3)
597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625
{
    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--) {
626 627
        v = cpu_ldub_data(env, src);
        cpu_stb_data(env, dest, v);
628 629 630
    }

    for (; destlen; dest++, destlen--) {
631
        cpu_stb_data(env, dest, pad);
632 633 634 635 636 637 638 639 640 641 642 643 644
    }

    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 */
645 646
uint32_t HELPER(clcle)(CPUS390XState *env, uint32_t r1, uint64_t a2,
                       uint32_t r3)
647 648
{
    uint64_t destlen = env->regs[r1 + 1];
649
    uint64_t dest = get_address_31fix(env, r1);
650
    uint64_t srclen = env->regs[r3 + 1];
651
    uint64_t src = get_address_31fix(env, r3);
652 653 654 655 656 657 658 659 660 661 662 663 664
    uint8_t pad = a2 & 0xff;
    uint8_t v1 = 0, v2 = 0;
    uint32_t cc = 0;

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

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

    for (; destlen || srclen; src++, dest++, destlen--, srclen--) {
665 666
        v1 = srclen ? cpu_ldub_data(env, src) : pad;
        v2 = destlen ? cpu_ldub_data(env, dest) : pad;
667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682
        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 已提交
683 684
uint64_t HELPER(cksm)(CPUS390XState *env, uint64_t r1,
                      uint64_t src, uint64_t src_len)
685
{
R
Richard Henderson 已提交
686 687
    uint64_t max_len, len;
    uint64_t cksm = (uint32_t)r1;
688

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

R
Richard Henderson 已提交
693 694 695
    /* Process full words as available.  */
    for (len = 0; len + 4 <= max_len; len += 4, src += 4) {
        cksm += (uint32_t)cpu_ldl_data(env, src);
696 697
    }

R
Richard Henderson 已提交
698
    switch (max_len - len) {
699
    case 1:
700
        cksm += cpu_ldub_data(env, src) << 24;
R
Richard Henderson 已提交
701
        len += 1;
702 703
        break;
    case 2:
704
        cksm += cpu_lduw_data(env, src) << 16;
R
Richard Henderson 已提交
705
        len += 2;
706 707
        break;
    case 3:
708 709
        cksm += cpu_lduw_data(env, src) << 16;
        cksm += cpu_ldub_data(env, src + 2) << 8;
R
Richard Henderson 已提交
710
        len += 3;
711 712 713
        break;
    }

R
Richard Henderson 已提交
714 715 716 717 718 719 720 721
    /* 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);
722

R
Richard Henderson 已提交
723 724 725
    /* Return both cksm and processed length.  */
    env->retxl = cksm;
    return len;
726 727
}

728 729
void HELPER(unpk)(CPUS390XState *env, uint32_t len, uint64_t dest,
                  uint64_t src)
730 731 732 733 734 735 736 737 738 739
{
    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 */
740 741
    b = cpu_ldub_data(env, src);
    cpu_stb_data(env, dest, (b << 4) | (b >> 4));
742 743 744 745 746 747 748 749 750
    src--;
    len_src--;

    /* now pad every nibble with 0xf0 */

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

        if (len_src > 0) {
751
            cur_byte = cpu_ldub_data(env, src);
752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769
        }

        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;

770
        cpu_stb_data(env, dest, cur_byte);
771 772 773
    }
}

774 775
void HELPER(tr)(CPUS390XState *env, uint32_t len, uint64_t array,
                uint64_t trans)
776 777 778 779
{
    int i;

    for (i = 0; i <= len; i++) {
780 781
        uint8_t byte = cpu_ldub_data(env, array + i);
        uint8_t new_byte = cpu_ldub_data(env, trans + byte);
782

783
        cpu_stb_data(env, array + i, new_byte);
784 785 786
    }
}

787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825
uint64_t HELPER(tre)(CPUS390XState *env, uint64_t array,
                     uint64_t len, uint64_t trans)
{
    uint8_t end = env->regs[0] & 0xff;
    uint64_t l = len;
    uint64_t i;

    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;
        env->cc_op = 3;
    } else {
        env->cc_op = 0;
    }

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

        byte = cpu_ldub_data(env, array + i);

        if (byte == end) {
            env->cc_op = 1;
            break;
        }

        new_byte = cpu_ldub_data(env, trans + byte);
        cpu_stb_data(env, array + i, new_byte);
    }

    env->retxl = len - i;
    return array + i;
}

826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846
uint32_t HELPER(trt)(CPUS390XState *env, uint32_t len, uint64_t array,
                     uint64_t trans)
{
    uint32_t cc = 0;
    int i;

    for (i = 0; i <= len; i++) {
        uint8_t byte = cpu_ldub_data(env, array + i);
        uint8_t sbyte = cpu_ldub_data(env, trans + byte);

        if (sbyte != 0) {
            env->regs[1] = array + i;
            env->regs[2] = (env->regs[2] & ~0xff) | sbyte;
            cc = (i == len) ? 2 : 1;
            break;
        }
    }

    return cc;
}

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

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

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

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

875
    tlb_flush(CPU(cpu), 1);
876 877
}

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

    for (i = r1;; i = (i + 1) % 16) {
887 888 889 890 891
        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;
892 893 894 895 896 897 898
        src += sizeof(uint32_t);

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

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

903
    tlb_flush(CPU(cpu), 1);
904 905
}

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

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

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

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

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

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

uint32_t HELPER(tprot)(uint64_t a1, uint64_t a2)
{
    /* XXX implement */

    return 0;
}

/* insert storage key extended */
944
uint64_t HELPER(iske)(CPUS390XState *env, uint64_t r2)
945
{
946 947
    static S390SKeysState *ss;
    static S390SKeysClass *skeyclass;
948
    uint64_t addr = get_address(env, 0, 0, r2);
949
    uint8_t key;
950 951 952 953 954

    if (addr > ram_size) {
        return 0;
    }

955 956 957 958 959 960 961 962 963
    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;
964 965 966
}

/* set storage key extended */
R
Richard Henderson 已提交
967
void HELPER(sske)(CPUS390XState *env, uint64_t r1, uint64_t r2)
968
{
969 970
    static S390SKeysState *ss;
    static S390SKeysClass *skeyclass;
971
    uint64_t addr = get_address(env, 0, 0, r2);
972
    uint8_t key;
973 974 975 976 977

    if (addr > ram_size) {
        return;
    }

978 979 980 981 982 983 984
    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);
985 986 987
}

/* reset reference bit extended */
R
Richard Henderson 已提交
988
uint32_t HELPER(rrbe)(CPUS390XState *env, uint64_t r2)
989
{
990 991 992
    static S390SKeysState *ss;
    static S390SKeysClass *skeyclass;
    uint8_t re, key;
993 994 995 996 997

    if (r2 > ram_size) {
        return 0;
    }

998 999 1000 1001 1002 1003 1004 1005 1006
    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;
    }

1007
    re = key & (SK_R | SK_C);
1008 1009 1010 1011 1012
    key &= ~SK_R;

    if (skeyclass->set_skeys(ss, r2 / TARGET_PAGE_SIZE, 1, &key)) {
        return 0;
    }
1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026

    /*
     * 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 已提交
1027
uint32_t HELPER(csp)(CPUS390XState *env, uint32_t r1, uint64_t r2)
1028
{
1029
    S390CPU *cpu = s390_env_get_cpu(env);
1030 1031
    uint32_t cc;
    uint32_t o1 = env->regs[r1];
R
Richard Henderson 已提交
1032
    uint64_t a2 = r2 & ~3ULL;
1033
    uint32_t o2 = cpu_ldl_data(env, a2);
1034 1035

    if (o1 == o2) {
1036
        cpu_stl_data(env, a2, env->regs[(r1 + 1) & 15]);
R
Richard Henderson 已提交
1037
        if (r2 & 0x3) {
1038
            /* flush TLB / ALB */
1039
            tlb_flush(CPU(cpu), 1);
1040 1041 1042 1043 1044 1045 1046 1047 1048 1049
        }
        cc = 0;
    } else {
        env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) | o2;
        cc = 1;
    }

    return cc;
}

1050
uint32_t HELPER(mvcs)(CPUS390XState *env, uint64_t l, uint64_t a1, uint64_t a2)
1051
{
1052
    int cc = 0, i;
1053

1054 1055 1056 1057
    HELPER_LOG("%s: %16" PRIx64 " %16" PRIx64 " %16" PRIx64 "\n",
               __func__, l, a1, a2);

    if (l > 256) {
1058 1059 1060 1061 1062 1063 1064
        /* max 256 */
        l = 256;
        cc = 3;
    }

    /* XXX replace w/ memcpy */
    for (i = 0; i < l; i++) {
1065
        cpu_stb_secondary(env, a1 + i, cpu_ldub_primary(env, a2 + i));
1066 1067 1068 1069 1070
    }

    return cc;
}

1071
uint32_t HELPER(mvcp)(CPUS390XState *env, uint64_t l, uint64_t a1, uint64_t a2)
1072
{
1073 1074
    int cc = 0, i;

1075 1076 1077
    HELPER_LOG("%s: %16" PRIx64 " %16" PRIx64 " %16" PRIx64 "\n",
               __func__, l, a1, a2);

1078 1079 1080 1081 1082
    if (l > 256) {
        /* max 256 */
        l = 256;
        cc = 3;
    }
1083

1084 1085 1086 1087
    /* XXX replace w/ memcpy */
    for (i = 0; i < l; i++) {
        cpu_stb_primary(env, a1 + i, cpu_ldub_secondary(env, a2 + i));
    }
1088

1089
    return cc;
1090 1091 1092
}

/* invalidate pte */
1093
void HELPER(ipte)(CPUS390XState *env, uint64_t pte_addr, uint64_t vaddr)
1094
{
1095
    CPUState *cs = CPU(s390_env_get_cpu(env));
1096 1097 1098 1099 1100 1101 1102 1103 1104
    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 */
1105
    stq_phys(cs->as, pte_addr, pte | _PAGE_INVALID);
1106 1107 1108

    /* XXX we exploit the fact that Linux passes the exact virtual
       address here - it's not obliged to! */
1109
    tlb_flush_page(cs, page);
1110 1111 1112

    /* XXX 31-bit hack */
    if (page & 0x80000000) {
1113
        tlb_flush_page(cs, page & ~0x80000000);
1114
    } else {
1115
        tlb_flush_page(cs, page | 0x80000000);
1116 1117 1118 1119
    }
}

/* flush local tlb */
1120
void HELPER(ptlb)(CPUS390XState *env)
1121
{
1122 1123 1124
    S390CPU *cpu = s390_env_get_cpu(env);

    tlb_flush(CPU(cpu), 1);
1125 1126
}

1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141
/* 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));
}

1142
/* store using real address */
R
Richard Henderson 已提交
1143
void HELPER(stura)(CPUS390XState *env, uint64_t addr, uint64_t v1)
1144
{
1145 1146
    CPUState *cs = CPU(s390_env_get_cpu(env));

R
Richard Henderson 已提交
1147
    stl_phys(cs->as, get_address(env, 0, 0, addr), (uint32_t)v1);
1148 1149 1150 1151 1152 1153 1154 1155

    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);
    }
1156 1157
}

1158 1159 1160 1161 1162
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);
1163 1164 1165 1166 1167 1168 1169 1170

    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);
    }
1171 1172
}

1173
/* load real address */
R
Richard Henderson 已提交
1174
uint64_t HELPER(lra)(CPUS390XState *env, uint64_t addr)
1175
{
1176
    CPUState *cs = CPU(s390_env_get_cpu(env));
1177
    uint32_t cc = 0;
1178
    int old_exc = cs->exception_index;
1179 1180 1181 1182 1183 1184 1185 1186 1187
    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);
    }

1188
    cs->exception_index = old_exc;
1189
    if (mmu_translate(env, addr, 0, asc, &ret, &flags, true)) {
1190 1191
        cc = 3;
    }
1192
    if (cs->exception_index == EXCP_PGM) {
1193 1194 1195 1196
        ret = env->int_pgm_code | 0x80000000;
    } else {
        ret |= addr & ~TARGET_PAGE_MASK;
    }
1197
    cs->exception_index = old_exc;
1198

R
Richard Henderson 已提交
1199 1200
    env->cc_op = cc;
    return ret;
1201 1202
}
#endif