[qemu.git] / target-s390x / cc_helper.c

/*
 *  S/390 condition code 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/>.
 */

#include "qemu/osdep.h"
#include "cpu.h"
#include "exec/exec-all.h"
#include "exec/helper-proto.h"
#include "qemu/host-utils.h"

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

static uint32_t cc_calc_ltgt_32(int32_t src, int32_t dst)
{
    if (src == dst) {
        return 0;
    } else if (src < dst) {
        return 1;
    } else {
        return 2;
    }
}

static uint32_t cc_calc_ltgt0_32(int32_t dst)
{
    return cc_calc_ltgt_32(dst, 0);
}

static uint32_t cc_calc_ltgt_64(int64_t src, int64_t dst)
{
    if (src == dst) {
        return 0;
    } else if (src < dst) {
        return 1;
    } else {
        return 2;
    }
}

static uint32_t cc_calc_ltgt0_64(int64_t dst)
{
    return cc_calc_ltgt_64(dst, 0);
}

static uint32_t cc_calc_ltugtu_32(uint32_t src, uint32_t dst)
{
    if (src == dst) {
        return 0;
    } else if (src < dst) {
        return 1;
    } else {
        return 2;
    }
}

static uint32_t cc_calc_ltugtu_64(uint64_t src, uint64_t dst)
{
    if (src == dst) {
        return 0;
    } else if (src < dst) {
        return 1;
    } else {
        return 2;
    }
}

static uint32_t cc_calc_tm_32(uint32_t val, uint32_t mask)
{
    uint32_t r = val & mask;

    if (r == 0) {
        return 0;
    } else if (r == mask) {
        return 3;
    } else {
        return 1;
    }
}

static uint32_t cc_calc_tm_64(uint64_t val, uint64_t mask)
{
    uint64_t r = val & mask;

    if (r == 0) {
        return 0;
    } else if (r == mask) {
        return 3;
    } else {
        int top = clz64(mask);
        if ((int64_t)(val << top) < 0) {
            return 2;
        } else {
            return 1;
        }
    }
}

static uint32_t cc_calc_nz(uint64_t dst)
{
    return !!dst;
}

static uint32_t cc_calc_add_64(int64_t a1, int64_t a2, int64_t ar)
{
    if ((a1 > 0 && a2 > 0 && ar < 0) || (a1 < 0 && a2 < 0 && ar > 0)) {
        return 3; /* overflow */
    } else {
        if (ar < 0) {
            return 1;
        } else if (ar > 0) {
            return 2;
        } else {
            return 0;
        }
    }
}

static uint32_t cc_calc_addu_64(uint64_t a1, uint64_t a2, uint64_t ar)
{
    return (ar != 0) + 2 * (ar < a1);
}

static uint32_t cc_calc_addc_64(uint64_t a1, uint64_t a2, uint64_t ar)
{
    /* Recover a2 + carry_in.  */
    uint64_t a2c = ar - a1;
    /* Check for a2+carry_in overflow, then a1+a2c overflow.  */
    int carry_out = (a2c < a2) || (ar < a1);

    return (ar != 0) + 2 * carry_out;
}

static uint32_t cc_calc_sub_64(int64_t a1, int64_t a2, int64_t ar)
{
    if ((a1 > 0 && a2 < 0 && ar < 0) || (a1 < 0 && a2 > 0 && ar > 0)) {
        return 3; /* overflow */
    } else {
        if (ar < 0) {
            return 1;
        } else if (ar > 0) {
            return 2;
        } else {
            return 0;
        }
    }
}

static uint32_t cc_calc_subu_64(uint64_t a1, uint64_t a2, uint64_t ar)
{
    if (ar == 0) {
        return 2;
    } else {
        if (a2 > a1) {
            return 1;
        } else {
            return 3;
        }
    }
}

static uint32_t cc_calc_subb_64(uint64_t a1, uint64_t a2, uint64_t ar)
{
    int borrow_out;

    if (ar != a1 - a2) {	/* difference means borrow-in */
        borrow_out = (a2 >= a1);
    } else {
        borrow_out = (a2 > a1);
    }

    return (ar != 0) + 2 * !borrow_out;
}

static uint32_t cc_calc_abs_64(int64_t dst)
{
    if ((uint64_t)dst == 0x8000000000000000ULL) {
        return 3;
    } else if (dst) {
        return 2;
    } else {
        return 0;
    }
}

static uint32_t cc_calc_nabs_64(int64_t dst)
{
    return !!dst;
}

static uint32_t cc_calc_comp_64(int64_t dst)
{
    if ((uint64_t)dst == 0x8000000000000000ULL) {
        return 3;
    } else if (dst < 0) {
        return 1;
    } else if (dst > 0) {
        return 2;
    } else {
        return 0;
    }
}


static uint32_t cc_calc_add_32(int32_t a1, int32_t a2, int32_t ar)
{
    if ((a1 > 0 && a2 > 0 && ar < 0) || (a1 < 0 && a2 < 0 && ar > 0)) {
        return 3; /* overflow */
    } else {
        if (ar < 0) {
            return 1;
        } else if (ar > 0) {
            return 2;
        } else {
            return 0;
        }
    }
}

static uint32_t cc_calc_addu_32(uint32_t a1, uint32_t a2, uint32_t ar)
{
    return (ar != 0) + 2 * (ar < a1);
}

static uint32_t cc_calc_addc_32(uint32_t a1, uint32_t a2, uint32_t ar)
{
    /* Recover a2 + carry_in.  */
    uint32_t a2c = ar - a1;
    /* Check for a2+carry_in overflow, then a1+a2c overflow.  */
    int carry_out = (a2c < a2) || (ar < a1);

    return (ar != 0) + 2 * carry_out;
}

static uint32_t cc_calc_sub_32(int32_t a1, int32_t a2, int32_t ar)
{
    if ((a1 > 0 && a2 < 0 && ar < 0) || (a1 < 0 && a2 > 0 && ar > 0)) {
        return 3; /* overflow */
    } else {
        if (ar < 0) {
            return 1;
        } else if (ar > 0) {
            return 2;
        } else {
            return 0;
        }
    }
}

static uint32_t cc_calc_subu_32(uint32_t a1, uint32_t a2, uint32_t ar)
{
    if (ar == 0) {
        return 2;
    } else {
        if (a2 > a1) {
            return 1;
        } else {
            return 3;
        }
    }
}

static uint32_t cc_calc_subb_32(uint32_t a1, uint32_t a2, uint32_t ar)
{
    int borrow_out;

    if (ar != a1 - a2) {	/* difference means borrow-in */
        borrow_out = (a2 >= a1);
    } else {
        borrow_out = (a2 > a1);
    }

    return (ar != 0) + 2 * !borrow_out;
}

static uint32_t cc_calc_abs_32(int32_t dst)
{
    if ((uint32_t)dst == 0x80000000UL) {
        return 3;
    } else if (dst) {
        return 2;
    } else {
        return 0;
    }
}

static uint32_t cc_calc_nabs_32(int32_t dst)
{
    return !!dst;
}

static uint32_t cc_calc_comp_32(int32_t dst)
{
    if ((uint32_t)dst == 0x80000000UL) {
        return 3;
    } else if (dst < 0) {
        return 1;
    } else if (dst > 0) {
        return 2;
    } else {
        return 0;
    }
}

/* calculate condition code for insert character under mask insn */
static uint32_t cc_calc_icm(uint64_t mask, uint64_t val)
{
    if ((val & mask) == 0) {
        return 0;
    } else {
        int top = clz64(mask);
        if ((int64_t)(val << top) < 0) {
            return 1;
        } else {
            return 2;
        }
    }
}

static uint32_t cc_calc_sla_32(uint32_t src, int shift)
{
    uint32_t mask = ((1U << shift) - 1U) << (32 - shift);
    uint32_t sign = 1U << 31;
    uint32_t match;
    int32_t r;

    /* Check if the sign bit stays the same.  */
    if (src & sign) {
        match = mask;
    } else {
        match = 0;
    }
    if ((src & mask) != match) {
        /* Overflow.  */
        return 3;
    }

    r = ((src << shift) & ~sign) | (src & sign);
    if (r == 0) {
        return 0;
    } else if (r < 0) {
        return 1;
    }
    return 2;
}

static uint32_t cc_calc_sla_64(uint64_t src, int shift)
{
    uint64_t mask = ((1ULL << shift) - 1ULL) << (64 - shift);
    uint64_t sign = 1ULL << 63;
    uint64_t match;
    int64_t r;

    /* Check if the sign bit stays the same.  */
    if (src & sign) {
        match = mask;
    } else {
        match = 0;
    }
    if ((src & mask) != match) {
        /* Overflow.  */
        return 3;
    }

    r = ((src << shift) & ~sign) | (src & sign);
    if (r == 0) {
        return 0;
    } else if (r < 0) {
        return 1;
    }
    return 2;
}

static uint32_t cc_calc_flogr(uint64_t dst)
{
    return dst ? 2 : 0;
}

static uint32_t do_calc_cc(CPUS390XState *env, uint32_t cc_op,
                                  uint64_t src, uint64_t dst, uint64_t vr)
{
    S390CPU *cpu = s390_env_get_cpu(env);
    uint32_t r = 0;

    switch (cc_op) {
    case CC_OP_CONST0:
    case CC_OP_CONST1:
    case CC_OP_CONST2:
    case CC_OP_CONST3:
        /* cc_op value _is_ cc */
        r = cc_op;
        break;
    case CC_OP_LTGT0_32:
        r = cc_calc_ltgt0_32(dst);
        break;
    case CC_OP_LTGT0_64:
        r =  cc_calc_ltgt0_64(dst);
        break;
    case CC_OP_LTGT_32:
        r =  cc_calc_ltgt_32(src, dst);
        break;
    case CC_OP_LTGT_64:
        r =  cc_calc_ltgt_64(src, dst);
        break;
    case CC_OP_LTUGTU_32:
        r =  cc_calc_ltugtu_32(src, dst);
        break;
    case CC_OP_LTUGTU_64:
        r =  cc_calc_ltugtu_64(src, dst);
        break;
    case CC_OP_TM_32:
        r =  cc_calc_tm_32(src, dst);
        break;
    case CC_OP_TM_64:
        r =  cc_calc_tm_64(src, dst);
        break;
    case CC_OP_NZ:
        r =  cc_calc_nz(dst);
        break;
    case CC_OP_ADD_64:
        r =  cc_calc_add_64(src, dst, vr);
        break;
    case CC_OP_ADDU_64:
        r =  cc_calc_addu_64(src, dst, vr);
        break;
    case CC_OP_ADDC_64:
        r =  cc_calc_addc_64(src, dst, vr);
        break;
    case CC_OP_SUB_64:
        r =  cc_calc_sub_64(src, dst, vr);
        break;
    case CC_OP_SUBU_64:
        r =  cc_calc_subu_64(src, dst, vr);
        break;
    case CC_OP_SUBB_64:
        r =  cc_calc_subb_64(src, dst, vr);
        break;
    case CC_OP_ABS_64:
        r =  cc_calc_abs_64(dst);
        break;
    case CC_OP_NABS_64:
        r =  cc_calc_nabs_64(dst);
        break;
    case CC_OP_COMP_64:
        r =  cc_calc_comp_64(dst);
        break;

    case CC_OP_ADD_32:
        r =  cc_calc_add_32(src, dst, vr);
        break;
    case CC_OP_ADDU_32:
        r =  cc_calc_addu_32(src, dst, vr);
        break;
    case CC_OP_ADDC_32:
        r =  cc_calc_addc_32(src, dst, vr);
        break;
    case CC_OP_SUB_32:
        r =  cc_calc_sub_32(src, dst, vr);
        break;
    case CC_OP_SUBU_32:
        r =  cc_calc_subu_32(src, dst, vr);
        break;
    case CC_OP_SUBB_32:
        r =  cc_calc_subb_32(src, dst, vr);
        break;
    case CC_OP_ABS_32:
        r =  cc_calc_abs_32(dst);
        break;
    case CC_OP_NABS_32:
        r =  cc_calc_nabs_32(dst);
        break;
    case CC_OP_COMP_32:
        r =  cc_calc_comp_32(dst);
        break;

    case CC_OP_ICM:
        r =  cc_calc_icm(src, dst);
        break;
    case CC_OP_SLA_32:
        r =  cc_calc_sla_32(src, dst);
        break;
    case CC_OP_SLA_64:
        r =  cc_calc_sla_64(src, dst);
        break;
    case CC_OP_FLOGR:
        r = cc_calc_flogr(dst);
        break;

    case CC_OP_NZ_F32:
        r = set_cc_nz_f32(dst);
        break;
    case CC_OP_NZ_F64:
        r = set_cc_nz_f64(dst);
        break;
    case CC_OP_NZ_F128:
        r = set_cc_nz_f128(make_float128(src, dst));
        break;

    default:
        cpu_abort(CPU(cpu), "Unknown CC operation: %s\n", cc_name(cc_op));
    }

    HELPER_LOG("%s: %15s 0x%016lx 0x%016lx 0x%016lx = %d\n", __func__,
               cc_name(cc_op), src, dst, vr, r);
    return r;
}

uint32_t calc_cc(CPUS390XState *env, uint32_t cc_op, uint64_t src, uint64_t dst,
                 uint64_t vr)
{
    return do_calc_cc(env, cc_op, src, dst, vr);
}

uint32_t HELPER(calc_cc)(CPUS390XState *env, uint32_t cc_op, uint64_t src,
                         uint64_t dst, uint64_t vr)
{
    return do_calc_cc(env, cc_op, src, dst, vr);
}

#ifndef CONFIG_USER_ONLY
void HELPER(load_psw)(CPUS390XState *env, uint64_t mask, uint64_t addr)
{
    load_psw(env, mask, addr);
    cpu_loop_exit(CPU(s390_env_get_cpu(env)));
}

void HELPER(sacf)(CPUS390XState *env, uint64_t a1)
{
    HELPER_LOG("%s: %16" PRIx64 "\n", __func__, a1);

    switch (a1 & 0xf00) {
    case 0x000:
        env->psw.mask &= ~PSW_MASK_ASC;
        env->psw.mask |= PSW_ASC_PRIMARY;
        break;
    case 0x100:
        env->psw.mask &= ~PSW_MASK_ASC;
        env->psw.mask |= PSW_ASC_SECONDARY;
        break;
    case 0x300:
        env->psw.mask &= ~PSW_MASK_ASC;
        env->psw.mask |= PSW_ASC_HOME;
        break;
    default:
        HELPER_LOG("unknown sacf mode: %" PRIx64 "\n", a1);
        program_interrupt(env, PGM_SPECIFICATION, 2);
        break;
    }
}
#endif
Commit	Line	Data
a78b0504 BS	1	/*
	2	* S/390 condition code helper routines
	3	*
	4	* Copyright (c) 2009 Ulrich Hecht
	5	* Copyright (c) 2009 Alexander Graf
	6	*
	7	* This library is free software; you can redistribute it and/or
	8	* modify it under the terms of the GNU Lesser General Public
	9	* License as published by the Free Software Foundation; either
	10	* version 2 of the License, or (at your option) any later version.
	11	*
	12	* This library is distributed in the hope that it will be useful,
	13	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	14	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	15	* Lesser General Public License for more details.
	16	*
	17	* You should have received a copy of the GNU Lesser General Public
	18	* License along with this library; if not, see <http://www.gnu.org/licenses/>.
	19	*/
	20
9615495a	21	#include "qemu/osdep.h"
a78b0504	22	#include "cpu.h"
63c91552	23	#include "exec/exec-all.h"
2ef6175a	24	#include "exec/helper-proto.h"
00d2dc19	25	#include "qemu/host-utils.h"
a78b0504 BS	26
	27	/* #define DEBUG_HELPER */
	28	#ifdef DEBUG_HELPER
	29	#define HELPER_LOG(x...) qemu_log(x)
	30	#else
	31	#define HELPER_LOG(x...)
	32	#endif
	33
443aaeb8	34	static uint32_t cc_calc_ltgt_32(int32_t src, int32_t dst)
a78b0504 BS	35	{
	36	if (src == dst) {
	37	return 0;
	38	} else if (src < dst) {
	39	return 1;
	40	} else {
	41	return 2;
	42	}
	43	}
	44
443aaeb8	45	static uint32_t cc_calc_ltgt0_32(int32_t dst)
a78b0504	46	{
443aaeb8	47	return cc_calc_ltgt_32(dst, 0);
a78b0504 BS	48	}
a78b0504 BS	49
443aaeb8	50	static uint32_t cc_calc_ltgt_64(int64_t src, int64_t dst)
a78b0504 BS	51	{
	52	if (src == dst) {
	53	return 0;
	54	} else if (src < dst) {
	55	return 1;
	56	} else {
	57	return 2;
	58	}
	59	}
	60
443aaeb8	61	static uint32_t cc_calc_ltgt0_64(int64_t dst)
a78b0504	62	{
443aaeb8	63	return cc_calc_ltgt_64(dst, 0);
a78b0504 BS	64	}
a78b0504 BS	65
443aaeb8	66	static uint32_t cc_calc_ltugtu_32(uint32_t src, uint32_t dst)
a78b0504 BS	67	{
	68	if (src == dst) {
	69	return 0;
	70	} else if (src < dst) {
	71	return 1;
	72	} else {
	73	return 2;
	74	}
	75	}
	76
443aaeb8	77	static uint32_t cc_calc_ltugtu_64(uint64_t src, uint64_t dst)
a78b0504 BS	78	{
	79	if (src == dst) {
	80	return 0;
	81	} else if (src < dst) {
	82	return 1;
	83	} else {
	84	return 2;
	85	}
	86	}
	87
443aaeb8	88	static uint32_t cc_calc_tm_32(uint32_t val, uint32_t mask)
a78b0504	89	{
00d2dc19	90	uint32_t r = val & mask;
a78b0504	91
00d2dc19	92	if (r == 0) {
a78b0504 BS	93	return 0;
	94	} else if (r == mask) {
	95	return 3;
	96	} else {
	97	return 1;
	98	}
	99	}
	100
443aaeb8	101	static uint32_t cc_calc_tm_64(uint64_t val, uint64_t mask)
a78b0504	102	{
00d2dc19	103	uint64_t r = val & mask;
a78b0504	104
00d2dc19	105	if (r == 0) {
a78b0504 BS	106	return 0;
	107	} else if (r == mask) {
	108	return 3;
	109	} else {
00d2dc19 RH	110	int top = clz64(mask);
00d2dc19 RH	111	if ((int64_t)(val << top) < 0) {
a78b0504 BS	112	return 2;
	113	} else {
	114	return 1;
	115	}
	116	}
	117	}
	118
443aaeb8	119	static uint32_t cc_calc_nz(uint64_t dst)
a78b0504 BS	120	{
	121	return !!dst;
	122	}
	123
443aaeb8	124	static uint32_t cc_calc_add_64(int64_t a1, int64_t a2, int64_t ar)
a78b0504 BS	125	{
	126	if ((a1 > 0 && a2 > 0 && ar < 0) \|\| (a1 < 0 && a2 < 0 && ar > 0)) {
	127	return 3; /* overflow */
	128	} else {
	129	if (ar < 0) {
	130	return 1;
	131	} else if (ar > 0) {
	132	return 2;
	133	} else {
	134	return 0;
	135	}
	136	}
	137	}
	138
443aaeb8	139	static uint32_t cc_calc_addu_64(uint64_t a1, uint64_t a2, uint64_t ar)
a78b0504	140	{
4e4bb438 RH	141	return (ar != 0) + 2 * (ar < a1);
	142	}
	143
443aaeb8	144	static uint32_t cc_calc_addc_64(uint64_t a1, uint64_t a2, uint64_t ar)
4e4bb438 RH	145	{
	146	/* Recover a2 + carry_in. */
	147	uint64_t a2c = ar - a1;
	148	/* Check for a2+carry_in overflow, then a1+a2c overflow. */
	149	int carry_out = (a2c < a2) \|\| (ar < a1);
	150
	151	return (ar != 0) + 2 * carry_out;
a78b0504 BS	152	}
a78b0504 BS	153
443aaeb8	154	static uint32_t cc_calc_sub_64(int64_t a1, int64_t a2, int64_t ar)
a78b0504 BS	155	{
	156	if ((a1 > 0 && a2 < 0 && ar < 0) \|\| (a1 < 0 && a2 > 0 && ar > 0)) {
	157	return 3; /* overflow */
	158	} else {
	159	if (ar < 0) {
	160	return 1;
	161	} else if (ar > 0) {
	162	return 2;
	163	} else {
	164	return 0;
	165	}
	166	}
	167	}
	168
443aaeb8	169	static uint32_t cc_calc_subu_64(uint64_t a1, uint64_t a2, uint64_t ar)
a78b0504 BS	170	{
	171	if (ar == 0) {
	172	return 2;
	173	} else {
	174	if (a2 > a1) {
	175	return 1;
	176	} else {
	177	return 3;
	178	}
	179	}
	180	}
	181
443aaeb8	182	static uint32_t cc_calc_subb_64(uint64_t a1, uint64_t a2, uint64_t ar)
4e4bb438	183	{
4e4bb438 RH	184	int borrow_out;
4e4bb438 RH	185
9ef14736 TG	186	if (ar != a1 - a2) { /* difference means borrow-in */
9ef14736 TG	187	borrow_out = (a2 >= a1);
4e4bb438	188	} else {
4e4bb438 RH	189	borrow_out = (a2 > a1);
	190	}
	191
	192	return (ar != 0) + 2 * !borrow_out;
	193	}
	194
443aaeb8	195	static uint32_t cc_calc_abs_64(int64_t dst)
a78b0504 BS	196	{
	197	if ((uint64_t)dst == 0x8000000000000000ULL) {
	198	return 3;
	199	} else if (dst) {
2aaa1940	200	return 2;
a78b0504 BS	201	} else {
	202	return 0;
	203	}
	204	}
	205
443aaeb8	206	static uint32_t cc_calc_nabs_64(int64_t dst)
a78b0504 BS	207	{
	208	return !!dst;
	209	}
	210
443aaeb8	211	static uint32_t cc_calc_comp_64(int64_t dst)
a78b0504 BS	212	{
	213	if ((uint64_t)dst == 0x8000000000000000ULL) {
	214	return 3;
	215	} else if (dst < 0) {
	216	return 1;
	217	} else if (dst > 0) {
	218	return 2;
	219	} else {
	220	return 0;
	221	}
	222	}
	223
	224
443aaeb8	225	static uint32_t cc_calc_add_32(int32_t a1, int32_t a2, int32_t ar)
a78b0504 BS	226	{
	227	if ((a1 > 0 && a2 > 0 && ar < 0) \|\| (a1 < 0 && a2 < 0 && ar > 0)) {
	228	return 3; /* overflow */
	229	} else {
	230	if (ar < 0) {
	231	return 1;
	232	} else if (ar > 0) {
	233	return 2;
	234	} else {
	235	return 0;
	236	}
	237	}
	238	}
	239
443aaeb8	240	static uint32_t cc_calc_addu_32(uint32_t a1, uint32_t a2, uint32_t ar)
a78b0504	241	{
4e4bb438 RH	242	return (ar != 0) + 2 * (ar < a1);
	243	}
	244
443aaeb8	245	static uint32_t cc_calc_addc_32(uint32_t a1, uint32_t a2, uint32_t ar)
4e4bb438 RH	246	{
	247	/* Recover a2 + carry_in. */
	248	uint32_t a2c = ar - a1;
	249	/* Check for a2+carry_in overflow, then a1+a2c overflow. */
	250	int carry_out = (a2c < a2) \|\| (ar < a1);
	251
	252	return (ar != 0) + 2 * carry_out;
a78b0504 BS	253	}
a78b0504 BS	254
443aaeb8	255	static uint32_t cc_calc_sub_32(int32_t a1, int32_t a2, int32_t ar)
a78b0504 BS	256	{
	257	if ((a1 > 0 && a2 < 0 && ar < 0) \|\| (a1 < 0 && a2 > 0 && ar > 0)) {
	258	return 3; /* overflow */
	259	} else {
	260	if (ar < 0) {
	261	return 1;
	262	} else if (ar > 0) {
	263	return 2;
	264	} else {
	265	return 0;
	266	}
	267	}
	268	}
	269
443aaeb8	270	static uint32_t cc_calc_subu_32(uint32_t a1, uint32_t a2, uint32_t ar)
a78b0504 BS	271	{
	272	if (ar == 0) {
	273	return 2;
	274	} else {
	275	if (a2 > a1) {
	276	return 1;
	277	} else {
	278	return 3;
	279	}
	280	}
	281	}
	282
443aaeb8	283	static uint32_t cc_calc_subb_32(uint32_t a1, uint32_t a2, uint32_t ar)
4e4bb438	284	{
4e4bb438 RH	285	int borrow_out;
4e4bb438 RH	286
9ef14736 TG	287	if (ar != a1 - a2) { /* difference means borrow-in */
9ef14736 TG	288	borrow_out = (a2 >= a1);
4e4bb438	289	} else {
4e4bb438 RH	290	borrow_out = (a2 > a1);
	291	}
	292
	293	return (ar != 0) + 2 * !borrow_out;
	294	}
	295
443aaeb8	296	static uint32_t cc_calc_abs_32(int32_t dst)
a78b0504 BS	297	{
	298	if ((uint32_t)dst == 0x80000000UL) {
	299	return 3;
	300	} else if (dst) {
2aaa1940	301	return 2;
a78b0504 BS	302	} else {
	303	return 0;
	304	}
	305	}
	306
443aaeb8	307	static uint32_t cc_calc_nabs_32(int32_t dst)
a78b0504 BS	308	{
	309	return !!dst;
	310	}
	311
443aaeb8	312	static uint32_t cc_calc_comp_32(int32_t dst)
a78b0504 BS	313	{
	314	if ((uint32_t)dst == 0x80000000UL) {
	315	return 3;
	316	} else if (dst < 0) {
	317	return 1;
	318	} else if (dst > 0) {
	319	return 2;
	320	} else {
	321	return 0;
	322	}
	323	}
	324
	325	/* calculate condition code for insert character under mask insn */
58a9e35b	326	static uint32_t cc_calc_icm(uint64_t mask, uint64_t val)
a78b0504	327	{
58a9e35b RH	328	if ((val & mask) == 0) {
	329	return 0;
	330	} else {
	331	int top = clz64(mask);
	332	if ((int64_t)(val << top) < 0) {
a78b0504 BS	333	return 1;
	334	} else {
	335	return 2;
	336	}
	337	}
a78b0504 BS	338	}
a78b0504 BS	339
cbe24bfa	340	static uint32_t cc_calc_sla_32(uint32_t src, int shift)
a78b0504	341	{
cbe24bfa RH	342	uint32_t mask = ((1U << shift) - 1U) << (32 - shift);
	343	uint32_t sign = 1U << 31;
	344	uint32_t match;
	345	int32_t r;
a78b0504	346
cbe24bfa RH	347	/* Check if the sign bit stays the same. */
cbe24bfa RH	348	if (src & sign) {
a78b0504 BS	349	match = mask;
	350	} else {
	351	match = 0;
	352	}
a78b0504	353	if ((src & mask) != match) {
cbe24bfa	354	/* Overflow. */
a78b0504 BS	355	return 3;
	356	}
	357
cbe24bfa RH	358	r = ((src << shift) & ~sign) \| (src & sign);
cbe24bfa RH	359	if (r == 0) {
a78b0504	360	return 0;
cbe24bfa	361	} else if (r < 0) {
a78b0504 BS	362	return 1;
a78b0504 BS	363	}
a78b0504 BS	364	return 2;
	365	}
	366
cbe24bfa RH	367	static uint32_t cc_calc_sla_64(uint64_t src, int shift)
	368	{
	369	uint64_t mask = ((1ULL << shift) - 1ULL) << (64 - shift);
	370	uint64_t sign = 1ULL << 63;
	371	uint64_t match;
	372	int64_t r;
	373
	374	/* Check if the sign bit stays the same. */
	375	if (src & sign) {
	376	match = mask;
	377	} else {
	378	match = 0;
	379	}
	380	if ((src & mask) != match) {
	381	/* Overflow. */
	382	return 3;
	383	}
	384
	385	r = ((src << shift) & ~sign) \| (src & sign);
	386	if (r == 0) {
	387	return 0;
	388	} else if (r < 0) {
	389	return 1;
	390	}
	391	return 2;
	392	}
a78b0504	393
102bf2c6 RH	394	static uint32_t cc_calc_flogr(uint64_t dst)
	395	{
	396	return dst ? 2 : 0;
	397	}
	398
443aaeb8	399	static uint32_t do_calc_cc(CPUS390XState *env, uint32_t cc_op,
a78b0504 BS	400	uint64_t src, uint64_t dst, uint64_t vr)
a78b0504 BS	401	{
a47dddd7	402	S390CPU *cpu = s390_env_get_cpu(env);
a78b0504 BS	403	uint32_t r = 0;
	404
	405	switch (cc_op) {
	406	case CC_OP_CONST0:
	407	case CC_OP_CONST1:
	408	case CC_OP_CONST2:
	409	case CC_OP_CONST3:
	410	/* cc_op value _is_ cc */
	411	r = cc_op;
	412	break;
	413	case CC_OP_LTGT0_32:
443aaeb8	414	r = cc_calc_ltgt0_32(dst);
a78b0504 BS	415	break;
a78b0504 BS	416	case CC_OP_LTGT0_64:
443aaeb8	417	r = cc_calc_ltgt0_64(dst);
a78b0504 BS	418	break;
a78b0504 BS	419	case CC_OP_LTGT_32:
443aaeb8	420	r = cc_calc_ltgt_32(src, dst);
a78b0504 BS	421	break;
a78b0504 BS	422	case CC_OP_LTGT_64:
443aaeb8	423	r = cc_calc_ltgt_64(src, dst);
a78b0504 BS	424	break;
a78b0504 BS	425	case CC_OP_LTUGTU_32:
443aaeb8	426	r = cc_calc_ltugtu_32(src, dst);
a78b0504 BS	427	break;
a78b0504 BS	428	case CC_OP_LTUGTU_64:
443aaeb8	429	r = cc_calc_ltugtu_64(src, dst);
a78b0504 BS	430	break;
a78b0504 BS	431	case CC_OP_TM_32:
443aaeb8	432	r = cc_calc_tm_32(src, dst);
a78b0504 BS	433	break;
a78b0504 BS	434	case CC_OP_TM_64:
443aaeb8	435	r = cc_calc_tm_64(src, dst);
a78b0504 BS	436	break;
a78b0504 BS	437	case CC_OP_NZ:
443aaeb8	438	r = cc_calc_nz(dst);
a78b0504 BS	439	break;
a78b0504 BS	440	case CC_OP_ADD_64:
443aaeb8	441	r = cc_calc_add_64(src, dst, vr);
a78b0504 BS	442	break;
a78b0504 BS	443	case CC_OP_ADDU_64:
443aaeb8	444	r = cc_calc_addu_64(src, dst, vr);
a78b0504	445	break;
4e4bb438	446	case CC_OP_ADDC_64:
443aaeb8	447	r = cc_calc_addc_64(src, dst, vr);
4e4bb438	448	break;
a78b0504	449	case CC_OP_SUB_64:
443aaeb8	450	r = cc_calc_sub_64(src, dst, vr);
a78b0504 BS	451	break;
a78b0504 BS	452	case CC_OP_SUBU_64:
443aaeb8	453	r = cc_calc_subu_64(src, dst, vr);
a78b0504	454	break;
4e4bb438	455	case CC_OP_SUBB_64:
443aaeb8	456	r = cc_calc_subb_64(src, dst, vr);
4e4bb438	457	break;
a78b0504	458	case CC_OP_ABS_64:
443aaeb8	459	r = cc_calc_abs_64(dst);
a78b0504 BS	460	break;
a78b0504 BS	461	case CC_OP_NABS_64:
443aaeb8	462	r = cc_calc_nabs_64(dst);
a78b0504 BS	463	break;
a78b0504 BS	464	case CC_OP_COMP_64:
443aaeb8	465	r = cc_calc_comp_64(dst);
a78b0504 BS	466	break;
	467
	468	case CC_OP_ADD_32:
443aaeb8	469	r = cc_calc_add_32(src, dst, vr);
a78b0504 BS	470	break;
a78b0504 BS	471	case CC_OP_ADDU_32:
443aaeb8	472	r = cc_calc_addu_32(src, dst, vr);
a78b0504	473	break;
4e4bb438	474	case CC_OP_ADDC_32:
443aaeb8	475	r = cc_calc_addc_32(src, dst, vr);
4e4bb438	476	break;
a78b0504	477	case CC_OP_SUB_32:
443aaeb8	478	r = cc_calc_sub_32(src, dst, vr);
a78b0504 BS	479	break;
a78b0504 BS	480	case CC_OP_SUBU_32:
443aaeb8	481	r = cc_calc_subu_32(src, dst, vr);
a78b0504	482	break;
4e4bb438	483	case CC_OP_SUBB_32:
443aaeb8	484	r = cc_calc_subb_32(src, dst, vr);
4e4bb438	485	break;
a78b0504	486	case CC_OP_ABS_32:
443aaeb8	487	r = cc_calc_abs_32(dst);
a78b0504 BS	488	break;
a78b0504 BS	489	case CC_OP_NABS_32:
443aaeb8	490	r = cc_calc_nabs_32(dst);
a78b0504 BS	491	break;
a78b0504 BS	492	case CC_OP_COMP_32:
443aaeb8	493	r = cc_calc_comp_32(dst);
a78b0504 BS	494	break;
	495
	496	case CC_OP_ICM:
58a9e35b	497	r = cc_calc_icm(src, dst);
a78b0504	498	break;
cbe24bfa RH	499	case CC_OP_SLA_32:
	500	r = cc_calc_sla_32(src, dst);
	501	break;
	502	case CC_OP_SLA_64:
	503	r = cc_calc_sla_64(src, dst);
a78b0504	504	break;
102bf2c6 RH	505	case CC_OP_FLOGR:
	506	r = cc_calc_flogr(dst);
	507	break;
a78b0504	508
a78b0504 BS	509	case CC_OP_NZ_F32:
	510	r = set_cc_nz_f32(dst);
	511	break;
	512	case CC_OP_NZ_F64:
	513	r = set_cc_nz_f64(dst);
	514	break;
587626f8 RH	515	case CC_OP_NZ_F128:
	516	r = set_cc_nz_f128(make_float128(src, dst));
	517	break;
a78b0504 BS	518
a78b0504 BS	519	default:
a47dddd7	520	cpu_abort(CPU(cpu), "Unknown CC operation: %s\n", cc_name(cc_op));
a78b0504 BS	521	}
	522
	523	HELPER_LOG("%s: %15s 0x%016lx 0x%016lx 0x%016lx = %d\n", __func__,
	524	cc_name(cc_op), src, dst, vr, r);
	525	return r;
	526	}
	527
	528	uint32_t calc_cc(CPUS390XState *env, uint32_t cc_op, uint64_t src, uint64_t dst,
	529	uint64_t vr)
	530	{
	531	return do_calc_cc(env, cc_op, src, dst, vr);
	532	}
	533
932385a3 BS	534	uint32_t HELPER(calc_cc)(CPUS390XState *env, uint32_t cc_op, uint64_t src,
932385a3 BS	535	uint64_t dst, uint64_t vr)
a78b0504 BS	536	{
	537	return do_calc_cc(env, cc_op, src, dst, vr);
	538	}
	539
a78b0504	540	#ifndef CONFIG_USER_ONLY
932385a3	541	void HELPER(load_psw)(CPUS390XState *env, uint64_t mask, uint64_t addr)
a78b0504 BS	542	{
a78b0504 BS	543	load_psw(env, mask, addr);
5638d180	544	cpu_loop_exit(CPU(s390_env_get_cpu(env)));
a78b0504 BS	545	}
a78b0504 BS	546
932385a3	547	void HELPER(sacf)(CPUS390XState *env, uint64_t a1)
a78b0504 BS	548	{
	549	HELPER_LOG("%s: %16" PRIx64 "\n", __func__, a1);
	550
	551	switch (a1 & 0xf00) {
	552	case 0x000:
	553	env->psw.mask &= ~PSW_MASK_ASC;
	554	env->psw.mask \|= PSW_ASC_PRIMARY;
	555	break;
	556	case 0x100:
	557	env->psw.mask &= ~PSW_MASK_ASC;
	558	env->psw.mask \|= PSW_ASC_SECONDARY;
	559	break;
	560	case 0x300:
	561	env->psw.mask &= ~PSW_MASK_ASC;
	562	env->psw.mask \|= PSW_ASC_HOME;
	563	break;
	564	default:
aafcf80e	565	HELPER_LOG("unknown sacf mode: %" PRIx64 "\n", a1);
a78b0504 BS	566	program_interrupt(env, PGM_SPECIFICATION, 2);
	567	break;
	568	}
	569	}
	570	#endif