[dcodeIO]

Adds handling of a new edge case to the PostAssemblyScript pass, with the pass no longer considering retains balanced if one of the retain patterns involved retains an allocation (allocations must never drop below RC=1 while in use). A new test case keeps.balancedRetainsWithAllocation that is otherwise identical to eliminates.balancedRetains but includes such an allocation verifies the expected behavior.

[dcodeIO]

While this should be good, I made this a draft for now just in case. Going to validate with the AS test suite and see if there's anything else to consider.

[kripken]

No concerns on the binaryen/C++ side (but I didn't think carefully about the AssemblyScript language logic here).

[kripken]

can the AliasGraph here be const AliasGraph&?

[dcodeIO]

Gave this a try, including updating the called functions herein, but the compiler then barks at me on [] accesses (no such operator) like graph.setInfluences[...] and graph.getSetses[...] in the called functions, as if std::map etc. can't be used this way. Might be missing something, as usual :)

[kripken]

I think the issue is that map[key] can have side effects, it doesn't just do a read, but it also creates the entry (with a default value) if it isn't there.

You can do map.at(key) if you know the key must be there. that will not change the map, and it will also check it actually exists, so it's better (but again, only if you know the key must be there).

[dcodeIO]

With the passes removed meanwhile, this PR is not necessary anymore.