|
|
@@ -23,15 +23,15 @@ fn Foo[T:! type](n: T) -> (T, ()) {
|
|
|
// CHECK:STDOUT: ir0: {decl_id: inst<none>, is_export: false}
|
|
|
// CHECK:STDOUT: import_ir_insts: {}
|
|
|
// CHECK:STDOUT: name_scopes:
|
|
|
-// CHECK:STDOUT: name_scope0: {inst: inst13, parent_scope: name_scope<none>, has_error: false, extended_scopes: [], names: {name0: inst35}}
|
|
|
+// CHECK:STDOUT: name_scope0: {inst: inst14, parent_scope: name_scope<none>, has_error: false, extended_scopes: [], names: {name0: inst36}}
|
|
|
// CHECK:STDOUT: entity_names:
|
|
|
// CHECK:STDOUT: entity_name0: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
|
|
|
// CHECK:STDOUT: entity_name1: {name: name2, parent_scope: name_scope<none>, index: -1, is_template: 0}
|
|
|
// CHECK:STDOUT: functions:
|
|
|
-// CHECK:STDOUT: function0: {name: name0, parent_scope: name_scope0, call_params_id: inst_block9, return_slot_pattern: inst31, body: [inst_block16]}
|
|
|
+// CHECK:STDOUT: function0: {name: name0, parent_scope: name_scope0, call_params_id: inst_block9, return_slot_pattern: inst32, body: [inst_block16]}
|
|
|
// CHECK:STDOUT: classes: {}
|
|
|
// CHECK:STDOUT: generics:
|
|
|
-// CHECK:STDOUT: generic0: {decl: inst35, bindings: inst_block12}
|
|
|
+// CHECK:STDOUT: generic0: {decl: inst36, bindings: inst_block12}
|
|
|
// CHECK:STDOUT: specifics:
|
|
|
// CHECK:STDOUT: specific0: {generic: generic0, args: inst_block13}
|
|
|
// CHECK:STDOUT: struct_type_fields:
|
|
|
@@ -43,10 +43,10 @@ fn Foo[T:! type](n: T) -> (T, ()) {
|
|
|
// CHECK:STDOUT: value_repr: {kind: copy, type: type(Error)}
|
|
|
// CHECK:STDOUT: 'type(inst(NamespaceType))':
|
|
|
// CHECK:STDOUT: value_repr: {kind: copy, type: type(inst(NamespaceType))}
|
|
|
-// CHECK:STDOUT: 'type(inst39)':
|
|
|
-// CHECK:STDOUT: value_repr: {kind: none, type: type(inst23)}
|
|
|
-// CHECK:STDOUT: 'type(inst23)':
|
|
|
-// CHECK:STDOUT: value_repr: {kind: none, type: type(inst23)}
|
|
|
+// CHECK:STDOUT: 'type(inst40)':
|
|
|
+// CHECK:STDOUT: value_repr: {kind: none, type: type(inst24)}
|
|
|
+// CHECK:STDOUT: 'type(inst24)':
|
|
|
+// CHECK:STDOUT: value_repr: {kind: none, type: type(inst24)}
|
|
|
// CHECK:STDOUT: 'type(symbolic_constant0)':
|
|
|
// CHECK:STDOUT: value_repr: {kind: copy, type: type(symbolic_constant0)}
|
|
|
// CHECK:STDOUT: 'type(symbolic_constant2)':
|
|
|
@@ -63,177 +63,177 @@ fn Foo[T:! type](n: T) -> (T, ()) {
|
|
|
// CHECK:STDOUT: type_block0: {}
|
|
|
// CHECK:STDOUT: type_block1:
|
|
|
// CHECK:STDOUT: 0: type(TypeType)
|
|
|
-// CHECK:STDOUT: 1: type(inst23)
|
|
|
+// CHECK:STDOUT: 1: type(inst24)
|
|
|
// CHECK:STDOUT: type_block2:
|
|
|
// CHECK:STDOUT: 0: type(symbolic_constant0)
|
|
|
-// CHECK:STDOUT: 1: type(inst23)
|
|
|
+// CHECK:STDOUT: 1: type(inst24)
|
|
|
// CHECK:STDOUT: type_block3:
|
|
|
// CHECK:STDOUT: 0: type(symbolic_constant3)
|
|
|
-// CHECK:STDOUT: 1: type(inst23)
|
|
|
+// CHECK:STDOUT: 1: type(inst24)
|
|
|
// CHECK:STDOUT: insts:
|
|
|
-// CHECK:STDOUT: inst13: {kind: Namespace, arg0: name_scope0, arg1: inst<none>, type: type(inst(NamespaceType))}
|
|
|
-// CHECK:STDOUT: inst14: {kind: BindSymbolicName, arg0: entity_name0, arg1: inst<none>, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst14: {kind: Namespace, arg0: name_scope0, arg1: inst<none>, type: type(inst(NamespaceType))}
|
|
|
// CHECK:STDOUT: inst15: {kind: BindSymbolicName, arg0: entity_name0, arg1: inst<none>, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst16: {kind: SymbolicBindingPattern, arg0: entity_name0, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst16: {kind: BindSymbolicName, arg0: entity_name0, arg1: inst<none>, type: type(TypeType)}
|
|
|
// CHECK:STDOUT: inst17: {kind: SymbolicBindingPattern, arg0: entity_name0, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst18: {kind: NameRef, arg0: name1, arg1: inst14, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst19: {kind: BindName, arg0: entity_name1, arg1: inst32, type: type(symbolic_constant3)}
|
|
|
-// CHECK:STDOUT: inst20: {kind: BindingPattern, arg0: entity_name1, type: type(symbolic_constant3)}
|
|
|
-// CHECK:STDOUT: inst21: {kind: ValueParamPattern, arg0: inst20, arg1: call_param0, type: type(symbolic_constant3)}
|
|
|
-// CHECK:STDOUT: inst22: {kind: NameRef, arg0: name1, arg1: inst14, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst23: {kind: TupleType, arg0: type_block0, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst24: {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst23)}
|
|
|
-// CHECK:STDOUT: inst25: {kind: TupleType, arg0: type_block1, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst26: {kind: TupleLiteral, arg0: inst_block8, type: type(inst25)}
|
|
|
-// CHECK:STDOUT: inst27: {kind: Converted, arg0: inst24, arg1: inst23, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst28: {kind: TupleType, arg0: type_block2, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst29: {kind: Converted, arg0: inst26, arg1: inst28, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst30: {kind: ReturnSlotPattern, arg0: inst26, type: type(symbolic_constant5)}
|
|
|
-// CHECK:STDOUT: inst31: {kind: OutParamPattern, arg0: inst30, arg1: call_param1, type: type(symbolic_constant5)}
|
|
|
-// CHECK:STDOUT: inst32: {kind: ValueParam, arg0: call_param0, arg1: name2, type: type(symbolic_constant3)}
|
|
|
-// CHECK:STDOUT: inst33: {kind: OutParam, arg0: call_param1, arg1: name(ReturnSlot), type: type(symbolic_constant5)}
|
|
|
-// CHECK:STDOUT: inst34: {kind: ReturnSlot, arg0: inst26, arg1: inst33, type: type(symbolic_constant5)}
|
|
|
-// CHECK:STDOUT: inst35: {kind: FunctionDecl, arg0: function0, arg1: inst_block11, type: type(inst39)}
|
|
|
-// CHECK:STDOUT: inst36: {kind: BindSymbolicName, arg0: entity_name0, arg1: inst<none>, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst37: {kind: SymbolicBindingPattern, arg0: entity_name0, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst38: {kind: TupleType, arg0: type_block3, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst39: {kind: FunctionType, arg0: function0, arg1: specific<none>, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst40: {kind: StructValue, arg0: inst_block_empty, type: type(inst39)}
|
|
|
-// CHECK:STDOUT: inst41: {kind: PointerType, arg0: inst28, type: type(TypeType)}
|
|
|
-// CHECK:STDOUT: inst42: {kind: RequireCompleteType, arg0: type(symbolic_constant2), type: type(inst(WitnessType))}
|
|
|
+// CHECK:STDOUT: inst18: {kind: SymbolicBindingPattern, arg0: entity_name0, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst19: {kind: NameRef, arg0: name1, arg1: inst15, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst20: {kind: BindName, arg0: entity_name1, arg1: inst33, type: type(symbolic_constant3)}
|
|
|
+// CHECK:STDOUT: inst21: {kind: BindingPattern, arg0: entity_name1, type: type(symbolic_constant3)}
|
|
|
+// CHECK:STDOUT: inst22: {kind: ValueParamPattern, arg0: inst21, arg1: call_param0, type: type(symbolic_constant3)}
|
|
|
+// CHECK:STDOUT: inst23: {kind: NameRef, arg0: name1, arg1: inst15, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst24: {kind: TupleType, arg0: type_block0, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst25: {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst24)}
|
|
|
+// CHECK:STDOUT: inst26: {kind: TupleType, arg0: type_block1, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst27: {kind: TupleLiteral, arg0: inst_block8, type: type(inst26)}
|
|
|
+// CHECK:STDOUT: inst28: {kind: Converted, arg0: inst25, arg1: inst24, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst29: {kind: TupleType, arg0: type_block2, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst30: {kind: Converted, arg0: inst27, arg1: inst29, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst31: {kind: ReturnSlotPattern, arg0: inst27, type: type(symbolic_constant5)}
|
|
|
+// CHECK:STDOUT: inst32: {kind: OutParamPattern, arg0: inst31, arg1: call_param1, type: type(symbolic_constant5)}
|
|
|
+// CHECK:STDOUT: inst33: {kind: ValueParam, arg0: call_param0, arg1: name2, type: type(symbolic_constant3)}
|
|
|
+// CHECK:STDOUT: inst34: {kind: OutParam, arg0: call_param1, arg1: name(ReturnSlot), type: type(symbolic_constant5)}
|
|
|
+// CHECK:STDOUT: inst35: {kind: ReturnSlot, arg0: inst27, arg1: inst34, type: type(symbolic_constant5)}
|
|
|
+// CHECK:STDOUT: inst36: {kind: FunctionDecl, arg0: function0, arg1: inst_block11, type: type(inst40)}
|
|
|
+// CHECK:STDOUT: inst37: {kind: BindSymbolicName, arg0: entity_name0, arg1: inst<none>, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst38: {kind: SymbolicBindingPattern, arg0: entity_name0, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst39: {kind: TupleType, arg0: type_block3, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst40: {kind: FunctionType, arg0: function0, arg1: specific<none>, type: type(TypeType)}
|
|
|
+// CHECK:STDOUT: inst41: {kind: StructValue, arg0: inst_block_empty, type: type(inst40)}
|
|
|
+// CHECK:STDOUT: inst42: {kind: PointerType, arg0: inst29, type: type(TypeType)}
|
|
|
// CHECK:STDOUT: inst43: {kind: RequireCompleteType, arg0: type(symbolic_constant2), type: type(inst(WitnessType))}
|
|
|
-// CHECK:STDOUT: inst44: {kind: RequireCompleteType, arg0: type(symbolic_constant3), type: type(inst(WitnessType))}
|
|
|
-// CHECK:STDOUT: inst45: {kind: RequireCompleteType, arg0: type(symbolic_constant0), type: type(inst(WitnessType))}
|
|
|
-// CHECK:STDOUT: inst46: {kind: NameRef, arg0: name2, arg1: inst19, type: type(symbolic_constant3)}
|
|
|
-// CHECK:STDOUT: inst47: {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst23)}
|
|
|
-// CHECK:STDOUT: inst48: {kind: TupleLiteral, arg0: inst_block17, type: type(symbolic_constant5)}
|
|
|
-// CHECK:STDOUT: inst49: {kind: RequireCompleteType, arg0: type(symbolic_constant5), type: type(inst(WitnessType))}
|
|
|
-// CHECK:STDOUT: inst50: {kind: TupleAccess, arg0: inst34, arg1: element0, type: type(symbolic_constant3)}
|
|
|
-// CHECK:STDOUT: inst51: {kind: RequireCompleteType, arg0: type(symbolic_constant0), type: type(inst(WitnessType))}
|
|
|
-// CHECK:STDOUT: inst52: {kind: InitializeFrom, arg0: inst46, arg1: inst50, type: type(symbolic_constant3)}
|
|
|
-// CHECK:STDOUT: inst53: {kind: TupleAccess, arg0: inst34, arg1: element1, type: type(inst23)}
|
|
|
-// CHECK:STDOUT: inst54: {kind: TupleInit, arg0: inst_block_empty, arg1: inst53, type: type(inst23)}
|
|
|
-// CHECK:STDOUT: inst55: {kind: TupleValue, arg0: inst_block_empty, type: type(inst23)}
|
|
|
-// CHECK:STDOUT: inst56: {kind: Converted, arg0: inst47, arg1: inst54, type: type(inst23)}
|
|
|
-// CHECK:STDOUT: inst57: {kind: TupleInit, arg0: inst_block18, arg1: inst34, type: type(symbolic_constant5)}
|
|
|
-// CHECK:STDOUT: inst58: {kind: Converted, arg0: inst48, arg1: inst57, type: type(symbolic_constant5)}
|
|
|
-// CHECK:STDOUT: inst59: {kind: ReturnExpr, arg0: inst58, arg1: inst34}
|
|
|
-// CHECK:STDOUT: inst60: {kind: RequireCompleteType, arg0: type(symbolic_constant5), type: type(inst(WitnessType))}
|
|
|
-// CHECK:STDOUT: inst61: {kind: RequireCompleteType, arg0: type(symbolic_constant3), type: type(inst(WitnessType))}
|
|
|
+// CHECK:STDOUT: inst44: {kind: RequireCompleteType, arg0: type(symbolic_constant2), type: type(inst(WitnessType))}
|
|
|
+// CHECK:STDOUT: inst45: {kind: RequireCompleteType, arg0: type(symbolic_constant3), type: type(inst(WitnessType))}
|
|
|
+// CHECK:STDOUT: inst46: {kind: RequireCompleteType, arg0: type(symbolic_constant0), type: type(inst(WitnessType))}
|
|
|
+// CHECK:STDOUT: inst47: {kind: NameRef, arg0: name2, arg1: inst20, type: type(symbolic_constant3)}
|
|
|
+// CHECK:STDOUT: inst48: {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst24)}
|
|
|
+// CHECK:STDOUT: inst49: {kind: TupleLiteral, arg0: inst_block17, type: type(symbolic_constant5)}
|
|
|
+// CHECK:STDOUT: inst50: {kind: RequireCompleteType, arg0: type(symbolic_constant5), type: type(inst(WitnessType))}
|
|
|
+// CHECK:STDOUT: inst51: {kind: TupleAccess, arg0: inst35, arg1: element0, type: type(symbolic_constant3)}
|
|
|
+// CHECK:STDOUT: inst52: {kind: RequireCompleteType, arg0: type(symbolic_constant0), type: type(inst(WitnessType))}
|
|
|
+// CHECK:STDOUT: inst53: {kind: InitializeFrom, arg0: inst47, arg1: inst51, type: type(symbolic_constant3)}
|
|
|
+// CHECK:STDOUT: inst54: {kind: TupleAccess, arg0: inst35, arg1: element1, type: type(inst24)}
|
|
|
+// CHECK:STDOUT: inst55: {kind: TupleInit, arg0: inst_block_empty, arg1: inst54, type: type(inst24)}
|
|
|
+// CHECK:STDOUT: inst56: {kind: TupleValue, arg0: inst_block_empty, type: type(inst24)}
|
|
|
+// CHECK:STDOUT: inst57: {kind: Converted, arg0: inst48, arg1: inst55, type: type(inst24)}
|
|
|
+// CHECK:STDOUT: inst58: {kind: TupleInit, arg0: inst_block18, arg1: inst35, type: type(symbolic_constant5)}
|
|
|
+// CHECK:STDOUT: inst59: {kind: Converted, arg0: inst49, arg1: inst58, type: type(symbolic_constant5)}
|
|
|
+// CHECK:STDOUT: inst60: {kind: ReturnExpr, arg0: inst59, arg1: inst35}
|
|
|
+// CHECK:STDOUT: inst61: {kind: RequireCompleteType, arg0: type(symbolic_constant5), type: type(inst(WitnessType))}
|
|
|
+// CHECK:STDOUT: inst62: {kind: RequireCompleteType, arg0: type(symbolic_constant3), type: type(inst(WitnessType))}
|
|
|
// CHECK:STDOUT: constant_values:
|
|
|
-// CHECK:STDOUT: inst13: concrete_constant(inst13)
|
|
|
-// CHECK:STDOUT: inst14: symbolic_constant3
|
|
|
-// CHECK:STDOUT: inst15: symbolic_constant0
|
|
|
-// CHECK:STDOUT: inst16: symbolic_constant4
|
|
|
-// CHECK:STDOUT: inst17: symbolic_constant1
|
|
|
-// CHECK:STDOUT: inst18: symbolic_constant3
|
|
|
-// CHECK:STDOUT: inst22: symbolic_constant3
|
|
|
-// CHECK:STDOUT: inst23: concrete_constant(inst23)
|
|
|
-// CHECK:STDOUT: inst25: concrete_constant(inst25)
|
|
|
-// CHECK:STDOUT: inst27: concrete_constant(inst23)
|
|
|
-// CHECK:STDOUT: inst28: symbolic_constant2
|
|
|
-// CHECK:STDOUT: inst29: symbolic_constant5
|
|
|
-// CHECK:STDOUT: inst35: concrete_constant(inst40)
|
|
|
-// CHECK:STDOUT: inst36: symbolic_constant3
|
|
|
-// CHECK:STDOUT: inst37: symbolic_constant4
|
|
|
-// CHECK:STDOUT: inst38: symbolic_constant5
|
|
|
-// CHECK:STDOUT: inst39: concrete_constant(inst39)
|
|
|
+// CHECK:STDOUT: inst14: concrete_constant(inst14)
|
|
|
+// CHECK:STDOUT: inst15: symbolic_constant3
|
|
|
+// CHECK:STDOUT: inst16: symbolic_constant0
|
|
|
+// CHECK:STDOUT: inst17: symbolic_constant4
|
|
|
+// CHECK:STDOUT: inst18: symbolic_constant1
|
|
|
+// CHECK:STDOUT: inst19: symbolic_constant3
|
|
|
+// CHECK:STDOUT: inst23: symbolic_constant3
|
|
|
+// CHECK:STDOUT: inst24: concrete_constant(inst24)
|
|
|
+// CHECK:STDOUT: inst26: concrete_constant(inst26)
|
|
|
+// CHECK:STDOUT: inst28: concrete_constant(inst24)
|
|
|
+// CHECK:STDOUT: inst29: symbolic_constant2
|
|
|
+// CHECK:STDOUT: inst30: symbolic_constant5
|
|
|
+// CHECK:STDOUT: inst36: concrete_constant(inst41)
|
|
|
+// CHECK:STDOUT: inst37: symbolic_constant3
|
|
|
+// CHECK:STDOUT: inst38: symbolic_constant4
|
|
|
+// CHECK:STDOUT: inst39: symbolic_constant5
|
|
|
// CHECK:STDOUT: inst40: concrete_constant(inst40)
|
|
|
-// CHECK:STDOUT: inst41: symbolic_constant6
|
|
|
-// CHECK:STDOUT: inst42: symbolic_constant9
|
|
|
-// CHECK:STDOUT: inst43: symbolic_constant7
|
|
|
-// CHECK:STDOUT: inst44: symbolic_constant10
|
|
|
-// CHECK:STDOUT: inst45: symbolic_constant8
|
|
|
-// CHECK:STDOUT: inst49: symbolic_constant9
|
|
|
-// CHECK:STDOUT: inst51: symbolic_constant10
|
|
|
-// CHECK:STDOUT: inst54: concrete_constant(inst55)
|
|
|
-// CHECK:STDOUT: inst55: concrete_constant(inst55)
|
|
|
-// CHECK:STDOUT: inst56: concrete_constant(inst55)
|
|
|
-// CHECK:STDOUT: inst60: symbolic_constant9
|
|
|
-// CHECK:STDOUT: inst61: symbolic_constant10
|
|
|
+// CHECK:STDOUT: inst41: concrete_constant(inst41)
|
|
|
+// CHECK:STDOUT: inst42: symbolic_constant6
|
|
|
+// CHECK:STDOUT: inst43: symbolic_constant9
|
|
|
+// CHECK:STDOUT: inst44: symbolic_constant7
|
|
|
+// CHECK:STDOUT: inst45: symbolic_constant10
|
|
|
+// CHECK:STDOUT: inst46: symbolic_constant8
|
|
|
+// CHECK:STDOUT: inst50: symbolic_constant9
|
|
|
+// CHECK:STDOUT: inst52: symbolic_constant10
|
|
|
+// CHECK:STDOUT: inst55: concrete_constant(inst56)
|
|
|
+// CHECK:STDOUT: inst56: concrete_constant(inst56)
|
|
|
+// CHECK:STDOUT: inst57: concrete_constant(inst56)
|
|
|
+// CHECK:STDOUT: inst61: symbolic_constant9
|
|
|
+// CHECK:STDOUT: inst62: symbolic_constant10
|
|
|
// CHECK:STDOUT: symbolic_constants:
|
|
|
-// CHECK:STDOUT: symbolic_constant0: {inst: inst15, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant1: {inst: inst17, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant2: {inst: inst28, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant3: {inst: inst15, generic: generic0, index: generic_inst_in_decl0, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant4: {inst: inst17, generic: generic0, index: generic_inst_in_decl1, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant5: {inst: inst28, generic: generic0, index: generic_inst_in_decl2, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant6: {inst: inst41, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant7: {inst: inst43, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant8: {inst: inst45, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant9: {inst: inst43, generic: generic0, index: generic_inst_in_def0, kind: checked}
|
|
|
-// CHECK:STDOUT: symbolic_constant10: {inst: inst45, generic: generic0, index: generic_inst_in_def1, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant0: {inst: inst16, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant1: {inst: inst18, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant2: {inst: inst29, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant3: {inst: inst16, generic: generic0, index: generic_inst_in_decl0, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant4: {inst: inst18, generic: generic0, index: generic_inst_in_decl1, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant5: {inst: inst29, generic: generic0, index: generic_inst_in_decl2, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant6: {inst: inst42, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant7: {inst: inst44, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant8: {inst: inst46, generic: generic<none>, index: generic_inst<none>, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant9: {inst: inst44, generic: generic0, index: generic_inst_in_def0, kind: checked}
|
|
|
+// CHECK:STDOUT: symbolic_constant10: {inst: inst46, generic: generic0, index: generic_inst_in_def1, kind: checked}
|
|
|
// CHECK:STDOUT: inst_blocks:
|
|
|
// CHECK:STDOUT: inst_block_empty: {}
|
|
|
// CHECK:STDOUT: exports:
|
|
|
-// CHECK:STDOUT: 0: inst35
|
|
|
+// CHECK:STDOUT: 0: inst36
|
|
|
// CHECK:STDOUT: import_refs: {}
|
|
|
// CHECK:STDOUT: global_init: {}
|
|
|
// CHECK:STDOUT: inst_block4: {}
|
|
|
// CHECK:STDOUT: inst_block5:
|
|
|
-// CHECK:STDOUT: 0: inst16
|
|
|
+// CHECK:STDOUT: 0: inst17
|
|
|
// CHECK:STDOUT: inst_block6:
|
|
|
-// CHECK:STDOUT: 0: inst18
|
|
|
+// CHECK:STDOUT: 0: inst19
|
|
|
// CHECK:STDOUT: inst_block7:
|
|
|
-// CHECK:STDOUT: 0: inst21
|
|
|
-// CHECK:STDOUT: inst_block8:
|
|
|
// CHECK:STDOUT: 0: inst22
|
|
|
-// CHECK:STDOUT: 1: inst24
|
|
|
+// CHECK:STDOUT: inst_block8:
|
|
|
+// CHECK:STDOUT: 0: inst23
|
|
|
+// CHECK:STDOUT: 1: inst25
|
|
|
// CHECK:STDOUT: inst_block9:
|
|
|
-// CHECK:STDOUT: 0: inst32
|
|
|
-// CHECK:STDOUT: 1: inst33
|
|
|
+// CHECK:STDOUT: 0: inst33
|
|
|
+// CHECK:STDOUT: 1: inst34
|
|
|
// CHECK:STDOUT: inst_block10:
|
|
|
-// CHECK:STDOUT: 0: inst16
|
|
|
-// CHECK:STDOUT: 1: inst20
|
|
|
-// CHECK:STDOUT: 2: inst21
|
|
|
-// CHECK:STDOUT: 3: inst30
|
|
|
-// CHECK:STDOUT: 4: inst31
|
|
|
+// CHECK:STDOUT: 0: inst17
|
|
|
+// CHECK:STDOUT: 1: inst21
|
|
|
+// CHECK:STDOUT: 2: inst22
|
|
|
+// CHECK:STDOUT: 3: inst31
|
|
|
+// CHECK:STDOUT: 4: inst32
|
|
|
// CHECK:STDOUT: inst_block11:
|
|
|
-// CHECK:STDOUT: 0: inst22
|
|
|
-// CHECK:STDOUT: 1: inst24
|
|
|
-// CHECK:STDOUT: 2: inst26
|
|
|
-// CHECK:STDOUT: 3: inst27
|
|
|
-// CHECK:STDOUT: 4: inst29
|
|
|
-// CHECK:STDOUT: 5: inst14
|
|
|
-// CHECK:STDOUT: 6: inst32
|
|
|
-// CHECK:STDOUT: 7: inst18
|
|
|
-// CHECK:STDOUT: 8: inst19
|
|
|
-// CHECK:STDOUT: 9: inst33
|
|
|
-// CHECK:STDOUT: 10: inst34
|
|
|
+// CHECK:STDOUT: 0: inst23
|
|
|
+// CHECK:STDOUT: 1: inst25
|
|
|
+// CHECK:STDOUT: 2: inst27
|
|
|
+// CHECK:STDOUT: 3: inst28
|
|
|
+// CHECK:STDOUT: 4: inst30
|
|
|
+// CHECK:STDOUT: 5: inst15
|
|
|
+// CHECK:STDOUT: 6: inst33
|
|
|
+// CHECK:STDOUT: 7: inst19
|
|
|
+// CHECK:STDOUT: 8: inst20
|
|
|
+// CHECK:STDOUT: 9: inst34
|
|
|
+// CHECK:STDOUT: 10: inst35
|
|
|
// CHECK:STDOUT: inst_block12:
|
|
|
-// CHECK:STDOUT: 0: inst14
|
|
|
-// CHECK:STDOUT: inst_block13:
|
|
|
// CHECK:STDOUT: 0: inst15
|
|
|
+// CHECK:STDOUT: inst_block13:
|
|
|
+// CHECK:STDOUT: 0: inst16
|
|
|
// CHECK:STDOUT: inst_block14:
|
|
|
-// CHECK:STDOUT: 0: inst36
|
|
|
-// CHECK:STDOUT: 1: inst37
|
|
|
-// CHECK:STDOUT: 2: inst38
|
|
|
+// CHECK:STDOUT: 0: inst37
|
|
|
+// CHECK:STDOUT: 1: inst38
|
|
|
+// CHECK:STDOUT: 2: inst39
|
|
|
// CHECK:STDOUT: inst_block15:
|
|
|
-// CHECK:STDOUT: 0: inst15
|
|
|
-// CHECK:STDOUT: 1: inst17
|
|
|
-// CHECK:STDOUT: 2: inst28
|
|
|
+// CHECK:STDOUT: 0: inst16
|
|
|
+// CHECK:STDOUT: 1: inst18
|
|
|
+// CHECK:STDOUT: 2: inst29
|
|
|
// CHECK:STDOUT: inst_block16:
|
|
|
-// CHECK:STDOUT: 0: inst46
|
|
|
-// CHECK:STDOUT: 1: inst47
|
|
|
-// CHECK:STDOUT: 2: inst48
|
|
|
-// CHECK:STDOUT: 3: inst50
|
|
|
-// CHECK:STDOUT: 4: inst52
|
|
|
-// CHECK:STDOUT: 5: inst53
|
|
|
-// CHECK:STDOUT: 6: inst54
|
|
|
-// CHECK:STDOUT: 7: inst56
|
|
|
-// CHECK:STDOUT: 8: inst57
|
|
|
-// CHECK:STDOUT: 9: inst58
|
|
|
-// CHECK:STDOUT: 10: inst59
|
|
|
+// CHECK:STDOUT: 0: inst47
|
|
|
+// CHECK:STDOUT: 1: inst48
|
|
|
+// CHECK:STDOUT: 2: inst49
|
|
|
+// CHECK:STDOUT: 3: inst51
|
|
|
+// CHECK:STDOUT: 4: inst53
|
|
|
+// CHECK:STDOUT: 5: inst54
|
|
|
+// CHECK:STDOUT: 6: inst55
|
|
|
+// CHECK:STDOUT: 7: inst57
|
|
|
+// CHECK:STDOUT: 8: inst58
|
|
|
+// CHECK:STDOUT: 9: inst59
|
|
|
+// CHECK:STDOUT: 10: inst60
|
|
|
// CHECK:STDOUT: inst_block17:
|
|
|
-// CHECK:STDOUT: 0: inst46
|
|
|
-// CHECK:STDOUT: 1: inst47
|
|
|
+// CHECK:STDOUT: 0: inst47
|
|
|
+// CHECK:STDOUT: 1: inst48
|
|
|
// CHECK:STDOUT: inst_block18:
|
|
|
-// CHECK:STDOUT: 0: inst52
|
|
|
-// CHECK:STDOUT: 1: inst56
|
|
|
+// CHECK:STDOUT: 0: inst53
|
|
|
+// CHECK:STDOUT: 1: inst57
|
|
|
// CHECK:STDOUT: inst_block19:
|
|
|
-// CHECK:STDOUT: 0: inst60
|
|
|
-// CHECK:STDOUT: 1: inst61
|
|
|
+// CHECK:STDOUT: 0: inst61
|
|
|
+// CHECK:STDOUT: 1: inst62
|
|
|
// CHECK:STDOUT: inst_block20:
|
|
|
-// CHECK:STDOUT: 0: inst13
|
|
|
-// CHECK:STDOUT: 1: inst35
|
|
|
+// CHECK:STDOUT: 0: inst14
|
|
|
+// CHECK:STDOUT: 1: inst36
|
|
|
// CHECK:STDOUT: ...
|