Lines Matching defs:CHECK
48 Check the interpretation for vector narrowing and widening ops,
269 /* VG_(indexXA) range-checks 'orig', hence no need to check
299 /* VG_(indexXA) range-checks 'orig', hence no need to check
354 /* (used for sanity checks only): check that both args are atoms and
1203 /* Check the supplied *original* |atom| for undefinedness, and emit a
1219 This routine does not generate code to check the definedness of
1259 /* Get the origin info for the value we are about to check. At
4824 /* Generate IR to do a shadow load. The helper is expected to check
4860 check the definedness and validity of ADDR.
4876 /* Sanity check the conversion operation, and also set TYWIDE. */
5087 atom, but obviously not both. This function generates a check for
5380 /* First check the guard. */
5701 3. check definedness of address
5746 "expected == old", but we don't check definedness of it. Why
5750 don't check definedness for those primops; we just say that the
5873 /* 3. check definedness of address */
5994 /* 3. check definedness of address */
6146 /* do_shadow_Store will generate code to check the definedness and
6159 /* expr2vbits_Load_guarded_General will generate code to check the
6364 /* Check we're not completely nuts */
6467 to cause IR sanity check failures, due to references to
6800 quality. Also, this strategy loses the check for the oldest
6834 To speed it up, check the common prefix just once, rather than
6851 /* Check the part after the prefix. */
6879 of the relevant helpers is seen, check if we have made a
6895 guard 'guard'. Check if we have already seen a call to this
6922 /* VG_(indexXA) range-checks 'orig', hence no need to check
7284 /* First check the guard. */
7552 /* The value-check instrumenter handles this - by arranging
7674 /* Make a best-effort check to see that is_helperc_value_checkN_fail
7677 # define CHECK(_expected, _string) \
7681 CHECK(True, "MC_(helperc_value_check8_fail_no_o)");
7682 CHECK(True, "MC_(helperc_value_check4_fail_no_o)");
7683 CHECK(True, "MC_(helperc_value_check0_fail_no_o)");
7684 CHECK(True, "MC_(helperc_value_check1_fail_no_o)");
7685 CHECK(True, "MC_(helperc_value_check8_fail_w_o)");
7686 CHECK(True, "MC_(helperc_value_check0_fail_w_o)");
7687 CHECK(True, "MC_(helperc_value_check1_fail_w_o)");
7688 CHECK(True, "MC_(helperc_value_check4_fail_w_o)");
7691 CHECK(False, "amd64g_dirtyhelper_CPUID_avx2");
7692 CHECK(False, "amd64g_dirtyhelper_RDTSC");
7693 CHECK(False, "MC_(helperc_b_load1)");
7694 CHECK(False, "MC_(helperc_b_load2)");
7695 CHECK(False, "MC_(helperc_b_load4)");
7696 CHECK(False, "MC_(helperc_b_load8)");
7697 CHECK(False, "MC_(helperc_b_load16)");
7698 CHECK(False, "MC_(helperc_b_load32)");
7699 CHECK(False, "MC_(helperc_b_store1)");
7700 CHECK(False, "MC_(helperc_b_store2)");
7701 CHECK(False, "MC_(helperc_b_store4)");
7702 CHECK(False, "MC_(helperc_b_store8)");
7703 CHECK(False, "MC_(helperc_b_store16)");
7704 CHECK(False, "MC_(helperc_b_store32)");
7705 CHECK(False, "MC_(helperc_LOADV8)");
7706 CHECK(False, "MC_(helperc_LOADV16le)");
7707 CHECK(False, "MC_(helperc_LOADV32le)");
7708 CHECK(False, "MC_(helperc_LOADV64le)");
7709 CHECK(False, "MC_(helperc_LOADV128le)");
7710 CHECK(False, "MC_(helperc_LOADV256le)");
7711 CHECK(False, "MC_(helperc_STOREV16le)");
7712 CHECK(False, "MC_(helperc_STOREV32le)");
7713 CHECK(False, "MC_(helperc_STOREV64le)");
7714 CHECK(False, "MC_(helperc_STOREV8)");
7715 CHECK(False, "track_die_mem_stack_8");
7716 CHECK(False, "track_new_mem_stack_8_w_ECU");
7717 CHECK(False, "MC_(helperc_MAKE_STACK_UNINIT_w_o)");
7718 CHECK(False, "VG_(unknown_SP_update_w_ECU)");
7720 # undef CHECK
