69    vassert(ix >= 0);  in s390_hreg_gpr()
77    vassert(ix >= 0);  in s390_hreg_fpr()
119    vassert(r < 16);  in s390_hreg_as_string()
165    vassert(fits_unsigned_12bit(d));  in s390_amode_b12()
182    vassert(fits_signed_20bit(d));  in s390_amode_b20()
199    vassert(fits_unsigned_12bit(d));  in s390_amode_bx12()
200    vassert(hregNumber(b) != 0);  in s390_amode_bx12()
201    vassert(hregNumber(x) != 0);  in s390_amode_bx12()
218    vassert(fits_signed_20bit(d));  in s390_amode_bx20()
219    vassert(hregNumber(b) != 0);  in s390_amode_bx20()
220    vassert(hregNumber(x) != 0);  in s390_amode_bx20()
431       vassert(gpr_index[i] >= 0);  in getRRegUniverse_S390()
433       vassert(fpr_index[i] >= 0);  in getRRegUniverse_S390()
474    vassert(offsetB >= 0);  in genSpill_S390()
475    vassert(!hregIsVirtual(rreg));  in genSpill_S390()
500    vassert(offsetB >= 0);  in genReload_S390()
501    vassert(!hregIsVirtual(rreg));  in genReload_S390()
1554    vassert(s390_host_has_eimm);  in s390_emit_AFI()
1566    vassert(s390_host_has_eimm);  in s390_emit_AGFI()
1618    vassert(s390_host_has_gie);  in s390_emit_AGSI()
1630    vassert(s390_host_has_gie);  in s390_emit_ASI()
1692    vassert(s390_host_has_eimm);  in s390_emit_NIHF()
1704    vassert(s390_host_has_eimm);  in s390_emit_NILF()
1816    vassert(s390_host_has_eimm);  in s390_emit_CFI()
1828    vassert(s390_host_has_eimm);  in s390_emit_CGFI()
1950    vassert(s390_host_has_eimm);  in s390_emit_CLFI()
1962    vassert(s390_host_has_eimm);  in s390_emit_CLGFI()
2104    vassert(s390_host_has_eimm);  in s390_emit_XIHF()
2116    vassert(s390_host_has_eimm);  in s390_emit_XILF()
2138    vassert(s390_host_has_eimm);  in s390_emit_FLOGR()
2170    vassert(s390_host_has_eimm);  in s390_emit_IIHF()
2202    vassert(s390_host_has_eimm);  in s390_emit_IILF()
2314    vassert(s390_host_has_eimm);  in s390_emit_LGFI()
2346    vassert(s390_host_has_eimm);  in s390_emit_LT()
2358    vassert(s390_host_has_eimm);  in s390_emit_LTG()
2370    vassert(s390_host_has_eimm);  in s390_emit_LBR()
2382    vassert(s390_host_has_eimm);  in s390_emit_LGBR()
2434    vassert(s390_host_has_eimm);  in s390_emit_LHR()
2446    vassert(s390_host_has_eimm);  in s390_emit_LGHR()
2528    vassert(s390_host_has_eimm);  in s390_emit_LLCR()
2540    vassert(s390_host_has_eimm);  in s390_emit_LLGCR()
2552    vassert(s390_host_has_eimm);  in s390_emit_LLC()
2574    vassert(s390_host_has_eimm);  in s390_emit_LLHR()
2586    vassert(s390_host_has_eimm);  in s390_emit_LLGHR()
2598    vassert(s390_host_has_eimm);  in s390_emit_LLH()
2620    vassert(s390_host_has_eimm);  in s390_emit_LLILF()
2672    vassert(s390_host_has_gie);  in s390_emit_MFY()
2694    vassert(s390_host_has_gie);  in s390_emit_MHY()
2806    vassert(s390_host_has_gie);  in s390_emit_MSFI()
2818    vassert(s390_host_has_gie);  in s390_emit_MSGFI()
2850    vassert(s390_host_has_gie);  in s390_emit_MVHHI()
2862    vassert(s390_host_has_gie);  in s390_emit_MVHI()
2874    vassert(s390_host_has_gie);  in s390_emit_MVGHI()
2936    vassert(s390_host_has_eimm);  in s390_emit_OIHF()
2948    vassert(s390_host_has_eimm);  in s390_emit_OILF()
3170    vassert(s390_host_has_eimm);  in s390_emit_SLFI()
3252    vassert(s390_host_has_fgx);  in s390_emit_LDGR()
3264    vassert(s390_host_has_fgx);  in s390_emit_LGDR()
3416    vassert(m4 == 0);  in s390_emit_CEFBRA()
3417    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_CEFBRA()
3434    vassert(m4 == 0);  in s390_emit_CDFBRA()
3435    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_CDFBRA()
3452    vassert(m4 == 0);  in s390_emit_CXFBRA()
3453    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_CXFBRA()
3470    vassert(m4 == 0);  in s390_emit_CEGBRA()
3471    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_CEGBRA()
3488    vassert(m4 == 0);  in s390_emit_CDGBRA()
3489    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_CDGBRA()
3506    vassert(m4 == 0);  in s390_emit_CXGBRA()
3507    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_CXGBRA()
3524    vassert(m4 == 0);  in s390_emit_CELFBR()
3525    vassert(s390_host_has_fpext);  in s390_emit_CELFBR()
3537    vassert(m4 == 0);  in s390_emit_CDLFBR()
3538    vassert(s390_host_has_fpext);  in s390_emit_CDLFBR()
3550    vassert(m4 == 0);  in s390_emit_CXLFBR()
3551    vassert(s390_host_has_fpext);  in s390_emit_CXLFBR()
3563    vassert(m4 == 0);  in s390_emit_CELGBR()
3564    vassert(s390_host_has_fpext);  in s390_emit_CELGBR()
3576    vassert(m4 == 0);  in s390_emit_CDLGBR()
3577    vassert(s390_host_has_fpext);  in s390_emit_CDLGBR()
3589    vassert(m4 == 0);  in s390_emit_CXLGBR()
3590    vassert(s390_host_has_fpext);  in s390_emit_CXLGBR()
3602    vassert(m4 == 0);  in s390_emit_CLFEBR()
3603    vassert(s390_host_has_fpext);  in s390_emit_CLFEBR()
3615    vassert(m4 == 0);  in s390_emit_CLFDBR()
3616    vassert(s390_host_has_fpext);  in s390_emit_CLFDBR()
3628    vassert(m4 == 0);  in s390_emit_CLFXBR()
3629    vassert(s390_host_has_fpext);  in s390_emit_CLFXBR()
3641    vassert(m4 == 0);  in s390_emit_CLGEBR()
3642    vassert(s390_host_has_fpext);  in s390_emit_CLGEBR()
3654    vassert(m4 == 0);  in s390_emit_CLGDBR()
3655    vassert(s390_host_has_fpext);  in s390_emit_CLGDBR()
3667    vassert(m4 == 0);  in s390_emit_CLGXBR()
3668    vassert(s390_host_has_fpext);  in s390_emit_CLGXBR()
3890    vassert(m4 == 0);  in s390_emit_LEDBRA()
3891    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_LEDBRA()
3908    vassert(m4 == 0);  in s390_emit_LDXBRA()
3909    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_LDXBRA()
3926    vassert(m4 == 0);  in s390_emit_LEXBRA()
3927    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_LEXBRA()
3944    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_FIEBRA()
3961    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_FIDBRA()
3978    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_FIXBRA()
4125    vassert(s390_host_has_dfp);  in s390_emit_ADTRA()
4126    vassert(m4 == 0 || s390_host_has_fpext);  in s390_emit_ADTRA()
4141    vassert(s390_host_has_dfp);  in s390_emit_AXTRA()
4142    vassert(m4 == 0 || s390_host_has_fpext);  in s390_emit_AXTRA()
4157    vassert(s390_host_has_dfp);  in s390_emit_CDTR()
4168    vassert(s390_host_has_dfp);  in s390_emit_CXTR()
4179    vassert(s390_host_has_dfp);  in s390_emit_CDGTRA()
4180    vassert(m4 == 0);  in s390_emit_CDGTRA()
4181    vassert(m3 == 0 || s390_host_has_fpext);  in s390_emit_CDGTRA()
4197    vassert(s390_host_has_dfp);  in s390_emit_CXGTR()
4198    vassert(m4 == 0);  in s390_emit_CXGTR()
4201    vassert(m3 == 0);  in s390_emit_CXGTR()
4213    vassert(m4 == 0);  in s390_emit_CDFTR()
4214    vassert(s390_host_has_dfp);  in s390_emit_CDFTR()
4215    vassert(s390_host_has_fpext);  in s390_emit_CDFTR()
4227    vassert(m4 == 0);  in s390_emit_CXFTR()
4228    vassert(s390_host_has_dfp);  in s390_emit_CXFTR()
4229    vassert(s390_host_has_fpext);  in s390_emit_CXFTR()
4241    vassert(m4 == 0);  in s390_emit_CDLFTR()
4242    vassert(s390_host_has_dfp);  in s390_emit_CDLFTR()
4243    vassert(s390_host_has_fpext);  in s390_emit_CDLFTR()
4255    vassert(m4 == 0);  in s390_emit_CXLFTR()
4256    vassert(s390_host_has_dfp);  in s390_emit_CXLFTR()
4257    vassert(s390_host_has_fpext);  in s390_emit_CXLFTR()
4269    vassert(m4 == 0);  in s390_emit_CDLGTR()
4270    vassert(s390_host_has_dfp);  in s390_emit_CDLGTR()
4271    vassert(s390_host_has_fpext);  in s390_emit_CDLGTR()
4283    vassert(m4 == 0);  in s390_emit_CXLGTR()
4284    vassert(s390_host_has_dfp);  in s390_emit_CXLGTR()
4285    vassert(s390_host_has_fpext);  in s390_emit_CXLGTR()
4317    vassert(m4 == 0);  in s390_emit_CFDTR()
4318    vassert(s390_host_has_dfp);  in s390_emit_CFDTR()
4319    vassert(s390_host_has_fpext);  in s390_emit_CFDTR()
4331    vassert(m4 == 0);  in s390_emit_CFXTR()
4332    vassert(s390_host_has_dfp);  in s390_emit_CFXTR()
4333    vassert(s390_host_has_fpext);  in s390_emit_CFXTR()
4345    vassert(s390_host_has_dfp);  in s390_emit_CGDTR()
4346    vassert(m4 == 0);  in s390_emit_CGDTR()
4347    vassert(s390_host_has_fpext || m3 < 1 || m3 > 7);  in s390_emit_CGDTR()
4359    vassert(s390_host_has_dfp);  in s390_emit_CGXTR()
4360    vassert(m4 == 0);  in s390_emit_CGXTR()
4361    vassert(s390_host_has_fpext || m3 < 1 || m3 > 7);  in s390_emit_CGXTR()
4373    vassert(m4 == 0);  in s390_emit_CLFDTR()
4374    vassert(s390_host_has_dfp);  in s390_emit_CLFDTR()
4375    vassert(s390_host_has_fpext);  in s390_emit_CLFDTR()
4387    vassert(m4 == 0);  in s390_emit_CLFXTR()
4388    vassert(s390_host_has_dfp);  in s390_emit_CLFXTR()
4389    vassert(s390_host_has_fpext);  in s390_emit_CLFXTR()
4401    vassert(m4 == 0);  in s390_emit_CLGDTR()
4402    vassert(s390_host_has_dfp);  in s390_emit_CLGDTR()
4403    vassert(s390_host_has_fpext);  in s390_emit_CLGDTR()
4415    vassert(m4 == 0);  in s390_emit_CLGXTR()
4416    vassert(s390_host_has_dfp);  in s390_emit_CLGXTR()
4417    vassert(s390_host_has_fpext);  in s390_emit_CLGXTR()
4429    vassert(s390_host_has_dfp);  in s390_emit_DDTRA()
4430    vassert(m4 == 0 || s390_host_has_fpext);  in s390_emit_DDTRA()
4445    vassert(s390_host_has_dfp);  in s390_emit_DXTRA()
4446    vassert(m4 == 0 || s390_host_has_fpext);  in s390_emit_DXTRA()
4521    vassert(s390_host_has_dfp);  in s390_emit_LDETR()
4532    vassert(s390_host_has_dfp);  in s390_emit_LXDTR()
4543    vassert(s390_host_has_dfp);  in s390_emit_LEDTR()
4544    vassert(m4 == 0);  in s390_emit_LEDTR()
4545    vassert(s390_host_has_fpext || m3 < 1 || m3 > 7);  in s390_emit_LEDTR()
4557    vassert(s390_host_has_dfp);  in s390_emit_LDXTR()
4558    vassert(m4 == 0);  in s390_emit_LDXTR()
4559    vassert(s390_host_has_fpext || m3 < 1 || m3 > 7);  in s390_emit_LDXTR()
4571    vassert(s390_host_has_dfp);  in s390_emit_MDTRA()
4572    vassert(m4 == 0 || s390_host_has_fpext);  in s390_emit_MDTRA()
4587    vassert(s390_host_has_dfp);  in s390_emit_MXTRA()
4588    vassert(m4 == 0 || s390_host_has_fpext);  in s390_emit_MXTRA()
4612    vassert(s390_host_has_pfpo);  in s390_emit_PFPO()
4624    vassert(s390_host_has_dfp);  in s390_emit_QADTR()
4635    vassert(s390_host_has_dfp);  in s390_emit_QAXTR()
4646    vassert(s390_host_has_dfp);  in s390_emit_RRDTR()
4657    vassert(s390_host_has_dfp);  in s390_emit_RRXTR()
4668    vassert(s390_host_has_dfp);  in s390_emit_SDTRA()
4669    vassert(m4 == 0 || s390_host_has_fpext);  in s390_emit_SDTRA()
4684    vassert(s390_host_has_dfp);  in s390_emit_SXTRA()
4685    vassert(m4 == 0 || s390_host_has_fpext);  in s390_emit_SXTRA()
4700    vassert(s390_host_has_dfp);  in s390_emit_SLDT()
4711    vassert(s390_host_has_dfp);  in s390_emit_SLXT()
4722    vassert(s390_host_has_dfp);  in s390_emit_SRDT()
4733    vassert(s390_host_has_dfp);  in s390_emit_SRXT()
4744    vassert(s390_host_has_lsc);  in s390_emit_LOCGR()
5273    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_load()
5289    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_store()
5305    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_move()
5318    vassert(src->tag == S390_AMODE_B12);  in s390_insn_memcpy()
5319    vassert(dst->tag == S390_AMODE_B12);  in s390_insn_memcpy()
5326    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_memcpy()
5343    vassert(size == 1 || size == 2 || size == 4 || size == 8);  in s390_insn_cond_move()
5384    vassert(! hregIsVirtual(dst_hi));  in s390_insn_mul()
5385    vassert(! hregIsVirtual(dst_lo));  in s390_insn_mul()
5403    vassert(size == 4 || size == 8);  in s390_insn_div()
5404    vassert(! hregIsVirtual(op1_hi));  in s390_insn_div()
5405    vassert(! hregIsVirtual(op1_lo));  in s390_insn_div()
5422    vassert(size == 8);  in s390_insn_divs()
5423    vassert(! hregIsVirtual(op1));  in s390_insn_divs()
5424    vassert(! hregIsVirtual(rem));  in s390_insn_divs()
5441    vassert(size == 8);  in s390_insn_clz()
5442    vassert(! hregIsVirtual(num_bits));  in s390_insn_clz()
5443    vassert(! hregIsVirtual(clobber));  in s390_insn_clz()
5475    vassert(size == 4 || size == 8);  in s390_insn_test()
5504    vassert(size == 4 || size == 8);  in s390_insn_cas()
5505    vassert(hregNumber(op2->x) == 0);  in s390_insn_cas()
5506    vassert(op2->tag == S390_AMODE_B12 || op2->tag == S390_AMODE_B20);  in s390_insn_cas()
5527    vassert(size == 4 || size == 8);  in s390_insn_cdas()
5528    vassert(hregNumber(op2->x) == 0);  in s390_insn_cdas()
5529    vassert(hregNumber(scratch) == 1);  /* r0,r1 used as scratch reg pair */  in s390_insn_cdas()
5530    vassert(op2->tag == S390_AMODE_B12 || op2->tag == S390_AMODE_B20);  in s390_insn_cdas()
5555    vassert(size == 4 || size == 8);  in s390_insn_compare()
5584    vassert(is_sane_RetLoc(rloc));  in s390_insn_helper_call()
5596    vassert(size == 4 || size == 8);  in s390_insn_bfp_triop()
5614    vassert(size == 4 || size == 8);  in s390_insn_bfp_binop()
5633    vassert(size == 4 || size == 8);  in s390_insn_bfp_unop()
5652    vassert(size == 4 || size == 8);  in s390_insn_bfp_compare()
5672    vassert(size == 4 || size == 8);  in s390_insn_bfp_convert()
5708    vassert(size == 16);  in s390_insn_bfp128_binop()
5709    vassert(is_valid_fp128_regpair(dst_hi, dst_lo));  in s390_insn_bfp128_binop()
5710    vassert(is_valid_fp128_regpair(op2_hi, op2_lo));  in s390_insn_bfp128_binop()
5730    vassert(size == 16);  in s390_insn_bfp128_unop()
5731    vassert(is_valid_fp128_regpair(dst_hi, dst_lo));  in s390_insn_bfp128_unop()
5732    vassert(is_valid_fp128_regpair(op_hi, op_lo));  in s390_insn_bfp128_unop()
5752    vassert(size == 16);  in s390_insn_bfp128_compare()
5753    vassert(is_valid_fp128_regpair(op1_hi, op1_lo));  in s390_insn_bfp128_compare()
5754    vassert(is_valid_fp128_regpair(op2_hi, op2_lo));  in s390_insn_bfp128_compare()
5777       vassert(is_valid_fp128_regpair(dst_hi, dst_lo));  in s390_insn_bfp128_convert()
5778       vassert(hregIsInvalid(op_lo)  in s390_insn_bfp128_convert()
5782       vassert(is_valid_fp128_regpair(op_hi, op_lo));  in s390_insn_bfp128_convert()
5828    vassert(size == 8);  in s390_insn_dfp_binop()
5852    vassert(size == 8);  in s390_insn_dfp_unop()
5872    vassert(size == 8);  in s390_insn_dfp_intop()
5893    vassert(size == 8);  in s390_insn_dfp_compare()
5914    vassert(size == 4 || size == 8);  in s390_insn_dfp_convert()
5935    vassert(size == 8);  in s390_insn_dfp_reround()
5957    vassert(size == 4 || size == 8);  in s390_insn_fp_convert()
5983    vassert(size == 16);  in s390_insn_fp128_convert()
6009    vassert(size == 16);  in s390_insn_dfp128_binop()
6010    vassert(is_valid_fp128_regpair(dst_hi, dst_lo));  in s390_insn_dfp128_binop()
6011    vassert(is_valid_fp128_regpair(op2_hi, op2_lo));  in s390_insn_dfp128_binop()
6012    vassert(is_valid_fp128_regpair(op3_hi, op3_lo));  in s390_insn_dfp128_binop()
6038    vassert(size == 8);  in s390_insn_dfp128_unop()
6039    vassert(is_valid_fp128_regpair(op_hi, op_lo));  in s390_insn_dfp128_unop()
6059    vassert(size == 16);  in s390_insn_dfp128_intop()
6060    vassert(is_valid_fp128_regpair(dst_hi, dst_lo));  in s390_insn_dfp128_intop()
6061    vassert(is_valid_fp128_regpair(op3_hi, op3_lo));  in s390_insn_dfp128_intop()
6082    vassert(size == 16);  in s390_insn_dfp128_compare()
6083    vassert(is_valid_fp128_regpair(op1_hi, op1_lo));  in s390_insn_dfp128_compare()
6084    vassert(is_valid_fp128_regpair(op2_hi, op2_lo));  in s390_insn_dfp128_compare()
6108       vassert(is_valid_fp128_regpair(dst_hi, dst_lo));  in s390_insn_dfp128_convert()
6109       vassert(hregIsInvalid(op_lo));  in s390_insn_dfp128_convert()
6112       vassert(is_valid_fp128_regpair(op_hi, op_lo));  in s390_insn_dfp128_convert()
6158    vassert(size == 16);  in s390_insn_dfp128_reround()
6159    vassert(is_valid_fp128_regpair(dst_hi, dst_lo));  in s390_insn_dfp128_reround()
6160    vassert(is_valid_fp128_regpair(op3_hi, op3_lo));  in s390_insn_dfp128_reround()
6194    vassert(dst->tag == S390_AMODE_B12);  in s390_insn_mimm()
6210    vassert(size == 4 || size == 8);  in s390_insn_madd()
6214    vassert(dst->tag == S390_AMODE_B12 || dst->tag == S390_AMODE_B20);  in s390_insn_madd()
6216    vassert(s390_host_has_gie);  in s390_insn_madd()
6231    vassert(size == 4);  in s390_insn_set_fpc_bfprm()
6246    vassert(size == 4);  in s390_insn_set_fpc_dfprm()
6264    vassert(guest_IA->tag == S390_AMODE_B12);  in s390_insn_xdirect()
6283    vassert(guest_IA->tag == S390_AMODE_B12);  in s390_insn_xindir()
6302    vassert(guest_IA->tag == S390_AMODE_B12);  in s390_insn_xassisted()
6321    vassert(counter->tag   == S390_AMODE_B12);  in s390_insn_evcheck()
6322    vassert(fail_addr->tag == S390_AMODE_B12);  in s390_insn_evcheck()
7329       vassert(value == 0);  in s390_insn_load_immediate_emit()
7426          vassert(dst != 15);  /* extra paranoia */  in s390_insn_alu_emit()
8113    vassert(am->tag == S390_AMODE_B12 || am->tag == S390_AMODE_B20);  in s390_insn_cas_emit()
8162    vassert(scratch == 1);  in s390_insn_cdas_emit()
8163    vassert(am->tag == S390_AMODE_B12 || am->tag == S390_AMODE_B20);  in s390_insn_cdas_emit()
8587    vassert((r1 & 0x1) == 0);  in s390_insn_clz_emit()
8588    vassert(r1p1 == r1 + 1);  in s390_insn_clz_emit()
8708       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_helper_call_emit()
8754          vassert(am->tag == S390_AMODE_B12 || am->tag == S390_AMODE_B20);  in s390_insn_cond_move_emit()
8755          vassert(insn->size == 4 || insn->size == 8);  in s390_insn_cond_move_emit()
8775          vassert(insn->size == 8);  in s390_insn_cond_move_emit()
8830       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_cond_move_emit()
9264    vassert(rm < 2 || rm > 7);  in s390_insn_fp_convert_emit()
9440    vassert(buf - begin == s390_tchain_load64_len());  in s390_tchain_load64()
9466       vassert(code[0]  ==  0xC0);  in s390_tchain_verify_load64()
9467       vassert(code[1]  == (0x08 | regmask));  in s390_tchain_verify_load64()
9468       vassert(*(const UInt *)&code[2] == (value >> 32));  in s390_tchain_verify_load64()
9470       vassert(code[6]  ==  0xC0);  in s390_tchain_verify_load64()
9471       vassert(code[7]  == (0x09 | regmask));  in s390_tchain_verify_load64()
9472       vassert(*(const UInt *)&code[8] == (value & 0xFFFFFFFF));  in s390_tchain_verify_load64()
9476       vassert(code[0]  ==  0xA5);  in s390_tchain_verify_load64()
9477       vassert(code[1]  == (0x03 | regmask));  in s390_tchain_verify_load64()
9478       vassert(code[2]  == (hw >> 8));  in s390_tchain_verify_load64()
9479       vassert(code[3]  == (hw & 0xFF));  in s390_tchain_verify_load64()
9483       vassert(code[4]  ==  0xA5);  in s390_tchain_verify_load64()
9484       vassert(code[5]  == (0x02 | regmask));  in s390_tchain_verify_load64()
9485       vassert(code[6]  == (hw >> 8));  in s390_tchain_verify_load64()
9486       vassert(code[7]  == (hw & 0xFF));  in s390_tchain_verify_load64()
9490       vassert(code[8]  ==  0xA5);  in s390_tchain_verify_load64()
9491       vassert(code[9]  == (0x01 | regmask));  in s390_tchain_verify_load64()
9492       vassert(code[10] == (hw >> 8));  in s390_tchain_verify_load64()
9493       vassert(code[11] == (hw & 0xFF));  in s390_tchain_verify_load64()
9497       vassert(code[12] ==  0xA5);  in s390_tchain_verify_load64()
9498       vassert(code[13] == (0x00 | regmask));  in s390_tchain_verify_load64()
9499       vassert(code[14] == (hw >> 8));  in s390_tchain_verify_load64()
9500       vassert(code[15] == (hw & 0xFF));  in s390_tchain_verify_load64()
9542    vassert(disp_cp_chain_me_to_slowEP != NULL);  in s390_insn_xdirect_emit()
9543    vassert(disp_cp_chain_me_to_fastEP != NULL);  in s390_insn_xdirect_emit()
9569    vassert(amode->tag == S390_AMODE_B12);  in s390_insn_xdirect_emit()
9600       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_xdirect_emit()
9625    vassert(disp_cp_xindir != NULL);  in s390_insn_xindir_emit()
9650    vassert(amode->tag == S390_AMODE_B12);  in s390_insn_xindir_emit()
9668       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_xindir_emit()
9702    vassert(amode->tag == S390_AMODE_B12);  in s390_insn_xassisted_emit()
9733    vassert(trcval != 0);  in s390_insn_xassisted_emit()
9750       vassert(delta > 0 && delta < (1 << 16));  in s390_insn_xassisted_emit()
9777    vassert(amode->tag == S390_AMODE_B12);  in s390_insn_evcheck_emit()
9804    vassert(evCheckSzB_S390() == code_end - code_begin);  in s390_insn_evcheck_emit()
9842    vassert(sizeof(s390_insn) == 32);  in emit_S390Instr()
9991       vassert(*is_profinc == False);  in emit_S390Instr()
10017    vassert(end - buf <= nbuf);  in emit_S390Instr()
10038    vassert(sizeof(ULong *) == 8);  in patchProfInc_S390()
10059    vassert(endness_host == VexEndnessBE);  in chainXDirect_S390()
10069    vassert(s390_insn_is_BR(next, S390_REGNO_TCHAIN_SCRATCH));  in chainXDirect_S390()
10118       vassert(6 <= s390_xdirect_patchable_len());  in chainXDirect_S390()
10148    vassert(endness_host == VexEndnessBE);  in unchainXDirect_S390()
10170       vassert(p + delta == place_to_jump_to_EXPECTED);  in unchainXDirect_S390()
10174          vassert(p[6+i] == 0x00);  in unchainXDirect_S390()
10183       vassert(s390_insn_is_BR(next, S390_REGNO_TCHAIN_SCRATCH));  in unchainXDirect_S390()