Lines Matching refs:RMWI
396 void visitAtomicRMWInst(AtomicRMWInst &RMWI);
2848 void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) { in visitAtomicRMWInst() argument
2849 Assert(RMWI.getOrdering() != NotAtomic, in visitAtomicRMWInst()
2850 "atomicrmw instructions must be atomic.", &RMWI); in visitAtomicRMWInst()
2851 Assert(RMWI.getOrdering() != Unordered, in visitAtomicRMWInst()
2852 "atomicrmw instructions cannot be unordered.", &RMWI); in visitAtomicRMWInst()
2853 PointerType *PTy = dyn_cast<PointerType>(RMWI.getOperand(0)->getType()); in visitAtomicRMWInst()
2854 Assert(PTy, "First atomicrmw operand must be a pointer.", &RMWI); in visitAtomicRMWInst()
2857 &RMWI, ElTy); in visitAtomicRMWInst()
2858 checkAtomicMemAccessSize(M, ElTy, &RMWI); in visitAtomicRMWInst()
2859 Assert(ElTy == RMWI.getOperand(1)->getType(), in visitAtomicRMWInst()
2860 "Argument value type does not match pointer operand type!", &RMWI, in visitAtomicRMWInst()
2862 Assert(AtomicRMWInst::FIRST_BINOP <= RMWI.getOperation() && in visitAtomicRMWInst()
2863 RMWI.getOperation() <= AtomicRMWInst::LAST_BINOP, in visitAtomicRMWInst()
2864 "Invalid binary operation!", &RMWI); in visitAtomicRMWInst()
2865 visitInstruction(RMWI); in visitAtomicRMWInst()