Lines Matching refs:LLSC
1297 if (s->Ist.LLSC.storedata == NULL) {
1298 ppIRTemp(s->Ist.LLSC.result);
1300 s->Ist.LLSC.end==Iend_LE ? "le" : "be");
1301 ppIRExpr(s->Ist.LLSC.addr);
1304 ppIRTemp(s->Ist.LLSC.result);
1306 s->Ist.LLSC.end==Iend_LE ? "le" : "be");
1307 ppIRExpr(s->Ist.LLSC.addr);
1309 ppIRExpr(s->Ist.LLSC.storedata);
1797 s->Ist.LLSC.end = end;
1798 s->Ist.LLSC.result = result;
1799 s->Ist.LLSC.addr = addr;
1800 s->Ist.LLSC.storedata = storedata;
2041 return IRStmt_LLSC(s->Ist.LLSC.end,
2042 s->Ist.LLSC.result,
2043 LLSC.addr),
2044 s->Ist.LLSC.storedata
2045 ? deepCopyIRExpr(s->Ist.LLSC.storedata)
3085 return toBool( isIRAtom(st->Ist.LLSC.addr)
3086 && (st->Ist.LLSC.storedata
3087 ? isIRAtom(st->Ist.LLSC.storedata) : True) );
3286 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.addr,def_counts);
3287 if (stmt->Ist.LLSC.storedata != NULL)
3288 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.storedata,def_counts);
3626 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
3627 sanityCheckFail(bb,stmt,"IRStmt.LLSC.addr: not :: guest word type");
3628 if (stmt->Ist.LLSC.end != Iend_LE && stmt->Ist.LLSC.end != Iend_BE)
3629 sanityCheckFail(bb,stmt,"Ist.LLSC.end: bogus endianness");
3630 tyRes = typeOfIRTemp(tyenv, stmt->Ist.LLSC.result);
3631 if (stmt->Ist.LLSC.storedata == NULL) {
3635 sanityCheckFail(bb,stmt,"Ist.LLSC(LL).result :: bogus");
3639 sanityCheckFail(bb,stmt,"Ist.LLSC(SC).result: not :: Ity_I1");
3640 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata);
3644 "Ist.LLSC(SC).result :: storedata bogus");
3833 if (stmt->Ist.LLSC.result < 0 || stmt->Ist.LLSC.result >= n_temps)
3835 "IRStmt.LLSC: destination tmp is out of range");
3836 def_counts[stmt->Ist.LLSC.result]++;
3837 if (def_counts[stmt->Ist.LLSC.result] > 1)
3839 "IRStmt.LLSC: destination tmp is assigned more than once");
