This commit is contained in:
Kartik Agaram 2020-06-28 08:25:37 -07:00
parent f58a6acc3f
commit e98a6babb5

View File

@ -10071,7 +10071,7 @@ check-mu-get-stmt: # stmt: (addr stmt), fn: (addr function), err: (addr buffere
(container-type %ebx) # => eax
(is-container? %eax) # => eax
3d/compare-eax-and 0/imm32/false
0f 84/jump-if-= $check-mu-get-stmt:error1/disp32
0f 84/jump-if-= $check-mu-get-stmt:error-bad-base/disp32
# TODO: check >1 inouts
# var offset/ecx: (addr var) = stmt->inouts->next->value
(lookup *(esi+0xc) *(esi+0x10)) # Stmt1-inouts Stmt1-inouts => eax
@ -10079,7 +10079,7 @@ check-mu-get-stmt: # stmt: (addr stmt), fn: (addr function), err: (addr buffere
(lookup *eax *(eax+4)) # Stmt-var-value Stmt-var-value => eax
89/<- %ecx 0/r32/eax
81 7/subop/compare *(ecx+0x14) -1/imm32/uninitialized # Var-offset
0f 84/jump-if-= $check-mu-get-stmt:error2/disp32
0f 84/jump-if-= $check-mu-get-stmt:error-bad-field/disp32
# TODO: check >0 outputs
# var output/edi: (addr var) = stmt->outputs->value
(lookup *(esi+0x14) *(esi+0x18)) # Stmt1-outputs Stmt1-outputs => eax
@ -10098,7 +10098,7 @@ $check-mu-get-stmt:end:
5d/pop-to-ebp
c3/return
$check-mu-get-stmt:error1:
$check-mu-get-stmt:error-bad-base:
# error("fn " fn ": stmt get: var '" base->name "' must have a 'type' definition\n")
(write-buffered *(ebp+0x10) "fn ")
8b/-> *(ebp+0xc) 0/r32/eax
@ -10113,7 +10113,7 @@ $check-mu-get-stmt:error1:
(stop *(ebp+0x14) 1)
# never gets here
$check-mu-get-stmt:error2:
$check-mu-get-stmt:error-bad-field:
# error("fn " fn ": stmt get: type " type " has no member called '" curr->name "'\n")
(write-buffered *(ebp+0x10) "fn ")
8b/-> *(ebp+0xc) 0/r32/eax