28   SLICER_CHECK(fa == a);  in Pack_Z_8()
35   SLICER_CHECK(fa == a);  in Pack_8_8()
37   SLICER_CHECK(fb == b);  in Pack_8_8()
44   SLICER_CHECK(fa == a);  in Pack_4_4_8()
46   SLICER_CHECK(fb == b);  in Pack_4_4_8()
48   SLICER_CHECK(fc == c);  in Pack_4_4_8()
55   SLICER_CHECK(fa == a);  in Pack_4_4_4_4()
57   SLICER_CHECK(fb == b);  in Pack_4_4_4_4()
59   SLICER_CHECK(fc == c);  in Pack_4_4_4_4()
61   SLICER_CHECK(fd == d);  in Pack_4_4_4_4()
68   SLICER_CHECK(fa == a);  in Pack_16()
75   SLICER_CHECK(dex::u4(dex::s4(trim << 28) >> 28) == value);  in Trim_S0()
82   SLICER_CHECK(dex::u4(dex::s4(trim << 24) >> 24) == value);  in Trim_S1()
89   SLICER_CHECK(dex::u4(dex::s4(trim << 16) >> 16) == value);  in Trim_S2()
142       SLICER_CHECK(bytecode->operands.size() == 0);  in Visit()
148       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
156       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
165       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
175       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
183       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
192       SLICER_CHECK(bytecode->operands.size() == 1);  in Visit()
199       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
209       SLICER_CHECK(bytecode->operands.size() == 1);  in Visit()
215         SLICER_CHECK(A != 0);  in Visit()
216         SLICER_CHECK((A >> 16) == 0xffff);  // TODO: out of range!  in Visit()
226       SLICER_CHECK(bytecode->operands.size() == 1);  in Visit()
243       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
250         SLICER_CHECK(B != 0);  in Visit()
251         SLICER_CHECK((B >> 16) == 0xffff);  // TODO: out of range!  in Visit()
261       SLICER_CHECK(bytecode->operands.size() == 3);  in Visit()
269         SLICER_CHECK(C != 0);  in Visit()
270         SLICER_CHECK((C >> 16) == 0xffff);  // TODO: out of range!  in Visit()
280       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
287         SLICER_CHECK(B != 0);  in Visit()
298       SLICER_CHECK(bytecode->operands.size() == 3);  in Visit()
308       SLICER_CHECK(bytecode->operands.size() == 3);  in Visit()
318       SLICER_CHECK(bytecode->operands.size() == 3);  in Visit()
328       SLICER_CHECK(bytecode->operands.size() == 3);  in Visit()
338       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
347       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
357       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
378       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
395       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
406       SLICER_CHECK(bytecode->operands.size() == 2);  in Visit()
431   SLICER_CHECK(bytecode_.size() - buff_offset == 2 * GetWidthFromFormat(format));  in Visit()
437   SLICER_CHECK(offset_ % 2 == 0);  in Visit()
442   SLICER_CHECK(instr == nullptr);  in Visit()
461   SLICER_CHECK(offset_ % 2 == 0);  in Visit()
466   SLICER_CHECK(instr == nullptr);  in Visit()
485   SLICER_CHECK(offset_ % 2 == 0);  in Visit()
542     SLICER_CHECK(isize > 0);  in FixupSwitchOffsets()
545   SLICER_CHECK(ptr == end);  in FixupSwitchOffsets()
551   SLICER_CHECK(instr != nullptr);  in FixupPackedSwitch()
554   SLICER_CHECK(payload->ident == dex::kPackedSwitchSignature);  in FixupPackedSwitch()
555   SLICER_CHECK(reinterpret_cast<dex::u1*>(payload->targets + payload->size) <=  in FixupPackedSwitch()
568   SLICER_CHECK(instr != nullptr);  in FixupSparseSwitch()
571   SLICER_CHECK(payload->ident == dex::kSparseSwitchSignature);  in FixupSparseSwitch()
574   SLICER_CHECK(reinterpret_cast<dex::u1*>(targets + payload->size) <=  in FixupSparseSwitch()
590     SLICER_CHECK(rel_offset != 0);  in FixupLabels()
606   SLICER_CHECK(bytecode_.empty());  in Encode()
607   SLICER_CHECK(offset_ == 0);  in Encode()
608   SLICER_CHECK(outs_count_ == 0);  in Encode()