[Strings] Add string.new* instructions (#4761)

This is the first instruction from the Strings proposal.

This includes everything but interpreter support.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/ir/possible-contents.cpp b/src/ir/possible-contents.cpp
index 94c22aacc..d10f2b4ac 100644
--- a/src/ir/possible-contents.cpp
+++ b/src/ir/possible-contents.cpp
@@ -672,6 +672,13 @@ struct InfoCollector
     visitArraySet(set);
   }
 
+  void visitStringNew(StringNew* curr) {
+    if (curr->type == Type::unreachable) {
+      return;
+    }
+    addRoot(curr, PossibleContents::exactType(curr->type));
+  }
+
   // TODO: Model which throws can go to which catches. For now, anything thrown
   //       is sent to the location of that tag, and any catch of that tag can
   //       read them.