5539 static void do_shadow_CAS_single ( MCEnv* mce, IRCAS* cas );
5540 static void do_shadow_CAS_double ( MCEnv* mce, IRCAS* cas );
5594 void do_shadow_CAS ( MCEnv* mce, IRCAS* cas )  in do_shadow_CAS()  argument
5719    if (cas->oldHi == IRTemp_INVALID) {  in do_shadow_CAS()
5720       do_shadow_CAS_single( mce, cas );  in do_shadow_CAS()
5722       do_shadow_CAS_double( mce, cas );  in do_shadow_CAS()
5727 static void do_shadow_CAS_single ( MCEnv* mce, IRCAS* cas )  in do_shadow_CAS_single()  argument
5739    tl_assert(cas->oldHi == IRTemp_INVALID);  in do_shadow_CAS_single()
5740    tl_assert(cas->expdHi == NULL);  in do_shadow_CAS_single()
5741    tl_assert(cas->dataHi == NULL);  in do_shadow_CAS_single()
5743    elemTy = typeOfIRExpr(mce->sb->tyenv, cas->expdLo);  in do_shadow_CAS_single()
5753    tl_assert(isOriginalAtom(mce, cas->dataLo));  in do_shadow_CAS_single()
5755       = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo));  in do_shadow_CAS_single()
5759          = assignNew('B', mce, Ity_I32, schemeE(mce, cas->dataLo));  in do_shadow_CAS_single()
5764    tl_assert(isOriginalAtom(mce, cas->expdLo));  in do_shadow_CAS_single()
5766       = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo));  in do_shadow_CAS_single()
5770          = assignNew('B', mce, Ity_I32, schemeE(mce, cas->expdLo));  in do_shadow_CAS_single()
5782               cas->end, elemTy, cas->addr, 0/*Addr bias*/,  in do_shadow_CAS_single()
5785    bind_shadow_tmp_to_orig('V', mce, mkexpr(cas->oldLo), voldLo);  in do_shadow_CAS_single()
5789                      gen_load_b(mce, elemSzB, cas->addr, 0/*addr bias*/));  in do_shadow_CAS_single()
5790       bind_shadow_tmp_to_orig('B', mce, mkexpr(cas->oldLo), boldLo);  in do_shadow_CAS_single()
5794    stmt( 'C', mce, IRStmt_CAS(cas) );  in do_shadow_CAS_single()
5802                   binop(opCasCmpEQ, cas->expdLo, mkexpr(cas->oldLo)));  in do_shadow_CAS_single()
5806    do_shadow_Store( mce, cas->end, cas->addr, 0/*bias*/,  in do_shadow_CAS_single()
5810       gen_store_b( mce, elemSzB, cas->addr, 0/*offset*/,  in do_shadow_CAS_single()
5817 static void do_shadow_CAS_double ( MCEnv* mce, IRCAS* cas )  in do_shadow_CAS_double()  argument
5833    tl_assert(cas->oldHi != IRTemp_INVALID);  in do_shadow_CAS_double()
5834    tl_assert(cas->expdHi != NULL);  in do_shadow_CAS_double()
5835    tl_assert(cas->dataHi != NULL);  in do_shadow_CAS_double()
5837    elemTy = typeOfIRExpr(mce->sb->tyenv, cas->expdLo);  in do_shadow_CAS_double()
5860    tl_assert(isOriginalAtom(mce, cas->dataHi));  in do_shadow_CAS_double()
5861    tl_assert(isOriginalAtom(mce, cas->dataLo));  in do_shadow_CAS_double()
5863       = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataHi));  in do_shadow_CAS_double()
5865       = assignNew('V', mce, elemTy, expr2vbits(mce, cas->dataLo));  in do_shadow_CAS_double()
5870          = assignNew('B', mce, Ity_I32, schemeE(mce, cas->dataHi));  in do_shadow_CAS_double()
5872          = assignNew('B', mce, Ity_I32, schemeE(mce, cas->dataLo));  in do_shadow_CAS_double()
5878    tl_assert(isOriginalAtom(mce, cas->expdHi));  in do_shadow_CAS_double()
5879    tl_assert(isOriginalAtom(mce, cas->expdLo));  in do_shadow_CAS_double()
5881       = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdHi));  in do_shadow_CAS_double()
5883       = assignNew('V', mce, elemTy, expr2vbits(mce, cas->expdLo));  in do_shadow_CAS_double()
5888          = assignNew('B', mce, Ity_I32, schemeE(mce, cas->expdHi));  in do_shadow_CAS_double()
5890          = assignNew('B', mce, Ity_I32, schemeE(mce, cas->expdLo));  in do_shadow_CAS_double()
5898    if (cas->end == Iend_LE) {  in do_shadow_CAS_double()
5902       tl_assert(cas->end == Iend_BE);  in do_shadow_CAS_double()
5911               cas->end, elemTy, cas->addr, memOffsHi/*Addr bias*/,  in do_shadow_CAS_double()
5919               cas->end, elemTy, cas->addr, memOffsLo/*Addr bias*/,  in do_shadow_CAS_double()
5922    bind_shadow_tmp_to_orig('V', mce, mkexpr(cas->oldHi), voldHi);  in do_shadow_CAS_double()
5923    bind_shadow_tmp_to_orig('V', mce, mkexpr(cas->oldLo), voldLo);  in do_shadow_CAS_double()
5927                      gen_load_b(mce, elemSzB, cas->addr,  in do_shadow_CAS_double()
5931                      gen_load_b(mce, elemSzB, cas->addr,  in do_shadow_CAS_double()
5933       bind_shadow_tmp_to_orig('B', mce, mkexpr(cas->oldHi), boldHi);  in do_shadow_CAS_double()
5934       bind_shadow_tmp_to_orig('B', mce, mkexpr(cas->oldLo), boldLo);  in do_shadow_CAS_double()
5938    stmt( 'C', mce, IRStmt_CAS(cas) );  in do_shadow_CAS_double()
5951                    binop(opXor, cas->expdHi, mkexpr(cas->oldHi)));   in do_shadow_CAS_double()
5953                    binop(opXor, cas->expdLo, mkexpr(cas->oldLo)));  in do_shadow_CAS_double()
5962    do_shadow_Store( mce, cas->end, cas->addr, memOffsHi/*bias*/,  in do_shadow_CAS_double()
5965    do_shadow_Store( mce, cas->end, cas->addr, memOffsLo/*bias*/,  in do_shadow_CAS_double()
5969       gen_store_b( mce, elemSzB, cas->addr, memOffsHi/*offset*/,  in do_shadow_CAS_double()
5972       gen_store_b( mce, elemSzB, cas->addr, memOffsLo/*offset*/,  in do_shadow_CAS_double()
6144    IRCAS*   cas;  in checkForBogusLiterals()  local
6227          cas = st->Ist.CAS.details;  in checkForBogusLiterals()
6228          return isBogusAtom(cas->addr)  in checkForBogusLiterals()
6229                 || (cas->expdHi ? isBogusAtom(cas->expdHi) : False)  in checkForBogusLiterals()
6230                 || isBogusAtom(cas->expdLo)  in checkForBogusLiterals()
6231                 || (cas->dataHi ? isBogusAtom(cas->dataHi) : False)  in checkForBogusLiterals()
6232                 || isBogusAtom(cas->dataLo);  in checkForBogusLiterals()