@ark-us/evm2wasm/tests/opcode/sub.json

This is a JS protope of a EVM to eWASM transcompiler

[
  {
    "op": "SUB",
    "value": "0x03",
    "description": "2^255 - 2^255",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "SUB",
    "value": "0x03",
    "description": "0 - 2^255 = 1 checks overflow ",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000001"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  }
]