Lines Matching refs:LLSC
1502 if (s->Ist.LLSC.storedata == NULL) {
1503 ppIRTemp(s->Ist.LLSC.result);
1505 s->Ist.LLSC.end==Iend_LE ? "le" : "be");
1506 ppIRExpr(s->Ist.LLSC.addr);
1509 ppIRTemp(s->Ist.LLSC.result);
1511 s->Ist.LLSC.end==Iend_LE ? "le" : "be");
1512 ppIRExpr(s->Ist.LLSC.addr);
1514 ppIRExpr(s->Ist.LLSC.storedata);
2053 s->Ist.LLSC.end = end;
2054 s->Ist.LLSC.result = result;
2055 s->Ist.LLSC.addr = addr;
2056 s->Ist.LLSC.storedata = storedata;
2316 return IRStmt_LLSC(s->Ist.LLSC.end,
2317 s->Ist.LLSC.result,
2318 deepCopyIRExpr(s->Ist.LLSC.addr),
2319 s->Ist.LLSC.storedata
2320 ? deepCopyIRExpr(s->Ist.LLSC.storedata)
3559 return toBool( isIRAtom(st->Ist.LLSC.addr)
3560 && (st->Ist.LLSC.storedata
3561 ? isIRAtom(st->Ist.LLSC.storedata) : True) );
3783 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.addr,def_counts);
3784 if (stmt->Ist.LLSC.storedata != NULL)
3785 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.storedata,def_counts);
4169 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
4170 sanityCheckFail(bb,stmt,"IRStmt.LLSC.addr: not :: guest word type");
4171 if (stmt->Ist.LLSC.end != Iend_LE && stmt->Ist.LLSC.end != Iend_BE)
4172 sanityCheckFail(bb,stmt,"Ist.LLSC.end: bogus endianness");
4173 tyRes = typeOfIRTemp(tyenv, stmt->Ist.LLSC.result);
4174 if (stmt->Ist.LLSC.storedata == NULL) {
4178 sanityCheckFail(bb,stmt,"Ist.LLSC(LL).result :: bogus");
4182 sanityCheckFail(bb,stmt,"Ist.LLSC(SC).result: not :: Ity_I1");
4183 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata);
4187 "Ist.LLSC(SC).result :: storedata bogus");
4416 if (stmt->Ist.LLSC.result < 0 || stmt->Ist.LLSC.result >= n_temps)
4418 "IRStmt.LLSC: destination tmp is out of range");
4419 def_counts[stmt->Ist.LLSC.result]++;
4420 if (def_counts[stmt->Ist.LLSC.result] > 1)
4422 "IRStmt.LLSC: destination tmp is assigned more than once");
