pub fn store_of(ty: Type) -> Option<&'static str>Expand description
What the instruction that writes an argument of that type into memory is called.
The mirror of load_of, keyed off the same two questions and answering for the same set of
types, so that the two ends of one call agree about what travels. A type a callee can read out
of the argument area and a caller cannot write into it would be a call turned away for a reason
the function it calls does not have.
Writing a narrow argument at its own width leaves whatever was already in the rest of the word.
That is allowed, and it is what load_of is written against: the convention does not say what
is above the value, so the callee reads only the bits that mean anything and neither end has to
agree about the rest.