refactor: include argument names in mangled function names.

plusvic · plusvic · commit 9fe297d6f47f · 2026-03-30T17:41:33.000+02:00
diff --git a/lib/src/compiler/ir/ast2ir.rs b/lib/src/compiler/ir/ast2ir.rs
@@ -1294,7 +1294,10 @@ fn is_potentially_large_range(ctx: &CompileContext, range: &Range) -> bool {
             // Don't traverse the arguments of `math.min`.
             |node| {
                 if let Expr::FuncCall(func) = node {
-                    func.signature.mangled_name.as_str().eq("math.min@ii@i")
+                    func.signature
+                        .mangled_name
+                        .as_str()
+                        .eq("math.min@a:i,b:i@i")
                 } else {
                     false
                 }
diff --git a/lib/src/compiler/ir/tests/testdata/10.cse.ir b/lib/src/compiler/ir/tests/testdata/10.cse.ir
@@ -1,14 +1,14 @@
 RULE test
-  13: FOR_IN -- hash: 0x96423d1fc9f13492 -- parent: None 
+  13: FOR_IN -- hash: 0x12dbfc09ed5ac100 -- parent: None 
     0: CONST integer(1) -- parent: 13 
     1: CONST integer(10) -- parent: 13 
-    12: WITH -- hash: 0x2fa6e67ac30fd47a -- parent: 13 
-      6: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0xb24700199f93dab8 -- parent: 12 
+    12: WITH -- hash: 0xac40a564e67960e7 -- parent: 13 
+      6: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0xdb7bdb9e18e2be98 -- parent: 12 
         5: ADD -- hash: 0x685e7a2ba5a36f1d -- parent: 6 
           3: PATTERN_OFFSET PatternIdx(0) INDEX -- hash: 0x7cb6e22690df7f1b -- parent: 5 
             2: SYMBOL Var { var: Var { frame_id: 1, ty: integer, index: 5 }, type_value: integer(unknown) } -- parent: 3 
           4: CONST integer(16) -- parent: 5 
-      8: FN_CALL uint32be@i@i:R0:4294967295u -- hash: 0x36dbf5f6d8719ced -- parent: 12 
+      8: FN_CALL uint32be@offset:i@i:R0:4294967295u -- hash: 0x954bbb64201a5bf8 -- parent: 12 
         7: SYMBOL Var { var: Var { frame_id: 2, ty: integer, index: 7 }, type_value: integer(unknown) } -- parent: 8 
       11: NE -- hash: 0xe0b33818592dcf55 -- parent: 12 
         9: SYMBOL Var { var: Var { frame_id: 2, ty: integer, index: 8 }, type_value: integer(unknown) } -- parent: 11 
diff --git a/lib/src/compiler/ir/tests/testdata/10.hoisting.ir b/lib/src/compiler/ir/tests/testdata/10.hoisting.ir
@@ -1,14 +1,14 @@
 RULE test
-  13: FOR_IN -- hash: 0x96423d1fc9f13492 -- parent: None 
+  13: FOR_IN -- hash: 0x12dbfc09ed5ac100 -- parent: None 
     0: CONST integer(1) -- parent: 13 
     1: CONST integer(10) -- parent: 13 
-    12: WITH -- hash: 0x2fa6e67ac30fd47a -- parent: 13 
-      6: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0xb24700199f93dab8 -- parent: 12 
+    12: WITH -- hash: 0xac40a564e67960e7 -- parent: 13 
+      6: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0xdb7bdb9e18e2be98 -- parent: 12 
         5: ADD -- hash: 0x685e7a2ba5a36f1d -- parent: 6 
           3: PATTERN_OFFSET PatternIdx(0) INDEX -- hash: 0x7cb6e22690df7f1b -- parent: 5 
             2: SYMBOL Var { var: Var { frame_id: 1, ty: integer, index: 5 }, type_value: integer(unknown) } -- parent: 3 
           4: CONST integer(16) -- parent: 5 
-      8: FN_CALL uint32be@i@i:R0:4294967295u -- hash: 0x36dbf5f6d8719ced -- parent: 12 
+      8: FN_CALL uint32be@offset:i@i:R0:4294967295u -- hash: 0x954bbb64201a5bf8 -- parent: 12 
         7: SYMBOL Var { var: Var { frame_id: 2, ty: integer, index: 7 }, type_value: integer(unknown) } -- parent: 8 
       11: NE -- hash: 0xe0b33818592dcf55 -- parent: 12 
         9: SYMBOL Var { var: Var { frame_id: 2, ty: integer, index: 8 }, type_value: integer(unknown) } -- parent: 11 
diff --git a/lib/src/compiler/ir/tests/testdata/10.ir b/lib/src/compiler/ir/tests/testdata/10.ir
@@ -1,14 +1,14 @@
 RULE test
-  13: FOR_IN -- hash: 0x96423d1fc9f13492 -- parent: None 
+  13: FOR_IN -- hash: 0x12dbfc09ed5ac100 -- parent: None 
     0: CONST integer(1) -- parent: 13 
     1: CONST integer(10) -- parent: 13 
-    12: WITH -- hash: 0x2fa6e67ac30fd47a -- parent: 13 
-      6: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0xb24700199f93dab8 -- parent: 12 
+    12: WITH -- hash: 0xac40a564e67960e7 -- parent: 13 
+      6: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0xdb7bdb9e18e2be98 -- parent: 12 
         5: ADD -- hash: 0x685e7a2ba5a36f1d -- parent: 6 
           3: PATTERN_OFFSET PatternIdx(0) INDEX -- hash: 0x7cb6e22690df7f1b -- parent: 5 
             2: SYMBOL Var { var: Var { frame_id: 1, ty: integer, index: 5 }, type_value: integer(unknown) } -- parent: 3 
           4: CONST integer(16) -- parent: 5 
-      8: FN_CALL uint32be@i@i:R0:4294967295u -- hash: 0x36dbf5f6d8719ced -- parent: 12 
+      8: FN_CALL uint32be@offset:i@i:R0:4294967295u -- hash: 0x954bbb64201a5bf8 -- parent: 12 
         7: SYMBOL Var { var: Var { frame_id: 2, ty: integer, index: 7 }, type_value: integer(unknown) } -- parent: 8 
       11: NE -- hash: 0xe0b33818592dcf55 -- parent: 12 
         9: SYMBOL Var { var: Var { frame_id: 2, ty: integer, index: 8 }, type_value: integer(unknown) } -- parent: 11 
diff --git a/lib/src/compiler/ir/tests/testdata/3.cse.ir b/lib/src/compiler/ir/tests/testdata/3.cse.ir
@@ -1,12 +1,12 @@
 RULE test
-  12: OR -- hash: 0x1b8fc9245609bbd8 -- parent: None 
-    5: EQ -- hash: 0xa7087e04c9789991 -- parent: 12 
-      3: FN_CALL hash.md5@ii@s:N32:Lu -- hash: 0xb1521b9e4a43d71b -- parent: 5 
+  12: OR -- hash: 0x3943b5785dde551a -- parent: None 
+    5: EQ -- hash: 0x7e5484873ebb2659 -- parent: 12 
+      3: FN_CALL hash.md5@offset:i,size:i@s:N32:Lu -- hash: 0xeaf33e3e6d085dc7 -- parent: 5 
         1: CONST integer(0) -- parent: 3 
         2: FILESIZE -- parent: 3 
       4: CONST string("feba6c919e3797e7778e8f2e85fa033d") -- parent: 5 
-    11: EQ -- hash: 0xf4e7b8bcfc86defd -- parent: 12 
-      9: FN_CALL hash.md5@ii@s:N32:Lu -- hash: 0xb1521b9e4a43d71b -- parent: 11 
+    11: EQ -- hash: 0xcc33bf3f71c96bc5 -- parent: 12 
+      9: FN_CALL hash.md5@offset:i,size:i@s:N32:Lu -- hash: 0xeaf33e3e6d085dc7 -- parent: 11 
         7: CONST integer(0) -- parent: 9 
         8: FILESIZE -- parent: 9 
       10: CONST string("275876e34cf609db118f3d84b799a790") -- parent: 11 
diff --git a/lib/src/compiler/ir/tests/testdata/3.hoisting.ir b/lib/src/compiler/ir/tests/testdata/3.hoisting.ir
@@ -1,12 +1,12 @@
 RULE test
-  12: OR -- hash: 0x1b8fc9245609bbd8 -- parent: None 
-    5: EQ -- hash: 0xa7087e04c9789991 -- parent: 12 
-      3: FN_CALL hash.md5@ii@s:N32:Lu -- hash: 0xb1521b9e4a43d71b -- parent: 5 
+  12: OR -- hash: 0x3943b5785dde551a -- parent: None 
+    5: EQ -- hash: 0x7e5484873ebb2659 -- parent: 12 
+      3: FN_CALL hash.md5@offset:i,size:i@s:N32:Lu -- hash: 0xeaf33e3e6d085dc7 -- parent: 5 
         1: CONST integer(0) -- parent: 3 
         2: FILESIZE -- parent: 3 
       4: CONST string("feba6c919e3797e7778e8f2e85fa033d") -- parent: 5 
-    11: EQ -- hash: 0xf4e7b8bcfc86defd -- parent: 12 
-      9: FN_CALL hash.md5@ii@s:N32:Lu -- hash: 0xb1521b9e4a43d71b -- parent: 11 
+    11: EQ -- hash: 0xcc33bf3f71c96bc5 -- parent: 12 
+      9: FN_CALL hash.md5@offset:i,size:i@s:N32:Lu -- hash: 0xeaf33e3e6d085dc7 -- parent: 11 
         7: CONST integer(0) -- parent: 9 
         8: FILESIZE -- parent: 9 
       10: CONST string("275876e34cf609db118f3d84b799a790") -- parent: 11 
diff --git a/lib/src/compiler/ir/tests/testdata/3.ir b/lib/src/compiler/ir/tests/testdata/3.ir
@@ -1,12 +1,12 @@
 RULE test
-  12: OR -- hash: 0x1b8fc9245609bbd8 -- parent: None 
-    5: EQ -- hash: 0xa7087e04c9789991 -- parent: 12 
-      3: FN_CALL hash.md5@ii@s:N32:Lu -- hash: 0xb1521b9e4a43d71b -- parent: 5 
+  12: OR -- hash: 0x3943b5785dde551a -- parent: None 
+    5: EQ -- hash: 0x7e5484873ebb2659 -- parent: 12 
+      3: FN_CALL hash.md5@offset:i,size:i@s:N32:Lu -- hash: 0xeaf33e3e6d085dc7 -- parent: 5 
         1: CONST integer(0) -- parent: 3 
         2: FILESIZE -- parent: 3 
       4: CONST string("feba6c919e3797e7778e8f2e85fa033d") -- parent: 5 
-    11: EQ -- hash: 0xf4e7b8bcfc86defd -- parent: 12 
-      9: FN_CALL hash.md5@ii@s:N32:Lu -- hash: 0xb1521b9e4a43d71b -- parent: 11 
+    11: EQ -- hash: 0xcc33bf3f71c96bc5 -- parent: 12 
+      9: FN_CALL hash.md5@offset:i,size:i@s:N32:Lu -- hash: 0xeaf33e3e6d085dc7 -- parent: 11 
         7: CONST integer(0) -- parent: 9 
         8: FILESIZE -- parent: 9 
       10: CONST string("275876e34cf609db118f3d84b799a790") -- parent: 11 
diff --git a/lib/src/compiler/ir/tests/testdata/4.cse.ir b/lib/src/compiler/ir/tests/testdata/4.cse.ir
@@ -1,18 +1,18 @@
 RULE test
-  52: WITH -- hash: 0x5e28f45a3380ebce -- parent: None 
+  52: WITH -- hash: 0x3d25b3d4794433e2 -- parent: None 
     2: FIELD_ACCESS -- hash: 0x30adb8d0b7ea7b20 -- parent: 52 
       0: SYMBOL Field { index: 0, is_root: true, type_value: struct, acl: None, deprecation_notice: None } -- parent: 2 
       1: SYMBOL Field { index: 12, is_root: false, type_value: integer(unknown), acl: None, deprecation_notice: None } -- parent: 2 
-    51: AND -- hash: 0xd48c9e4c1bbd6e98 -- parent: 52 
-      22: FOR_IN -- hash: 0x7854178bc588aac4 -- parent: 51 
+    51: AND -- hash: 0xb3895dc66180b6ac -- parent: 52 
+      22: FOR_IN -- hash: 0xb5766871f0d8434f -- parent: 51 
         3: CONST integer(0) -- parent: 22 
         4: CONST integer(1) -- parent: 22 
-        21: AND -- hash: 0x9cf8fe424d5f369 -- parent: 22 
+        21: AND -- hash: 0x46f1e0ca50258bf4 -- parent: 22 
           7: EQ -- hash: 0xa866a1c3637edc78 -- parent: 21 
             5: SYMBOL Var { var: Var { frame_id: 2, ty: integer, index: 6 }, type_value: integer(unknown) } -- parent: 7 
             6: SYMBOL Var { var: Var { frame_id: 1, ty: integer, index: 0 }, type_value: integer(unknown) } -- parent: 7 
-          13: EQ -- hash: 0x15f5b2aba7d47f8 -- parent: 21 
-            11: FN_CALL test_proto2.add@ii@i -- hash: 0x4b8def611ce41371 -- parent: 13 
+          13: EQ -- hash: 0x452e9b6d563a2e0e -- parent: 21 
+            11: FN_CALL test_proto2.add@a:i,b:i@i -- hash: 0x261e822f79c74aad -- parent: 13 
               9: CONST integer(1) -- parent: 11 
               10: CONST integer(2) -- parent: 11 
             12: CONST integer(3) -- parent: 13 
@@ -23,12 +23,12 @@ RULE test
                 15: SYMBOL Field { index: 10, is_root: false, type_value: float(unknown), acl: None, deprecation_notice: None } -- parent: 16 
               17: CONST integer(1) -- parent: 18 
             19: CONST float(1.0) -- parent: 20 
-      39: FOR_IN -- hash: 0x3aeb7cd882a3770d -- parent: 51 
+      39: FOR_IN -- hash: 0x780dcdbeadf30f98 -- parent: 51 
         23: CONST integer(0) -- parent: 39 
         24: CONST integer(1) -- parent: 39 
-        38: OR -- hash: 0xc7fb5e4615f1997 -- parent: 39 
-          30: NE -- hash: 0xb189c2a481168c22 -- parent: 38 
-            28: FN_CALL test_proto2.add@ii@i -- hash: 0x4b8def611ce41371 -- parent: 30 
+        38: OR -- hash: 0x49a206ca8caeb222 -- parent: 39 
+          30: NE -- hash: 0xf55902e71cd37238 -- parent: 38 
+            28: FN_CALL test_proto2.add@a:i,b:i@i -- hash: 0x261e822f79c74aad -- parent: 30 
               26: CONST integer(1) -- parent: 28 
               27: CONST integer(2) -- parent: 28 
             29: CONST integer(0) -- parent: 30 
diff --git a/lib/src/compiler/ir/tests/testdata/4.hoisting.ir b/lib/src/compiler/ir/tests/testdata/4.hoisting.ir
@@ -1,11 +1,11 @@
 RULE test
-  52: WITH -- hash: 0xe52165a3e4f9c004 -- parent: None 
+  52: WITH -- hash: 0x9bec9656dce82b6d -- parent: None 
     2: FIELD_ACCESS -- hash: 0x30adb8d0b7ea7b20 -- parent: 52 
       0: SYMBOL Field { index: 0, is_root: true, type_value: struct, acl: None, deprecation_notice: None } -- parent: 2 
       1: SYMBOL Field { index: 12, is_root: false, type_value: integer(unknown), acl: None, deprecation_notice: None } -- parent: 2 
-    51: AND -- hash: 0x77e386988c8be1cf -- parent: 52 
-      54: WITH -- hash: 0x21fb65f365d018b2 -- parent: 51 
-        53: FN_CALL test_proto2.add@ii@i -- hash: 0x4b8def611ce41371 -- parent: 54 
+    51: AND -- hash: 0x2eaeb74b847a4d38 -- parent: 52 
+      54: WITH -- hash: 0x1146bb568254efab -- parent: 51 
+        53: FN_CALL test_proto2.add@a:i,b:i@i -- hash: 0x261e822f79c74aad -- parent: 54 
           9: CONST integer(1) -- parent: 53 
           10: CONST integer(2) -- parent: 53 
         56: WITH -- hash: 0x58086382660011ee -- parent: 54 
@@ -33,8 +33,8 @@ RULE test
                       6: SYMBOL Var { var: Var { frame_id: 1, ty: integer, index: 0 }, type_value: integer(unknown) } -- parent: 7 
                     13: SYMBOL Var { var: Var { frame_id: 0, ty: boolean, index: 2 }, type_value: boolean(unknown) } -- parent: 21 
                     20: SYMBOL Var { var: Var { frame_id: 0, ty: boolean, index: 5 }, type_value: boolean(unknown) } -- parent: 21 
-      64: WITH -- hash: 0xca40c776e4c60a3a -- parent: 51 
-        63: FN_CALL test_proto2.add@ii@i -- hash: 0x4b8def611ce41371 -- parent: 64 
+      64: WITH -- hash: 0x2e00596c13d056e8 -- parent: 51 
+        63: FN_CALL test_proto2.add@a:i,b:i@i -- hash: 0x261e822f79c74aad -- parent: 64 
           26: CONST integer(1) -- parent: 63 
           27: CONST integer(2) -- parent: 63 
         66: WITH -- hash: 0xa0cb3969e5369c8a -- parent: 64 
diff --git a/lib/src/compiler/ir/tests/testdata/4.ir b/lib/src/compiler/ir/tests/testdata/4.ir
@@ -1,18 +1,18 @@
 RULE test
-  52: WITH -- hash: 0x5e28f45a3380ebce -- parent: None 
+  52: WITH -- hash: 0x3d25b3d4794433e2 -- parent: None 
     2: FIELD_ACCESS -- hash: 0x30adb8d0b7ea7b20 -- parent: 52 
       0: SYMBOL Field { index: 0, is_root: true, type_value: struct, acl: None, deprecation_notice: None } -- parent: 2 
       1: SYMBOL Field { index: 12, is_root: false, type_value: integer(unknown), acl: None, deprecation_notice: None } -- parent: 2 
-    51: AND -- hash: 0xd48c9e4c1bbd6e98 -- parent: 52 
-      22: FOR_IN -- hash: 0x7854178bc588aac4 -- parent: 51 
+    51: AND -- hash: 0xb3895dc66180b6ac -- parent: 52 
+      22: FOR_IN -- hash: 0xb5766871f0d8434f -- parent: 51 
         3: CONST integer(0) -- parent: 22 
         4: CONST integer(1) -- parent: 22 
-        21: AND -- hash: 0x9cf8fe424d5f369 -- parent: 22 
+        21: AND -- hash: 0x46f1e0ca50258bf4 -- parent: 22 
           7: EQ -- hash: 0xa866a1c3637edc78 -- parent: 21 
             5: SYMBOL Var { var: Var { frame_id: 2, ty: integer, index: 6 }, type_value: integer(unknown) } -- parent: 7 
             6: SYMBOL Var { var: Var { frame_id: 1, ty: integer, index: 0 }, type_value: integer(unknown) } -- parent: 7 
-          13: EQ -- hash: 0x15f5b2aba7d47f8 -- parent: 21 
-            11: FN_CALL test_proto2.add@ii@i -- hash: 0x4b8def611ce41371 -- parent: 13 
+          13: EQ -- hash: 0x452e9b6d563a2e0e -- parent: 21 
+            11: FN_CALL test_proto2.add@a:i,b:i@i -- hash: 0x261e822f79c74aad -- parent: 13 
               9: CONST integer(1) -- parent: 11 
               10: CONST integer(2) -- parent: 11 
             12: CONST integer(3) -- parent: 13 
@@ -23,12 +23,12 @@ RULE test
                 15: SYMBOL Field { index: 10, is_root: false, type_value: float(unknown), acl: None, deprecation_notice: None } -- parent: 16 
               17: CONST integer(1) -- parent: 18 
             19: CONST float(1.0) -- parent: 20 
-      39: FOR_IN -- hash: 0x3aeb7cd882a3770d -- parent: 51 
+      39: FOR_IN -- hash: 0x780dcdbeadf30f98 -- parent: 51 
         23: CONST integer(0) -- parent: 39 
         24: CONST integer(1) -- parent: 39 
-        38: OR -- hash: 0xc7fb5e4615f1997 -- parent: 39 
-          30: NE -- hash: 0xb189c2a481168c22 -- parent: 38 
-            28: FN_CALL test_proto2.add@ii@i -- hash: 0x4b8def611ce41371 -- parent: 30 
+        38: OR -- hash: 0x49a206ca8caeb222 -- parent: 39 
+          30: NE -- hash: 0xf55902e71cd37238 -- parent: 38 
+            28: FN_CALL test_proto2.add@a:i,b:i@i -- hash: 0x261e822f79c74aad -- parent: 30 
               26: CONST integer(1) -- parent: 28 
               27: CONST integer(2) -- parent: 28 
             29: CONST integer(0) -- parent: 30 
diff --git a/lib/src/compiler/ir/tests/testdata/6.cse.ir b/lib/src/compiler/ir/tests/testdata/6.cse.ir
@@ -1,22 +1,22 @@
 RULE test
-  19: OR -- hash: 0x38ac661bc7edb303 -- parent: None 
-    9: AND -- hash: 0x55644aa7ab376dc4 -- parent: 19 
-      3: EQ -- hash: 0xb74a347972d27f07 -- parent: 9 
-        1: FN_CALL uint16@i@i:R0:65535u -- hash: 0x5c99c42ccd549597 -- parent: 3 
+  19: OR -- hash: 0x15c1b9fd8bb07934 -- parent: None 
+    9: AND -- hash: 0x4f03f88669200ec7 -- parent: 19 
+      3: EQ -- hash: 0x6636f0caaaf0ce1 -- parent: 9 
+        1: FN_CALL uint16@offset:i@i:R0:65535u -- hash: 0xd9c315b7872786ad -- parent: 3 
           0: CONST integer(0) -- parent: 1 
         2: CONST integer(23117) -- parent: 3 
-      8: EQ -- hash: 0xefd8aad42cfb8415 -- parent: 9 
-        6: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0x7b9b59ee5ef72c64 -- parent: 8 
-          5: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0x9112b2d627005c55 -- parent: 6 
+      8: EQ -- hash: 0x23d5cb37154e6e05 -- parent: 9 
+        6: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0x114d562bc44dc92b -- parent: 8 
+          5: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0x70d97345f01748c4 -- parent: 6 
             4: CONST integer(60) -- parent: 5 
         7: CONST integer(17744) -- parent: 8 
-    18: AND -- hash: 0x42c53eddef4faaf7 -- parent: 19 
-      13: EQ -- hash: 0xd49847c981d59e8b -- parent: 18 
-        11: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0x59633ad74de391a -- parent: 13 
+    18: AND -- hash: 0xeb59fd3df0f925fc -- parent: 19 
+      13: EQ -- hash: 0x8bd5c0fe8f781437 -- parent: 18 
+        11: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0xe55cf41d41f52588 -- parent: 13 
           10: CONST integer(0) -- parent: 11 
         12: CONST integer(1179403647) -- parent: 13 
-      17: NE -- hash: 0xe122eeddb12026ad -- parent: 18 
-        15: FN_CALL uint16@i@i:R0:65535u -- hash: 0x5c99c42ccd549597 -- parent: 17 
+      17: NE -- hash: 0x303c2970e8fcb487 -- parent: 18 
+        15: FN_CALL uint16@offset:i@i:R0:65535u -- hash: 0xd9c315b7872786ad -- parent: 17 
           14: CONST integer(0) -- parent: 15 
         16: CONST integer(0) -- parent: 17 
 
diff --git a/lib/src/compiler/ir/tests/testdata/6.hoisting.ir b/lib/src/compiler/ir/tests/testdata/6.hoisting.ir
@@ -1,22 +1,22 @@
 RULE test
-  19: OR -- hash: 0x38ac661bc7edb303 -- parent: None 
-    9: AND -- hash: 0x55644aa7ab376dc4 -- parent: 19 
-      3: EQ -- hash: 0xb74a347972d27f07 -- parent: 9 
-        1: FN_CALL uint16@i@i:R0:65535u -- hash: 0x5c99c42ccd549597 -- parent: 3 
+  19: OR -- hash: 0x15c1b9fd8bb07934 -- parent: None 
+    9: AND -- hash: 0x4f03f88669200ec7 -- parent: 19 
+      3: EQ -- hash: 0x6636f0caaaf0ce1 -- parent: 9 
+        1: FN_CALL uint16@offset:i@i:R0:65535u -- hash: 0xd9c315b7872786ad -- parent: 3 
           0: CONST integer(0) -- parent: 1 
         2: CONST integer(23117) -- parent: 3 
-      8: EQ -- hash: 0xefd8aad42cfb8415 -- parent: 9 
-        6: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0x7b9b59ee5ef72c64 -- parent: 8 
-          5: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0x9112b2d627005c55 -- parent: 6 
+      8: EQ -- hash: 0x23d5cb37154e6e05 -- parent: 9 
+        6: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0x114d562bc44dc92b -- parent: 8 
+          5: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0x70d97345f01748c4 -- parent: 6 
             4: CONST integer(60) -- parent: 5 
         7: CONST integer(17744) -- parent: 8 
-    18: AND -- hash: 0x42c53eddef4faaf7 -- parent: 19 
-      13: EQ -- hash: 0xd49847c981d59e8b -- parent: 18 
-        11: FN_CALL uint32@i@i:R0:4294967295u -- hash: 0x59633ad74de391a -- parent: 13 
+    18: AND -- hash: 0xeb59fd3df0f925fc -- parent: 19 
+      13: EQ -- hash: 0x8bd5c0fe8f781437 -- parent: 18 
+        11: FN_CALL uint32@offset:i@i:R0:4294967295u -- hash: 0xe55cf41d41f52588 -- parent: 13 
           10: CONST integer(0) -- parent: 11 
         12: CONST integer(1179403647) -- parent: 13 
-      17: NE -- hash: 0xe122eeddb12026ad -- parent: 18 
-        15: FN_CALL uint16@i@i:R0:65535u -- hash: 0x5c99c42ccd549597 -- parent: 17 
+      17: NE -- hash: 0x303c2970e8fcb487 -- parent: 18 
+        15: FN_CALL uint16@offset:i@i:R0:65535u -- hash: 0xd9c315b7872786ad -- parent: 17 
           14: CONST integer(0) -- parent: 15 
         16: CONST integer(0) -- parent: 17 
 
diff --git a/lib/src/compiler/ir/tests/testdata/6.ir b/lib/src/compiler/ir/tests/testdata/6.ir
diff --git a/lib/src/types/func.rs b/lib/src/types/func.rs
diff --git a/ls/src/tests/testdata/completion8.response.json b/ls/src/tests/testdata/completion8.response.json
diff --git a/ls/src/tests/testdata/signature_help2.response.json b/ls/src/tests/testdata/signature_help2.response.json
diff --git a/macros/src/wasm_export.rs b/macros/src/wasm_export.rs
