Skip to content

Commit e41cd61

Browse files
committed
[RTG][Elaboration] Properly handle values with identity
1 parent 27fdf55 commit e41cd61

File tree

5 files changed

+375
-164
lines changed

5 files changed

+375
-164
lines changed

frontends/PyRTG/test/basic.py

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -243,10 +243,8 @@ def test1_args(set: Set):
243243
# ELABORATED-NEXT: rtg.label local
244244
# ELABORATED-NEXT: rtg.label local
245245

246-
# ELABORATED-NEXT: [[L3:%.+]] = rtg.label_decl "l1_2"
247-
# ELABORATED-NEXT: rtg.label local [[L3]]
248-
# ELABORATED-NEXT: [[L4:%.+]] = rtg.label_decl "l1_3"
249-
# ELABORATED-NEXT: rtg.label local [[L4]]
246+
# ELABORATED-NEXT: rtg.label local [[L1]]
247+
# ELABORATED-NEXT: rtg.label local [[L1]]
250248
# ELABORATED-NEXT: rtg.label local [[L0]]
251249

252250
# ELABORATED-NEXT: [[L5:%.+]] = rtg.label_decl "s1"
@@ -272,8 +270,8 @@ def test1_args(set: Set):
272270
# ASM-NEXT: l1_1:
273271
# ASM-NEXT: l0:
274272

275-
# ASM-NEXT: l1_2:
276-
# ASM-NEXT: l1_3:
273+
# ASM-NEXT: l1_0:
274+
# ASM-NEXT: l1_0:
277275
# ASM-NEXT: l0:
278276

279277
# ASM-NEXT: s1:

0 commit comments

Comments
 (0)