✨ Implement SGT

src/kakarot/instructions.cairo

@@ -188,6 +188,8 @@ namespace EVMInstructions {
         add_instruction(instructions, 0x11, ComparisonOperations.exec_gt);
         // 0x12 - SLT
         add_instruction(instructions, 0x12, ComparisonOperations.exec_slt);
+        // 0x13 - SGT
+        add_instruction(instructions, 0x13, ComparisonOperations.exec_sgt);
 
         // 0x52 - MSTORE
         add_instruction(instructions, 0x52, MemoryOperations.exec_store);

src/kakarot/instructions/comparison_operations.cairo

@@ -20,6 +20,7 @@ namespace ComparisonOperations {
     const GAS_COST_LT = 3;
     const GAS_COST_GT = 3;
     const GAS_COST_SLT = 3;
+    const GAS_COST_SGT = 3;
 
     // @notice 0x10 - LT
     // @dev Comparison operation
@@ -131,4 +132,41 @@ namespace ComparisonOperations {
         let ctx = ExecutionContext.increment_gas_used(ctx, GAS_COST_SLT);
         return ctx;
     }
+
+    // @notice 0x13 - SGT
+    // @dev Comparison operation
+    // @custom:since Frontier
+    // @custom:group Comparison & Bitwise Logic Operations
+    // @custom:gas 3
+    // @custom:stack_consumed_elements 2
+    // @custom:stack_produced_elements 1
+    // @param ctx The pointer to the execution context.
+    // @return The pointer to the execution context.
+    func exec_sgt{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*, range_check_ptr}(
+        ctx: model.ExecutionContext*
+    ) -> model.ExecutionContext* {
+        alloc_locals;
+        %{ print("0x13 - SGT") %}
+
+        let stack = ctx.stack;
+
+        // Stack input:
+        // 0 - a: left side integer.
+        // 1 - b: right side integer.
+        let (stack, a) = Stack.pop(stack);
+        let (stack, b) = Stack.pop(stack);
+
+        // Compute the comparison
+        let (result) = uint256_signed_lt(b, a);
+
+        // Stack output:
+        // a < b: integer result of comparison a less than b
+        let stack: model.Stack* = Stack.push(stack, Uint256(result, 0));
+
+        // Update context stack.
+        let ctx = ExecutionContext.update_stack(ctx, stack);
+        // Increment gas used.
+        let ctx = ExecutionContext.increment_gas_used(ctx, GAS_COST_SGT);
+        return ctx;
+    }
 }

tests/cases/003_sgt.json

@@ -0,0 +1,6 @@
+{
+  "name": "Comparison & bitwise logic operations - SGT",
+  "code": "60ff600113",
+  "calldata": "",
+  "expected_return_data": ""
+}

tests/units/kakarot/test_basic.cairo

@@ -78,7 +78,7 @@ func test_comparison_operations{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*,
     // Assert value on the top of the stack
     test_utils.assert_top_stack(ctx, 1);
 
-     // Load test case for SLT
+    // Load test case for SLT
     let (evm_test_case: EVMTestCase) = test_utils.load_evm_test_case_from_file(
         './tests/cases/003_slt.json'
     );
@@ -89,6 +89,17 @@ func test_comparison_operations{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*,
     // Assert value on the top of the stack
     test_utils.assert_top_stack(ctx, 1);
 
+     // Load test case for SGT
+    let (evm_test_case: EVMTestCase) = test_utils.load_evm_test_case_from_file(
+        './tests/cases/003_sgt.json'
+    );
+
+    // Run EVM execution
+    let ctx: model.ExecutionContext* = Kakarot.execute(evm_test_case.code, evm_test_case.calldata);
+
+    // Assert value on the top of the stack
+    test_utils.assert_top_stack(ctx, 0);
+
 
     return ();
 }