174case ExprTypeKind.R4: 182case ExprTypeKind.I4: 186case ExprTypeKind.I8: 189case ExprTypeKind.R4: 192case ExprTypeKind.R8: 197case ExprTypeKind.I8: 234case ExprTypeKind.BL: 238case ExprTypeKind.I4: 242case ExprTypeKind.I8: 246case ExprTypeKind.R4: 250case ExprTypeKind.R8: 254case ExprTypeKind.TX: 263case ExprTypeKind.Error: 299case ExprTypeKind.I4: 303case ExprTypeKind.I8: 307case ExprTypeKind.R4: 311case ExprTypeKind.R8: 420case ExprTypeKind.I4: 423case ExprTypeKind.I8: 426case ExprTypeKind.R4: 427case ExprTypeKind.R8: 505Contracts.Assert(node.SrcKind == ExprTypeKind.BL); 540if (node.SrcKind == ExprTypeKind.I4) 571else if (node.SrcKind == ExprTypeKind.I8) 602else if (node.SrcKind == ExprTypeKind.R4) 635Contracts.Assert(node.SrcKind == ExprTypeKind.R8); 766ExprTypeKind kind = node.ArgTypeKind; 768if (kind == ExprTypeKind.TX && items.Length == 2) 808case ExprTypeKind.BL: 811case ExprTypeKind.I4: 812case ExprTypeKind.I8: 815case ExprTypeKind.R4: 816case ExprTypeKind.R8: 835case ExprTypeKind.BL: 839case ExprTypeKind.TX: 843case ExprTypeKind.I4: 847case ExprTypeKind.I8: 851case ExprTypeKind.R4: 855case ExprTypeKind.R8: 971case ExprTypeKind.BL: 977case ExprTypeKind.I4: 983case ExprTypeKind.I8: 989case ExprTypeKind.R4: 995case ExprTypeKind.R8: 1001case ExprTypeKind.TX: 1029private void GenBrNaCore(ExprNode node, ExprTypeKind kind, Label labNa, bool dup) 1036case ExprTypeKind.R4: 1037case ExprTypeKind.R8: 1042case ExprTypeKind.Error: 1043case ExprTypeKind.None:

