From 78ce09fd5ef1c32325daaa89e6022bd1a77cf57a Mon Sep 17 00:00:00 2001 From: Richard Smith Date: Tue, 8 Oct 2024 22:52:45 +0000 Subject: [PATCH] Autoupdate --- .../testdata/function/generic/deduce.carbon | 20 +++++++++---------- .../check/testdata/impl/lookup/generic.carbon | 20 +++++++++---------- 2 files changed, 20 insertions(+), 20 deletions(-) diff --git a/toolchain/check/testdata/function/generic/deduce.carbon b/toolchain/check/testdata/function/generic/deduce.carbon index 8c0d159e44a09..8bf08054fed7d 100644 --- a/toolchain/check/testdata/function/generic/deduce.carbon +++ b/toolchain/check/testdata/function/generic/deduce.carbon @@ -575,12 +575,12 @@ fn CallImplicitNotDeducible() { // CHECK:STDOUT: %x.patt: @StructParam.%.1 (%.2) = binding_pattern x // CHECK:STDOUT: } { // CHECK:STDOUT: %T.param: type = param T, runtime_param -// CHECK:STDOUT: %T.loc8: type = bind_symbolic_name T, 0, %T.param [symbolic = %T.1 (constants.%T)] -// CHECK:STDOUT: %T.ref: type = name_ref T, %T.loc8 [symbolic = %T.1 (constants.%T)] +// CHECK:STDOUT: %T.loc4: type = bind_symbolic_name T, 0, %T.param [symbolic = %T.1 (constants.%T)] +// CHECK:STDOUT: %T.ref: type = name_ref T, %T.loc4 [symbolic = %T.1 (constants.%T)] // CHECK:STDOUT: %int.make_type_32: init type = call constants.%Int32() [template = i32] -// CHECK:STDOUT: %.loc8_41.1: type = value_of_initializer %int.make_type_32 [template = i32] -// CHECK:STDOUT: %.loc8_41.2: type = converted %int.make_type_32, %.loc8_41.1 [template = i32] -// CHECK:STDOUT: %.loc8_44: type = struct_type {.a: %T, .b: i32} [symbolic = %.1 (constants.%.2)] +// CHECK:STDOUT: %.loc4_41.1: type = value_of_initializer %int.make_type_32 [template = i32] +// CHECK:STDOUT: %.loc4_41.2: type = converted %int.make_type_32, %.loc4_41.1 [template = i32] +// CHECK:STDOUT: %.loc4_44: type = struct_type {.a: %T, .b: i32} [symbolic = %.1 (constants.%.2)] // CHECK:STDOUT: %x.param: @StructParam.%.1 (%.2) = param x, runtime_param0 // CHECK:STDOUT: %x: @StructParam.%.1 (%.2) = bind_name x, %x.param // CHECK:STDOUT: } @@ -589,19 +589,19 @@ fn CallImplicitNotDeducible() { // CHECK:STDOUT: // CHECK:STDOUT: fn @Int32() -> type = "int.make_type_32"; // CHECK:STDOUT: -// CHECK:STDOUT: generic fn @StructParam(%T.loc8: type) { +// CHECK:STDOUT: generic fn @StructParam(%T.loc4: type) { // CHECK:STDOUT: %T.1: type = bind_symbolic_name T, 0 [symbolic = %T.1 (constants.%T)] // CHECK:STDOUT: %.1: type = struct_type {.a: @StructParam.%T.1 (%T), .b: i32} [symbolic = %.1 (constants.%.2)] // CHECK:STDOUT: -// CHECK:STDOUT: fn[%T.loc8: type](%x: @StructParam.%.1 (%.2)); +// CHECK:STDOUT: fn[%T.loc4: type](%x: @StructParam.%.1 (%.2)); // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: fn @CallStructParam() { // CHECK:STDOUT: !entry: // CHECK:STDOUT: %StructParam.ref: %StructParam.type = name_ref StructParam, file.%StructParam.decl [template = constants.%StructParam] -// CHECK:STDOUT: %.loc18_21: i32 = int_literal 1 [template = constants.%.3] -// CHECK:STDOUT: %.loc18_29: i32 = int_literal 2 [template = constants.%.4] -// CHECK:STDOUT: %.loc18_30: %.5 = struct_literal (%.loc18_21, %.loc18_29) +// CHECK:STDOUT: %.loc14_21: i32 = int_literal 1 [template = constants.%.3] +// CHECK:STDOUT: %.loc14_29: i32 = int_literal 2 [template = constants.%.4] +// CHECK:STDOUT: %.loc14_30: %.5 = struct_literal (%.loc14_21, %.loc14_29) // CHECK:STDOUT: return // CHECK:STDOUT: } // CHECK:STDOUT: diff --git a/toolchain/check/testdata/impl/lookup/generic.carbon b/toolchain/check/testdata/impl/lookup/generic.carbon index bc6488d378f1e..36e55cecee2dc 100644 --- a/toolchain/check/testdata/impl/lookup/generic.carbon +++ b/toolchain/check/testdata/impl/lookup/generic.carbon @@ -450,7 +450,7 @@ fn G(x: A) { // CHECK:STDOUT: %T => constants.%.5 // CHECK:STDOUT: } // CHECK:STDOUT: -// CHECK:STDOUT: --- fail_todo_deduced_type_argument.carbon +// CHECK:STDOUT: --- deduced_type_argument.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %HasF.type: type = interface_type @HasF [template] @@ -590,8 +590,8 @@ fn G(x: A) { // CHECK:STDOUT: %x.ref: %C.3 = name_ref x, %x // CHECK:STDOUT: %HasF.ref: type = name_ref HasF, file.%HasF.decl [template = constants.%HasF.type] // CHECK:STDOUT: %F.ref: %.2 = name_ref F, @HasF.%.loc5 [template = constants.%.3] -// CHECK:STDOUT: %.loc16: %F.type.1 = interface_witness_access constants.%.8, element0 [template = constants.%F.3] -// CHECK:STDOUT: %F.call: init %.1 = call %.loc16() +// CHECK:STDOUT: %.loc15: %F.type.1 = interface_witness_access constants.%.8, element0 [template = constants.%F.3] +// CHECK:STDOUT: %F.call: init %.1 = call %.loc15() // CHECK:STDOUT: return // CHECK:STDOUT: } // CHECK:STDOUT: @@ -642,7 +642,7 @@ fn G(x: A) { // CHECK:STDOUT: // CHECK:STDOUT: specific @F.2(constants.%.4) {} // CHECK:STDOUT: -// CHECK:STDOUT: --- fail_todo_deduced_interface_argument.carbon +// CHECK:STDOUT: --- deduced_interface_argument.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic] @@ -778,13 +778,13 @@ fn G(x: A) { // CHECK:STDOUT: !entry: // CHECK:STDOUT: %x.ref: %.4 = name_ref x, %x // CHECK:STDOUT: %HasF.ref: %HasF.type.1 = name_ref HasF, file.%HasF.decl [template = constants.%HasF] -// CHECK:STDOUT: %.loc14_12: %.4 = struct_literal () -// CHECK:STDOUT: %.loc14_10: type = converted %.loc14_12, constants.%.4 [template = constants.%.4] +// CHECK:STDOUT: %.loc13_12: %.4 = struct_literal () +// CHECK:STDOUT: %.loc13_10: type = converted %.loc13_12, constants.%.4 [template = constants.%.4] // CHECK:STDOUT: %HasF.type: type = interface_type @HasF, @HasF(constants.%.4) [template = constants.%HasF.type.3] -// CHECK:STDOUT: %.loc14_14: %.6 = specific_constant @HasF.%.loc5, @HasF(constants.%.4) [template = constants.%.7] -// CHECK:STDOUT: %F.ref: %.6 = name_ref F, %.loc14_14 [template = constants.%.7] -// CHECK:STDOUT: %.loc14_4: %F.type.3 = interface_witness_access constants.%.8, element0 [template = constants.%F.4] -// CHECK:STDOUT: %F.call: init %.1 = call %.loc14_4() +// CHECK:STDOUT: %.loc13_14: %.6 = specific_constant @HasF.%.loc5, @HasF(constants.%.4) [template = constants.%.7] +// CHECK:STDOUT: %F.ref: %.6 = name_ref F, %.loc13_14 [template = constants.%.7] +// CHECK:STDOUT: %.loc13_4: %F.type.3 = interface_witness_access constants.%.8, element0 [template = constants.%F.4] +// CHECK:STDOUT: %F.call: init %.1 = call %.loc13_4() // CHECK:STDOUT: return // CHECK:STDOUT: } // CHECK:STDOUT: