101    vassert(r < 16);  in s390_hreg_as_string()
209    vassert(fits_unsigned_12bit(d));  in s390_amode_b12()
226    vassert(fits_signed_20bit(d));  in s390_amode_b20()
243    vassert(fits_unsigned_12bit(d));  in s390_amode_bx12()
244    vassert(b != 0);  in s390_amode_bx12()
245    vassert(x != 0);  in s390_amode_bx12()
262    vassert(fits_signed_20bit(d));  in s390_amode_bx20()
263    vassert(b != 0);  in s390_amode_bx20()
264    vassert(x != 0);  in s390_amode_bx20()
459    vassert(offsetB >= 0);  in genSpill_S390()
460    vassert(offsetB <= (1 << 12));  /* because we use b12 amode */  in genSpill_S390()
461    vassert(!hregIsVirtual(rreg));  in genSpill_S390()
486    vassert(offsetB >= 0);  in genReload_S390()
487    vassert(offsetB <= (1 << 12));  /* because we use b12 amode */  in genReload_S390()
488    vassert(!hregIsVirtual(rreg));  in genReload_S390()
1247    vassert(s390_host_has_ldisp);  in s390_emit_AY()
1259    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_AG()
1271    vassert(s390_host_has_eimm);  in s390_emit_AFI()
1283    vassert(s390_host_has_eimm);  in s390_emit_AGFI()
1305    vassert(s390_host_has_ldisp);  in s390_emit_AHY()
1337    vassert(s390_host_has_gie);  in s390_emit_AGSI()
1349    vassert(s390_host_has_gie);  in s390_emit_ASI()
1391    vassert(s390_host_has_ldisp);  in s390_emit_NY()
1403    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_NG()
1415    vassert(s390_host_has_eimm);  in s390_emit_NIHF()
1427    vassert(s390_host_has_eimm);  in s390_emit_NILF()
1519    vassert(s390_host_has_ldisp);  in s390_emit_CY()
1531    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_CG()
1543    vassert(s390_host_has_eimm);  in s390_emit_CFI()
1555    vassert(s390_host_has_eimm);  in s390_emit_CGFI()
1577    vassert(s390_host_has_ldisp);  in s390_emit_CSY()
1589    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_CSG()
1611    vassert(s390_host_has_ldisp);  in s390_emit_CDSY()
1623    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_CDSG()
1665    vassert(s390_host_has_ldisp);  in s390_emit_CLY()
1677    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_CLG()
1689    vassert(s390_host_has_eimm);  in s390_emit_CLFI()
1701    vassert(s390_host_has_eimm);  in s390_emit_CLGFI()
1753    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_DL()
1765    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_DLG()
1787    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_DSG()
1829    vassert(s390_host_has_ldisp);  in s390_emit_XY()
1841    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_XG()
1853    vassert(s390_host_has_eimm);  in s390_emit_XIHF()
1865    vassert(s390_host_has_eimm);  in s390_emit_XILF()
1887    vassert(s390_host_has_eimm);  in s390_emit_FLOGR()
1909    vassert(s390_host_has_ldisp);  in s390_emit_ICY()
1921    vassert(s390_host_has_eimm);  in s390_emit_IIHF()
1953    vassert(s390_host_has_eimm);  in s390_emit_IILF()
2035    vassert(s390_host_has_ldisp);  in s390_emit_LY()
2047    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_LG()
2059    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_LGF()
2071    vassert(s390_host_has_eimm);  in s390_emit_LGFI()
2103    vassert(s390_host_has_eimm);  in s390_emit_LT()
2115    vassert(s390_host_has_eimm);  in s390_emit_LTG()
2127    vassert(s390_host_has_eimm);  in s390_emit_LBR()
2139    vassert(s390_host_has_eimm);  in s390_emit_LGBR()
2151    vassert(s390_host_has_ldisp);  in s390_emit_LB()
2163    vassert(s390_host_has_ldisp);  in s390_emit_LGB()
2195    vassert(s390_host_has_eimm);  in s390_emit_LHR()
2207    vassert(s390_host_has_eimm);  in s390_emit_LGHR()
2229    vassert(s390_host_has_ldisp);  in s390_emit_LHY()
2241    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_LGH()
2283    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_LLGF()
2295    vassert(s390_host_has_eimm);  in s390_emit_LLCR()
2307    vassert(s390_host_has_eimm);  in s390_emit_LLGCR()
2319    vassert(s390_host_has_eimm);  in s390_emit_LLC()
2331    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_LLGC()
2343    vassert(s390_host_has_eimm);  in s390_emit_LLHR()
2355    vassert(s390_host_has_eimm);  in s390_emit_LLGHR()
2367    vassert(s390_host_has_eimm);  in s390_emit_LLH()
2379    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_LLGH()
2391    vassert(s390_host_has_eimm);  in s390_emit_LLILF()
2443    vassert(s390_host_has_gie);  in s390_emit_MFY()
2465    vassert(s390_host_has_gie);  in s390_emit_MHY()
2507    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_ML()
2519    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_MLG()
2561    vassert(s390_host_has_ldisp);  in s390_emit_MSY()
2573    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_MSG()
2585    vassert(s390_host_has_gie);  in s390_emit_MSFI()
2597    vassert(s390_host_has_gie);  in s390_emit_MSGFI()
2639    vassert(s390_host_has_ldisp);  in s390_emit_OY()
2651    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_OG()
2663    vassert(s390_host_has_eimm);  in s390_emit_OIHF()
2675    vassert(s390_host_has_eimm);  in s390_emit_OILF()
2707    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_SLLG()
2729    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_SRAG()
2751    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_SRLG()
2773    vassert(s390_host_has_ldisp);  in s390_emit_STY()
2785    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_STG()
2807    vassert(s390_host_has_ldisp);  in s390_emit_STCY()
2829    vassert(s390_host_has_ldisp);  in s390_emit_STHY()
2871    vassert(s390_host_has_ldisp);  in s390_emit_SY()
2883    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_SG()
2905    vassert(s390_host_has_ldisp);  in s390_emit_SHY()
2917    vassert(s390_host_has_eimm);  in s390_emit_SLFI()
2969    vassert(s390_host_has_ldisp);  in s390_emit_LEY()
2981    vassert(s390_host_has_ldisp);  in s390_emit_LDY()
3003    vassert(s390_host_has_fgx);  in s390_emit_LDGR()
3015    vassert(s390_host_has_fgx);  in s390_emit_LGDR()
3077    vassert(s390_host_has_ldisp);  in s390_emit_STEY()
3089    vassert(s390_host_has_ldisp);  in s390_emit_STDY()
3796    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_LBw()
3826    vassert(s390_host_has_ldisp || dh2 == 0);  in s390_emit_LGBw()
4149    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_load()
4165    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_store()
4181    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_move()
4198    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_cond_move()
4239    vassert(! hregIsVirtual(dst_hi));  in s390_insn_mul()
4240    vassert(! hregIsVirtual(dst_lo));  in s390_insn_mul()
4259    vassert(size == 4 || size == 8);  in s390_insn_div()
4260    vassert(! hregIsVirtual(op1_hi));  in s390_insn_div()
4261    vassert(! hregIsVirtual(op1_lo));  in s390_insn_div()
4279    vassert(size == 8);  in s390_insn_divs()
4280    vassert(! hregIsVirtual(op1));  in s390_insn_divs()
4281    vassert(! hregIsVirtual(rem));  in s390_insn_divs()
4298    vassert(size == 8);  in s390_insn_clz()
4299    vassert(! hregIsVirtual(num_bits));  in s390_insn_clz()
4300    vassert(! hregIsVirtual(clobber));  in s390_insn_clz()
4332    vassert(size == 4 || size == 8);  in s390_insn_test()
4361    vassert(size == 4 || size == 8);  in s390_insn_cas()
4362    vassert(op2->x == 0);  in s390_insn_cas()
4382    vassert(size == 4 || size == 8);  in s390_insn_cdas()
4383    vassert(op2->x == 0);  in s390_insn_cdas()
4384    vassert(hregNumber(scratch) == 1);  /* r0,r1 used as scratch reg pair */  in s390_insn_cdas()
4407    vassert(size == 4 || size == 8);  in s390_insn_compare()
4494    vassert(size == 4 || size == 8);  in s390_insn_bfp_compare()
4700    vassert(counter->tag   == S390_AMODE_B12);  in s390_insn_evcheck()
4701    vassert(fail_addr->tag == S390_AMODE_B12);  in s390_insn_evcheck()
5542       vassert(value == 0);  in s390_insn_load_immediate_emit()
5639          vassert(dst != 15);  /* extra paranoia */  in s390_insn_alu_emit()
6372    vassert(scratch == 1);  in s390_insn_cdas_emit()
6796    vassert((r1 & 0x1) == 0);  in s390_insn_clz_emit()
6797    vassert(r1p1 == r1 + 1);  in s390_insn_clz_emit()
6922       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_helper_call_emit()
6991       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_cond_move_emit()
7246    vassert(insn->size == 16);  in s390_insn_bfp128_binop_emit()
7247    vassert(r1_lo == r1_hi + 2);  in s390_insn_bfp128_binop_emit()
7248    vassert(r2_lo == r2_hi + 2);  in s390_insn_bfp128_binop_emit()
7249    vassert((r1_hi & 0x2) == 0);  in s390_insn_bfp128_binop_emit()
7250    vassert((r2_hi & 0x2) == 0);  in s390_insn_bfp128_binop_emit()
7286    vassert(insn->size == 16);  in s390_insn_bfp128_compare_emit()
7287    vassert(r1_lo == r1_hi + 2);  in s390_insn_bfp128_compare_emit()
7288    vassert(r2_lo == r2_hi + 2);  in s390_insn_bfp128_compare_emit()
7289    vassert((r1_hi & 0x2) == 0);  in s390_insn_bfp128_compare_emit()
7290    vassert((r2_hi & 0x2) == 0);  in s390_insn_bfp128_compare_emit()
7309    vassert(insn->size == 16);  in s390_insn_bfp128_unop_emit()
7310    vassert(r1_lo == r1_hi + 2);  in s390_insn_bfp128_unop_emit()
7311    vassert(r2_lo == r2_hi + 2);  in s390_insn_bfp128_unop_emit()
7312    vassert((r1_hi & 0x2) == 0);  in s390_insn_bfp128_unop_emit()
7313    vassert((r2_hi & 0x2) == 0);  in s390_insn_bfp128_unop_emit()
7350    vassert(insn->size == 16);  in s390_insn_bfp128_convert_to_emit()
7351    vassert(r1_lo == r1_hi + 2);  in s390_insn_bfp128_convert_to_emit()
7352    vassert((r1_hi & 0x2) == 0);  in s390_insn_bfp128_convert_to_emit()
7378    vassert(insn->size != 16);  in s390_insn_bfp128_convert_from_emit()
7379    vassert(r2_lo == r2_hi + 2);  in s390_insn_bfp128_convert_from_emit()
7380    vassert((r2_hi & 0x2) == 0);  in s390_insn_bfp128_convert_from_emit()
7466    vassert(buf - begin == s390_tchain_load64_len());  in s390_tchain_load64()
7492       vassert(code[0]  ==  0xC0);  in s390_tchain_verify_load64()
7493       vassert(code[1]  == (0x08 | regmask));  in s390_tchain_verify_load64()
7494       vassert(*(const UInt *)&code[2] == (value >> 32));  in s390_tchain_verify_load64()
7496       vassert(code[6]  ==  0xC0);  in s390_tchain_verify_load64()
7497       vassert(code[7]  == (0x09 | regmask));  in s390_tchain_verify_load64()
7498       vassert(*(const UInt *)&code[8] == (value & 0xFFFFFFFF));  in s390_tchain_verify_load64()
7502       vassert(code[0]  ==  0xA5);  in s390_tchain_verify_load64()
7503       vassert(code[1]  == (0x03 | regmask));  in s390_tchain_verify_load64()
7504       vassert(code[2]  == (hw >> 8));  in s390_tchain_verify_load64()
7505       vassert(code[3]  == (hw & 0xFF));  in s390_tchain_verify_load64()
7509       vassert(code[4]  ==  0xA5);  in s390_tchain_verify_load64()
7510       vassert(code[5]  == (0x02 | regmask));  in s390_tchain_verify_load64()
7511       vassert(code[6]  == (hw >> 8));  in s390_tchain_verify_load64()
7512       vassert(code[7]  == (hw & 0xFF));  in s390_tchain_verify_load64()
7516       vassert(code[8]  ==  0xA5);  in s390_tchain_verify_load64()
7517       vassert(code[9]  == (0x01 | regmask));  in s390_tchain_verify_load64()
7518       vassert(code[10] == (hw >> 8));  in s390_tchain_verify_load64()
7519       vassert(code[11] == (hw & 0xFF));  in s390_tchain_verify_load64()
7523       vassert(code[12] ==  0xA5);  in s390_tchain_verify_load64()
7524       vassert(code[13] == (0x00 | regmask));  in s390_tchain_verify_load64()
7525       vassert(code[14] == (hw >> 8));  in s390_tchain_verify_load64()
7526       vassert(code[15] == (hw & 0xFF));  in s390_tchain_verify_load64()
7568    vassert(disp_cp_chain_me_to_slowEP != NULL);  in s390_insn_xdirect_emit()
7569    vassert(disp_cp_chain_me_to_fastEP != NULL);  in s390_insn_xdirect_emit()
7595    vassert(amode->tag == S390_AMODE_B12);  in s390_insn_xdirect_emit()
7626       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_xdirect_emit()
7650    vassert(disp_cp_xindir != NULL);  in s390_insn_xindir_emit()
7675    vassert(amode->tag == S390_AMODE_B12);  in s390_insn_xindir_emit()
7693       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_xindir_emit()
7727    vassert(amode->tag == S390_AMODE_B12);  in s390_insn_xassisted_emit()
7757    vassert(trcval != 0);  in s390_insn_xassisted_emit()
7774       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_xassisted_emit()
7800    vassert(amode->tag == S390_AMODE_B12);  in s390_insn_evcheck_emit()
7827    vassert(evCheckSzB_S390() == code_end - code_begin);  in s390_insn_evcheck_emit()
7982       vassert(*is_profinc == False);  in emit_S390Instr()
8007    vassert(end - buf <= nbuf);  in emit_S390Instr()
8027    vassert(sizeof(ULong *) == 8);  in patchProfInc_S390()
8053    vassert(s390_insn_is_BR(next, S390_REGNO_TCHAIN_SCRATCH));  in chainXDirect_S390()
8101       vassert(6 <= s390_xdirect_patchable_len());  in chainXDirect_S390()
8149       vassert(p + delta == place_to_jump_to_EXPECTED);  in unchainXDirect_S390()
8153          vassert(p[6+i] == 0x00);  in unchainXDirect_S390()
8162       vassert(s390_insn_is_BR(next, S390_REGNO_TCHAIN_SCRATCH));  in unchainXDirect_S390()