Lines Matching refs:RMWI
307 void visitAtomicRMWInst(AtomicRMWInst &RMWI);
1866 void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) {
1867 Assert1(RMWI.getOrdering() != NotAtomic,
1868 "atomicrmw instructions must be atomic.", &RMWI);
1869 Assert1(RMWI.getOrdering() != Unordered,
1870 "atomicrmw instructions cannot be unordered.", &RMWI);
1871 PointerType *PTy = dyn_cast<PointerType>(RMWI.getOperand(0)->getType());
1872 Assert1(PTy, "First atomicrmw operand must be a pointer.", &RMWI);
1876 &RMWI, ElTy);
1880 &RMWI, ElTy);
1881 Assert2(ElTy == RMWI.getOperand(1)->getType(),
1883 &RMWI, ElTy);
1884 Assert1(AtomicRMWInst::FIRST_BINOP <= RMWI.getOperation() &&
1885 RMWI.getOperation() <= AtomicRMWInst::LAST_BINOP,
1886 "Invalid binary operation!", &RMWI);
1887 visitInstruction(RMWI);