66case ExprTypeKind.BL: 69case ExprTypeKind.I4: 72case ExprTypeKind.I8: 75case ExprTypeKind.R4: 78case ExprTypeKind.R8: 81case ExprTypeKind.TX: 144node.SetType(ExprTypeKind.Error); 174node.SetType(ExprTypeKind.Error); 203private string GetStr(ExprTypeKind kind) 207case ExprTypeKind.BL: 209case ExprTypeKind.R4: 210case ExprTypeKind.R8: 212case ExprTypeKind.I4: 213case ExprTypeKind.I8: 215case ExprTypeKind.TX: 233node.SetType(ExprTypeKind.Error); 243private void BadArg(ExprNode arg, ExprTypeKind kind) 268case ExprTypeKind.I4: 271case ExprTypeKind.I8: 274case ExprTypeKind.R4: 277case ExprTypeKind.R8: 294node.SetType(ExprTypeKind.Error); 304BadArg(arg, ExprTypeKind.BL); 321node.SetType(ExprTypeKind.Error); 343node.SetType(ExprTypeKind.Error); 349node.SetType(ExprTypeKind.Error); 359node.SetType(ExprTypeKind.BL); 402private void ReconcileNumericTypes(ExprNode a, ExprNode b, out ExprTypeKind kind) 417kind = ExprTypeKind.Float; 428ExprTypeKind kind; 436goto case ExprTypeKind.Float; 438case ExprTypeKind.I4: 440node.SetType(ExprTypeKind.I4); 454case ExprTypeKind.I8: 456node.SetType(ExprTypeKind.I8); 470case ExprTypeKind.R4: 472node.SetType(ExprTypeKind.R4); 486case ExprTypeKind.R8: 488node.SetType(ExprTypeKind.R8); 825ExprTypeKind kind; 839kind = ExprTypeKind.None; 846node.SetType(ExprTypeKind.Error); 849case ExprTypeKind.BL: 851node.SetType(ExprTypeKind.BL); 863case ExprTypeKind.I4: 865node.SetType(ExprTypeKind.I4); 883case ExprTypeKind.I8: 885node.SetType(ExprTypeKind.I8); 903case ExprTypeKind.R4: 905node.SetType(ExprTypeKind.R4); 923case ExprTypeKind.R8: 925node.SetType(ExprTypeKind.R8); 943case ExprTypeKind.TX: 945node.SetType(ExprTypeKind.TX); 972ExprTypeKind kind = ExprTypeKind.None; 990node.SetType(ExprTypeKind.BL); 1131public readonly ExprTypeKind[] Kinds; 1132public readonly ExprTypeKind ReturnKind; 1174var kinds = new ExprTypeKind[ps.Length]; 1184var extCur = ExprNode.ToExprTypeKind(type); 1185if (extCur <= ExprTypeKind.Error || extCur >= ExprTypeKind._Lim) 1196ExprTypeKind kindRet; 1204var extRet = ExprNode.ToExprTypeKind(meth.ReturnType); 1206if (kindRet <= ExprTypeKind.Error || kindRet >= ExprTypeKind._Lim) 1219private Candidate(IFunctionProvider provider, MethodInfo meth, ExprTypeKind[] kinds, ExprTypeKind kindRet, bool isVar) 1234public bool IsApplicable(ExprTypeKind[] kinds, out int bad) 1250var kind = Kinds[Kinds.Length - 1]; 1283var t1 = Kinds[k]; 1284var t2 = other.Kinds[k]; 1343node.SetType(ExprTypeKind.Error); 1369node.SetType(ExprTypeKind.Error); 1468private static bool CanConvert(ExprTypeKind src, ExprTypeKind dst) 1471Contracts.Assert(ExprTypeKind.Error <= src && src < ExprTypeKind._Lim); 1472Contracts.Assert(ExprTypeKind.Error < dst && dst < ExprTypeKind._Lim); 1474if (src == ExprTypeKind.Error) 1479if (src == ExprTypeKind.I4) 1480return dst == ExprTypeKind.I8 || dst == ExprTypeKind.R4 || dst == ExprTypeKind.R8; 1481if (src == ExprTypeKind.I8) 1482return dst == ExprTypeKind.R8; 1483if (src == ExprTypeKind.R4) 1484return dst == ExprTypeKind.R8; 1491private object Convert(ExprNode expr, ExprTypeKind kind) 1495case ExprTypeKind.BL: 1499BadArg(expr, ExprTypeKind.BL); 1502case ExprTypeKind.I4: 1506BadArg(expr, ExprTypeKind.I4); 1509case ExprTypeKind.I8: 1513BadArg(expr, ExprTypeKind.I8); 1516case ExprTypeKind.R4: 1520BadArg(expr, ExprTypeKind.R4); 1523case ExprTypeKind.R8: 1527BadArg(expr, ExprTypeKind.R8); 1530case ExprTypeKind.TX: 1534BadArg(expr, ExprTypeKind.TX); 1644private bool ValidateType(ExprNode expr, ref ExprTypeKind itemKind) 1649ExprTypeKind kind = expr.ExprType; 1652case ExprTypeKind.Error: 1655case ExprTypeKind.None: 1664case ExprTypeKind.Error: 1669case ExprTypeKind.None: 1675ExprTypeKind kindNew; 1683internal static bool CanPromote(bool precise, ExprTypeKind k1, ExprTypeKind k2, out ExprTypeKind res) 1688if (res != ExprTypeKind.Error && res != ExprTypeKind.None) 1690res = ExprTypeKind.Error; 1699res = ExprTypeKind.Error; 1715res = ExprTypeKind.I8; 1721res = precise ? ExprTypeKind.R8 : ExprTypeKind.R4; 1733res = ExprTypeKind.R8; 1738res = ExprTypeKind.Error; 1746private static int MapKindToIndex(ExprTypeKind kind) 1750case ExprTypeKind.I4: 1752case ExprTypeKind.I8: 1754case ExprTypeKind.R4: 1756case ExprTypeKind.R8: 1775private static readonly Cmp[] _fnEqual = new Cmp[(int)ExprTypeKind._Lim] 1789private static readonly Cmp[] _fnNotEqual = new Cmp[(int)ExprTypeKind._Lim] 1803private static readonly Cmp[] _fnLess = new Cmp[(int)ExprTypeKind._Lim] 1817private static readonly Cmp[] _fnLessEqual = new Cmp[(int)ExprTypeKind._Lim] 1831private static readonly Cmp[] _fnGreater = new Cmp[(int)ExprTypeKind._Lim] 1845private static readonly Cmp[] _fnGreaterEqual = new Cmp[(int)ExprTypeKind._Lim]

