diff --git a/toolchain/check/testdata/array/array_in_place.carbon b/toolchain/check/testdata/array/array_in_place.carbon index 45aae2491067..8602573d8a18 100644 --- a/toolchain/check/testdata/array/array_in_place.carbon +++ b/toolchain/check/testdata/array/array_in_place.carbon @@ -25,13 +25,13 @@ fn G() { // CHECK:STDOUT: %.loc10_29.1: type = array_type %.loc10_28, (i32, i32, i32) // CHECK:STDOUT: %.loc10_29.2: type = ptr_type [(i32, i32, i32); 2] // CHECK:STDOUT: %v: ref [(i32, i32, i32); 2] = var "v" -// CHECK:STDOUT: %F.ref.loc10_34: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc10_34: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_42.3: ref (i32, i32, i32) = splice_block %.loc10_42.2 { // CHECK:STDOUT: %.loc10_42.1: i32 = int_literal 0 // CHECK:STDOUT: %.loc10_42.2: ref (i32, i32, i32) = array_index %v, %.loc10_42.1 // CHECK:STDOUT: } // CHECK:STDOUT: %.loc10_35: init (i32, i32, i32) = call %F.ref.loc10_34() to %.loc10_42.3 -// CHECK:STDOUT: %F.ref.loc10_39: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc10_39: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_42.6: ref (i32, i32, i32) = splice_block %.loc10_42.5 { // CHECK:STDOUT: %.loc10_42.4: i32 = int_literal 1 // CHECK:STDOUT: %.loc10_42.5: ref (i32, i32, i32) = array_index %v, %.loc10_42.4 diff --git a/toolchain/check/testdata/array/assign_return_value.carbon b/toolchain/check/testdata/array/assign_return_value.carbon index f10b054e314e..ec95f48e350c 100644 --- a/toolchain/check/testdata/array/assign_return_value.carbon +++ b/toolchain/check/testdata/array/assign_return_value.carbon @@ -29,7 +29,7 @@ fn Run() { // CHECK:STDOUT: %.loc10_17.1: type = array_type %.loc10_16, i32 // CHECK:STDOUT: %.loc10_17.2: type = ptr_type [i32; 1] // CHECK:STDOUT: %t: ref [i32; 1] = var "t" -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_22.1: init (i32,) = call %F.ref() // CHECK:STDOUT: %.loc10_22.2: ref (i32,) = temporary_storage // CHECK:STDOUT: %.loc10_22.3: ref (i32,) = temporary %.loc10_22.2, %.loc10_22.1 diff --git a/toolchain/check/testdata/array/function_param.carbon b/toolchain/check/testdata/array/function_param.carbon index 51c61a855df6..4d473a534dc5 100644 --- a/toolchain/check/testdata/array/function_param.carbon +++ b/toolchain/check/testdata/array/function_param.carbon @@ -30,7 +30,7 @@ fn G() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: fn @G() -> i32 { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc12_13: i32 = int_literal 1 // CHECK:STDOUT: %.loc12_16: i32 = int_literal 2 // CHECK:STDOUT: %.loc12_19: i32 = int_literal 3 diff --git a/toolchain/check/testdata/class/basic.carbon b/toolchain/check/testdata/class/basic.carbon index 769533622a14..f92899262880 100644 --- a/toolchain/check/testdata/class/basic.carbon +++ b/toolchain/check/testdata/class/basic.carbon @@ -54,7 +54,7 @@ fn Run() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: fn @Run() -> i32 { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Class.ref: type = name_reference "Class", package.%Class +// CHECK:STDOUT: %Class.ref: type = name_reference "Class", file.%Class // CHECK:STDOUT: %F.ref: = name_reference "F", @Class.%F // CHECK:STDOUT: %.loc22_18: i32 = int_literal 4 // CHECK:STDOUT: %.loc22_17.1: init i32 = call %F.ref(%.loc22_18) diff --git a/toolchain/check/testdata/class/fail_incomplete.carbon b/toolchain/check/testdata/class/fail_incomplete.carbon index 53e4f64be904..26a8eb2e7577 100644 --- a/toolchain/check/testdata/class/fail_incomplete.carbon +++ b/toolchain/check/testdata/class/fail_incomplete.carbon @@ -144,7 +144,7 @@ fn CallReturnIncomplete() { // CHECK:STDOUT: // CHECK:STDOUT: fn @CallClassFunction() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Class.ref: type = name_reference "Class", package.%Class +// CHECK:STDOUT: %Class.ref: type = name_reference "Class", file.%Class // CHECK:STDOUT: %Function.ref: = name_reference "Function", // CHECK:STDOUT: return // CHECK:STDOUT: } @@ -172,7 +172,7 @@ fn CallReturnIncomplete() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Let(%p: Class*) { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Class.ref: type = name_reference "Class", package.%Class +// CHECK:STDOUT: %Class.ref: type = name_reference "Class", file.%Class // CHECK:STDOUT: %p.ref: Class* = name_reference "p", %p // CHECK:STDOUT: %.loc78: ref Class = dereference %p.ref // CHECK:STDOUT: %c: = bind_name "c", @@ -185,18 +185,18 @@ fn CallReturnIncomplete() { // CHECK:STDOUT: // CHECK:STDOUT: fn @CallTakeIncomplete(%p: Class*) { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %TakeIncomplete.ref.loc103: = name_reference "TakeIncomplete", package.%TakeIncomplete +// CHECK:STDOUT: %TakeIncomplete.ref.loc103: = name_reference "TakeIncomplete", file.%TakeIncomplete // CHECK:STDOUT: %p.ref: Class* = name_reference "p", %p // CHECK:STDOUT: %.loc103_18: ref Class = dereference %p.ref // CHECK:STDOUT: %.loc103_17: type = tuple_type () -// CHECK:STDOUT: %TakeIncomplete.ref.loc114: = name_reference "TakeIncomplete", package.%TakeIncomplete +// CHECK:STDOUT: %TakeIncomplete.ref.loc114: = name_reference "TakeIncomplete", file.%TakeIncomplete // CHECK:STDOUT: %.loc114: {} = struct_literal () // CHECK:STDOUT: return // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: fn @CallReturnIncomplete() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %ReturnIncomplete.ref: = name_reference "ReturnIncomplete", package.%ReturnIncomplete +// CHECK:STDOUT: %ReturnIncomplete.ref: = name_reference "ReturnIncomplete", file.%ReturnIncomplete // CHECK:STDOUT: %.loc118: init = call %ReturnIncomplete.ref() // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/class/fail_reorder.carbon b/toolchain/check/testdata/class/fail_reorder.carbon index e323f8b58200..04c1559ccf72 100644 --- a/toolchain/check/testdata/class/fail_reorder.carbon +++ b/toolchain/check/testdata/class/fail_reorder.carbon @@ -38,7 +38,7 @@ class Class { // CHECK:STDOUT: // CHECK:STDOUT: fn @G() -> i32 { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Class.ref: type = name_reference "Class", package.%Class +// CHECK:STDOUT: %Class.ref: type = name_reference "Class", file.%Class // CHECK:STDOUT: %F.ref: = name_reference "F", // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/class/scope.carbon b/toolchain/check/testdata/class/scope.carbon index 8cc73a243626..1dbb45367ddd 100644 --- a/toolchain/check/testdata/class/scope.carbon +++ b/toolchain/check/testdata/class/scope.carbon @@ -46,9 +46,9 @@ fn Run() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: fn @Run() -> i32 { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref.loc18_10: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc18_10: = name_reference "F", file.%F // CHECK:STDOUT: %.loc18_11.1: init i32 = call %F.ref.loc18_10() -// CHECK:STDOUT: %Class.ref: type = name_reference "Class", package.%Class +// CHECK:STDOUT: %Class.ref: type = name_reference "Class", file.%Class // CHECK:STDOUT: %F.ref.loc18_21: = name_reference "F", @Class.%F // CHECK:STDOUT: %.loc18_23.1: init i32 = call %F.ref.loc18_21() // CHECK:STDOUT: %.loc18_11.2: ref i32 = temporary_storage diff --git a/toolchain/check/testdata/expression_category/in_place_tuple_initialization.carbon b/toolchain/check/testdata/expression_category/in_place_tuple_initialization.carbon index c3e41b683ca7..ab9195e2739f 100644 --- a/toolchain/check/testdata/expression_category/in_place_tuple_initialization.carbon +++ b/toolchain/check/testdata/expression_category/in_place_tuple_initialization.carbon @@ -29,16 +29,16 @@ fn H() -> i32 { // CHECK:STDOUT: !entry: // CHECK:STDOUT: %.loc10_19: (type, type) = tuple_literal (i32, i32) // CHECK:STDOUT: %v: ref (i32, i32) = var "v" -// CHECK:STDOUT: %F.ref.loc10: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc10: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_7: ref (i32, i32) = splice_block %v {} // CHECK:STDOUT: %.loc10_24: init (i32, i32) = call %F.ref.loc10() to %.loc10_7 // CHECK:STDOUT: assign %v, %.loc10_24 // CHECK:STDOUT: %v.ref: ref (i32, i32) = name_reference "v", %v -// CHECK:STDOUT: %F.ref.loc11: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc11: = name_reference "F", file.%F // CHECK:STDOUT: %.loc11_3: ref (i32, i32) = splice_block %v.ref {} // CHECK:STDOUT: %.loc11_8: init (i32, i32) = call %F.ref.loc11() to %.loc11_3 // CHECK:STDOUT: assign %v.ref, %.loc11_8 -// CHECK:STDOUT: %F.ref.loc12: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc12: = name_reference "F", file.%F // CHECK:STDOUT: %.loc9: ref (i32, i32) = splice_block %return {} // CHECK:STDOUT: %.loc12: init (i32, i32) = call %F.ref.loc12() to %.loc9 // CHECK:STDOUT: return %.loc12 @@ -46,7 +46,7 @@ fn H() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: fn @H() -> i32 { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc16_11.1: ref (i32, i32) = temporary_storage // CHECK:STDOUT: %.loc16_11.2: init (i32, i32) = call %G.ref() to %.loc16_11.1 // CHECK:STDOUT: %.loc16_14: i32 = int_literal 0 diff --git a/toolchain/check/testdata/function/call/empty_struct.carbon b/toolchain/check/testdata/function/call/empty_struct.carbon index b63692909da6..9f26c8cc09c0 100644 --- a/toolchain/check/testdata/function/call/empty_struct.carbon +++ b/toolchain/check/testdata/function/call/empty_struct.carbon @@ -26,7 +26,7 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Echo.ref: = name_reference "Echo", package.%Echo +// CHECK:STDOUT: %Echo.ref: = name_reference "Echo", file.%Echo // CHECK:STDOUT: %.loc12_9.1: {} = struct_literal () // CHECK:STDOUT: %.loc12_9.2: {} = struct_value %.loc12_9.1, () // CHECK:STDOUT: %.loc12_7: init {} = call %Echo.ref(%.loc12_9.2) diff --git a/toolchain/check/testdata/function/call/empty_tuple.carbon b/toolchain/check/testdata/function/call/empty_tuple.carbon index 85e05228be0b..e62ee4675c1e 100644 --- a/toolchain/check/testdata/function/call/empty_tuple.carbon +++ b/toolchain/check/testdata/function/call/empty_tuple.carbon @@ -25,7 +25,7 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Echo.ref: = name_reference "Echo", package.%Echo +// CHECK:STDOUT: %Echo.ref: = name_reference "Echo", file.%Echo // CHECK:STDOUT: %.loc12_9.1: () = tuple_literal () // CHECK:STDOUT: %.loc12_9.2: () = tuple_value %.loc12_9.1, () // CHECK:STDOUT: %.loc12_7: init () = call %Echo.ref(%.loc12_9.2) diff --git a/toolchain/check/testdata/function/call/fail_param_count.carbon b/toolchain/check/testdata/function/call/fail_param_count.carbon index 1c37139163d3..eef26363ce44 100644 --- a/toolchain/check/testdata/function/call/fail_param_count.carbon +++ b/toolchain/check/testdata/function/call/fail_param_count.carbon @@ -79,18 +79,18 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Run0.ref.loc18: = name_reference "Run0", package.%Run0 +// CHECK:STDOUT: %Run0.ref.loc18: = name_reference "Run0", file.%Run0 // CHECK:STDOUT: %.loc18_8: i32 = int_literal 1 // CHECK:STDOUT: %.loc18_7: type = tuple_type () -// CHECK:STDOUT: %Run0.ref.loc25: = name_reference "Run0", package.%Run0 +// CHECK:STDOUT: %Run0.ref.loc25: = name_reference "Run0", file.%Run0 // CHECK:STDOUT: %.loc25_8: i32 = int_literal 0 // CHECK:STDOUT: %.loc25_11: i32 = int_literal 1 -// CHECK:STDOUT: %Run1.ref.loc33: = name_reference "Run1", package.%Run1 -// CHECK:STDOUT: %Run1.ref.loc40: = name_reference "Run1", package.%Run1 +// CHECK:STDOUT: %Run1.ref.loc33: = name_reference "Run1", file.%Run1 +// CHECK:STDOUT: %Run1.ref.loc40: = name_reference "Run1", file.%Run1 // CHECK:STDOUT: %.loc40_8: i32 = int_literal 0 // CHECK:STDOUT: %.loc40_11: i32 = int_literal 1 -// CHECK:STDOUT: %Run2.ref.loc48: = name_reference "Run2", package.%Run2 -// CHECK:STDOUT: %Run2.ref.loc55: = name_reference "Run2", package.%Run2 +// CHECK:STDOUT: %Run2.ref.loc48: = name_reference "Run2", file.%Run2 +// CHECK:STDOUT: %Run2.ref.loc55: = name_reference "Run2", file.%Run2 // CHECK:STDOUT: %.loc55: i32 = int_literal 0 // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/function/call/fail_param_type.carbon b/toolchain/check/testdata/function/call/fail_param_type.carbon index f9cc641fcf57..57b09fdb19be 100644 --- a/toolchain/check/testdata/function/call/fail_param_type.carbon +++ b/toolchain/check/testdata/function/call/fail_param_type.carbon @@ -28,7 +28,7 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: fn @F() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc16_5: f64 = real_literal 10e-1 // CHECK:STDOUT: %.loc16_4: type = tuple_type () // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/function/call/fail_return_type_mismatch.carbon b/toolchain/check/testdata/function/call/fail_return_type_mismatch.carbon index 70c6485fe702..08c6ae56559e 100644 --- a/toolchain/check/testdata/function/call/fail_return_type_mismatch.carbon +++ b/toolchain/check/testdata/function/call/fail_return_type_mismatch.carbon @@ -27,7 +27,7 @@ fn Run() { // CHECK:STDOUT: fn @Run() { // CHECK:STDOUT: !entry: // CHECK:STDOUT: %x: ref i32 = var "x" -// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc13: init f64 = call %Foo.ref() // CHECK:STDOUT: assign %x, // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/function/call/i32.carbon b/toolchain/check/testdata/function/call/i32.carbon index 9813a0334f2f..daa7ce5bf594 100644 --- a/toolchain/check/testdata/function/call/i32.carbon +++ b/toolchain/check/testdata/function/call/i32.carbon @@ -26,7 +26,7 @@ fn Main() { // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: // CHECK:STDOUT: %b: ref i32 = var "b" -// CHECK:STDOUT: %Echo.ref: = name_reference "Echo", package.%Echo +// CHECK:STDOUT: %Echo.ref: = name_reference "Echo", file.%Echo // CHECK:STDOUT: %.loc12_21: i32 = int_literal 1 // CHECK:STDOUT: %.loc12_20: init i32 = call %Echo.ref(%.loc12_21) // CHECK:STDOUT: assign %b, %.loc12_20 diff --git a/toolchain/check/testdata/function/call/more_param_ir.carbon b/toolchain/check/testdata/function/call/more_param_ir.carbon index eec86db32a70..f414a9fb9b9c 100644 --- a/toolchain/check/testdata/function/call/more_param_ir.carbon +++ b/toolchain/check/testdata/function/call/more_param_ir.carbon @@ -23,7 +23,7 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc11_7: i32 = int_literal 1 // CHECK:STDOUT: %.loc11_11: i32 = int_literal 2 // CHECK:STDOUT: %.loc11_9: i32 = add %.loc11_7, %.loc11_11 diff --git a/toolchain/check/testdata/function/call/params_one.carbon b/toolchain/check/testdata/function/call/params_one.carbon index 2e393f86ae81..cab4ce6185c5 100644 --- a/toolchain/check/testdata/function/call/params_one.carbon +++ b/toolchain/check/testdata/function/call/params_one.carbon @@ -22,7 +22,7 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc10_7: i32 = int_literal 1 // CHECK:STDOUT: %.loc10_6.1: type = tuple_type () // CHECK:STDOUT: %.loc10_6.2: init () = call %Foo.ref(%.loc10_7) diff --git a/toolchain/check/testdata/function/call/params_one_comma.carbon b/toolchain/check/testdata/function/call/params_one_comma.carbon index 273534d3ae9f..627a511dddb1 100644 --- a/toolchain/check/testdata/function/call/params_one_comma.carbon +++ b/toolchain/check/testdata/function/call/params_one_comma.carbon @@ -23,11 +23,11 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Foo.ref.loc10: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref.loc10: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc10_7: i32 = int_literal 1 // CHECK:STDOUT: %.loc10_6.1: type = tuple_type () // CHECK:STDOUT: %.loc10_6.2: init () = call %Foo.ref.loc10(%.loc10_7) -// CHECK:STDOUT: %Foo.ref.loc11: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref.loc11: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc11_7: i32 = int_literal 1 // CHECK:STDOUT: %.loc11_6: init () = call %Foo.ref.loc11(%.loc11_7) // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/function/call/params_two.carbon b/toolchain/check/testdata/function/call/params_two.carbon index 54f2f54636a2..2c9917d9fe46 100644 --- a/toolchain/check/testdata/function/call/params_two.carbon +++ b/toolchain/check/testdata/function/call/params_two.carbon @@ -22,7 +22,7 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc10_7: i32 = int_literal 1 // CHECK:STDOUT: %.loc10_10: i32 = int_literal 2 // CHECK:STDOUT: %.loc10_6.1: type = tuple_type () diff --git a/toolchain/check/testdata/function/call/params_two_comma.carbon b/toolchain/check/testdata/function/call/params_two_comma.carbon index ec5c2c90c529..6ed36a864734 100644 --- a/toolchain/check/testdata/function/call/params_two_comma.carbon +++ b/toolchain/check/testdata/function/call/params_two_comma.carbon @@ -23,12 +23,12 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Foo.ref.loc10: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref.loc10: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc10_7: i32 = int_literal 1 // CHECK:STDOUT: %.loc10_10: i32 = int_literal 2 // CHECK:STDOUT: %.loc10_6.1: type = tuple_type () // CHECK:STDOUT: %.loc10_6.2: init () = call %Foo.ref.loc10(%.loc10_7, %.loc10_10) -// CHECK:STDOUT: %Foo.ref.loc11: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref.loc11: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc11_7: i32 = int_literal 1 // CHECK:STDOUT: %.loc11_10: i32 = int_literal 2 // CHECK:STDOUT: %.loc11_6: init () = call %Foo.ref.loc11(%.loc11_7, %.loc11_10) diff --git a/toolchain/check/testdata/function/call/params_zero.carbon b/toolchain/check/testdata/function/call/params_zero.carbon index 506944e6d246..67644f092177 100644 --- a/toolchain/check/testdata/function/call/params_zero.carbon +++ b/toolchain/check/testdata/function/call/params_zero.carbon @@ -22,7 +22,7 @@ fn Main() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", package.%Foo +// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", file.%Foo // CHECK:STDOUT: %.loc10_6.1: type = tuple_type () // CHECK:STDOUT: %.loc10_6.2: init () = call %Foo.ref() // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/function/call/return_implicit.carbon b/toolchain/check/testdata/function/call/return_implicit.carbon index a17a88da05bb..898b6dabb99d 100644 --- a/toolchain/check/testdata/function/call/return_implicit.carbon +++ b/toolchain/check/testdata/function/call/return_implicit.carbon @@ -26,7 +26,7 @@ fn Main() { // CHECK:STDOUT: %.loc11_11.1: type = tuple_type () // CHECK:STDOUT: %.loc11_11.2: () = tuple_literal () // CHECK:STDOUT: %b: ref () = var "b" -// CHECK:STDOUT: %MakeImplicitEmptyTuple.ref: = name_reference "MakeImplicitEmptyTuple", package.%MakeImplicitEmptyTuple +// CHECK:STDOUT: %MakeImplicitEmptyTuple.ref: = name_reference "MakeImplicitEmptyTuple", file.%MakeImplicitEmptyTuple // CHECK:STDOUT: %.loc11_37: init () = call %MakeImplicitEmptyTuple.ref() // CHECK:STDOUT: assign %b, %.loc11_37 // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/function/declaration/simple.carbon b/toolchain/check/testdata/function/declaration/simple.carbon index f3b3e26df8c5..dd9f5dc0d9a3 100644 --- a/toolchain/check/testdata/function/declaration/simple.carbon +++ b/toolchain/check/testdata/function/declaration/simple.carbon @@ -17,7 +17,7 @@ fn G() { F(); } // CHECK:STDOUT: // CHECK:STDOUT: fn @G() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc9_11.1: type = tuple_type () // CHECK:STDOUT: %.loc9_11.2: init () = call %F.ref() // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/if/else.carbon b/toolchain/check/testdata/if/else.carbon index bf68da22a831..63022b94bf34 100644 --- a/toolchain/check/testdata/if/else.carbon +++ b/toolchain/check/testdata/if/else.carbon @@ -45,18 +45,18 @@ fn If(b: bool) { // CHECK:STDOUT: if %b.ref br !if.then else br !if.else // CHECK:STDOUT: // CHECK:STDOUT: !if.then: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc13_6.1: type = tuple_type () // CHECK:STDOUT: %.loc13_6.2: init () = call %F.ref() // CHECK:STDOUT: br !if.done // CHECK:STDOUT: // CHECK:STDOUT: !if.else: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc15: init () = call %G.ref() // CHECK:STDOUT: br !if.done // CHECK:STDOUT: // CHECK:STDOUT: !if.done: -// CHECK:STDOUT: %H.ref: = name_reference "H", package.%H +// CHECK:STDOUT: %H.ref: = name_reference "H", file.%H // CHECK:STDOUT: %.loc17: init () = call %H.ref() // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/if/no_else.carbon b/toolchain/check/testdata/if/no_else.carbon index c942bff7af0e..03392d3c50d5 100644 --- a/toolchain/check/testdata/if/no_else.carbon +++ b/toolchain/check/testdata/if/no_else.carbon @@ -36,13 +36,13 @@ fn If(b: bool) { // CHECK:STDOUT: if %b.ref br !if.then else br !if.else // CHECK:STDOUT: // CHECK:STDOUT: !if.then: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc12_6.1: type = tuple_type () // CHECK:STDOUT: %.loc12_6.2: init () = call %F.ref() // CHECK:STDOUT: br !if.else // CHECK:STDOUT: // CHECK:STDOUT: !if.else: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc14: init () = call %G.ref() // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/if_expression/constant_condition.carbon b/toolchain/check/testdata/if_expression/constant_condition.carbon index e9845c199dbf..2321310b058c 100644 --- a/toolchain/check/testdata/if_expression/constant_condition.carbon +++ b/toolchain/check/testdata/if_expression/constant_condition.carbon @@ -40,7 +40,7 @@ fn G() -> i32 { // CHECK:STDOUT: if %.loc11_13 br !if.expr.then else br !if.expr.else // CHECK:STDOUT: // CHECK:STDOUT: !if.expr.then: -// CHECK:STDOUT: %A.ref: = name_reference "A", package.%A +// CHECK:STDOUT: %A.ref: = name_reference "A", file.%A // CHECK:STDOUT: %.loc11_24.1: init i32 = call %A.ref() // CHECK:STDOUT: %.loc11_24.2: ref i32 = temporary_storage // CHECK:STDOUT: %.loc11_24.3: ref i32 = temporary %.loc11_24.2, %.loc11_24.1 @@ -48,7 +48,7 @@ fn G() -> i32 { // CHECK:STDOUT: br !if.expr.result(%.loc11_24.4) // CHECK:STDOUT: // CHECK:STDOUT: !if.expr.else: -// CHECK:STDOUT: %B.ref: = name_reference "B", package.%B +// CHECK:STDOUT: %B.ref: = name_reference "B", file.%B // CHECK:STDOUT: %.loc11_33.1: init i32 = call %B.ref() // CHECK:STDOUT: %.loc11_33.2: ref i32 = temporary_storage // CHECK:STDOUT: %.loc11_33.3: ref i32 = temporary %.loc11_33.2, %.loc11_33.1 @@ -66,7 +66,7 @@ fn G() -> i32 { // CHECK:STDOUT: if %.loc15_13 br !if.expr.then else br !if.expr.else // CHECK:STDOUT: // CHECK:STDOUT: !if.expr.then: -// CHECK:STDOUT: %A.ref: = name_reference "A", package.%A +// CHECK:STDOUT: %A.ref: = name_reference "A", file.%A // CHECK:STDOUT: %.loc15_25.1: init i32 = call %A.ref() // CHECK:STDOUT: %.loc15_25.2: ref i32 = temporary_storage // CHECK:STDOUT: %.loc15_25.3: ref i32 = temporary %.loc15_25.2, %.loc15_25.1 @@ -74,7 +74,7 @@ fn G() -> i32 { // CHECK:STDOUT: br !if.expr.result(%.loc15_25.4) // CHECK:STDOUT: // CHECK:STDOUT: !if.expr.else: -// CHECK:STDOUT: %B.ref: = name_reference "B", package.%B +// CHECK:STDOUT: %B.ref: = name_reference "B", file.%B // CHECK:STDOUT: %.loc15_34.1: init i32 = call %B.ref() // CHECK:STDOUT: %.loc15_34.2: ref i32 = temporary_storage // CHECK:STDOUT: %.loc15_34.3: ref i32 = temporary %.loc15_34.2, %.loc15_34.1 diff --git a/toolchain/check/testdata/if_expression/control_flow.carbon b/toolchain/check/testdata/if_expression/control_flow.carbon index 8a61867269db..ab7a5bbc28a9 100644 --- a/toolchain/check/testdata/if_expression/control_flow.carbon +++ b/toolchain/check/testdata/if_expression/control_flow.carbon @@ -35,7 +35,7 @@ fn F(b: bool) -> i32 { // CHECK:STDOUT: if %b.ref br !if.expr.then else br !if.expr.else // CHECK:STDOUT: // CHECK:STDOUT: !if.expr.then: -// CHECK:STDOUT: %A.ref: = name_reference "A", package.%A +// CHECK:STDOUT: %A.ref: = name_reference "A", file.%A // CHECK:STDOUT: %.loc11_21.1: init i32 = call %A.ref() // CHECK:STDOUT: %.loc11_21.2: ref i32 = temporary_storage // CHECK:STDOUT: %.loc11_21.3: ref i32 = temporary %.loc11_21.2, %.loc11_21.1 @@ -43,7 +43,7 @@ fn F(b: bool) -> i32 { // CHECK:STDOUT: br !if.expr.result(%.loc11_21.4) // CHECK:STDOUT: // CHECK:STDOUT: !if.expr.else: -// CHECK:STDOUT: %B.ref: = name_reference "B", package.%B +// CHECK:STDOUT: %B.ref: = name_reference "B", file.%B // CHECK:STDOUT: %.loc11_30.1: init i32 = call %B.ref() // CHECK:STDOUT: %.loc11_30.2: ref i32 = temporary_storage // CHECK:STDOUT: %.loc11_30.3: ref i32 = temporary %.loc11_30.2, %.loc11_30.1 diff --git a/toolchain/check/testdata/if_expression/struct.carbon b/toolchain/check/testdata/if_expression/struct.carbon index 45579099ce14..deb44ba8bbbf 100644 --- a/toolchain/check/testdata/if_expression/struct.carbon +++ b/toolchain/check/testdata/if_expression/struct.carbon @@ -32,7 +32,7 @@ fn F(cond: bool) { // CHECK:STDOUT: %.loc10_46.5: init i32 = initialize_from %.loc10_45 to %.loc10_46.4 // CHECK:STDOUT: %.loc10_46.6: init {.a: i32, .b: i32} = struct_init %.loc10_46.1, (%.loc10_46.3, %.loc10_46.5) // CHECK:STDOUT: assign %a, %.loc10_46.6 -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %cond.ref: bool = name_reference "cond", %cond // CHECK:STDOUT: if %cond.ref br !if.expr.then else br !if.expr.else // CHECK:STDOUT: diff --git a/toolchain/check/testdata/index/expression_category.carbon b/toolchain/check/testdata/index/expression_category.carbon index 04acd9d09c23..ff00611280bc 100644 --- a/toolchain/check/testdata/index/expression_category.carbon +++ b/toolchain/check/testdata/index/expression_category.carbon @@ -97,7 +97,7 @@ fn ValueBinding(b: [i32; 3]) { // CHECK:STDOUT: %.loc23_6.1: ref [i32; 3] = value_as_reference %b.ref // CHECK:STDOUT: %.loc23_6.2: ref i32 = array_index %.loc23_6.1, %.loc23_5 // CHECK:STDOUT: %.loc23_6.3: i32 = bind_value %.loc23_6.2 -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc24_4.1: ref [i32; 3] = temporary_storage // CHECK:STDOUT: %.loc24_4.2: init [i32; 3] = call %F.ref() to %.loc24_4.1 // CHECK:STDOUT: %.loc24_7: i32 = int_literal 0 diff --git a/toolchain/check/testdata/index/fail_empty_tuple_access.carbon b/toolchain/check/testdata/index/fail_empty_tuple_access.carbon index 6e8620b809cc..d82be1478580 100644 --- a/toolchain/check/testdata/index/fail_empty_tuple_access.carbon +++ b/toolchain/check/testdata/index/fail_empty_tuple_access.carbon @@ -25,7 +25,7 @@ fn Run() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Run() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc13_4.1: type = tuple_type () // CHECK:STDOUT: %.loc13_4.2: init () = call %F.ref() // CHECK:STDOUT: %.loc13_7: i32 = int_literal 0 diff --git a/toolchain/check/testdata/index/fail_expression_category.carbon b/toolchain/check/testdata/index/fail_expression_category.carbon index c3e5d088d038..154ceb454429 100644 --- a/toolchain/check/testdata/index/fail_expression_category.carbon +++ b/toolchain/check/testdata/index/fail_expression_category.carbon @@ -57,7 +57,7 @@ fn G(b: [i32; 3]) { // CHECK:STDOUT: assign %.loc18_6.3, %.loc18_10 // CHECK:STDOUT: %.loc25_14: type = ptr_type i32 // CHECK:STDOUT: %pf: ref i32* = var "pf" -// CHECK:STDOUT: %F.ref.loc25: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc25: = name_reference "F", file.%F // CHECK:STDOUT: %.loc25_20.1: ref [i32; 3] = temporary_storage // CHECK:STDOUT: %.loc25_20.2: init [i32; 3] = call %F.ref.loc25() to %.loc25_20.1 // CHECK:STDOUT: %.loc25_23: i32 = int_literal 0 @@ -66,7 +66,7 @@ fn G(b: [i32; 3]) { // CHECK:STDOUT: %.loc25_24.2: i32 = bind_value %.loc25_24.1 // CHECK:STDOUT: %.loc25_18: i32* = address_of %.loc25_24.2 // CHECK:STDOUT: assign %pf, %.loc25_18 -// CHECK:STDOUT: %F.ref.loc29: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc29: = name_reference "F", file.%F // CHECK:STDOUT: %.loc29_4.1: ref [i32; 3] = temporary_storage // CHECK:STDOUT: %.loc29_4.2: init [i32; 3] = call %F.ref.loc29() to %.loc29_4.1 // CHECK:STDOUT: %.loc29_7: i32 = int_literal 0 diff --git a/toolchain/check/testdata/index/tuple_return_value_access.carbon b/toolchain/check/testdata/index/tuple_return_value_access.carbon index 7c693eb1df58..0924bf7ea5a0 100644 --- a/toolchain/check/testdata/index/tuple_return_value_access.carbon +++ b/toolchain/check/testdata/index/tuple_return_value_access.carbon @@ -25,7 +25,7 @@ fn Run() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: fn @Run() -> i32 { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_11.1: init (i32,) = call %F.ref() // CHECK:STDOUT: %.loc10_14: i32 = int_literal 0 // CHECK:STDOUT: %.loc10_11.2: ref (i32,) = temporary_storage diff --git a/toolchain/check/testdata/let/global.carbon b/toolchain/check/testdata/let/global.carbon index b23a1014c602..417b66156264 100644 --- a/toolchain/check/testdata/let/global.carbon +++ b/toolchain/check/testdata/let/global.carbon @@ -16,6 +16,6 @@ fn F() -> i32 { return n; } // CHECK:STDOUT: // CHECK:STDOUT: fn @F() -> i32 { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %n.ref: i32 = name_reference "n", package.%n +// CHECK:STDOUT: %n.ref: i32 = name_reference "n", file.%n // CHECK:STDOUT: return %n.ref // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/namespace/function.carbon b/toolchain/check/testdata/namespace/function.carbon index 77268180a9bc..cae13f6dab22 100644 --- a/toolchain/check/testdata/namespace/function.carbon +++ b/toolchain/check/testdata/namespace/function.carbon @@ -36,8 +36,8 @@ fn Bar() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Bar() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", package.%.loc7 -// CHECK:STDOUT: %Baz.ref: = name_reference "Baz", package.%Baz.loc13 +// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", file.%.loc7 +// CHECK:STDOUT: %Baz.ref: = name_reference "Baz", file.%Baz.loc13 // CHECK:STDOUT: %.loc17_10.1: type = tuple_type () // CHECK:STDOUT: %.loc17_10.2: init () = call %Baz.ref() // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/namespace/nested.carbon b/toolchain/check/testdata/namespace/nested.carbon index 553e7e5e63e7..de37fb2f817e 100644 --- a/toolchain/check/testdata/namespace/nested.carbon +++ b/toolchain/check/testdata/namespace/nested.carbon @@ -28,9 +28,9 @@ fn Foo.Bar.Baz() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Baz() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", package.%.loc7 -// CHECK:STDOUT: %Bar.ref: = name_reference "Bar", package.%.loc8 -// CHECK:STDOUT: %Wiz.ref: = name_reference "Wiz", package.%Wiz +// CHECK:STDOUT: %Foo.ref: = name_reference "Foo", file.%.loc7 +// CHECK:STDOUT: %Bar.ref: = name_reference "Bar", file.%.loc8 +// CHECK:STDOUT: %Wiz.ref: = name_reference "Wiz", file.%Wiz // CHECK:STDOUT: %.loc14_14.1: type = tuple_type () // CHECK:STDOUT: %.loc14_14.2: init () = call %Wiz.ref() // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/operators/and.carbon b/toolchain/check/testdata/operators/and.carbon index 5344d9d3be60..019a4f535b98 100644 --- a/toolchain/check/testdata/operators/and.carbon +++ b/toolchain/check/testdata/operators/and.carbon @@ -31,7 +31,7 @@ fn And() -> bool { // CHECK:STDOUT: // CHECK:STDOUT: fn @And() -> bool { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc11_11.1: init bool = call %F.ref() // CHECK:STDOUT: %.loc11_11.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc11_11.3: ref bool = temporary %.loc11_11.2, %.loc11_11.1 @@ -40,7 +40,7 @@ fn And() -> bool { // CHECK:STDOUT: if %.loc11_11.4 br !and.rhs else br !and.result(%.loc11_14.1) // CHECK:STDOUT: // CHECK:STDOUT: !and.rhs: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc11_19.1: init bool = call %G.ref() // CHECK:STDOUT: %.loc11_19.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc11_19.3: ref bool = temporary %.loc11_19.2, %.loc11_19.1 diff --git a/toolchain/check/testdata/operators/fail_assignment_to_non_assignable.carbon b/toolchain/check/testdata/operators/fail_assignment_to_non_assignable.carbon index dc8d5630ba5c..3044aed3ab03 100644 --- a/toolchain/check/testdata/operators/fail_assignment_to_non_assignable.carbon +++ b/toolchain/check/testdata/operators/fail_assignment_to_non_assignable.carbon @@ -57,7 +57,7 @@ fn Main() { // CHECK:STDOUT: %.loc13_3: i32 = int_literal 1 // CHECK:STDOUT: %.loc13_7: i32 = int_literal 2 // CHECK:STDOUT: assign %.loc13_3, %.loc13_7 -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc17_4: init i32 = call %F.ref() // CHECK:STDOUT: %.loc17_9: i32 = int_literal 1 // CHECK:STDOUT: assign %.loc17_4, %.loc17_9 diff --git a/toolchain/check/testdata/operators/or.carbon b/toolchain/check/testdata/operators/or.carbon index f46de0eefb52..66944f0f1684 100644 --- a/toolchain/check/testdata/operators/or.carbon +++ b/toolchain/check/testdata/operators/or.carbon @@ -31,7 +31,7 @@ fn Or() -> bool { // CHECK:STDOUT: // CHECK:STDOUT: fn @Or() -> bool { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc11_11.1: init bool = call %F.ref() // CHECK:STDOUT: %.loc11_11.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc11_11.3: ref bool = temporary %.loc11_11.2, %.loc11_11.1 @@ -41,7 +41,7 @@ fn Or() -> bool { // CHECK:STDOUT: if %.loc11_14.1 br !or.rhs else br !or.result(%.loc11_14.2) // CHECK:STDOUT: // CHECK:STDOUT: !or.rhs: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc11_18.1: init bool = call %G.ref() // CHECK:STDOUT: %.loc11_18.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc11_18.3: ref bool = temporary %.loc11_18.2, %.loc11_18.1 diff --git a/toolchain/check/testdata/pointer/fail_address_of_value.carbon b/toolchain/check/testdata/pointer/fail_address_of_value.carbon index 4e0736f3dd8e..f7ff93abce97 100644 --- a/toolchain/check/testdata/pointer/fail_address_of_value.carbon +++ b/toolchain/check/testdata/pointer/fail_address_of_value.carbon @@ -130,7 +130,7 @@ fn AddressOfParameter(param: i32) { // CHECK:STDOUT: %.loc42_9: i32 = int_literal 1 // CHECK:STDOUT: %.loc42_7: i32 = add %.loc42_5, %.loc42_9 // CHECK:STDOUT: %.loc42_3: i32* = address_of %.loc42_7 -// CHECK:STDOUT: %H.ref: = name_reference "H", package.%H +// CHECK:STDOUT: %H.ref: = name_reference "H", file.%H // CHECK:STDOUT: %.loc46_5.1: init {.a: i32} = call %H.ref() // CHECK:STDOUT: %.loc46_5.2: ref {.a: i32} = temporary_storage // CHECK:STDOUT: %.loc46_5.3: ref {.a: i32} = temporary %.loc46_5.2, %.loc46_5.1 @@ -144,7 +144,7 @@ fn AddressOfParameter(param: i32) { // CHECK:STDOUT: // CHECK:STDOUT: fn @AddressOfCall() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc57_5: init i32 = call %G.ref() // CHECK:STDOUT: %.loc57_3: i32* = address_of %.loc57_5 // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/pointer/fail_dereference_function.carbon b/toolchain/check/testdata/pointer/fail_dereference_function.carbon index 0c6087c51559..ca04927cbc66 100644 --- a/toolchain/check/testdata/pointer/fail_dereference_function.carbon +++ b/toolchain/check/testdata/pointer/fail_dereference_function.carbon @@ -17,7 +17,7 @@ fn A() { // CHECK:STDOUT: // CHECK:STDOUT: fn @A() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %A.ref: = name_reference "A", package.%A +// CHECK:STDOUT: %A.ref: = name_reference "A", file.%A // CHECK:STDOUT: %.loc11: ref = dereference // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/pointer/fail_dereference_namespace.carbon b/toolchain/check/testdata/pointer/fail_dereference_namespace.carbon index f10a27b90115..c4940d519f97 100644 --- a/toolchain/check/testdata/pointer/fail_dereference_namespace.carbon +++ b/toolchain/check/testdata/pointer/fail_dereference_namespace.carbon @@ -20,7 +20,7 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: fn @F() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %A.ref: = name_reference "A", package.%.loc7 +// CHECK:STDOUT: %A.ref: = name_reference "A", file.%.loc7 // CHECK:STDOUT: %.loc13: ref = dereference // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/struct/fail_member_of_function.carbon b/toolchain/check/testdata/struct/fail_member_of_function.carbon index 2eb8a6b3ccb3..26e46192dcb0 100644 --- a/toolchain/check/testdata/struct/fail_member_of_function.carbon +++ b/toolchain/check/testdata/struct/fail_member_of_function.carbon @@ -17,6 +17,6 @@ fn A() { // CHECK:STDOUT: // CHECK:STDOUT: fn @A() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %A.ref: = name_reference "A", package.%A +// CHECK:STDOUT: %A.ref: = name_reference "A", file.%A // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/struct/literal_member_access.carbon b/toolchain/check/testdata/struct/literal_member_access.carbon index 5ed6537b41a4..a9d6388341d1 100644 --- a/toolchain/check/testdata/struct/literal_member_access.carbon +++ b/toolchain/check/testdata/struct/literal_member_access.carbon @@ -21,7 +21,7 @@ fn F() -> i32 { // CHECK:STDOUT: fn @F() -> i32 { // CHECK:STDOUT: !entry: // CHECK:STDOUT: %.loc10_16: i32 = int_literal 1 -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc10_25.1: ref {.x: i32, .y: i32, .z: i32} = temporary_storage // CHECK:STDOUT: %.loc10_25.2: init {.x: i32, .y: i32, .z: i32} = call %G.ref() to %.loc10_25.1 // CHECK:STDOUT: %.loc10_34: i32 = int_literal 3 diff --git a/toolchain/check/testdata/struct/nested_struct_in_place.carbon b/toolchain/check/testdata/struct/nested_struct_in_place.carbon index bb91f9f14f7d..3493cfd4d624 100644 --- a/toolchain/check/testdata/struct/nested_struct_in_place.carbon +++ b/toolchain/check/testdata/struct/nested_struct_in_place.carbon @@ -26,10 +26,10 @@ fn G() { // CHECK:STDOUT: %.loc10_51.2: type = struct_type {.a: (i32, i32, i32)*, .b: (i32, i32, i32)*} // CHECK:STDOUT: %.loc10_51.3: type = ptr_type {.a: (i32, i32, i32)*, .b: (i32, i32, i32)*} // CHECK:STDOUT: %v: ref {.a: (i32, i32, i32), .b: (i32, i32, i32)} = var "v" -// CHECK:STDOUT: %F.ref.loc10_61: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc10_61: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_74.1: ref (i32, i32, i32) = struct_access %v, member0 // CHECK:STDOUT: %.loc10_62: init (i32, i32, i32) = call %F.ref.loc10_61() to %.loc10_74.1 -// CHECK:STDOUT: %F.ref.loc10_71: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc10_71: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_74.2: ref (i32, i32, i32) = struct_access %v, member1 // CHECK:STDOUT: %.loc10_72: init (i32, i32, i32) = call %F.ref.loc10_71() to %.loc10_74.2 // CHECK:STDOUT: %.loc10_74.3: {.a: (i32, i32, i32), .b: (i32, i32, i32)} = struct_literal (%.loc10_62, %.loc10_72) diff --git a/toolchain/check/testdata/tuples/nested_tuple_in_place.carbon b/toolchain/check/testdata/tuples/nested_tuple_in_place.carbon index b2140cade670..193f52d0400c 100644 --- a/toolchain/check/testdata/tuples/nested_tuple_in_place.carbon +++ b/toolchain/check/testdata/tuples/nested_tuple_in_place.carbon @@ -33,10 +33,10 @@ fn H() { // CHECK:STDOUT: %.loc10_43.4: type = tuple_type ((i32, i32, i32)*, (i32, i32, i32)*) // CHECK:STDOUT: %.loc10_43.5: type = ptr_type ((i32, i32, i32)*, (i32, i32, i32)*) // CHECK:STDOUT: %v: ref ((i32, i32, i32), (i32, i32, i32)) = var "v" -// CHECK:STDOUT: %F.ref.loc10_48: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc10_48: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_56.1: ref (i32, i32, i32) = tuple_access %v, member0 // CHECK:STDOUT: %.loc10_49: init (i32, i32, i32) = call %F.ref.loc10_48() to %.loc10_56.1 -// CHECK:STDOUT: %F.ref.loc10_53: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref.loc10_53: = name_reference "F", file.%F // CHECK:STDOUT: %.loc10_56.2: ref (i32, i32, i32) = tuple_access %v, member1 // CHECK:STDOUT: %.loc10_54: init (i32, i32, i32) = call %F.ref.loc10_53() to %.loc10_56.2 // CHECK:STDOUT: %.loc10_56.3: ((i32, i32, i32), (i32, i32, i32)) = tuple_literal (%.loc10_49, %.loc10_54) @@ -55,7 +55,7 @@ fn H() { // CHECK:STDOUT: %.loc14_36.5: type = ptr_type (i32, (i32, i32, i32)*, i32) // CHECK:STDOUT: %v: ref (i32, (i32, i32, i32), i32) = var "v" // CHECK:STDOUT: %.loc14_41: i32 = int_literal 1 -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc14_50.1: ref (i32, i32, i32) = tuple_access %v, member1 // CHECK:STDOUT: %.loc14_45: init (i32, i32, i32) = call %F.ref() to %.loc14_50.1 // CHECK:STDOUT: %.loc14_49: i32 = int_literal 2 diff --git a/toolchain/check/testdata/var/global_lookup_in_scope.carbon b/toolchain/check/testdata/var/global_lookup_in_scope.carbon index 74c74fda1a1f..be06d8dc95f7 100644 --- a/toolchain/check/testdata/var/global_lookup_in_scope.carbon +++ b/toolchain/check/testdata/var/global_lookup_in_scope.carbon @@ -20,7 +20,7 @@ fn Main() { // CHECK:STDOUT: fn @Main() { // CHECK:STDOUT: !entry: // CHECK:STDOUT: %y: ref i32 = var "y" -// CHECK:STDOUT: %x.ref: ref i32 = name_reference "x", package.%x +// CHECK:STDOUT: %x.ref: ref i32 = name_reference "x", file.%x // CHECK:STDOUT: %.loc10: i32 = bind_value %x.ref // CHECK:STDOUT: assign %y, %.loc10 // CHECK:STDOUT: return diff --git a/toolchain/check/testdata/while/break_continue.carbon b/toolchain/check/testdata/while/break_continue.carbon index 9ad6f00a9de4..522ef0a6bfb8 100644 --- a/toolchain/check/testdata/while/break_continue.carbon +++ b/toolchain/check/testdata/while/break_continue.carbon @@ -59,7 +59,7 @@ fn While() { // CHECK:STDOUT: br !while.cond.loc17 // CHECK:STDOUT: // CHECK:STDOUT: !while.cond.loc17: -// CHECK:STDOUT: %A.ref: = name_reference "A", package.%A +// CHECK:STDOUT: %A.ref: = name_reference "A", file.%A // CHECK:STDOUT: %.loc17_11.1: init bool = call %A.ref() // CHECK:STDOUT: %.loc17_11.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc17_11.3: ref bool = temporary %.loc17_11.2, %.loc17_11.1 @@ -67,7 +67,7 @@ fn While() { // CHECK:STDOUT: if %.loc17_11.4 br !while.body.loc17 else br !while.done.loc17 // CHECK:STDOUT: // CHECK:STDOUT: !while.body.loc17: -// CHECK:STDOUT: %B.ref: = name_reference "B", package.%B +// CHECK:STDOUT: %B.ref: = name_reference "B", file.%B // CHECK:STDOUT: %.loc18_10.1: init bool = call %B.ref() // CHECK:STDOUT: %.loc18_10.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc18_10.3: ref bool = temporary %.loc18_10.2, %.loc18_10.1 @@ -78,7 +78,7 @@ fn While() { // CHECK:STDOUT: br !while.cond.loc17 // CHECK:STDOUT: // CHECK:STDOUT: !if.else.loc18: -// CHECK:STDOUT: %C.ref: = name_reference "C", package.%C +// CHECK:STDOUT: %C.ref: = name_reference "C", file.%C // CHECK:STDOUT: %.loc19_10.1: init bool = call %C.ref() // CHECK:STDOUT: %.loc19_10.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc19_10.3: ref bool = temporary %.loc19_10.2, %.loc19_10.1 @@ -92,7 +92,7 @@ fn While() { // CHECK:STDOUT: br !while.cond.loc20 // CHECK:STDOUT: // CHECK:STDOUT: !while.cond.loc20: -// CHECK:STDOUT: %D.ref: = name_reference "D", package.%D +// CHECK:STDOUT: %D.ref: = name_reference "D", file.%D // CHECK:STDOUT: %.loc20_13.1: init bool = call %D.ref() // CHECK:STDOUT: %.loc20_13.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc20_13.3: ref bool = temporary %.loc20_13.2, %.loc20_13.1 @@ -100,7 +100,7 @@ fn While() { // CHECK:STDOUT: if %.loc20_13.4 br !while.body.loc20 else br !while.done.loc20 // CHECK:STDOUT: // CHECK:STDOUT: !while.body.loc20: -// CHECK:STDOUT: %E.ref: = name_reference "E", package.%E +// CHECK:STDOUT: %E.ref: = name_reference "E", file.%E // CHECK:STDOUT: %.loc21_12.1: init bool = call %E.ref() // CHECK:STDOUT: %.loc21_12.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc21_12.3: ref bool = temporary %.loc21_12.2, %.loc21_12.1 @@ -111,7 +111,7 @@ fn While() { // CHECK:STDOUT: br !while.cond.loc20 // CHECK:STDOUT: // CHECK:STDOUT: !if.else.loc21: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc22_12.1: init bool = call %F.ref() // CHECK:STDOUT: %.loc22_12.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc22_12.3: ref bool = temporary %.loc22_12.2, %.loc22_12.1 @@ -125,7 +125,7 @@ fn While() { // CHECK:STDOUT: br !while.cond.loc20 // CHECK:STDOUT: // CHECK:STDOUT: !while.done.loc20: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc24_10.1: init bool = call %G.ref() // CHECK:STDOUT: %.loc24_10.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc24_10.3: ref bool = temporary %.loc24_10.2, %.loc24_10.1 @@ -136,7 +136,7 @@ fn While() { // CHECK:STDOUT: br !while.cond.loc17 // CHECK:STDOUT: // CHECK:STDOUT: !if.else.loc24: -// CHECK:STDOUT: %H.ref: = name_reference "H", package.%H +// CHECK:STDOUT: %H.ref: = name_reference "H", file.%H // CHECK:STDOUT: %.loc25_10.1: init bool = call %H.ref() // CHECK:STDOUT: %.loc25_10.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc25_10.3: ref bool = temporary %.loc25_10.2, %.loc25_10.1 diff --git a/toolchain/check/testdata/while/unreachable_end.carbon b/toolchain/check/testdata/while/unreachable_end.carbon index 859f1fa5e096..47ad2ed4098f 100644 --- a/toolchain/check/testdata/while/unreachable_end.carbon +++ b/toolchain/check/testdata/while/unreachable_end.carbon @@ -37,13 +37,13 @@ fn While() { // CHECK:STDOUT: // CHECK:STDOUT: fn @While() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc14_4.1: type = tuple_type () // CHECK:STDOUT: %.loc14_4.2: init () = call %F.ref() // CHECK:STDOUT: br !while.cond // CHECK:STDOUT: // CHECK:STDOUT: !while.cond: -// CHECK:STDOUT: %Cond.ref: = name_reference "Cond", package.%Cond +// CHECK:STDOUT: %Cond.ref: = name_reference "Cond", file.%Cond // CHECK:STDOUT: %.loc15_14.1: init bool = call %Cond.ref() // CHECK:STDOUT: %.loc15_14.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc15_14.3: ref bool = temporary %.loc15_14.2, %.loc15_14.1 @@ -51,12 +51,12 @@ fn While() { // CHECK:STDOUT: if %.loc15_14.4 br !while.body else br !while.done // CHECK:STDOUT: // CHECK:STDOUT: !while.body: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc16: init () = call %G.ref() // CHECK:STDOUT: return // CHECK:STDOUT: // CHECK:STDOUT: !while.done: -// CHECK:STDOUT: %H.ref: = name_reference "H", package.%H +// CHECK:STDOUT: %H.ref: = name_reference "H", file.%H // CHECK:STDOUT: %.loc19: init () = call %H.ref() // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/check/testdata/while/while.carbon b/toolchain/check/testdata/while/while.carbon index 1c7ffbae4ec7..bb6d56b6cd55 100644 --- a/toolchain/check/testdata/while/while.carbon +++ b/toolchain/check/testdata/while/while.carbon @@ -36,13 +36,13 @@ fn While() { // CHECK:STDOUT: // CHECK:STDOUT: fn @While() { // CHECK:STDOUT: !entry: -// CHECK:STDOUT: %F.ref: = name_reference "F", package.%F +// CHECK:STDOUT: %F.ref: = name_reference "F", file.%F // CHECK:STDOUT: %.loc14_4.1: type = tuple_type () // CHECK:STDOUT: %.loc14_4.2: init () = call %F.ref() // CHECK:STDOUT: br !while.cond // CHECK:STDOUT: // CHECK:STDOUT: !while.cond: -// CHECK:STDOUT: %Cond.ref: = name_reference "Cond", package.%Cond +// CHECK:STDOUT: %Cond.ref: = name_reference "Cond", file.%Cond // CHECK:STDOUT: %.loc15_14.1: init bool = call %Cond.ref() // CHECK:STDOUT: %.loc15_14.2: ref bool = temporary_storage // CHECK:STDOUT: %.loc15_14.3: ref bool = temporary %.loc15_14.2, %.loc15_14.1 @@ -50,12 +50,12 @@ fn While() { // CHECK:STDOUT: if %.loc15_14.4 br !while.body else br !while.done // CHECK:STDOUT: // CHECK:STDOUT: !while.body: -// CHECK:STDOUT: %G.ref: = name_reference "G", package.%G +// CHECK:STDOUT: %G.ref: = name_reference "G", file.%G // CHECK:STDOUT: %.loc16: init () = call %G.ref() // CHECK:STDOUT: br !while.cond // CHECK:STDOUT: // CHECK:STDOUT: !while.done: -// CHECK:STDOUT: %H.ref: = name_reference "H", package.%H +// CHECK:STDOUT: %H.ref: = name_reference "H", file.%H // CHECK:STDOUT: %.loc18: init () = call %H.ref() // CHECK:STDOUT: return // CHECK:STDOUT: } diff --git a/toolchain/sem_ir/formatter.cpp b/toolchain/sem_ir/formatter.cpp index 25644495362d..b7eb6d4a1cb6 100644 --- a/toolchain/sem_ir/formatter.cpp +++ b/toolchain/sem_ir/formatter.cpp @@ -27,7 +27,7 @@ class NodeNamer { // NOLINTNEXTLINE(performance-enum-size) enum class ScopeIndex : int32_t { None = -1, - Package = 0, + File = 0, }; static_assert(sizeof(ScopeIndex) == sizeof(FunctionId)); @@ -40,10 +40,9 @@ class NodeNamer { labels.resize(sem_ir.node_blocks().size()); scopes.resize(1 + sem_ir.functions().size() + sem_ir.classes().size()); - // Build the package scope. - GetScopeInfo(ScopeIndex::Package).name = - globals.AddNameUnchecked("package"); - CollectNamesInBlock(ScopeIndex::Package, sem_ir.top_node_block_id()); + // Build the file scope. + GetScopeInfo(ScopeIndex::File).name = globals.AddNameUnchecked("file"); + CollectNamesInBlock(ScopeIndex::File, sem_ir.top_node_block_id()); // Build each function scope. for (auto [i, fn] : llvm::enumerate(sem_ir.functions().array_ref())) { @@ -478,14 +477,13 @@ class Formatter { auto Format() -> void { out_ << "file \"" << sem_ir_.filename() << "\" {\n"; - // TODO: Include information from the package declaration, once we + // TODO: Include information from the `package` declaration, once we // fully support it. // TODO: Handle the case where there are multiple top-level node blocks. // For example, there may be branching in the initializer of a global or a // type expression. if (auto block_id = sem_ir_.top_node_block_id(); block_id.is_valid()) { - llvm::SaveAndRestore package_scope(scope_, - NodeNamer::ScopeIndex::Package); + llvm::SaveAndRestore file_scope(scope_, NodeNamer::ScopeIndex::File); FormatCodeBlock(block_id); } out_ << "}\n";