Vaivaswatha N
Vaivaswatha N
Blocked by #2775
>folding successive adds to the same register into one add, I'm not sure I understand this. Can you post a small example? Also any other patterns that need to be...
Summary of discussion on slack: * We'll introduce Alloca instructions. Loads and stores directly use Alloca as their pointer operand. (i.e., the Alloca Value has type "Pointer"). * Rename get_ptr...
> Could we do something like attach storage to a library import? > > E.g. > > ```rust > library foo; > > // To import this library, you must...
I was having a look at one of @AmritKumar ' s contracts today and it looks like this can be a useful thing. Checking permissions (is sender owner, does sender...
Map fields _are_ involved in this particular example, yes.
Here's an example check: ``` is_mem1 = exists m1[_sender]; is_mem2 = exists m2[_sender]; is_mem3 = exists m3[_sender]; or_res = orb_3 is_mem1 is_mem2 is_mem3; match or_res with ``` This sequence appears...
Sorry I somehow missed the notification for this PR. It looks fine to me, but I'm curious as to how this makes a difference. Can you provide a small example...
> In previous versions of the code, each unseen BasicBlock was assigned a Scope, which caused some variables to be invisible in complex control flow. The modified program allows assigning...
> > > > In your example, without using the new feature, when the program runs to: `ret i32 0` , execute the gdb command: `p tmp17` will produce the...