diff --git a/toolchain/semantics/semantics_node.h b/toolchain/semantics/semantics_node.h index 1e8fdf0721cf..a8539a05c514 100644 --- a/toolchain/semantics/semantics_node.h +++ b/toolchain/semantics/semantics_node.h @@ -170,9 +170,9 @@ class SemanticsNode { node.index); } auto GetAsCrossReference() const - -> std::pair { + -> std::pair { CARBON_CHECK(kind_ == SemanticsNodeKind::CrossReference); - return {SemanticsCrossReferenceIRId(arg0_), SemanticsNodeBlockId(arg1_)}; + return {SemanticsCrossReferenceIRId(arg0_), SemanticsNodeId(arg1_)}; } // TODO: The signature should be added as a parameter. diff --git a/toolchain/semantics/testdata/basics/empty.carbon b/toolchain/semantics/testdata/basics/empty.carbon index 8a2d20041219..79640c3b914d 100644 --- a/toolchain/semantics/testdata/basics/empty.carbon +++ b/toolchain/semantics/testdata/basics/empty.carbon @@ -12,10 +12,10 @@ // CHECK:STDOUT: strings: [ // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: ] // CHECK:STDOUT: node_blocks: [ // CHECK:STDOUT: [ diff --git a/toolchain/semantics/testdata/basics/empty_decl.carbon b/toolchain/semantics/testdata/basics/empty_decl.carbon deleted file mode 100644 index 5816c3f100b6..000000000000 --- a/toolchain/semantics/testdata/basics/empty_decl.carbon +++ /dev/null @@ -1,25 +0,0 @@ -// Part of the Carbon Language project, under the Apache License v2.0 with LLVM -// Exceptions. See /LICENSE for license information. -// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception -// -// AUTOUPDATE -// RUN: %{carbon-run-semantics} -// CHECK:STDOUT: cross_reference_irs_size: 1 -// CHECK:STDOUT: callables: [ -// CHECK:STDOUT: ] -// CHECK:STDOUT: integer_literals: [ -// CHECK:STDOUT: ] -// CHECK:STDOUT: strings: [ -// CHECK:STDOUT: ] -// CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, -// CHECK:STDOUT: ] -// CHECK:STDOUT: node_blocks: [ -// CHECK:STDOUT: [ -// CHECK:STDOUT: ], -// CHECK:STDOUT: ] - -; diff --git a/toolchain/semantics/testdata/basics/fail_name_lookup.carbon b/toolchain/semantics/testdata/basics/fail_name_lookup.carbon index 35343e75b74b..7cb4decd9683 100644 --- a/toolchain/semantics/testdata/basics/fail_name_lookup.carbon +++ b/toolchain/semantics/testdata/basics/fail_name_lookup.carbon @@ -14,10 +14,10 @@ // CHECK:STDOUT: Main, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: FunctionDefinition, arg0: node4, arg1: block0}, diff --git a/toolchain/semantics/testdata/function/basic.carbon b/toolchain/semantics/testdata/function/basic.carbon index f9d509720d6d..bc02c5fb69d7 100644 --- a/toolchain/semantics/testdata/function/basic.carbon +++ b/toolchain/semantics/testdata/function/basic.carbon @@ -14,10 +14,10 @@ // CHECK:STDOUT: Foo, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: FunctionDefinition, arg0: node4, arg1: block0}, diff --git a/toolchain/semantics/testdata/function/order.carbon b/toolchain/semantics/testdata/function/order.carbon index b1f859911462..7d96eb82b2b9 100644 --- a/toolchain/semantics/testdata/function/order.carbon +++ b/toolchain/semantics/testdata/function/order.carbon @@ -18,10 +18,10 @@ // CHECK:STDOUT: Baz, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: FunctionDefinition, arg0: node4, arg1: block0}, diff --git a/toolchain/semantics/testdata/function/params_one.carbon b/toolchain/semantics/testdata/function/params_one.carbon index 514452536f6a..e71293d0b29f 100644 --- a/toolchain/semantics/testdata/function/params_one.carbon +++ b/toolchain/semantics/testdata/function/params_one.carbon @@ -15,10 +15,10 @@ // CHECK:STDOUT: Foo, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4, type: node2}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, diff --git a/toolchain/semantics/testdata/function/params_one_comma.carbon b/toolchain/semantics/testdata/function/params_one_comma.carbon index 50ee09c292c8..fbb60ab6308c 100644 --- a/toolchain/semantics/testdata/function/params_one_comma.carbon +++ b/toolchain/semantics/testdata/function/params_one_comma.carbon @@ -15,10 +15,10 @@ // CHECK:STDOUT: Foo, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4, type: node2}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, diff --git a/toolchain/semantics/testdata/function/params_two.carbon b/toolchain/semantics/testdata/function/params_two.carbon index 1258b476d80b..0b6c527fa63f 100644 --- a/toolchain/semantics/testdata/function/params_two.carbon +++ b/toolchain/semantics/testdata/function/params_two.carbon @@ -16,10 +16,10 @@ // CHECK:STDOUT: Foo, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4, type: node2}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, diff --git a/toolchain/semantics/testdata/function/params_two_comma.carbon b/toolchain/semantics/testdata/function/params_two_comma.carbon index 14a989f0fd98..fb906787a143 100644 --- a/toolchain/semantics/testdata/function/params_two_comma.carbon +++ b/toolchain/semantics/testdata/function/params_two_comma.carbon @@ -16,10 +16,10 @@ // CHECK:STDOUT: Foo, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4, type: node2}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, diff --git a/toolchain/semantics/testdata/operators/binary_op.carbon b/toolchain/semantics/testdata/operators/binary_op.carbon index 4988e99087b7..d365b0efd9b4 100644 --- a/toolchain/semantics/testdata/operators/binary_op.carbon +++ b/toolchain/semantics/testdata/operators/binary_op.carbon @@ -16,10 +16,10 @@ // CHECK:STDOUT: Main, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: IntegerLiteral, arg0: int0, type: node2}, diff --git a/toolchain/semantics/testdata/operators/fail_type_mismatch.carbon b/toolchain/semantics/testdata/operators/fail_type_mismatch.carbon index 611ea0b4b3f9..c906fdcf37de 100644 --- a/toolchain/semantics/testdata/operators/fail_type_mismatch.carbon +++ b/toolchain/semantics/testdata/operators/fail_type_mismatch.carbon @@ -15,10 +15,10 @@ // CHECK:STDOUT: Main, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: IntegerLiteral, arg0: int0, type: node2}, diff --git a/toolchain/semantics/testdata/operators/fail_type_mismatch_once.carbon b/toolchain/semantics/testdata/operators/fail_type_mismatch_once.carbon index cd8df7d6c2b2..5d6449fbda81 100644 --- a/toolchain/semantics/testdata/operators/fail_type_mismatch_once.carbon +++ b/toolchain/semantics/testdata/operators/fail_type_mismatch_once.carbon @@ -16,10 +16,10 @@ // CHECK:STDOUT: Main, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: IntegerLiteral, arg0: int0, type: node2}, diff --git a/toolchain/semantics/testdata/return/literal.carbon b/toolchain/semantics/testdata/return/literal.carbon index 7e3bad511916..3377d1be0688 100644 --- a/toolchain/semantics/testdata/return/literal.carbon +++ b/toolchain/semantics/testdata/return/literal.carbon @@ -15,10 +15,10 @@ // CHECK:STDOUT: Main, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: IntegerLiteral, arg0: int0, type: node2}, diff --git a/toolchain/semantics/testdata/return/trivial.carbon b/toolchain/semantics/testdata/return/trivial.carbon index 88e8b0035286..43e39a6045fd 100644 --- a/toolchain/semantics/testdata/return/trivial.carbon +++ b/toolchain/semantics/testdata/return/trivial.carbon @@ -14,10 +14,10 @@ // CHECK:STDOUT: Main, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: Return}, diff --git a/toolchain/semantics/testdata/var/decl.carbon b/toolchain/semantics/testdata/var/decl.carbon index ff400b8955dd..9fac674104ee 100644 --- a/toolchain/semantics/testdata/var/decl.carbon +++ b/toolchain/semantics/testdata/var/decl.carbon @@ -15,10 +15,10 @@ // CHECK:STDOUT: x, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, diff --git a/toolchain/semantics/testdata/var/decl_with_init.carbon b/toolchain/semantics/testdata/var/decl_with_init.carbon index dbb781a3cb0d..f4beb635879c 100644 --- a/toolchain/semantics/testdata/var/decl_with_init.carbon +++ b/toolchain/semantics/testdata/var/decl_with_init.carbon @@ -16,10 +16,10 @@ // CHECK:STDOUT: x, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, diff --git a/toolchain/semantics/testdata/var/fail_duplicate_decl.carbon b/toolchain/semantics/testdata/var/fail_duplicate_decl.carbon index d981268e7e00..cccc39f97688 100644 --- a/toolchain/semantics/testdata/var/fail_duplicate_decl.carbon +++ b/toolchain/semantics/testdata/var/fail_duplicate_decl.carbon @@ -17,10 +17,10 @@ // CHECK:STDOUT: x, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, diff --git a/toolchain/semantics/testdata/var/fail_init_type_mismatch.carbon b/toolchain/semantics/testdata/var/fail_init_type_mismatch.carbon index 3170715c90c9..ed5efc3ec98e 100644 --- a/toolchain/semantics/testdata/var/fail_init_type_mismatch.carbon +++ b/toolchain/semantics/testdata/var/fail_init_type_mismatch.carbon @@ -15,10 +15,10 @@ // CHECK:STDOUT: x, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, diff --git a/toolchain/semantics/testdata/var/fail_init_with_self.carbon b/toolchain/semantics/testdata/var/fail_init_with_self.carbon index 0cafed732e45..9984dddc4822 100644 --- a/toolchain/semantics/testdata/var/fail_init_with_self.carbon +++ b/toolchain/semantics/testdata/var/fail_init_with_self.carbon @@ -15,10 +15,10 @@ // CHECK:STDOUT: x, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, diff --git a/toolchain/semantics/testdata/var/fail_lookup_outside_scope.carbon b/toolchain/semantics/testdata/var/fail_lookup_outside_scope.carbon index 4790e3a905cd..ab21effcf16a 100644 --- a/toolchain/semantics/testdata/var/fail_lookup_outside_scope.carbon +++ b/toolchain/semantics/testdata/var/fail_lookup_outside_scope.carbon @@ -16,10 +16,10 @@ // CHECK:STDOUT: y, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, diff --git a/toolchain/semantics/testdata/var/global_decl.carbon b/toolchain/semantics/testdata/var/global_decl.carbon index 6f3f219912d3..442dc03fbe20 100644 --- a/toolchain/semantics/testdata/var/global_decl.carbon +++ b/toolchain/semantics/testdata/var/global_decl.carbon @@ -13,10 +13,10 @@ // CHECK:STDOUT: x, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4, type: node2}, // CHECK:STDOUT: ] diff --git a/toolchain/semantics/testdata/var/global_decl_with_init.carbon b/toolchain/semantics/testdata/var/global_decl_with_init.carbon index ab160301b08c..537d29431732 100644 --- a/toolchain/semantics/testdata/var/global_decl_with_init.carbon +++ b/toolchain/semantics/testdata/var/global_decl_with_init.carbon @@ -14,10 +14,10 @@ // CHECK:STDOUT: x, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4, type: node2}, // CHECK:STDOUT: {kind: IntegerLiteral, arg0: int0, type: node2}, diff --git a/toolchain/semantics/testdata/var/global_lookup.carbon b/toolchain/semantics/testdata/var/global_lookup.carbon index 4ee8a4bf7784..cf1c5610bdaf 100644 --- a/toolchain/semantics/testdata/var/global_lookup.carbon +++ b/toolchain/semantics/testdata/var/global_lookup.carbon @@ -15,10 +15,10 @@ // CHECK:STDOUT: y, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4, type: node2}, // CHECK:STDOUT: {kind: IntegerLiteral, arg0: int0, type: node2}, diff --git a/toolchain/semantics/testdata/var/global_lookup_in_scope.carbon b/toolchain/semantics/testdata/var/global_lookup_in_scope.carbon index 38d52750b5e6..3f5b1b766514 100644 --- a/toolchain/semantics/testdata/var/global_lookup_in_scope.carbon +++ b/toolchain/semantics/testdata/var/global_lookup_in_scope.carbon @@ -17,10 +17,10 @@ // CHECK:STDOUT: y, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: VarStorage, type: node2}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4, type: node2}, // CHECK:STDOUT: {kind: IntegerLiteral, arg0: int0, type: node2}, diff --git a/toolchain/semantics/testdata/var/lookup.carbon b/toolchain/semantics/testdata/var/lookup.carbon index ec95c9701b7f..33b4a681d087 100644 --- a/toolchain/semantics/testdata/var/lookup.carbon +++ b/toolchain/semantics/testdata/var/lookup.carbon @@ -16,10 +16,10 @@ // CHECK:STDOUT: x, // CHECK:STDOUT: ] // CHECK:STDOUT: nodes: [ -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block0, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block1, type: node1}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block2, type: node0}, -// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: block3, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node0, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node1, type: node1}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node2, type: node0}, +// CHECK:STDOUT: {kind: CrossReference, arg0: ir0, arg1: node3, type: node0}, // CHECK:STDOUT: {kind: FunctionDeclaration, arg0: callable0}, // CHECK:STDOUT: {kind: BindName, arg0: str0, arg1: node4}, // CHECK:STDOUT: {kind: VarStorage, type: node2},