feat(spl): cheatcodes that model spl's account domain data #806
Conversation
Stevengre
changed the title
Stevengre
force-pushed
the
jh/spl-cheatcodes
branch
2 times, most recently
from
deeb8e9 to
11d13ed
Compare
Stevengre
changed the title
Stevengre
force-pushed
the
jh/spl-cheatcodes
branch
from
ef07858 to
8961eba
Compare
There was a problem hiding this comment.
I am struggling a bit to follow the code in the module. What are the typical calls in the SPL source code to access the data inside the RefCell ? Maybe you could add some extra information between the code section?
The info.md does not really provide that information, and it is required to understand why we are capturing these function calls.
| SPLRefCell( | ||
| place( | ||
| LOCAL, | ||
| appendP(PROJS, projectionElemDeref projectionElemField(fieldIdx(1), #hack()) .ProjectionElems) | ||
| ), | ||
| Integer(?SplLamports:Int, 64, false) | ||
| ) |
There was a problem hiding this comment.
What is the first parameter of SPLRefCell modeling?
This value here looks like a self-reference: #setLocalValue above writes to place(LOCAL, PROJS + Deref) the value which contains a place(LOCAL, PROJS + Deref + Field(1)).
There was a problem hiding this comment.
Yes, this is used to reference itself for pack to write back.
| <k> #execTerminator(terminator(terminatorKindCall(FUNC, OP:Operand OPS:Operands, DEST, TARGET, UNWIND), _SPAN)) | ||
| => #finishSPLRcDeref(OP, DEST, TARGET, FUNC, OP OPS, UNWIND) |
There was a problem hiding this comment.
Do we expect OPS to be present if the function is ...::deref ? Probably deref will only ever have one argument, or not?
| rule [spl-vec-as-slice-copy]: | ||
| <k> #execTerminator(terminator(terminatorKindCall(FUNC, OP:Operand _OPS:Operands, DEST, someBasicBlockIdx(TARGET), _UNWIND), _SPAN)) | ||
| => #setLocalValue(DEST, OP) ~> #execBlockIdx(TARGET) |
There was a problem hiding this comment.
Similar situation here, _OPS is unused and should always just be .Operands if the function is _.as_slice()
Stevengre
force-pushed
the
jh/spl-cheatcodes
branch
from
cfb0e22 to
6e44c4b
Compare
No description provided.