Lines Matching refs:LLSC
1204 if (s->Ist.LLSC.storedata == NULL) {
1205 ppIRTemp(s->Ist.LLSC.result);
1207 s->Ist.LLSC.end==Iend_LE ? "le" : "be");
1208 ppIRExpr(s->Ist.LLSC.addr);
1211 ppIRTemp(s->Ist.LLSC.result);
1213 s->Ist.LLSC.end==Iend_LE ? "le" : "be");
1214 ppIRExpr(s->Ist.LLSC.addr);
1216 ppIRExpr(s->Ist.LLSC.storedata);
1682 s->Ist.LLSC.end = end;
1683 s->Ist.LLSC.result = result;
1684 s->Ist.LLSC.addr = addr;
1685 s->Ist.LLSC.storedata = storedata;
1912 return IRStmt_LLSC(s->Ist.LLSC.end,
1913 s->Ist.LLSC.result,
1914 deepCopyIRExpr(s->Ist.LLSC.addr),
1915 s->Ist.LLSC.storedata
1916 ? deepCopyIRExpr(s->Ist.LLSC.storedata)
2825 return toBool( isIRAtom(st->Ist.LLSC.addr)
2826 && (st->Ist.LLSC.storedata
2827 ? isIRAtom(st->Ist.LLSC.storedata) : True) );
3020 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.addr,def_counts);
3021 if (stmt->Ist.LLSC.storedata != NULL)
3022 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.storedata,def_counts);
3356 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
3357 sanityCheckFail(bb,stmt,"IRStmt.LLSC.addr: not :: guest word type");
3358 if (stmt->Ist.LLSC.end != Iend_LE && stmt->Ist.LLSC.end != Iend_BE)
3359 sanityCheckFail(bb,stmt,"Ist.LLSC.end: bogus endianness");
3360 tyRes = typeOfIRTemp(tyenv, stmt->Ist.LLSC.result);
3361 if (stmt->Ist.LLSC
3365 sanityCheckFail(bb,stmt,"Ist.LLSC(LL).result :: bogus");
3369 sanityCheckFail(bb,stmt,"Ist.LLSC(SC).result: not :: Ity_I1");
3370 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata);
3374 "Ist.LLSC(SC).result :: storedata bogus");
3541 if (stmt->Ist.LLSC.result < 0 || stmt->Ist.LLSC.result >= n_temps)
3543 "IRStmt.LLSC: destination tmp is out of range");
3544 def_counts[stmt->Ist.LLSC.result]++;
3545 if (def_counts[stmt->Ist.LLSC.result] > 1)
3547 "IRStmt.LLSC: destination tmp is assigned more than once");