435if (res.ExprType == ExprTypeKind.None)

274public ExprTypeKind ExprType { get; private set; } 277private bool IsSimple(ExprTypeKind kind) 283public bool HasType { get { return ExprTypeKind.Error < ExprType && ExprType < ExprTypeKind._Lim; } } 284public bool IsNone { get { return ExprType == ExprTypeKind.None; } } 285public bool IsError { get { return ExprType == ExprTypeKind.Error; } } 287public bool IsBool { get { return IsSimple(ExprTypeKind.BL); } } 293IsSimple(ExprTypeKind.I4) || IsSimple(ExprTypeKind.I8) || 294IsSimple(ExprTypeKind.R4) || IsSimple(ExprTypeKind.R8); 297public bool IsI4 { get { return IsSimple(ExprTypeKind.I4); } } 298public bool IsI8 { get { return IsSimple(ExprTypeKind.I8); } } 299public bool IsRx { get { return IsSimple(ExprTypeKind.R4) || IsSimple(ExprTypeKind.R8); } } 300public bool IsR4 { get { return IsSimple(ExprTypeKind.R4); } } 301public bool IsR8 { get { return IsSimple(ExprTypeKind.R8); } } 302public bool IsTX { get { return IsSimple(ExprTypeKind.TX); } } 304public ExprTypeKind SrcKind { get; private set; } 313ExprTypeKind kind; 322public void SetType(ExprTypeKind kind) 332public void SetType(ExprTypeKind kind, object value) 344internal static Type ToSysType(ExprTypeKind kind) 348case ExprTypeKind.BL: 350case ExprTypeKind.I4: 352case ExprTypeKind.I8: 354case ExprTypeKind.R4: 356case ExprTypeKind.R8: 358case ExprTypeKind.TX: 365internal static ExprTypeKind ToExprTypeKind(Type type) 368return ExprTypeKind.BL; 370return ExprTypeKind.I4; 372return ExprTypeKind.I8; 374return ExprTypeKind.R4; 376return ExprTypeKind.R8; 378return ExprTypeKind.TX; 379return ExprTypeKind.Error; 392SetType(ExprTypeKind.BL); 398SetType(ExprTypeKind.BL); 404SetType(ExprTypeKind.I4); 410SetType(ExprTypeKind.I4); 416SetType(ExprTypeKind.I8); 422SetType(ExprTypeKind.I8); 428SetType(ExprTypeKind.R4); 434SetType(ExprTypeKind.R4); 440SetType(ExprTypeKind.R8); 446SetType(ExprTypeKind.R8); 452SetType(ExprTypeKind.TX); 458SetType(ExprTypeKind.TX); 462public void Convert(ExprTypeKind kind) 472case ExprTypeKind.I8: 473Contracts.Assert(ExprType == ExprTypeKind.I4); 480case ExprTypeKind.R4: 481Contracts.Assert(ExprType == ExprTypeKind.I4); 488case ExprTypeKind.R8: 489Contracts.Assert(ExprType == ExprTypeKind.I4 || ExprType == ExprTypeKind.I8 || 490ExprType == ExprTypeKind.R4); 493if (ExprType == ExprTypeKind.I4) 498else if (ExprType == ExprTypeKind.I8) 545case ExprTypeKind.I4: 546case ExprTypeKind.I8: 549Convert(ExprTypeKind.I8); 561case ExprTypeKind.I4: 562case ExprTypeKind.R4: 565Convert(ExprTypeKind.R4); 577case ExprTypeKind.I4: 578case ExprTypeKind.I8: 579case ExprTypeKind.R4: 580case ExprTypeKind.R8: 583Convert(ExprTypeKind.R8); 648public ExprTypeKind ExprType; 661ExprType = ExprTypeKind.Error; 663ExprType = ExprTypeKind.TX; 665ExprType = ExprTypeKind.BL; 667ExprType = ExprTypeKind.I4; 669ExprType = ExprTypeKind.I8; 671ExprType = ExprTypeKind.R4; 673ExprType = ExprTypeKind.R8; 755SetType(ExprTypeKind.Error); 790SetType(ExprTypeKind.Error); 1074public ExprTypeKind ArgTypeKind;

220case ExprTypeKind.I4: 223case ExprTypeKind.I8: 226case ExprTypeKind.R4: 229case ExprTypeKind.R8: 232case ExprTypeKind.BL: 235case ExprTypeKind.TX: 314if (node.ExprType == ExprTypeKind.None)