Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_I16

895    vassert(ty == Ity_I8  || ty == Ity_I16 ||
902    adj = ty==Ity_I8 ? 0 : (ty==Ity_I16 ? 1 : (ty==Ity_I32 ? 2 : 3));
4435       val = loadBE(Ity_I16, mkexpr(EA));
4445       val = loadBE(Ity_I16, mkexpr(EA));
4452       val = loadBE(Ity_I16, mkexpr(EA));
4462       val = loadBE(Ity_I16, mkexpr(EA));
4515          val = loadBE(Ity_I16, mkexpr(EA));
4522          val = loadBE(Ity_I16, mkexpr(EA));
4532          val = loadBE(Ity_I16, mkexpr(EA));
4539          val = loadBE(Ity_I16, mkexpr(EA));
6192          assign( w1, unop(Iop_16Uto32, loadBE(Ity_I16, mkexpr(EA))) );