Lines Matching refs:LLSC
1594 if (s->Ist.LLSC.storedata == NULL) {
1595 ppIRTemp(s->Ist.LLSC.result);
1597 s->Ist.LLSC.end==Iend_LE ? "le" : "be");
1598 ppIRExpr(s->Ist.LLSC.addr);
1601 ppIRTemp(s->Ist.LLSC.result);
1603 s->Ist.LLSC.end==Iend_LE ? "le" : "be");
1604 ppIRExpr(s->Ist.LLSC.addr);
1606 ppIRExpr(s->Ist.LLSC.storedata);
2146 s->Ist.LLSC.end = end;
2147 s->Ist.LLSC.result = result;
2148 s->Ist.LLSC.addr = addr;
2149 s->Ist.LLSC.storedata = storedata;
2417 return IRStmt_LLSC(s->Ist.LLSC.end,
2418 s->Ist.LLSC.result,
2419 deepCopyIRExpr(s->Ist.LLSC.addr),
2420 s->Ist.LLSC.storedata
2421 ? deepCopyIRExpr(s->Ist.LLSC.storedata)
3713 return toBool( isIRAtom(st->Ist.LLSC.addr)
3714 && (st->Ist.LLSC.storedata
3715 ? isIRAtom(st->Ist.LLSC.storedata) : True) );
3940 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.addr,def_counts);
3941 if (stmt->Ist.LLSC.storedata != NULL)
3942 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.storedata,def_counts);
4326 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
4327 sanityCheckFail(bb,stmt,"IRStmt.LLSC.addr: not :: guest word type");
4328 if (stmt->Ist.LLSC.end != Iend_LE && stmt->Ist.LLSC.end != Iend_BE)
4329 sanityCheckFail(bb,stmt,"Ist.LLSC.end: bogus endianness");
4330 tyRes = typeOfIRTemp(tyenv, stmt->Ist.LLSC.result);
4331 if (stmt->Ist.LLSC.storedata == NULL) {
4335 sanityCheckFail(bb,stmt,"Ist.LLSC(LL).result :: bogus");
4339 sanityCheckFail(bb,stmt,"Ist.LLSC(SC).result: not :: Ity_I1");
4340 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata);
4344 "Ist.LLSC(SC).result :: storedata bogus");
4574 if (stmt->Ist.LLSCLLSC.result >= n_temps)
4576 "IRStmt.LLSC: destination tmp is out of range");
4577 def_counts[stmt->Ist.LLSC.result]++;
4578 if (def_counts[stmt->Ist.LLSC.result] > 1)
4580 "IRStmt.LLSC: destination tmp is assigned more than once");
