Support memory(bytes) in ABI and dispatch

[axic]

No description provided.

[axic]

No idea how to deduplicate this, beyond having some helper pulled out.

[axic]

This was updated.

[axic]

This one I'm not sure how to deduplicate.

[mbenke]

How about

forall a ptrtype reader. reader:WordReader =>
function blockDecode(ptr:ABIDecoder(memory(a), reader), currentHeadOffset:word) -> memory(a) {
        let tmp:word;
        let headRdr = WordReader.advance(ptr, currentHeadOffset);
        let tailPtr : word = WordReader.read(headRdr);

        let src = WordReader.advance(ptr, tailPtr);
        let srcRdr = getReader(src);
        let length = WordReader.read(src);
        let total = Add.add(length, 32);
	    let rounded = round_up_to_mul_of_32(total);
        let resultPtr : word = allocate_memory(rounded)	;
        WordReader.copyToMem(srcRdr, resultPtr, total);
        return memory(resultPtr);
}

forall reader. reader : WordReader =>
instance ABIDecoder(memory(bytes), reader):ABIDecode(memory(bytes))
{
    function decode(ptr:ABIDecoder(memory(bytes), reader), currentHeadOffset:word) -> memory(bytes) {
      return blockDecode(ptr, currentHeadOffset);
    }
}   

[axic]

@mbenke thanks updated.

[mbenke]

Please add a test, for example by adding to test/examples/dispatch/basic.solc

    function idbytes(b:memory(bytes)) -> (memory(bytes)) {
        return b;
    }

and to basic.json

      {
        "input": {
	  "text-calldata": "idbytes(bytes)(bytes)",
          "calldata":"0xc886fb8000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000004deadbeef00000000000000000000000000000000000000000000000000000000",
          "value": "0"
        },
        "kind": "call",
        "output": {
          "returndata":"00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000004deadbeef00000000000000000000000000000000000000000000000000000000",
          "status": "success"
        }
      },

[axic]

@mbenke added tests

[mbenke]

Thanks, looks good now.