예제 #1
0
 public override void SetRegister(RegisterStorage reg, Constant c)
 {
     if (c == null || !c.IsValid)
     {
         valid[reg.Number] = false;
     }
     else
     {
         reg.SetRegisterFileValues(regs, c.ToUInt32(), valid);	//$REVIEW: AsUint64 for PPC-64?
     }
 }
예제 #2
0
 public override void SetRegister(RegisterStorage reg, Constant c)
 {
     if (c == null || !c.IsValid)
     {
         valid[reg.Number] = false;
     }
     else
     {
         reg.SetRegisterFileValues(regs, c.ToUInt64(), valid);
     }
 }
예제 #3
0
파일: PowerPcState.cs 프로젝트: mmyydd/reko
 public override void SetRegister(RegisterStorage reg, Constant c)
 {
     if (c == null || !c.IsValid)
     {
         valid[reg.Number] = false;
     }
     else
     {
         reg.SetRegisterFileValues(regs, c.ToUInt32(), valid);   //$REVIEW: AsUint64 for PPC-64?
     }
 }
예제 #4
0
파일: X86State.cs 프로젝트: nemerle/reko
 public override void SetRegister(RegisterStorage reg, Constant c)
 {
     if (c == null || !c.IsValid)
     {
         valid[reg.Number] = false;
     }
     else
     {
         reg.SetRegisterFileValues(regs, c.ToUInt64(), valid);
     }
 }