public static Int32Value Add(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) return new Int32Value(a.Value + b.Value); if (ReferenceEquals(a, b)) return new Int32Value(a.Value << 1, (a.ValidMask << 1) | 1); return CreateUnknown(); }
public static Block GetSwitchTarget(IList<Block> targets, Block fallThrough, Int32Value intValue) { if (!intValue.AllBitsValid()) return null; int index = intValue.Value; if (targets == null || index < 0 || index >= targets.Count) return fallThrough; else return targets[index]; }
bool IBranchHandler.HandleSwitch(Int32Value switchIndex) { if (!switchIndex.AllBitsValid()) return false; var instr = instructions[emulateIndex]; var targets = (Instruction[])instr.Operand; if (switchIndex.Value >= 0 && switchIndex.Value < targets.Length) emulateIndex = instructions.IndexOf(targets[switchIndex.Value]); else emulateIndex++; return true; }
public static Int32Value Add_Ovf(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { try { return new Int32Value(checked(a.Value + b.Value)); } catch (OverflowException) { } } return CreateUnknown(); }
public static Int32Value Add_Ovf_Un(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { uint aa = (uint)a.Value, bb = (uint)b.Value; try { return new Int32Value((int)checked(aa + bb)); } catch (OverflowException) { } } return CreateUnknown(); }
public static Int32Value Sub_Ovf_Un(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { uint aa = (uint)a.Value, bb = (uint)b.Value; try { return(new Int32Value((int)checked (aa - bb))); } catch (OverflowException) { } } return(CreateUnknown()); }
public static Int32Value Div_Un(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { try { return new Int32Value((int)((uint)a.Value / (uint)b.Value)); } catch (ArithmeticException) { return CreateUnknown(); } } if (ReferenceEquals(a, b) && a.IsNonZero()) return One; if (b.HasValue(1)) return a; return CreateUnknown(); }
public static Bool3 CompareGt(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { return(a.Value > b.Value ? Bool3.True : Bool3.False); } if (a.HasValue(int.MinValue)) { return(Bool3.False); // min > x => false } if (b.HasValue(int.MaxValue)) { return(Bool3.False); // x > max => false } return(Bool3.Unknown); }
public static Bool3 CompareLt_Un(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { return((uint)a.Value < (uint)b.Value ? Bool3.True : Bool3.False); } if (a.HasValue(uint.MaxValue)) { return(Bool3.False); // max < x => false } if (b.HasValue(uint.MinValue)) { return(Bool3.False); // x < min => false } return(Bool3.Unknown); }
public static Bool3 CompareLe(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { return(a.Value <= b.Value ? Bool3.True : Bool3.False); } if (a.HasValue(int.MinValue)) { return(Bool3.True); // min <= x => true } if (b.HasValue(int.MaxValue)) { return(Bool3.True); // x <= max => true } return(Bool3.Unknown); }
public static Bool3 CompareNeq(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { return(a.Value != b.Value ? Bool3.True : Bool3.False); } if (ReferenceEquals(a, b)) { return(Bool3.False); } if (((uint)a.Value & a.ValidMask & b.ValidMask) != ((uint)b.Value & a.ValidMask & b.ValidMask)) { return(Bool3.True); } return(Bool3.Unknown); }
public static Int32Value Rem_Un(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { try { return(new Int32Value((int)((uint)a.Value % (uint)b.Value))); } catch (ArithmeticException) { return(CreateUnknown()); } } if ((ReferenceEquals(a, b) && a.IsNonZero()) || b.HasValue(1)) { return(Zero); } return(CreateUnknown()); }
public static Block GetSwitchTarget(IList <Block> targets, Block fallThrough, Int32Value intValue) { if (!intValue.AllBitsValid()) { return(null); } int index = intValue.Value; if (targets == null || index < 0 || index >= targets.Count) { return(fallThrough); } else { return(targets[index]); } }
public static Int32Value Mul(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { return(new Int32Value(a.Value * b.Value)); } if (a.IsZero() || b.IsZero()) { return(Zero); } if (a.HasValue(1)) { return(b); } if (b.HasValue(1)) { return(a); } return(CreateUnknown()); }
public static Int32Value Div(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { try { return(new Int32Value(a.Value / b.Value)); } catch (ArithmeticException) { return(CreateUnknown()); } } if (ReferenceEquals(a, b) && a.IsNonZero()) { return(One); } if (b.HasValue(1)) { return(a); } return(CreateUnknown()); }
public static Int32Value Neg(Int32Value a) { if (a.AllBitsValid()) return new Int32Value(-a.Value); return CreateUnknown(); }
public static Int32Value Rem_Un(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { try { return new Int32Value((int)((uint)a.Value % (uint)b.Value)); } catch (ArithmeticException) { return CreateUnknown(); } } if ((ReferenceEquals(a, b) && a.IsNonZero()) || b.HasValue(1)) return Zero; return CreateUnknown(); }
public static Int32Value Div(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) { try { return new Int32Value(a.Value / b.Value); } catch (ArithmeticException) { return CreateUnknown(); } } if (ReferenceEquals(a, b) && a.IsNonZero()) return One; if (b.HasValue(1)) return a; return CreateUnknown(); }
public static Int32Value Mul(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) return new Int32Value(a.Value * b.Value); if (a.IsZero() || b.IsZero()) return Zero; if (a.HasValue(1)) return b; if (b.HasValue(1)) return a; return CreateUnknown(); }
public static Real8Value Conv_R_Un(Int32Value a) { if (a.AllBitsValid()) return new Real8Value((float)(uint)a.Value); return Real8Value.CreateUnknown(); }
public static Bool3 CompareLt_Un(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) return (uint)a.Value < (uint)b.Value ? Bool3.True : Bool3.False; if (a.HasValue(uint.MaxValue)) return Bool3.False; // max < x => false if (b.HasValue(uint.MinValue)) return Bool3.False; // x < min => false return Bool3.Unknown; }
public static Bool3 CompareGe(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) return a.Value >= b.Value ? Bool3.True : Bool3.False; if (a.HasValue(int.MaxValue)) return Bool3.True; // max >= x => true if (b.HasValue(int.MinValue)) return Bool3.True; // x >= min => true return Bool3.Unknown; }
public static Real8Value Conv_R8(Int32Value a) { if (a.AllBitsValid()) return new Real8Value((double)(int)a.Value); return Real8Value.CreateUnknown(); }
public static Bool3 CompareNeq(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) return a.Value != b.Value ? Bool3.True : Bool3.False; if (ReferenceEquals(a, b)) return Bool3.False; if (((uint)a.Value & a.ValidMask & b.ValidMask) != ((uint)b.Value & a.ValidMask & b.ValidMask)) return Bool3.True; return Bool3.Unknown; }
public static Bool3 CompareGt(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) return a.Value > b.Value ? Bool3.True : Bool3.False; if (a.HasValue(int.MinValue)) return Bool3.False; // min > x => false if (b.HasValue(int.MaxValue)) return Bool3.False; // x > max => false return Bool3.Unknown; }
public static Bool3 CompareLe_Un(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) return (uint)a.Value <= (uint)b.Value ? Bool3.True : Bool3.False; if (a.HasValue(uint.MinValue)) return Bool3.True; // min <= x => true if (b.HasValue(uint.MaxValue)) return Bool3.True; // x <= max => true return Bool3.Unknown; }
public static Int32Value Sub(Int32Value a, Int32Value b) { if (a.AllBitsValid() && b.AllBitsValid()) return new Int32Value(a.Value - b.Value); if (ReferenceEquals(a, b)) return Zero; return CreateUnknown(); }
public static Bool3 CompareFalse(Int32Value a) { if (a.AllBitsValid()) return a.Value == 0 ? Bool3.True : Bool3.False; if (((uint)a.Value & a.ValidMask) != 0) return Bool3.False; return Bool3.Unknown; }