Make getMaxBits deal with Block

xuruiyang2002 · xuruiyang2002 · commit 21a997c6d35e · 2025-05-14T14:45:04.000+08:00
diff --git a/src/ir/bits.h b/src/ir/bits.h
@@ -456,6 +456,12 @@ Index getMaxBits(Expression* curr,
     if (LoadUtils::isSignRelevant(load) && !load->signed_) {
       return 8 * load->bytes;
     }
+  } else if (auto* block = curr->dynCast<Block>()) {
+    // TODO: getFallthrough(block, ..., ...) is needed,
+    //   because the localset also need it
+    if (!block->name.is() && block->list.size() > 0) {
+      return getMaxBits(block->list.back(), localInfoProvider);
+    }
   }
   switch (curr->type.getBasic()) {
     case Type::i32:

Original file line number	Diff line number	Diff line change
`@@ -456,6 +456,12 @@ Index getMaxBits(Expression* curr,`
`456`	`456`	`if (LoadUtils::isSignRelevant(load) && !load->signed_) {`
`457`	`457`	`return 8 * load->bytes;`
`458`	`458`	`}`
	`459`	`+ } else if (auto* block = curr->dynCast<Block>()) {`
	`460`	`+ // TODO: getFallthrough(block, ..., ...) is needed,`
	`461`	`+ // because the localset also need it`
	`462`	`+ if (!block->name.is() && block->list.size() > 0) {`
	`463`	`+ return getMaxBits(block->list.back(), localInfoProvider);`
	`464`	`+ }`
`459`	`465`	`}`
`460`	`466`	`switch (curr->type.getBasic()) {`
`461`	`467`	`case Type::i32:`