Add TODO about more permissive label handling in registerizeHarder

1 files changed, 1 insertions, 0 deletions

diff --git a/tools/js-optimizer.js b/tools/js-optimizer.js
index abb854c6..21d521fd 100644
--- a/tools/js-optimizer.js
+++ b/tools/js-optimizer.js
@@ -2597,6 +2597,7 @@ function registerizeHarder(ast) {
       if (labelCond && labelCond[0] === '==') {
         // If there are multiple blocks with the same label, all bets are off.
         // This seems to happen sometimes for short blocks that end with a return.
+        // TODO: it should be safe to merge the duplicates if they're identical.
         if (labelCond[1] in labelledBlocks) {
           labelledBlocks = {};
           labelledJumps = [];