306     void visitAtomicCmpXchgInst(AtomicCmpXchgInst &CXI);
1842 void Verifier::visitAtomicCmpXchgInst(AtomicCmpXchgInst &CXI) {  in visitAtomicCmpXchgInst()  argument
1843   Assert1(CXI.getOrdering() != NotAtomic,  in visitAtomicCmpXchgInst()
1844           "cmpxchg instructions must be atomic.", &CXI);  in visitAtomicCmpXchgInst()
1845   Assert1(CXI.getOrdering() != Unordered,  in visitAtomicCmpXchgInst()
1846           "cmpxchg instructions cannot be unordered.", &CXI);  in visitAtomicCmpXchgInst()
1847   PointerType *PTy = dyn_cast<PointerType>(CXI.getOperand(0)->getType());  in visitAtomicCmpXchgInst()
1848   Assert1(PTy, "First cmpxchg operand must be a pointer.", &CXI);  in visitAtomicCmpXchgInst()
1852           &CXI, ElTy);  in visitAtomicCmpXchgInst()
1856           &CXI, ElTy);  in visitAtomicCmpXchgInst()
1857   Assert2(ElTy == CXI.getOperand(1)->getType(),  in visitAtomicCmpXchgInst()
1859           &CXI, ElTy);  in visitAtomicCmpXchgInst()
1860   Assert2(ElTy == CXI.getOperand(2)->getType(),  in visitAtomicCmpXchgInst()
1862           &CXI, ElTy);  in visitAtomicCmpXchgInst()
1863   visitInstruction(CXI);  in visitAtomicCmpXchgInst()