Open sampsyo opened 10 years ago
We currently don't generate !tyann metadata for stores to the %retval register. This should work the same as other stores. We should also annotate the return instruction itself according to the type of the function.
!tyann
%retval
return
We currently don't generate
!tyannmetadata for stores to the%retvalregister. This should work the same as other stores. We should also annotate thereturninstruction itself according to the type of the function.