423   void visitAtomicCmpXchgInst(AtomicCmpXchgInst &CXI);
3087 void Verifier::visitAtomicCmpXchgInst(AtomicCmpXchgInst &CXI) {  in visitAtomicCmpXchgInst()  argument
3090   Assert(CXI.getSuccessOrdering() != AtomicOrdering::NotAtomic,  in visitAtomicCmpXchgInst()
3091          "cmpxchg instructions must be atomic.", &CXI);  in visitAtomicCmpXchgInst()
3092   Assert(CXI.getFailureOrdering() != AtomicOrdering::NotAtomic,  in visitAtomicCmpXchgInst()
3093          "cmpxchg instructions must be atomic.", &CXI);  in visitAtomicCmpXchgInst()
3094   Assert(CXI.getSuccessOrdering() != AtomicOrdering::Unordered,  in visitAtomicCmpXchgInst()
3095          "cmpxchg instructions cannot be unordered.", &CXI);  in visitAtomicCmpXchgInst()
3096   Assert(CXI.getFailureOrdering() != AtomicOrdering::Unordered,  in visitAtomicCmpXchgInst()
3097          "cmpxchg instructions cannot be unordered.", &CXI);  in visitAtomicCmpXchgInst()
3098   Assert(!isStrongerThan(CXI.getFailureOrdering(), CXI.getSuccessOrdering()),  in visitAtomicCmpXchgInst()
3101          &CXI);  in visitAtomicCmpXchgInst()
3102   Assert(CXI.getFailureOrdering() != AtomicOrdering::Release &&  in visitAtomicCmpXchgInst()
3103              CXI.getFailureOrdering() != AtomicOrdering::AcquireRelease,  in visitAtomicCmpXchgInst()
3104          "cmpxchg failure ordering cannot include release semantics", &CXI);  in visitAtomicCmpXchgInst()
3106   PointerType *PTy = dyn_cast<PointerType>(CXI.getOperand(0)->getType());  in visitAtomicCmpXchgInst()
3107   Assert(PTy, "First cmpxchg operand must be a pointer.", &CXI);  in visitAtomicCmpXchgInst()
3111          ElTy, &CXI);  in visitAtomicCmpXchgInst()
3112   checkAtomicMemAccessSize(M, ElTy, &CXI);  in visitAtomicCmpXchgInst()
3113   Assert(ElTy == CXI.getOperand(1)->getType(),  in visitAtomicCmpXchgInst()
3114          "Expected value type does not match pointer operand type!", &CXI,  in visitAtomicCmpXchgInst()
3116   Assert(ElTy == CXI.getOperand(2)->getType(),  in visitAtomicCmpXchgInst()
3117          "Stored value type does not match pointer operand type!", &CXI, ElTy);  in visitAtomicCmpXchgInst()
3118   visitInstruction(CXI);  in visitAtomicCmpXchgInst()