Lines Matching refs:vassert
101 vassert(r < 16);
209 vassert(fits_unsigned_12bit(d));
226 vassert(fits_signed_20bit(d));
243 vassert(fits_unsigned_12bit(d));
244 vassert(b != 0);
245 vassert(x != 0);
262 vassert(fits_signed_20bit(d));
263 vassert(b != 0);
264 vassert(x != 0);
459 vassert(offsetB >= 0);
460 vassert(offsetB <= (1 << 12)); /* because we use b12 amode */
461 vassert(!hregIsVirtual(rreg));
486 vassert(offsetB >= 0);
487 vassert(offsetB <= (1 << 12)); /* because we use b12 amode */
488 vassert(!hregIsVirtual(rreg));
1247 vassert(s390_host_has_ldisp);
1259 vassert(s390_host_has_ldisp || dh2 == 0);
1271 vassert(s390_host_has_eimm);
1283 vassert(s390_host_has_eimm);
1305 vassert(s390_host_has_ldisp);
1337 vassert(s390_host_has_gie);
1349 vassert(s390_host_has_gie);
1391 vassert(s390_host_has_ldisp);
1403 vassert(s390_host_has_ldisp || dh2 == 0);
1415 vassert(s390_host_has_eimm);
1427 vassert(s390_host_has_eimm);
1519 vassert(s390_host_has_ldisp);
1531 vassert(s390_host_has_ldisp || dh2 == 0);
1543 vassert(s390_host_has_eimm);
1555 vassert(s390_host_has_eimm);
1577 vassert(s390_host_has_ldisp);
1589 vassert(s390_host_has_ldisp || dh2 == 0);
1611 vassert(s390_host_has_ldisp);
1623 vassert(s390_host_has_ldisp || dh2 == 0);
1665 vassert(s390_host_has_ldisp);
1677 vassert(s390_host_has_ldisp || dh2 == 0);
1689 vassert(s390_host_has_eimm);
1701 vassert(s390_host_has_eimm);
1753 vassert(s390_host_has_ldisp || dh2 == 0);
1765 vassert(s390_host_has_ldisp || dh2 == 0);
1787 vassert(s390_host_has_ldisp || dh2 == 0);
1829 vassert(s390_host_has_ldisp);
1841 vassert(s390_host_has_ldisp || dh2 == 0);
1853 vassert(s390_host_has_eimm);
1865 vassert(s390_host_has_eimm);
1887 vassert(s390_host_has_eimm);
1909 vassert(s390_host_has_ldisp);
1921 vassert(s390_host_has_eimm);
1953 vassert(s390_host_has_eimm);
2035 vassert(s390_host_has_ldisp);
2047 vassert(s390_host_has_ldisp || dh2 == 0);
2059 vassert(s390_host_has_ldisp || dh2 == 0);
2071 vassert(s390_host_has_eimm);
2103 vassert(s390_host_has_eimm);
2115 vassert(s390_host_has_eimm);
2127 vassert(s390_host_has_eimm);
2139 vassert(s390_host_has_eimm);
2151 vassert(s390_host_has_ldisp);
2163 vassert(s390_host_has_ldisp);
2195 vassert(s390_host_has_eimm);
2207 vassert(s390_host_has_eimm);
2229 vassert(s390_host_has_ldisp);
2241 vassert(s390_host_has_ldisp || dh2 == 0);
2283 vassert(s390_host_has_ldisp || dh2 == 0);
2295 vassert(s390_host_has_eimm);
2307 vassert(s390_host_has_eimm);
2319 vassert(s390_host_has_eimm);
2331 vassert(s390_host_has_ldisp || dh2 == 0);
2343 vassert(s390_host_has_eimm);
2355 vassert(s390_host_has_eimm);
2367 vassert(s390_host_has_eimm);
2379 vassert(s390_host_has_ldisp || dh2 == 0);
2391 vassert(s390_host_has_eimm);
2443 vassert(s390_host_has_gie);
2465 vassert(s390_host_has_gie);
2507 vassert(s390_host_has_ldisp || dh2 == 0);
2519 vassert(s390_host_has_ldisp || dh2 == 0);
2561 vassert(s390_host_has_ldisp);
2573 vassert(s390_host_has_ldisp || dh2 == 0);
2585 vassert(s390_host_has_gie);
2597 vassert(s390_host_has_gie);
2639 vassert(s390_host_has_ldisp);
2651 vassert(s390_host_has_ldisp || dh2 == 0);
2663 vassert(s390_host_has_eimm);
2675 vassert(s390_host_has_eimm);
2707 vassert(s390_host_has_ldisp || dh2 == 0);
2729 vassert(s390_host_has_ldisp || dh2 == 0);
2751 vassert(s390_host_has_ldisp || dh2 == 0);
2773 vassert(s390_host_has_ldisp);
2785 vassert(s390_host_has_ldisp || dh2 == 0);
2807 vassert(s390_host_has_ldisp);
2829 vassert(s390_host_has_ldisp);
2871 vassert(s390_host_has_ldisp);
2883 vassert(s390_host_has_ldisp || dh2 == 0);
2905 vassert(s390_host_has_ldisp);
2917 vassert(s390_host_has_eimm);
2969 vassert(s390_host_has_ldisp);
2981 vassert(s390_host_has_ldisp);
3003 vassert(s390_host_has_fgx);
3015 vassert(s390_host_has_fgx);
3077 vassert(s390_host_has_ldisp);
3089 vassert(s390_host_has_ldisp);
3796 vassert(s390_host_has_ldisp || dh2 == 0);
3826 vassert(s390_host_has_ldisp || dh2 == 0);
4149 vassert(size == 1 || size == 2 || size == 4 || size == 8);
4165 vassert(size == 1 || size == 2 || size == 4 || size == 8);
4181 vassert(size == 1 || size == 2 || size == 4 || size == 8);
4198 vassert(size == 1 || size == 2 || size == 4 || size == 8);
4239 vassert(! hregIsVirtual(dst_hi));
4240 vassert(! hregIsVirtual(dst_lo));
4259 vassert(size == 4 || size == 8);
4260 vassert(! hregIsVirtual(op1_hi));
4261 vassert(! hregIsVirtual(op1_lo));
4279 vassert(size == 8);
4280 vassert(! hregIsVirtual(op1));
4281 vassert(! hregIsVirtual(rem));
4298 vassert(size == 8);
4299 vassert(! hregIsVirtual(num_bits));
4300 vassert(! hregIsVirtual(clobber));
4332 vassert(size == 4 || size == 8);
4361 vassert(size == 4 || size == 8);
4362 vassert(op2->x == 0);
4382 vassert(size == 4 || size == 8);
4383 vassert(op2->x == 0);
4384 vassert(hregNumber(scratch) == 1); /* r0,r1 used as scratch reg pair */
4407 vassert(size == 4 || size == 8);
4494 vassert(size == 4 || size == 8);
4700 vassert(counter->tag == S390_AMODE_B12);
4701 vassert(fail_addr->tag == S390_AMODE_B12);
5542 vassert(value == 0);
5639 vassert(dst != 15); /* extra paranoia */
6372 vassert(scratch == 1);
6796 vassert((r1 & 0x1) == 0);
6797 vassert(r1p1 == r1 + 1);
6922 vassert(delta > 0 && delta < (1 << 16));
6991 vassert(delta > 0 && delta < (1 << 16));
7246 vassert(insn->size == 16);
7247 vassert(r1_lo == r1_hi + 2);
7248 vassert(r2_lo == r2_hi + 2);
7249 vassert((r1_hi & 0x2) == 0);
7250 vassert((r2_hi & 0x2) == 0);
7286 vassert(insn->size == 16);
7287 vassert(r1_lo == r1_hi + 2);
7288 vassert(r2_lo == r2_hi + 2);
7289 vassert((r1_hi & 0x2) == 0);
7290 vassert((r2_hi & 0x2) == 0);
7309 vassert(insn->size == 16);
7310 vassert(r1_lo == r1_hi + 2);
7311 vassert(r2_lo == r2_hi + 2);
7312 vassert((r1_hi & 0x2) == 0);
7313 vassert((r2_hi & 0x2) == 0);
7350 vassert(insn->size == 16);
7351 vassert(r1_lo == r1_hi + 2);
7352 vassert((r1_hi & 0x2) == 0);
7378 vassert(insn->size != 16);
7379 vassert(r2_lo == r2_hi + 2);
7380 vassert((r2_hi & 0x2) == 0);
7466 vassert(buf - begin == s390_tchain_load64_len());
7492 vassert(code[0] == 0xC0);
7493 vassert(code[1] == (0x08 | regmask));
7494 vassert(*(const UInt *)&code[2] == (value >> 32));
7496 vassert(code[6] == 0xC0);
7497 vassert(code[7] == (0x09 | regmask));
7498 vassert(*(const UInt *)&code[8] == (value & 0xFFFFFFFF));
7502 vassert(code[0] == 0xA5);
7503 vassert(code[1] == (0x03 | regmask));
7504 vassert(code[2] == (hw >> 8));
7505 vassert(code[3] == (hw & 0xFF));
7509 vassert(code[4] == 0xA5);
7510 vassert(code[5] == (0x02 | regmask));
7511 vassert(code[6] == (hw >> 8));
7512 vassert(code[7] == (hw & 0xFF));
7516 vassert(code[8] == 0xA5);
7517 vassert(code[9] == (0x01 | regmask));
7518 vassert(code[10] == (hw >> 8));
7519 vassert(code[11] == (hw & 0xFF));
7523 vassert(code[12] == 0xA5);
7524 vassert(code[13] == (0x00 | regmask));
7525 vassert(code[14] == (hw >> 8));
7526 vassert(code[15] == (hw & 0xFF));
7568 vassert(disp_cp_chain_me_to_slowEP != NULL);
7569 vassert(disp_cp_chain_me_to_fastEP != NULL);
7595 vassert(amode->tag == S390_AMODE_B12);
7626 vassert(delta > 0 && delta < (1 << 16));
7650 vassert(disp_cp_xindir != NULL);
7675 vassert(amode->tag == S390_AMODE_B12);
7693 vassert(delta > 0 && delta < (1 << 16));
7727 vassert(amode->tag == S390_AMODE_B12);
7757 vassert(trcval != 0);
7774 vassert(delta > 0 && delta < (1 << 16));
7800 vassert(amode->tag == S390_AMODE_B12);
7827 vassert(evCheckSzB_S390() == code_end - code_begin);
7982 vassert(*is_profinc == False);
8007 vassert(end - buf <= nbuf);
8027 vassert(sizeof(ULong *) == 8);
8053 vassert(s390_insn_is_BR(next, S390_REGNO_TCHAIN_SCRATCH));
8101 vassert(6 <= s390_xdirect_patchable_len());
8149 vassert(p + delta == place_to_jump_to_EXPECTED);
8153 vassert(p[6+i] == 0x00);
8162 vassert(s390_insn_is_BR(next, S390_REGNO_TCHAIN_SCRATCH));
