697       case Ity_I16:  in shadowType()
714       case Ity_I16:  return IRExpr_Const(IRConst_U16(0));  in definedOfType()
770    return assignNew(mce, Ity_I16, binop(Iop_And16, a1, a2));  in mkDifD16()
802    return assignNew(mce, Ity_I16, binop(Iop_Or16, a1, a2));  in mkUifU16()
826       case Ity_I16:  return mkUifU16(mce, a1, a2);  in mkUifU()
851    return assignNew(mce, Ity_I16,   in mkLeft16()
853                           assignNew(mce, Ity_I16,  in mkLeft16()
886    return assignNew(mce, Ity_I16, binop(Iop_Or16, data, vbits));  in mkImproveAND16()
934              mce, Ity_I16,   in mkImproveOR16()
936                    assignNew(mce, Ity_I16, unop(Iop_Not16, data)),   in mkImproveOR16()
994       case Ity_I16:   in mkPCastTo()
1013       case Ity_I16:   in mkPCastTo()
1014          return assignNew(mce, Ity_I16, unop(Iop_1Sto16, tmp1));  in mkPCastTo()
1804          return mkLazy2(mce, Ity_I16, vatom1, vatom2);  in expr2vbits_Binop()
1841          IRAtom* vHi16 = mkPCastTo(mce, Ity_I16, vLo16);  in expr2vbits_Binop()
1849          return assignNew(mce, Ity_I16, binop(Iop_8HLto16, vHi8, vLo8));  in expr2vbits_Binop()
1889          return assignNew(mce, Ity_I16, binop(op, vatom1, atom2));  in expr2vbits_Binop()
1912          and_or_ty = Ity_I16; improve = mkImproveAND16; goto do_And_Or;  in expr2vbits_Binop()
1928          and_or_ty = Ity_I16; improve = mkImproveOR16; goto do_And_Or;  in expr2vbits_Binop()
2020          return assignNew(mce, Ity_I16, unop(op, vatom));  in expr2vbits_Unop()
2074       case Ity_I16: helper = &MC_(helperc_LOADV2);  in expr2vbits_LDle_WRK()
2116       case Ity_I16:   in expr2vbits_LDle()
2228          case Ity_I16: return assignNew(mce, tyH, unop(Iop_16Uto32, vatom));  in zwidenToHostWord()
2296       case Ity_I16: helper = &MC_(helperc_STOREV2);  in do_shadow_STle()
2367       case 2: return Ity_I16;  in szToITy()
2469                    expr2vbits_LDle ( mce, Ity_I16,   in do_shadow_Dirty()
2532                          mkPCastTo( mce, Ity_I16, curr ) );  in do_shadow_Dirty()