Explicit interface of entry points about naga HOT 2 CLOSED

Saying that, it sounds like having the interface in the IR would be useful (i.e. to avoid deriving that over and over each time a module is used). We just need to tweak it a bit. First, by moving it into the Function. Second, instead of listing inputs and outputs, we'd have a Map<Token<GlobalVariable>, GlobalUse>, where:

enum GlobalUse {
  Input,
  Output,
  Constant,
  Storage,
}

from naga.

I think this is a good idea. Because now, we have to iterate the Globals for far more than necessary. If I understand your proposal correctly, that means that we in theory have to iterate once to know what Globals are used for what purpose. I think that is a good idea.

from naga.