Lines Matching defs:RMWI
381 void visitAtomicRMWInst(AtomicRMWInst &RMWI);
2645 void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) {
2646 Assert(RMWI.getOrdering() != NotAtomic,
2647 "atomicrmw instructions must be atomic.", &RMWI);
2648 Assert(RMWI.getOrdering() != Unordered,
2649 "atomicrmw instructions cannot be unordered.", &RMWI);
2650 PointerType *PTy = dyn_cast<PointerType>(RMWI.getOperand(0)->getType());
2651 Assert(PTy, "First atomicrmw operand must be a pointer.", &RMWI);
2654 &RMWI, ElTy);
2657 "atomicrmw operand must be power-of-two byte-sized integer", &RMWI,
2659 Assert(ElTy == RMWI.getOperand(1)->getType(),
2660 "Argument value type does not match pointer operand type!", &RMWI,
2662 Assert(AtomicRMWInst::FIRST_BINOP <= RMWI.getOperation() &&
2663 RMWI.getOperation() <= AtomicRMWInst::LAST_BINOP,
2664 "Invalid binary operation!", &RMWI);
2665 visitInstruction(RMWI);