logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-05-01 15:53:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Implement slt in interpreter

Browse Source
This commit is contained in:
Robin Salen 2023-04-06 16:58:21 -04:00
parent 232832e34d
commit ac2ccc1eb9
No known key found for this signature in database
GPG Key ID: FB87BACFB3CB2007
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
evm/src/cpu/kernel/interpreter.rs
View File

@ -318,7 +318,7 @@ impl<'a> Interpreter<'a> {
0x0e => self.run_subfp254(), // "SUBFP254", 0x0e => self.run_subfp254(), // "SUBFP254",
0x10 => self.run_lt(), // "LT", 0x10 => self.run_lt(), // "LT",
0x11 => self.run_gt(), // "GT", 0x11 => self.run_gt(), // "GT",
0x12 => todo!(), // "SLT", 0x12 => self.run_slt(), // "SLT",
0x13 => todo!(), // "SGT", 0x13 => todo!(), // "SGT",
0x14 => self.run_eq(), // "EQ", 0x14 => self.run_eq(), // "EQ",
0x15 => self.run_iszero(), // "ISZERO", 0x15 => self.run_iszero(), // "ISZERO",
@ -577,6 +577,12 @@ impl<'a> Interpreter<'a> {
self.push_bool(x > y); self.push_bool(x > y);
} }
fn run_slt(&mut self) {
let x = self.pop();
let y = self.pop();
self.push_bool(signed_cmp(x, y) == Ordering::Less);
}
fn run_eq(&mut self) { fn run_eq(&mut self) {
let x = self.pop(); let x = self.pop();
let y = self.pop(); let y = self.pop();
@ -942,13 +948,7 @@ fn signed_cmp(x: U256, y: U256) -> Ordering {
} }
} }
const MINUS_ZERO: U256 = U256([ /// -1 in two's complement representation consists in all bits set to 1.
0x0000000000000001,
0x0000000000000000,
0x0000000000000000,
0x8000000000000000,
]);
const MINUS_ONE: U256 = U256([ const MINUS_ONE: U256 = U256([
0xffffffffffffffff, 0xffffffffffffffff,
0xffffffffffffffff, 0xffffffffffffffff,