424   void visitAtomicRMWInst(AtomicRMWInst &RMWI);
3121 void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) {  in visitAtomicRMWInst()  argument
3122   Assert(RMWI.getOrdering() != AtomicOrdering::NotAtomic,  in visitAtomicRMWInst()
3123          "atomicrmw instructions must be atomic.", &RMWI);  in visitAtomicRMWInst()
3124   Assert(RMWI.getOrdering() != AtomicOrdering::Unordered,  in visitAtomicRMWInst()
3125          "atomicrmw instructions cannot be unordered.", &RMWI);  in visitAtomicRMWInst()
3126   PointerType *PTy = dyn_cast<PointerType>(RMWI.getOperand(0)->getType());  in visitAtomicRMWInst()
3127   Assert(PTy, "First atomicrmw operand must be a pointer.", &RMWI);  in visitAtomicRMWInst()
3130          &RMWI, ElTy);  in visitAtomicRMWInst()
3131   checkAtomicMemAccessSize(M, ElTy, &RMWI);  in visitAtomicRMWInst()
3132   Assert(ElTy == RMWI.getOperand(1)->getType(),  in visitAtomicRMWInst()
3133          "Argument value type does not match pointer operand type!", &RMWI,  in visitAtomicRMWInst()
3135   Assert(AtomicRMWInst::FIRST_BINOP <= RMWI.getOperation() &&  in visitAtomicRMWInst()
3136              RMWI.getOperation() <= AtomicRMWInst::LAST_BINOP,  in visitAtomicRMWInst()
3137          "Invalid binary operation!", &RMWI);  in visitAtomicRMWInst()
3138   visitInstruction(RMWI);  in visitAtomicRMWInst()