diff --git a/toolchain/check/testdata/interop/cpp/builtins.carbon b/toolchain/check/testdata/interop/cpp/builtins.carbon index 8298f8f06cad7..fc8bd7095edc3 100644 --- a/toolchain/check/testdata/interop/cpp/builtins.carbon +++ b/toolchain/check/testdata/interop/cpp/builtins.carbon @@ -549,8 +549,8 @@ fn F() { // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %u32: type = class_type @UInt, @UInt(%int_32) [concrete] // CHECK:STDOUT: %pattern_type.4a9: type = pattern_type %u32 [concrete] -// CHECK:STDOUT: %.15a: type = cpp_overload_set_type @unsigned_int.foo [concrete] -// CHECK:STDOUT: %.afb: %.15a = cpp_overload_set_value @unsigned_int.foo [concrete] +// CHECK:STDOUT: %.15a: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.afb: %.15a = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d47: type = ptr_type %unsigned_int [concrete] // CHECK:STDOUT: %unsigned_int.foo.type: type = fn_type @unsigned_int.foo [concrete] // CHECK:STDOUT: %unsigned_int.foo: %unsigned_int.foo.type = struct_value () [concrete] @@ -566,7 +566,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %unsigned_int.decl: type = class_decl @unsigned_int [concrete = constants.%unsigned_int] {} {} -// CHECK:STDOUT: %.afb: %.15a = cpp_overload_set_value @unsigned_int.foo [concrete = constants.%.afb] +// CHECK:STDOUT: %.afb: %.15a = cpp_overload_set_value @ [concrete = constants.%.afb] // CHECK:STDOUT: %unsigned_int.foo.decl: %unsigned_int.foo.type = fn_decl @unsigned_int.foo [concrete = constants.%unsigned_int.foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/class/access.carbon b/toolchain/check/testdata/interop/cpp/class/access.carbon index 2c01b84787c1b..69b39203dfa78 100644 --- a/toolchain/check/testdata/interop/cpp/class/access.carbon +++ b/toolchain/check/testdata/interop/cpp/class/access.carbon @@ -492,14 +492,14 @@ fn F() { // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.177: type = cpp_overload_set_type @S.foo [concrete] -// CHECK:STDOUT: %.dcb: %.177 = cpp_overload_set_value @S.foo [concrete] +// CHECK:STDOUT: %.177: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.dcb: %.177 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %S.foo.type: type = fn_type @S.foo [concrete] // CHECK:STDOUT: %S.foo: %S.foo.type = struct_value () [concrete] // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: imports { -// CHECK:STDOUT: %.dcb: %.177 = cpp_overload_set_value @S.foo [concrete = constants.%.dcb] +// CHECK:STDOUT: %.dcb: %.177 = cpp_overload_set_value @ [concrete = constants.%.dcb] // CHECK:STDOUT: %S.foo.decl: %S.foo.type = fn_decl @S.foo [concrete = constants.%S.foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -523,13 +523,13 @@ fn F() { // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C__carbon_thunk [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C__carbon_thunk [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.cd1: type = cpp_overload_set_type @C.foo [concrete] -// CHECK:STDOUT: %.e4a: %.cd1 = cpp_overload_set_value @C.foo [concrete] +// CHECK:STDOUT: %.cd1: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.e4a: %.cd1 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %C.foo.type: type = fn_type @C.foo [concrete] // CHECK:STDOUT: %C.foo: %C.foo.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -544,13 +544,13 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C__carbon_thunk [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.e4a: %.cd1 = cpp_overload_set_value @C.foo [concrete = constants.%.e4a] +// CHECK:STDOUT: %.e4a: %.cd1 = cpp_overload_set_value @ [concrete = constants.%.e4a] // CHECK:STDOUT: %C.foo.decl: %C.foo.type = fn_decl @C.foo [concrete = constants.%C.foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -583,8 +583,8 @@ fn F() { // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %DerivedPublic: type = class_type @DerivedPublic [concrete] -// CHECK:STDOUT: %.5a6: type = cpp_overload_set_type @Base.foo [concrete] -// CHECK:STDOUT: %.607: %.5a6 = cpp_overload_set_value @Base.foo [concrete] +// CHECK:STDOUT: %.5a6: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.607: %.5a6 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %Base.foo.type: type = fn_type @Base.foo [concrete] // CHECK:STDOUT: %Base.foo: %Base.foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -595,7 +595,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %DerivedPublic.decl: type = class_decl @DerivedPublic [concrete = constants.%DerivedPublic] {} {} -// CHECK:STDOUT: %.607: %.5a6 = cpp_overload_set_value @Base.foo [concrete = constants.%.607] +// CHECK:STDOUT: %.607: %.5a6 = cpp_overload_set_value @ [concrete = constants.%.607] // CHECK:STDOUT: %Base.foo.decl: %Base.foo.type = fn_decl @Base.foo [concrete = constants.%Base.foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: diff --git a/toolchain/check/testdata/interop/cpp/class/base.carbon b/toolchain/check/testdata/interop/cpp/class/base.carbon index 673b6f2e87612..77b53ec10faaf 100644 --- a/toolchain/check/testdata/interop/cpp/class/base.carbon +++ b/toolchain/check/testdata/interop/cpp/class/base.carbon @@ -582,15 +582,15 @@ class V { // CHECK:STDOUT: %Derived: type = class_type @Derived [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %Base: type = class_type @Base [concrete] -// CHECK:STDOUT: %.5b0: type = cpp_overload_set_type @f__carbon_thunk [concrete] -// CHECK:STDOUT: %.e54: %.5b0 = cpp_overload_set_value @f__carbon_thunk [concrete] +// CHECK:STDOUT: %.5b0: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.e54: %.5b0 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %const: type = const_type %Base [concrete] // CHECK:STDOUT: %ptr.a97: type = ptr_type %const [concrete] // CHECK:STDOUT: %f__carbon_thunk.type: type = fn_type @f__carbon_thunk [concrete] // CHECK:STDOUT: %f__carbon_thunk: %f__carbon_thunk.type = struct_value () [concrete] // CHECK:STDOUT: %ptr.fb2: type = ptr_type %Base [concrete] -// CHECK:STDOUT: %.7c6: type = cpp_overload_set_type @CallQualified [concrete] -// CHECK:STDOUT: %.362: %.7c6 = cpp_overload_set_value @CallQualified [concrete] +// CHECK:STDOUT: %.7c6: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.362: %.7c6 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %g__carbon_thunk.type: type = fn_type @g__carbon_thunk [concrete] // CHECK:STDOUT: %g__carbon_thunk: %g__carbon_thunk.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -603,13 +603,13 @@ class V { // CHECK:STDOUT: } // CHECK:STDOUT: %Derived.decl: type = class_decl @Derived [concrete = constants.%Derived] {} {} // CHECK:STDOUT: %Base.decl: type = class_decl @Base [concrete = constants.%Base] {} {} -// CHECK:STDOUT: %.e54: %.5b0 = cpp_overload_set_value @f__carbon_thunk [concrete = constants.%.e54] +// CHECK:STDOUT: %.e54: %.5b0 = cpp_overload_set_value @ [concrete = constants.%.e54] // CHECK:STDOUT: %f__carbon_thunk.decl: %f__carbon_thunk.type = fn_decl @f__carbon_thunk [concrete = constants.%f__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.362: %.7c6 = cpp_overload_set_value @CallQualified [concrete = constants.%.362] +// CHECK:STDOUT: %.362: %.7c6 = cpp_overload_set_value @ [concrete = constants.%.362] // CHECK:STDOUT: %g__carbon_thunk.decl: %g__carbon_thunk.type = fn_decl @g__carbon_thunk [concrete = constants.%g__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/class/class.carbon b/toolchain/check/testdata/interop/cpp/class/class.carbon index 03e1f2227e2f4..4aa56300de174 100644 --- a/toolchain/check/testdata/interop/cpp/class/class.carbon +++ b/toolchain/check/testdata/interop/cpp/class/class.carbon @@ -337,8 +337,8 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %Bar: type = class_type @Bar [concrete] -// CHECK:STDOUT: %.c07: type = cpp_overload_set_type @Bar.foo [concrete] -// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @Bar.foo [concrete] +// CHECK:STDOUT: %.c07: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %Bar.foo.type: type = fn_type @Bar.foo [concrete] // CHECK:STDOUT: %Bar.foo: %Bar.foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -349,7 +349,7 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %Bar.decl: type = class_decl @Bar [concrete = constants.%Bar] {} {} -// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @Bar.foo [concrete = constants.%.617] +// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @ [concrete = constants.%.617] // CHECK:STDOUT: %Bar.foo.decl: %Bar.foo.type = fn_decl @Bar.foo [concrete = constants.%Bar.foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -496,8 +496,8 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: %complete_type.fff: = complete_type_witness %struct_type.base.36d [concrete] // CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete] // CHECK:STDOUT: %MyF: %MyF.type = struct_value () [concrete] -// CHECK:STDOUT: %.c07: type = cpp_overload_set_type @Bar.foo [concrete] -// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @Bar.foo [concrete] +// CHECK:STDOUT: %.c07: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %Bar.foo.type: type = fn_type @Bar.foo [concrete] // CHECK:STDOUT: %Bar.foo: %Bar.foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -508,7 +508,7 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %Bar.decl: type = class_decl @Bar [concrete = constants.%Bar] {} {} -// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @Bar.foo [concrete = constants.%.617] +// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @ [concrete = constants.%.617] // CHECK:STDOUT: %Bar.foo.decl: %Bar.foo.type = fn_decl @Bar.foo [concrete = constants.%Bar.foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: diff --git a/toolchain/check/testdata/interop/cpp/class/constructor.carbon b/toolchain/check/testdata/interop/cpp/class/constructor.carbon index 4056b6aeb7a9d..0898f0888c128 100644 --- a/toolchain/check/testdata/interop/cpp/class/constructor.carbon +++ b/toolchain/check/testdata/interop/cpp/class/constructor.carbon @@ -275,8 +275,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C.C [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -292,7 +292,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -335,8 +335,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C.C [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_123.fff: Core.IntLiteral = int_value 123 [concrete] // CHECK:STDOUT: %int_456.010: Core.IntLiteral = int_value 456 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] @@ -373,7 +373,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -434,8 +434,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C.C.1 [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C.1 [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type.65f120.1: type = fn_type @C__carbon_thunk.1 [concrete] // CHECK:STDOUT: %C__carbon_thunk.d98342.1: %C__carbon_thunk.type.65f120.1 = struct_value () [concrete] @@ -474,7 +474,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C.1 [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl.8acdfe.1: %C__carbon_thunk.type.65f120.1 = fn_decl @C__carbon_thunk.1 [concrete = constants.%C__carbon_thunk.d98342.1] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -564,8 +564,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C.C.1 [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C.1 [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_8.b85: Core.IntLiteral = int_value 8 [concrete] // CHECK:STDOUT: %int_9.988: Core.IntLiteral = int_value 9 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] @@ -604,7 +604,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C.1 [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl.8acdfe.1: %C__carbon_thunk.type.65f120.1 = fn_decl @C__carbon_thunk.1 [concrete = constants.%C__carbon_thunk.d98342.1] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -702,8 +702,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C.C.1 [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C.1 [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_123.fff: Core.IntLiteral = int_value 123 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -753,7 +753,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C.1 [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl.8acdfe.1: %C__carbon_thunk.type.65f120.1 = fn_decl @C__carbon_thunk.1 [concrete = constants.%C__carbon_thunk.d98342.1] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -885,8 +885,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C.C [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_8.b85: Core.IntLiteral = int_value 8 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -931,7 +931,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1005,8 +1005,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C.C.1 [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C.1 [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_8.b85: Core.IntLiteral = int_value 8 [concrete] // CHECK:STDOUT: %int_9.988: Core.IntLiteral = int_value 9 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] @@ -1057,7 +1057,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.C.1 [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl.8acdfe.1: %C__carbon_thunk.type.65f120.1 = fn_decl @C__carbon_thunk.1 [concrete = constants.%C__carbon_thunk.d98342.1] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/class/method.carbon b/toolchain/check/testdata/interop/cpp/class/method.carbon index 56788cd86e249..7be5febaf93f6 100644 --- a/toolchain/check/testdata/interop/cpp/class/method.carbon +++ b/toolchain/check/testdata/interop/cpp/class/method.carbon @@ -207,18 +207,18 @@ fn Call(e: Cpp.ExplicitObjectParam, n: i32, a: Cpp.Another) { // CHECK:STDOUT: %HasQualifiers: type = class_type @HasQualifiers [concrete] // CHECK:STDOUT: %ptr.ec3: type = ptr_type %HasQualifiers [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.602: type = cpp_overload_set_type @const_ref_this__carbon_thunk [concrete] -// CHECK:STDOUT: %.ce8: %.602 = cpp_overload_set_value @const_ref_this__carbon_thunk [concrete] +// CHECK:STDOUT: %.602: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.ce8: %.602 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %const: type = const_type %HasQualifiers [concrete] // CHECK:STDOUT: %ptr.2cb: type = ptr_type %const [concrete] // CHECK:STDOUT: %const_this__carbon_thunk.type: type = fn_type @const_this__carbon_thunk [concrete] // CHECK:STDOUT: %const_this__carbon_thunk: %const_this__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.bf0: type = cpp_overload_set_type @HasQualifiers.plain [concrete] -// CHECK:STDOUT: %.667: %.bf0 = cpp_overload_set_value @HasQualifiers.plain [concrete] +// CHECK:STDOUT: %.bf0: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.667: %.bf0 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %const_ref_this__carbon_thunk.type: type = fn_type @const_ref_this__carbon_thunk [concrete] // CHECK:STDOUT: %const_ref_this__carbon_thunk: %const_ref_this__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.64b: type = cpp_overload_set_type @HasQualifiers.ref_this [concrete] -// CHECK:STDOUT: %.646: %.64b = cpp_overload_set_value @HasQualifiers.ref_this [concrete] +// CHECK:STDOUT: %.64b: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.646: %.64b = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %HasQualifiers.plain.type: type = fn_type @HasQualifiers.plain [concrete] // CHECK:STDOUT: %HasQualifiers.plain: %HasQualifiers.plain.type = struct_value () [concrete] // CHECK:STDOUT: %.352: type = cpp_overload_set_type @ [concrete] @@ -228,19 +228,19 @@ fn Call(e: Cpp.ExplicitObjectParam, n: i32, a: Cpp.Another) { // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: imports { -// CHECK:STDOUT: %.ce8: %.602 = cpp_overload_set_value @const_ref_this__carbon_thunk [concrete = constants.%.ce8] +// CHECK:STDOUT: %.ce8: %.602 = cpp_overload_set_value @ [concrete = constants.%.ce8] // CHECK:STDOUT: %const_this__carbon_thunk.decl: %const_this__carbon_thunk.type = fn_decl @const_this__carbon_thunk [concrete = constants.%const_this__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.667: %.bf0 = cpp_overload_set_value @HasQualifiers.plain [concrete = constants.%.667] +// CHECK:STDOUT: %.667: %.bf0 = cpp_overload_set_value @ [concrete = constants.%.667] // CHECK:STDOUT: %const_ref_this__carbon_thunk.decl: %const_ref_this__carbon_thunk.type = fn_decl @const_ref_this__carbon_thunk [concrete = constants.%const_ref_this__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.646: %.64b = cpp_overload_set_value @HasQualifiers.ref_this [concrete = constants.%.646] +// CHECK:STDOUT: %.646: %.64b = cpp_overload_set_value @ [concrete = constants.%.646] // CHECK:STDOUT: %HasQualifiers.plain.decl: %HasQualifiers.plain.type = fn_decl @HasQualifiers.plain [concrete = constants.%HasQualifiers.plain] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -316,8 +316,8 @@ fn Call(e: Cpp.ExplicitObjectParam, n: i32, a: Cpp.Another) { // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] // CHECK:STDOUT: %pattern_type.7ce: type = pattern_type %i32 [concrete] -// CHECK:STDOUT: %.4ab: type = cpp_overload_set_type @HasQualifiers.F.1 [concrete] -// CHECK:STDOUT: %.570: %.4ab = cpp_overload_set_value @HasQualifiers.F.1 [concrete] +// CHECK:STDOUT: %.4ab: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.570: %.4ab = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %const: type = const_type %HasQualifiers [concrete] // CHECK:STDOUT: %ptr.2cb: type = ptr_type %const [concrete] // CHECK:STDOUT: %F__carbon_thunk.type: type = fn_type @F__carbon_thunk [concrete] @@ -337,7 +337,7 @@ fn Call(e: Cpp.ExplicitObjectParam, n: i32, a: Cpp.Another) { // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: imports { -// CHECK:STDOUT: %.570: %.4ab = cpp_overload_set_value @HasQualifiers.F.1 [concrete = constants.%.570] +// CHECK:STDOUT: %.570: %.4ab = cpp_overload_set_value @ [concrete = constants.%.570] // CHECK:STDOUT: %F__carbon_thunk.decl: %F__carbon_thunk.type = fn_decl @F__carbon_thunk [concrete = constants.%F__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -414,17 +414,17 @@ fn Call(e: Cpp.ExplicitObjectParam, n: i32, a: Cpp.Another) { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] // CHECK:STDOUT: %Another: type = class_type @Another [concrete] -// CHECK:STDOUT: %.3e2: type = cpp_overload_set_type @ExplicitObjectParam.G [concrete] -// CHECK:STDOUT: %.037: %.3e2 = cpp_overload_set_value @ExplicitObjectParam.G [concrete] +// CHECK:STDOUT: %.3e2: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.037: %.3e2 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.7f5: type = ptr_type %ExplicitObjectParam [concrete] // CHECK:STDOUT: %F__carbon_thunk.type: type = fn_type @F__carbon_thunk [concrete] // CHECK:STDOUT: %F__carbon_thunk: %F__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.d44: type = cpp_overload_set_type @ExplicitObjectParam.H [concrete] -// CHECK:STDOUT: %.151: %.d44 = cpp_overload_set_value @ExplicitObjectParam.H [concrete] +// CHECK:STDOUT: %.d44: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.151: %.d44 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ExplicitObjectParam.G.type: type = fn_type @ExplicitObjectParam.G [concrete] // CHECK:STDOUT: %ExplicitObjectParam.G: %ExplicitObjectParam.G.type = struct_value () [concrete] -// CHECK:STDOUT: %.9fb: type = cpp_overload_set_type @H__carbon_thunk [concrete] -// CHECK:STDOUT: %.34a: %.9fb = cpp_overload_set_value @H__carbon_thunk [concrete] +// CHECK:STDOUT: %.9fb: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.34a: %.9fb = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.289: type = ptr_type %Another [concrete] // CHECK:STDOUT: %H__carbon_thunk.type: type = fn_type @H__carbon_thunk [concrete] // CHECK:STDOUT: %H__carbon_thunk: %H__carbon_thunk.type = struct_value () [concrete] @@ -438,19 +438,19 @@ fn Call(e: Cpp.ExplicitObjectParam, n: i32, a: Cpp.Another) { // CHECK:STDOUT: } // CHECK:STDOUT: %ExplicitObjectParam.decl: type = class_decl @ExplicitObjectParam [concrete = constants.%ExplicitObjectParam] {} {} // CHECK:STDOUT: %Another.decl: type = class_decl @Another [concrete = constants.%Another] {} {} -// CHECK:STDOUT: %.037: %.3e2 = cpp_overload_set_value @ExplicitObjectParam.G [concrete = constants.%.037] +// CHECK:STDOUT: %.037: %.3e2 = cpp_overload_set_value @ [concrete = constants.%.037] // CHECK:STDOUT: %F__carbon_thunk.decl: %F__carbon_thunk.type = fn_decl @F__carbon_thunk [concrete = constants.%F__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.151: %.d44 = cpp_overload_set_value @ExplicitObjectParam.H [concrete = constants.%.151] +// CHECK:STDOUT: %.151: %.d44 = cpp_overload_set_value @ [concrete = constants.%.151] // CHECK:STDOUT: %ExplicitObjectParam.G.decl: %ExplicitObjectParam.G.type = fn_decl @ExplicitObjectParam.G [concrete = constants.%ExplicitObjectParam.G] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.34a: %.9fb = cpp_overload_set_value @H__carbon_thunk [concrete = constants.%.34a] +// CHECK:STDOUT: %.34a: %.9fb = cpp_overload_set_value @ [concrete = constants.%.34a] // CHECK:STDOUT: %H__carbon_thunk.decl: %H__carbon_thunk.type = fn_decl @H__carbon_thunk [concrete = constants.%H__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -491,8 +491,8 @@ fn Call(e: Cpp.ExplicitObjectParam, n: i32, a: Cpp.Another) { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] // CHECK:STDOUT: %Another: type = class_type @Another [concrete] -// CHECK:STDOUT: %.3e2: type = cpp_overload_set_type @ExplicitObjectParam.F.1 [concrete] -// CHECK:STDOUT: %.037: %.3e2 = cpp_overload_set_value @ExplicitObjectParam.F.1 [concrete] +// CHECK:STDOUT: %.3e2: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.037: %.3e2 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.7f5: type = ptr_type %ExplicitObjectParam [concrete] // CHECK:STDOUT: %F__carbon_thunk.type.eda1ac.1: type = fn_type @F__carbon_thunk.1 [concrete] // CHECK:STDOUT: %F__carbon_thunk.0cd6a8.1: %F__carbon_thunk.type.eda1ac.1 = struct_value () [concrete] @@ -511,7 +511,7 @@ fn Call(e: Cpp.ExplicitObjectParam, n: i32, a: Cpp.Another) { // CHECK:STDOUT: } // CHECK:STDOUT: %ExplicitObjectParam.decl: type = class_decl @ExplicitObjectParam [concrete = constants.%ExplicitObjectParam] {} {} // CHECK:STDOUT: %Another.decl: type = class_decl @Another [concrete = constants.%Another] {} {} -// CHECK:STDOUT: %.037: %.3e2 = cpp_overload_set_value @ExplicitObjectParam.F.1 [concrete = constants.%.037] +// CHECK:STDOUT: %.037: %.3e2 = cpp_overload_set_value @ [concrete = constants.%.037] // CHECK:STDOUT: %F__carbon_thunk.decl.e1b8ec.1: %F__carbon_thunk.type.eda1ac.1 = fn_decl @F__carbon_thunk.1 [concrete = constants.%F__carbon_thunk.0cd6a8.1] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/class/struct.carbon b/toolchain/check/testdata/interop/cpp/class/struct.carbon index 94a8815eab955..2455793d0c438 100644 --- a/toolchain/check/testdata/interop/cpp/class/struct.carbon +++ b/toolchain/check/testdata/interop/cpp/class/struct.carbon @@ -318,8 +318,8 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %Bar: type = class_type @Bar [concrete] -// CHECK:STDOUT: %.c07: type = cpp_overload_set_type @Bar.foo [concrete] -// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @Bar.foo [concrete] +// CHECK:STDOUT: %.c07: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %Bar.foo.type: type = fn_type @Bar.foo [concrete] // CHECK:STDOUT: %Bar.foo: %Bar.foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -330,7 +330,7 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %Bar.decl: type = class_decl @Bar [concrete = constants.%Bar] {} {} -// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @Bar.foo [concrete = constants.%.617] +// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @ [concrete = constants.%.617] // CHECK:STDOUT: %Bar.foo.decl: %Bar.foo.type = fn_decl @Bar.foo [concrete = constants.%Bar.foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -475,8 +475,8 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %MyF: %MyF.type = struct_value () [concrete] -// CHECK:STDOUT: %.2e2: type = cpp_overload_set_type @Bar.f [concrete] -// CHECK:STDOUT: %.6e0: %.2e2 = cpp_overload_set_value @Bar.f [concrete] +// CHECK:STDOUT: %.2e2: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.6e0: %.2e2 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %Bar.f.type: type = fn_type @Bar.f [concrete] // CHECK:STDOUT: %Bar.f: %Bar.f.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -487,7 +487,7 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %Bar.decl: type = class_decl @Bar [concrete = constants.%Bar] {} {} -// CHECK:STDOUT: %.6e0: %.2e2 = cpp_overload_set_value @Bar.f [concrete = constants.%.6e0] +// CHECK:STDOUT: %.6e0: %.2e2 = cpp_overload_set_value @ [concrete = constants.%.6e0] // CHECK:STDOUT: %Bar.f.decl: %Bar.f.type = fn_decl @Bar.f [concrete = constants.%Bar.f] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/class/template.carbon b/toolchain/check/testdata/interop/cpp/class/template.carbon index 8625ac4f2ea17..3cbcbf6c1394d 100644 --- a/toolchain/check/testdata/interop/cpp/class/template.carbon +++ b/toolchain/check/testdata/interop/cpp/class/template.carbon @@ -90,8 +90,8 @@ var y: Cpp.Xint.r#type = 0; // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] // CHECK:STDOUT: %Base: type = class_type @Base [concrete] // CHECK:STDOUT: %A.elem.c3f: type = unbound_element_type %A.0bedf0.1, %i32 [concrete] -// CHECK:STDOUT: %.658: type = cpp_overload_set_type @A.f [concrete] -// CHECK:STDOUT: %.d46: %.658 = cpp_overload_set_value @A.f [concrete] +// CHECK:STDOUT: %.658: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.d46: %.658 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %const.16f: type = const_type %A.0bedf0.1 [concrete] // CHECK:STDOUT: %ptr.703: type = ptr_type %const.16f [concrete] // CHECK:STDOUT: %f__carbon_thunk.type: type = fn_type @f__carbon_thunk [concrete] @@ -122,7 +122,7 @@ var y: Cpp.Xint.r#type = 0; // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: imports { -// CHECK:STDOUT: %.d46: %.658 = cpp_overload_set_value @A.f [concrete = constants.%.d46] +// CHECK:STDOUT: %.d46: %.658 = cpp_overload_set_value @ [concrete = constants.%.d46] // CHECK:STDOUT: %f__carbon_thunk.decl: %f__carbon_thunk.type = fn_decl @f__carbon_thunk [concrete = constants.%f__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/class/union.carbon b/toolchain/check/testdata/interop/cpp/class/union.carbon index 2104e9fafcf61..0cd338d2a590e 100644 --- a/toolchain/check/testdata/interop/cpp/class/union.carbon +++ b/toolchain/check/testdata/interop/cpp/class/union.carbon @@ -289,8 +289,8 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %Bar: type = class_type @Bar [concrete] -// CHECK:STDOUT: %.c07: type = cpp_overload_set_type @Bar.foo [concrete] -// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @Bar.foo [concrete] +// CHECK:STDOUT: %.c07: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %Bar.foo.type: type = fn_type @Bar.foo [concrete] // CHECK:STDOUT: %Bar.foo: %Bar.foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -301,7 +301,7 @@ fn MyF(bar: Cpp.Bar*); // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %Bar.decl: type = class_decl @Bar [concrete = constants.%Bar] {} {} -// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @Bar.foo [concrete = constants.%.617] +// CHECK:STDOUT: %.617: %.c07 = cpp_overload_set_value @ [concrete = constants.%.617] // CHECK:STDOUT: %Bar.foo.decl: %Bar.foo.type = fn_decl @Bar.foo [concrete = constants.%Bar.foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: diff --git a/toolchain/check/testdata/interop/cpp/cpp_namespace.carbon b/toolchain/check/testdata/interop/cpp/cpp_namespace.carbon index c557b4d3f04a4..f6b56f11ae8b7 100644 --- a/toolchain/check/testdata/interop/cpp/cpp_namespace.carbon +++ b/toolchain/check/testdata/interop/cpp/cpp_namespace.carbon @@ -143,8 +143,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.98d: type = cpp_overload_set_type @system_function [concrete] -// CHECK:STDOUT: %.769: %.98d = cpp_overload_set_value @system_function [concrete] +// CHECK:STDOUT: %.98d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.769: %.98d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %system_function.type: type = fn_type @system_function [concrete] // CHECK:STDOUT: %system_function: %system_function.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -154,7 +154,7 @@ fn F() { // CHECK:STDOUT: .system_function = %.769 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.769: %.98d = cpp_overload_set_value @system_function [concrete = constants.%.769] +// CHECK:STDOUT: %.769: %.98d = cpp_overload_set_value @ [concrete = constants.%.769] // CHECK:STDOUT: %system_function.decl: %system_function.type = fn_decl @system_function [concrete = constants.%system_function] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: diff --git a/toolchain/check/testdata/interop/cpp/enum/anonymous.carbon b/toolchain/check/testdata/interop/cpp/enum/anonymous.carbon index c553f6198f431..1333ace1277d2 100644 --- a/toolchain/check/testdata/interop/cpp/enum/anonymous.carbon +++ b/toolchain/check/testdata/interop/cpp/enum/anonymous.carbon @@ -43,21 +43,21 @@ fn G() { // CHECK:STDOUT: %G.type: type = fn_type @G [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %G: %G.type = struct_value () [concrete] -// CHECK:STDOUT: %.557: type = cpp_overload_set_type @C.C [concrete] -// CHECK:STDOUT: %.4a9: %.557 = cpp_overload_set_value @C.C [concrete] +// CHECK:STDOUT: %.557: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.4a9: %.557 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %.4f0: type = class_type @.1 [concrete] // CHECK:STDOUT: %int_1.81a: %.4f0 = int_value 1 [concrete] // CHECK:STDOUT: %ptr.793: type = ptr_type %.4f0 [concrete] // CHECK:STDOUT: %F__carbon_thunk.type.eda1ac.1: type = fn_type @F__carbon_thunk.1 [concrete] // CHECK:STDOUT: %F__carbon_thunk.0cd6a8.1: %F__carbon_thunk.type.eda1ac.1 = struct_value () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C__carbon_thunk [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C__carbon_thunk [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.9a3: type = cpp_overload_set_type @C.F [concrete] -// CHECK:STDOUT: %.951: %.9a3 = cpp_overload_set_value @C.F [concrete] +// CHECK:STDOUT: %.9a3: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.951: %.9a3 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %.bb7: type = class_type @.2 [concrete] // CHECK:STDOUT: %int_1.1d6: %.bb7 = int_value 1 [concrete] // CHECK:STDOUT: %ptr.73d: type = ptr_type %.bb7 [concrete] @@ -82,7 +82,7 @@ fn G() { // CHECK:STDOUT: .C = %C.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.4a9: %.557 = cpp_overload_set_value @C.C [concrete = constants.%.4a9] +// CHECK:STDOUT: %.4a9: %.557 = cpp_overload_set_value @ [concrete = constants.%.4a9] // CHECK:STDOUT: %int_1.81a: %.4f0 = int_value 1 [concrete = constants.%int_1.81a] // CHECK:STDOUT: %F__carbon_thunk.decl.e1b8ec.1: %F__carbon_thunk.type.eda1ac.1 = fn_decl @F__carbon_thunk.1 [concrete = constants.%F__carbon_thunk.0cd6a8.1] { // CHECK:STDOUT: @@ -90,13 +90,13 @@ fn G() { // CHECK:STDOUT: // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C__carbon_thunk [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.951: %.9a3 = cpp_overload_set_value @C.F [concrete = constants.%.951] +// CHECK:STDOUT: %.951: %.9a3 = cpp_overload_set_value @ [concrete = constants.%.951] // CHECK:STDOUT: %int_1.1d6: %.bb7 = int_value 1 [concrete = constants.%int_1.1d6] // CHECK:STDOUT: %F__carbon_thunk.decl.e1b8ec.2: %F__carbon_thunk.type.eda1ac.2 = fn_decl @F__carbon_thunk.2 [concrete = constants.%F__carbon_thunk.0cd6a8.2] { // CHECK:STDOUT: diff --git a/toolchain/check/testdata/interop/cpp/function/arithmetic_types_bridged.carbon b/toolchain/check/testdata/interop/cpp/function/arithmetic_types_bridged.carbon index c01dd556c14d3..b41247fdd3b02 100644 --- a/toolchain/check/testdata/interop/cpp/function/arithmetic_types_bridged.carbon +++ b/toolchain/check/testdata/interop/cpp/function/arithmetic_types_bridged.carbon @@ -556,8 +556,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %true: bool = bool_literal true [concrete] // CHECK:STDOUT: %ptr.bb2: type = ptr_type bool [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -581,7 +581,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -617,8 +617,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %false: bool = bool_literal false [concrete] // CHECK:STDOUT: %ptr.bb2: type = ptr_type bool [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -642,7 +642,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -678,8 +678,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Negate.Op [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %Negate.type: type = facet_type <@Negate> [concrete] // CHECK:STDOUT: %Negate.Op.type: type = fn_type @Negate.Op [concrete] @@ -733,7 +733,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.abd = import_ref Core//prelude/operators/arithmetic, loc{{\d+_\d+}}, unloaded // CHECK:STDOUT: %Core.import_ref.3d9: %Core.IntLiteral.as.Negate.impl.Op.type = import_ref Core//prelude/operators/arithmetic, loc{{\d+_\d+}}, loaded [concrete = constants.%Core.IntLiteral.as.Negate.impl.Op] // CHECK:STDOUT: %Negate.impl_witness_table = impl_witness_table (%Core.import_ref.abd, %Core.import_ref.3d9), @Core.IntLiteral.as.Negate.impl [concrete] @@ -788,8 +788,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_8: Core.IntLiteral = int_value 8 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -834,7 +834,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -881,8 +881,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %.d16: Core.CharLiteral = char_value U+0058 [concrete] // CHECK:STDOUT: %char: type = class_type @Char [concrete] // CHECK:STDOUT: %ptr.fb0: type = ptr_type %char [concrete] @@ -916,7 +916,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -983,8 +983,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -1012,7 +1012,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: has_error // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1090,8 +1090,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -1136,7 +1136,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/types/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] // CHECK:STDOUT: %As.impl_witness_table.5ad = impl_witness_table (%Core.import_ref.99c), @Core.IntLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -1185,8 +1185,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_32767.f4b: Core.IntLiteral = int_value 32767 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -1231,7 +1231,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1278,8 +1278,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Negate.Op [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_32768: Core.IntLiteral = int_value 32768 [concrete] // CHECK:STDOUT: %Negate.type: type = facet_type <@Negate> [concrete] // CHECK:STDOUT: %Negate.Op.type: type = fn_type @Negate.Op [concrete] @@ -1333,7 +1333,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.abd = import_ref Core//prelude/operators/arithmetic, loc{{\d+_\d+}}, unloaded // CHECK:STDOUT: %Core.import_ref.3d9: %Core.IntLiteral.as.Negate.impl.Op.type = import_ref Core//prelude/operators/arithmetic, loc{{\d+_\d+}}, loaded [concrete = constants.%Core.IntLiteral.as.Negate.impl.Op] // CHECK:STDOUT: %Negate.impl_witness_table = impl_witness_table (%Core.import_ref.abd, %Core.import_ref.3d9), @Core.IntLiteral.as.Negate.impl [concrete] @@ -1388,8 +1388,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -1434,7 +1434,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/types/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] // CHECK:STDOUT: %As.impl_witness_table.5ad = impl_witness_table (%Core.import_ref.99c), @Core.IntLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -1483,8 +1483,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -1529,7 +1529,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/types/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] // CHECK:STDOUT: %As.impl_witness_table.5ad = impl_witness_table (%Core.import_ref.99c), @Core.IntLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -1578,8 +1578,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -1624,7 +1624,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/types/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] // CHECK:STDOUT: %As.impl_witness_table.5ad = impl_witness_table (%Core.import_ref.99c), @Core.IntLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -1673,8 +1673,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -1719,7 +1719,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/types/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] // CHECK:STDOUT: %As.impl_witness_table.5ad = impl_witness_table (%Core.import_ref.99c), @Core.IntLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -1768,8 +1768,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %float.c64: Core.FloatLiteral = float_literal_value 8e-1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -1813,7 +1813,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.ea0: @Core.FloatLiteral.as.As.impl.%Core.FloatLiteral.as.As.impl.Convert.type (%Core.FloatLiteral.as.As.impl.Convert.type.d83) = import_ref Core//prelude/types/float, loc{{\d+_\d+}}, loaded [symbolic = @Core.FloatLiteral.as.As.impl.%Core.FloatLiteral.as.As.impl.Convert (constants.%Core.FloatLiteral.as.As.impl.Convert.f91)] // CHECK:STDOUT: %As.impl_witness_table = impl_witness_table (%Core.import_ref.ea0), @Core.FloatLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -1862,8 +1862,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %float.c64: Core.FloatLiteral = float_literal_value 8e-1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -1907,7 +1907,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.ea0: @Core.FloatLiteral.as.As.impl.%Core.FloatLiteral.as.As.impl.Convert.type (%Core.FloatLiteral.as.As.impl.Convert.type.d83) = import_ref Core//prelude/types/float, loc{{\d+_\d+}}, loaded [symbolic = @Core.FloatLiteral.as.As.impl.%Core.FloatLiteral.as.As.impl.Convert (constants.%Core.FloatLiteral.as.As.impl.Convert.f91)] // CHECK:STDOUT: %As.impl_witness_table = impl_witness_table (%Core.import_ref.ea0), @Core.FloatLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -1956,8 +1956,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %float.c64: Core.FloatLiteral = float_literal_value 8e-1 [concrete] // CHECK:STDOUT: %int_64: Core.IntLiteral = int_value 64 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -2001,7 +2001,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.ea0: @Core.FloatLiteral.as.As.impl.%Core.FloatLiteral.as.As.impl.Convert.type (%Core.FloatLiteral.as.As.impl.Convert.type.d83) = import_ref Core//prelude/types/float, loc{{\d+_\d+}}, loaded [symbolic = @Core.FloatLiteral.as.As.impl.%Core.FloatLiteral.as.As.impl.Convert (constants.%Core.FloatLiteral.as.As.impl.Convert.f91)] // CHECK:STDOUT: %As.impl_witness_table = impl_witness_table (%Core.import_ref.ea0), @Core.FloatLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -2050,8 +2050,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %float.c64: Core.FloatLiteral = float_literal_value 8e-1 [concrete] // CHECK:STDOUT: %int_128: Core.IntLiteral = int_value 128 [concrete] // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] @@ -2095,7 +2095,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.ea0: @Core.FloatLiteral.as.As.impl.%Core.FloatLiteral.as.As.impl.Convert.type (%Core.FloatLiteral.as.As.impl.Convert.type.d83) = import_ref Core//prelude/types/float, loc{{\d+_\d+}}, loaded [symbolic = @Core.FloatLiteral.as.As.impl.%Core.FloatLiteral.as.As.impl.Convert (constants.%Core.FloatLiteral.as.As.impl.Convert.f91)] // CHECK:STDOUT: %As.impl_witness_table = impl_witness_table (%Core.import_ref.ea0), @Core.FloatLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -2147,8 +2147,8 @@ fn F() { // CHECK:STDOUT: %Bool.type: type = fn_type @Bool [concrete] // CHECK:STDOUT: %Bool: %Bool.type = struct_value () [concrete] // CHECK:STDOUT: %pattern_type.831: type = pattern_type bool [concrete] -// CHECK:STDOUT: %.52c: type = cpp_overload_set_type @Bool [concrete] -// CHECK:STDOUT: %.818: %.52c = cpp_overload_set_value @Bool [concrete] +// CHECK:STDOUT: %.52c: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.818: %.52c = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr: type = ptr_type bool [concrete] // CHECK:STDOUT: %foo_bool__carbon_thunk.type: type = fn_type @foo_bool__carbon_thunk [concrete] // CHECK:STDOUT: %foo_bool__carbon_thunk: %foo_bool__carbon_thunk.type = struct_value () [concrete] @@ -2159,7 +2159,7 @@ fn F() { // CHECK:STDOUT: .foo_bool = %.818 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.818: %.52c = cpp_overload_set_value @Bool [concrete = constants.%.818] +// CHECK:STDOUT: %.818: %.52c = cpp_overload_set_value @ [concrete = constants.%.818] // CHECK:STDOUT: %foo_bool__carbon_thunk.decl: %foo_bool__carbon_thunk.type = fn_decl @foo_bool__carbon_thunk [concrete = constants.%foo_bool__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2196,8 +2196,8 @@ fn F() { // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %i16: type = class_type @Int, @Int(%int_16) [concrete] // CHECK:STDOUT: %pattern_type.2f8: type = pattern_type %i16 [concrete] -// CHECK:STDOUT: %.f28: type = cpp_overload_set_type @foo_short [concrete] -// CHECK:STDOUT: %.3be: %.f28 = cpp_overload_set_value @foo_short [concrete] +// CHECK:STDOUT: %.f28: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.3be: %.f28 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %i16 [concrete] // CHECK:STDOUT: %foo_short__carbon_thunk.type: type = fn_type @foo_short__carbon_thunk [concrete] // CHECK:STDOUT: %foo_short__carbon_thunk: %foo_short__carbon_thunk.type = struct_value () [concrete] @@ -2208,7 +2208,7 @@ fn F() { // CHECK:STDOUT: .foo_short = %.3be // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.3be: %.f28 = cpp_overload_set_value @foo_short [concrete = constants.%.3be] +// CHECK:STDOUT: %.3be: %.f28 = cpp_overload_set_value @ [concrete = constants.%.3be] // CHECK:STDOUT: %foo_short__carbon_thunk.decl: %foo_short__carbon_thunk.type = fn_decl @foo_short__carbon_thunk [concrete = constants.%foo_short__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2268,8 +2268,8 @@ fn F() { // CHECK:STDOUT: %int_64: Core.IntLiteral = int_value 64 [concrete] // CHECK:STDOUT: %f64.d77: type = class_type @Float, @Float(%int_64) [concrete] // CHECK:STDOUT: %pattern_type.0ae: type = pattern_type %f64.d77 [concrete] -// CHECK:STDOUT: %.5b0: type = cpp_overload_set_type @foo_double [concrete] -// CHECK:STDOUT: %.a14: %.5b0 = cpp_overload_set_value @foo_double [concrete] +// CHECK:STDOUT: %.5b0: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a14: %.5b0 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %f64.d77 [concrete] // CHECK:STDOUT: %foo_double__carbon_thunk.type: type = fn_type @foo_double__carbon_thunk [concrete] // CHECK:STDOUT: %foo_double__carbon_thunk: %foo_double__carbon_thunk.type = struct_value () [concrete] @@ -2280,7 +2280,7 @@ fn F() { // CHECK:STDOUT: .foo_double = %.a14 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a14: %.5b0 = cpp_overload_set_value @foo_double [concrete = constants.%.a14] +// CHECK:STDOUT: %.a14: %.5b0 = cpp_overload_set_value @ [concrete = constants.%.a14] // CHECK:STDOUT: %foo_double__carbon_thunk.decl: %foo_double__carbon_thunk.type = fn_decl @foo_double__carbon_thunk [concrete = constants.%foo_double__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/arithmetic_types_direct.carbon b/toolchain/check/testdata/interop/cpp/function/arithmetic_types_direct.carbon index 00b9573d63191..b5f4281fe60af 100644 --- a/toolchain/check/testdata/interop/cpp/function/arithmetic_types_direct.carbon +++ b/toolchain/check/testdata/interop/cpp/function/arithmetic_types_direct.carbon @@ -308,8 +308,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -336,7 +336,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -366,8 +366,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_2147483647.d89: Core.IntLiteral = int_value 2147483647 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -394,7 +394,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -424,8 +424,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Negate.Op [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_2147483648: Core.IntLiteral = int_value 2147483648 [concrete] // CHECK:STDOUT: %Negate.type: type = facet_type <@Negate> [concrete] // CHECK:STDOUT: %Negate.Op.type: type = fn_type @Negate.Op [concrete] @@ -461,7 +461,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.abd = import_ref Core//prelude/parts/int_literal, loc{{\d+_\d+}}, unloaded // CHECK:STDOUT: %Core.import_ref.3d9: %Core.IntLiteral.as.Negate.impl.Op.type = import_ref Core//prelude/parts/int_literal, loc{{\d+_\d+}}, loaded [concrete = constants.%Core.IntLiteral.as.Negate.impl.Op] // CHECK:STDOUT: %Negate.impl_witness_table = impl_witness_table (%Core.import_ref.abd, %Core.import_ref.3d9), @Core.IntLiteral.as.Negate.impl [concrete] @@ -499,8 +499,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -527,7 +527,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -557,8 +557,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -585,7 +585,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -615,8 +615,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %u32: type = class_type @UInt, @UInt(%int_32) [concrete] @@ -643,7 +643,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -673,8 +673,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -701,7 +701,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -731,8 +731,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_2.ecc: Core.IntLiteral = int_value 2 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] @@ -763,7 +763,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -801,8 +801,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.bf4: type = cpp_overload_set_type @ImplicitAs.Convert [concrete] -// CHECK:STDOUT: %.6c5: %.bf4 = cpp_overload_set_value @ImplicitAs.Convert [concrete] +// CHECK:STDOUT: %.bf4: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.6c5: %.bf4 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_2.ecc: Core.IntLiteral = int_value 2 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] @@ -826,8 +826,8 @@ fn F() { // CHECK:STDOUT: %Core.IntLiteral.as.ImplicitAs.impl.Convert.bound.b82: = bound_method %int_2.ecc, %Core.IntLiteral.as.ImplicitAs.impl.Convert.0f0 [concrete] // CHECK:STDOUT: %bound_method.8bd: = bound_method %int_2.ecc, %Core.IntLiteral.as.ImplicitAs.impl.Convert.specific_fn [concrete] // CHECK:STDOUT: %int_2.ef8: %i32 = int_value 2 [concrete] -// CHECK:STDOUT: %.c2a: type = cpp_overload_set_type @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.c5f: %.c2a = cpp_overload_set_value @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete] +// CHECK:STDOUT: %.c2a: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.c5f: %.c2a = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_3.1ba: Core.IntLiteral = int_value 3 [concrete] // CHECK:STDOUT: %int_4.0c1: Core.IntLiteral = int_value 4 [concrete] // CHECK:STDOUT: %foo2.type: type = fn_type @foo2 [concrete] @@ -846,7 +846,7 @@ fn F() { // CHECK:STDOUT: .foo2 = %.c5f // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.6c5: %.bf4 = cpp_overload_set_value @ImplicitAs.Convert [concrete = constants.%.6c5] +// CHECK:STDOUT: %.6c5: %.bf4 = cpp_overload_set_value @ [concrete = constants.%.6c5] // CHECK:STDOUT: %foo1.decl: %foo1.type = fn_decl @foo1 [concrete = constants.%foo1] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -854,7 +854,7 @@ fn F() { // CHECK:STDOUT: } // CHECK:STDOUT: %Core.import_ref.ee7: @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert.type (%Core.IntLiteral.as.ImplicitAs.impl.Convert.type.340) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert (constants.%Core.IntLiteral.as.ImplicitAs.impl.Convert.1c0)] // CHECK:STDOUT: %ImplicitAs.impl_witness_table.9e9 = impl_witness_table (%Core.import_ref.ee7), @Core.IntLiteral.as.ImplicitAs.impl [concrete] -// CHECK:STDOUT: %.c5f: %.c2a = cpp_overload_set_value @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete = constants.%.c5f] +// CHECK:STDOUT: %.c5f: %.c2a = cpp_overload_set_value @ [concrete = constants.%.c5f] // CHECK:STDOUT: %foo2.decl: %foo2.type = fn_decl @foo2 [concrete = constants.%foo2] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -909,8 +909,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -937,7 +937,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -971,8 +971,8 @@ fn F() { // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] // CHECK:STDOUT: %Carbon_foo.type: type = fn_type @Carbon_foo [concrete] // CHECK:STDOUT: %Carbon_foo: %Carbon_foo.type = struct_value () [concrete] -// CHECK:STDOUT: %.cb4: type = cpp_overload_set_type @F [concrete] -// CHECK:STDOUT: %.038: %.cb4 = cpp_overload_set_value @F [concrete] +// CHECK:STDOUT: %.cb4: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.038: %.cb4 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo_int.type: type = fn_type @foo_int [concrete] // CHECK:STDOUT: %foo_int: %foo_int.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -982,7 +982,7 @@ fn F() { // CHECK:STDOUT: .foo_int = %.038 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.038: %.cb4 = cpp_overload_set_value @F [concrete = constants.%.038] +// CHECK:STDOUT: %.038: %.cb4 = cpp_overload_set_value @ [concrete = constants.%.038] // CHECK:STDOUT: %foo_int.decl: %foo_int.type = fn_decl @foo_int [concrete = constants.%foo_int] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1006,8 +1006,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_64: Core.IntLiteral = int_value 64 [concrete] // CHECK:STDOUT: %i64: type = class_type @Int, @Int(%int_64) [concrete] @@ -1034,7 +1034,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/class.carbon b/toolchain/check/testdata/interop/cpp/function/class.carbon index 0d06487d431b4..ac01abad124bb 100644 --- a/toolchain/check/testdata/interop/cpp/function/class.carbon +++ b/toolchain/check/testdata/interop/cpp/function/class.carbon @@ -526,8 +526,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %C.val: %C = struct_value () [concrete] @@ -546,7 +546,7 @@ fn F() { // CHECK:STDOUT: .C = %C.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: @@ -584,8 +584,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %C.val: %C = struct_value () [concrete] @@ -604,7 +604,7 @@ fn F() { // CHECK:STDOUT: .C = %C.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: @@ -639,8 +639,8 @@ fn F() { // CHECK:STDOUT: --- fail_todo_import_definition_single_data_member_value_param_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: } @@ -651,7 +651,7 @@ fn F() { // CHECK:STDOUT: .C = %C.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -669,8 +669,8 @@ fn F() { // CHECK:STDOUT: --- fail_todo_import_definition_multiple_data_members_value_param_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: } @@ -681,7 +681,7 @@ fn F() { // CHECK:STDOUT: .C = %C.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -700,8 +700,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %C.val: %C = struct_value () [concrete] @@ -721,7 +721,7 @@ fn F() { // CHECK:STDOUT: .N = %N // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %N: = namespace [concrete] { // CHECK:STDOUT: .C = %C.decl // CHECK:STDOUT: import Cpp//... @@ -782,8 +782,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.92e: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.92e: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %C.val: %C = struct_value () [concrete] @@ -806,7 +806,7 @@ fn F() { // CHECK:STDOUT: .N2 = %N2 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @foo [concrete = constants.%.218] +// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @ [concrete = constants.%.218] // CHECK:STDOUT: %N2: = namespace [concrete] { // CHECK:STDOUT: .C = %C.decl // CHECK:STDOUT: import Cpp//... @@ -851,8 +851,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %O: type = class_type @O [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] @@ -877,7 +877,7 @@ fn F() { // CHECK:STDOUT: .O = %O.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %O.decl: type = class_decl @O [concrete = constants.%O] {} {} // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -936,12 +936,12 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] -// CHECK:STDOUT: %.442: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.4a4: %.442 = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.442: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.4a4: %.442 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %C.bar.type: type = fn_type @C.bar [concrete] // CHECK:STDOUT: %C.bar: %C.bar.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo__carbon_thunk [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %C.val: %C = struct_value () [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -959,9 +959,9 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.4a4: %.442 = cpp_overload_set_value @foo [concrete = constants.%.4a4] +// CHECK:STDOUT: %.4a4: %.442 = cpp_overload_set_value @ [concrete = constants.%.4a4] // CHECK:STDOUT: %C.bar.decl: %C.bar.type = fn_decl @C.bar [concrete = constants.%C.bar] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1002,16 +1002,16 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo__carbon_thunk [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %C.val: %C = struct_value () [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] // CHECK:STDOUT: %foo__carbon_thunk: %foo__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.442: type = cpp_overload_set_type @C.bar [concrete] -// CHECK:STDOUT: %.4a4: %.442 = cpp_overload_set_value @C.bar [concrete] +// CHECK:STDOUT: %.442: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.4a4: %.442 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %C.bar.type: type = fn_type @C.bar [concrete] // CHECK:STDOUT: %C.bar: %C.bar.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -1026,14 +1026,14 @@ fn F() { // CHECK:STDOUT: .C = %C.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.4a4: %.442 = cpp_overload_set_value @C.bar [concrete = constants.%.4a4] +// CHECK:STDOUT: %.4a4: %.442 = cpp_overload_set_value @ [concrete = constants.%.4a4] // CHECK:STDOUT: %C.bar.decl: %C.bar.type = fn_decl @C.bar [concrete = constants.%C.bar] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -1072,8 +1072,8 @@ fn F() { // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %C [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -1085,7 +1085,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1108,8 +1108,8 @@ fn F() { // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %C [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -1121,7 +1121,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1142,8 +1142,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -1159,7 +1159,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1189,8 +1189,8 @@ fn F() { // CHECK:STDOUT: --- import_decl_pointer_return_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %C [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] @@ -1202,7 +1202,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1221,8 +1221,8 @@ fn F() { // CHECK:STDOUT: --- import_definition_pointer_return_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %C [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] @@ -1234,7 +1234,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/decayed_param.carbon b/toolchain/check/testdata/interop/cpp/function/decayed_param.carbon index 12aed9006e81a..395db65413ade 100644 --- a/toolchain/check/testdata/interop/cpp/function/decayed_param.carbon +++ b/toolchain/check/testdata/interop/cpp/function/decayed_param.carbon @@ -82,8 +82,8 @@ fn F() { // CHECK:STDOUT: %array_type: type = array_type %int_42, %i32 [concrete] // CHECK:STDOUT: %ptr.830: type = ptr_type %array_type [concrete] // CHECK:STDOUT: %pattern_type.b6e: type = pattern_type %array_type [concrete] -// CHECK:STDOUT: %.cdf: type = cpp_overload_set_type @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.782: %.cdf = cpp_overload_set_value @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete] +// CHECK:STDOUT: %.cdf: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.782: %.cdf = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_0.5c6: Core.IntLiteral = int_value 0 [concrete] // CHECK:STDOUT: %ImplicitAs.type.d14: type = facet_type <@ImplicitAs, @ImplicitAs(%i32)> [concrete] // CHECK:STDOUT: %ImplicitAs.Convert.type.1b6: type = fn_type @ImplicitAs.Convert, @ImplicitAs(%i32) [concrete] @@ -100,10 +100,10 @@ fn F() { // CHECK:STDOUT: %bound_method: = bound_method %int_0.5c6, %Core.IntLiteral.as.ImplicitAs.impl.Convert.specific_fn [concrete] // CHECK:STDOUT: %int_0.6a9: %i32 = int_value 0 [concrete] // CHECK:STDOUT: %ptr.235: type = ptr_type %i32 [concrete] -// CHECK:STDOUT: %.319: type = cpp_overload_set_type @Int.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.a02: %.319 = cpp_overload_set_value @Int.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.001: type = cpp_overload_set_type @Destroy.Op [concrete] -// CHECK:STDOUT: %.5ec: %.001 = cpp_overload_set_value @Destroy.Op [concrete] +// CHECK:STDOUT: %.319: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a02: %.319 = cpp_overload_set_value @ [concrete] +// CHECK:STDOUT: %.001: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.5ec: %.001 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] // CHECK:STDOUT: %facet_value: %type_where = facet_value %array_type, () [concrete] // CHECK:STDOUT: %DestroyT.as_type.as.Destroy.impl.Op.type.b6e: type = fn_type @DestroyT.as_type.as.Destroy.impl.Op, @DestroyT.as_type.as.Destroy.impl(%facet_value) [concrete] @@ -118,11 +118,11 @@ fn F() { // CHECK:STDOUT: .Function = %.5ec // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.782: %.cdf = cpp_overload_set_value @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete = constants.%.782] +// CHECK:STDOUT: %.782: %.cdf = cpp_overload_set_value @ [concrete = constants.%.782] // CHECK:STDOUT: %Core.import_ref.ee7: @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert.type (%Core.IntLiteral.as.ImplicitAs.impl.Convert.type.340) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert (constants.%Core.IntLiteral.as.ImplicitAs.impl.Convert.1c0)] // CHECK:STDOUT: %ImplicitAs.impl_witness_table.9e9 = impl_witness_table (%Core.import_ref.ee7), @Core.IntLiteral.as.ImplicitAs.impl [concrete] -// CHECK:STDOUT: %.a02: %.319 = cpp_overload_set_value @Int.as.ImplicitAs.impl.Convert [concrete = constants.%.a02] -// CHECK:STDOUT: %.5ec: %.001 = cpp_overload_set_value @Destroy.Op [concrete = constants.%.5ec] +// CHECK:STDOUT: %.a02: %.319 = cpp_overload_set_value @ [concrete = constants.%.a02] +// CHECK:STDOUT: %.5ec: %.001 = cpp_overload_set_value @ [concrete = constants.%.5ec] // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: fn @F() { diff --git a/toolchain/check/testdata/interop/cpp/function/default_arg.carbon b/toolchain/check/testdata/interop/cpp/function/default_arg.carbon index 18e27093a1cbf..8aebacd890fe5 100644 --- a/toolchain/check/testdata/interop/cpp/function/default_arg.carbon +++ b/toolchain/check/testdata/interop/cpp/function/default_arg.carbon @@ -116,8 +116,8 @@ fn Call() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.490: type = cpp_overload_set_type @Int.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.7c0: %.490 = cpp_overload_set_value @Int.as.ImplicitAs.impl.Convert [concrete] +// CHECK:STDOUT: %.490: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7c0: %.490 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_2.ecc: Core.IntLiteral = int_value 2 [concrete] // CHECK:STDOUT: %int_3.1ba: Core.IntLiteral = int_value 3 [concrete] @@ -152,17 +152,17 @@ fn Call() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %X: type = class_type @X [concrete] // CHECK:STDOUT: %X.val: %X = struct_value () [concrete] -// CHECK:STDOUT: %.ed9: type = cpp_overload_set_type @X.B [concrete] -// CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @X.B [concrete] +// CHECK:STDOUT: %.ed9: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.1f9: type = ptr_type %X [concrete] // CHECK:STDOUT: %X.B.type: type = fn_type @X.B [concrete] // CHECK:STDOUT: %X.B: %X.B.type = struct_value () [concrete] -// CHECK:STDOUT: %.ce5: type = cpp_overload_set_type @X.C [concrete] -// CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @X.C [concrete] +// CHECK:STDOUT: %.ce5: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %X.C.type: type = fn_type @X.C [concrete] // CHECK:STDOUT: %X.C: %X.C.type = struct_value () [concrete] -// CHECK:STDOUT: %.c13: type = cpp_overload_set_type @X.D [concrete] -// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @X.D [concrete] +// CHECK:STDOUT: %.c13: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %D__carbon_thunk.type: type = fn_type @D__carbon_thunk [concrete] // CHECK:STDOUT: %D__carbon_thunk: %D__carbon_thunk.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -177,7 +177,7 @@ fn Call() { // CHECK:STDOUT: .X = %X.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.7c0: %.490 = cpp_overload_set_value @Int.as.ImplicitAs.impl.Convert [concrete = constants.%.7c0] +// CHECK:STDOUT: %.7c0: %.490 = cpp_overload_set_value @ [concrete = constants.%.7c0] // CHECK:STDOUT: %A.decl: %A.type = fn_decl @A [concrete = constants.%A] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -186,19 +186,19 @@ fn Call() { // CHECK:STDOUT: %Core.import_ref.ee7: @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert.type (%Core.IntLiteral.as.ImplicitAs.impl.Convert.type.340) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert (constants.%Core.IntLiteral.as.ImplicitAs.impl.Convert.1c0)] // CHECK:STDOUT: %ImplicitAs.impl_witness_table.9e9 = impl_witness_table (%Core.import_ref.ee7), @Core.IntLiteral.as.ImplicitAs.impl [concrete] // CHECK:STDOUT: %X.decl: type = class_decl @X [concrete = constants.%X] {} {} -// CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @X.B [concrete = constants.%.8ab] +// CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @ [concrete = constants.%.8ab] // CHECK:STDOUT: %X.B.decl: %X.B.type = fn_decl @X.B [concrete = constants.%X.B] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @X.C [concrete = constants.%.7af] +// CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @ [concrete = constants.%.7af] // CHECK:STDOUT: %X.C.decl: %X.C.type = fn_decl @X.C [concrete = constants.%X.C] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @X.D [concrete = constants.%.7b7] +// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @ [concrete = constants.%.7b7] // CHECK:STDOUT: %D__carbon_thunk.decl: %D__carbon_thunk.type = fn_decl @D__carbon_thunk [concrete = constants.%D__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -342,8 +342,8 @@ fn Call() { // CHECK:STDOUT: %Call.type: type = fn_type @Call [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %Call: %Call.type = struct_value () [concrete] -// CHECK:STDOUT: %.490: type = cpp_overload_set_type @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.7c0: %.490 = cpp_overload_set_value @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete] +// CHECK:STDOUT: %.490: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7c0: %.490 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_2.ecc: Core.IntLiteral = int_value 2 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] @@ -382,18 +382,18 @@ fn Call() { // CHECK:STDOUT: %X: type = class_type @X [concrete] // CHECK:STDOUT: %complete_type.357: = complete_type_witness %empty_struct_type [concrete] // CHECK:STDOUT: %X.val: %X = struct_value () [concrete] -// CHECK:STDOUT: %.ed9: type = cpp_overload_set_type @Int.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @Int.as.ImplicitAs.impl.Convert [concrete] +// CHECK:STDOUT: %.ed9: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.1f9: type = ptr_type %X [concrete] // CHECK:STDOUT: %pattern_type.45c: type = pattern_type %ptr.1f9 [concrete] // CHECK:STDOUT: %B__carbon_thunk.type: type = fn_type @B__carbon_thunk [concrete] // CHECK:STDOUT: %B__carbon_thunk: %B__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.ce5: type = cpp_overload_set_type @A.2 [concrete] -// CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @A.2 [concrete] +// CHECK:STDOUT: %.ce5: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.c13: type = cpp_overload_set_type @A__carbon_thunk.2 [concrete] -// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @A__carbon_thunk.2 [concrete] +// CHECK:STDOUT: %.c13: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %D__carbon_thunk.type: type = fn_type @D__carbon_thunk [concrete] // CHECK:STDOUT: %D__carbon_thunk: %D__carbon_thunk.type = struct_value () [concrete] // CHECK:STDOUT: %Destroy.type: type = facet_type <@Destroy> [concrete] @@ -417,7 +417,7 @@ fn Call() { // CHECK:STDOUT: .X = %X.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.7c0: %.490 = cpp_overload_set_value @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete = constants.%.7c0] +// CHECK:STDOUT: %.7c0: %.490 = cpp_overload_set_value @ [concrete = constants.%.7c0] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %A__carbon_thunk.decl.713db8.1: %A__carbon_thunk.type.f1e093.1 = fn_decl @A__carbon_thunk.1 [concrete = constants.%A__carbon_thunk.8f654e.1] { // CHECK:STDOUT: %a.patt: %pattern_type.7ce = binding_pattern a [concrete] @@ -469,7 +469,7 @@ fn Call() { // CHECK:STDOUT: %c: %i32 = bind_name c, %c.param // CHECK:STDOUT: } // CHECK:STDOUT: %X.decl: type = class_decl @X [concrete = constants.%X] {} {} -// CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @Int.as.ImplicitAs.impl.Convert [concrete = constants.%.8ab] +// CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @ [concrete = constants.%.8ab] // CHECK:STDOUT: %B__carbon_thunk.decl: %B__carbon_thunk.type = fn_decl @B__carbon_thunk [concrete = constants.%B__carbon_thunk] { // CHECK:STDOUT: %this.patt: %pattern_type.45c = binding_pattern this [concrete] // CHECK:STDOUT: %this.param_patt: %pattern_type.45c = value_param_pattern %this.patt, call_param0 [concrete] @@ -485,7 +485,7 @@ fn Call() { // CHECK:STDOUT: } // CHECK:STDOUT: %a: %i32 = bind_name a, %a.param // CHECK:STDOUT: } -// CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @A.2 [concrete = constants.%.7af] +// CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @ [concrete = constants.%.7af] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: %a.patt: %pattern_type.7ce = binding_pattern a [concrete] // CHECK:STDOUT: %a.param_patt: %pattern_type.7ce = value_param_pattern %a.patt, call_param0 [concrete] @@ -497,7 +497,7 @@ fn Call() { // CHECK:STDOUT: } // CHECK:STDOUT: %a: %i32 = bind_name a, %a.param // CHECK:STDOUT: } -// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @A__carbon_thunk.2 [concrete = constants.%.7b7] +// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @ [concrete = constants.%.7b7] // CHECK:STDOUT: %D__carbon_thunk.decl: %D__carbon_thunk.type = fn_decl @D__carbon_thunk [concrete = constants.%D__carbon_thunk] { // CHECK:STDOUT: %_.patt: %pattern_type.45c = binding_pattern _ [concrete] // CHECK:STDOUT: %_.param_patt: %pattern_type.45c = value_param_pattern %_.patt, call_param0 [concrete] @@ -692,8 +692,8 @@ fn Call() { // CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %.ce5: type = cpp_overload_set_type @ [concrete] // CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @ [concrete] -// CHECK:STDOUT: %.c13: type = cpp_overload_set_type @X [concrete] -// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @X [concrete] +// CHECK:STDOUT: %.c13: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] // CHECK:STDOUT: %facet_value: %type_where = facet_value %X, () [concrete] // CHECK:STDOUT: %DestroyT.as_type.as.Destroy.impl.Op.type.d91: type = fn_type @DestroyT.as_type.as.Destroy.impl.Op, @DestroyT.as_type.as.Destroy.impl(%facet_value) [concrete] @@ -711,7 +711,7 @@ fn Call() { // CHECK:STDOUT: %X.decl: type = class_decl @X [concrete = constants.%X] {} {} // CHECK:STDOUT: %.8ab: %.ed9 = cpp_overload_set_value @ [concrete = constants.%.8ab] // CHECK:STDOUT: %.7af: %.ce5 = cpp_overload_set_value @ [concrete = constants.%.7af] -// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @X [concrete = constants.%.7b7] +// CHECK:STDOUT: %.7b7: %.c13 = cpp_overload_set_value @ [concrete = constants.%.7b7] // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: fn @Call() { diff --git a/toolchain/check/testdata/interop/cpp/function/full_semir.carbon b/toolchain/check/testdata/interop/cpp/function/full_semir.carbon index aa081ede4b9b2..d4889b6e865d6 100644 --- a/toolchain/check/testdata/interop/cpp/function/full_semir.carbon +++ b/toolchain/check/testdata/interop/cpp/function/full_semir.carbon @@ -71,8 +71,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -132,7 +132,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -210,8 +210,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -249,7 +249,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: %a.patt: %pattern_type.7ce = binding_pattern a [concrete] @@ -309,8 +309,8 @@ fn F() { // CHECK:STDOUT: %Int.generic: %Int.type = struct_value () [concrete] // CHECK:STDOUT: %i16: type = class_type @Int, @Int(%int_16) [concrete] // CHECK:STDOUT: %pattern_type.2f8: type = pattern_type %i16 [concrete] -// CHECK:STDOUT: %.f28: type = cpp_overload_set_type @foo_short [concrete] -// CHECK:STDOUT: %.3be: %.f28 = cpp_overload_set_value @foo_short [concrete] +// CHECK:STDOUT: %.f28: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.3be: %.f28 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %i16 [concrete] // CHECK:STDOUT: %pattern_type.54c: type = pattern_type %ptr [concrete] // CHECK:STDOUT: %foo_short__carbon_thunk.type: type = fn_type @foo_short__carbon_thunk [concrete] @@ -328,7 +328,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] -// CHECK:STDOUT: %.3be: %.f28 = cpp_overload_set_value @foo_short [concrete = constants.%.3be] +// CHECK:STDOUT: %.3be: %.f28 = cpp_overload_set_value @ [concrete = constants.%.3be] // CHECK:STDOUT: %foo_short__carbon_thunk.decl: %foo_short__carbon_thunk.type = fn_decl @foo_short__carbon_thunk [concrete = constants.%foo_short__carbon_thunk] { // CHECK:STDOUT: %return.patt: %pattern_type.54c = binding_pattern r#return [concrete] // CHECK:STDOUT: %return.param_patt: %pattern_type.54c = value_param_pattern %return.patt, call_param0 [concrete] diff --git a/toolchain/check/testdata/interop/cpp/function/function.carbon b/toolchain/check/testdata/interop/cpp/function/function.carbon index 983a432627153..d437b0e02abd2 100644 --- a/toolchain/check/testdata/interop/cpp/function/function.carbon +++ b/toolchain/check/testdata/interop/cpp/function/function.carbon @@ -186,8 +186,8 @@ fn G() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -197,7 +197,7 @@ fn G() -> i32 { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -213,8 +213,8 @@ fn G() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.f7d: type = cpp_overload_set_type @base [concrete] -// CHECK:STDOUT: %.6f0: %.f7d = cpp_overload_set_value @base [concrete] +// CHECK:STDOUT: %.f7d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.6f0: %.f7d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %base.type: type = fn_type @base [concrete] // CHECK:STDOUT: %base: %base.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -224,7 +224,7 @@ fn G() -> i32 { // CHECK:STDOUT: .r#base = %.6f0 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.6f0: %.f7d = cpp_overload_set_value @base [concrete = constants.%.6f0] +// CHECK:STDOUT: %.6f0: %.f7d = cpp_overload_set_value @ [concrete = constants.%.6f0] // CHECK:STDOUT: %base.decl: %base.type = fn_decl @base [concrete = constants.%base] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -240,8 +240,8 @@ fn G() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -251,7 +251,7 @@ fn G() -> i32 { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -291,8 +291,8 @@ fn G() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -302,7 +302,7 @@ fn G() -> i32 { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -318,8 +318,8 @@ fn G() -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Core.IntLiteral.as.As.impl.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Core.IntLiteral.as.As.impl.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -339,8 +339,8 @@ fn G() -> i32 { // CHECK:STDOUT: %int_1.5d2: %i32 = int_value 1 [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] -// CHECK:STDOUT: %.414: type = cpp_overload_set_type @Int.as.As.impl.Convert [concrete] -// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @Int.as.As.impl.Convert [concrete] +// CHECK:STDOUT: %.414: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %bar.type: type = fn_type @bar [concrete] // CHECK:STDOUT: %bar: %bar.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -351,7 +351,7 @@ fn G() -> i32 { // CHECK:STDOUT: .bar = %.146 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Core.IntLiteral.as.As.impl.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] // CHECK:STDOUT: %As.impl_witness_table.5ad = impl_witness_table (%Core.import_ref.99c), @Core.IntLiteral.as.As.impl [concrete] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { @@ -359,7 +359,7 @@ fn G() -> i32 { // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @Int.as.As.impl.Convert [concrete = constants.%.146] +// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @ [concrete = constants.%.146] // CHECK:STDOUT: %bar.decl: %bar.type = fn_decl @bar [concrete = constants.%bar] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/in_template.carbon b/toolchain/check/testdata/interop/cpp/function/in_template.carbon index 76a5a576f42f0..89dd40fcd87cc 100644 --- a/toolchain/check/testdata/interop/cpp/function/in_template.carbon +++ b/toolchain/check/testdata/interop/cpp/function/in_template.carbon @@ -38,8 +38,8 @@ fn F() { // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %X: type = class_type @X [concrete] -// CHECK:STDOUT: %.034: type = cpp_overload_set_type @X.f [concrete] -// CHECK:STDOUT: %.a8d: %.034 = cpp_overload_set_value @X.f [concrete] +// CHECK:STDOUT: %.034: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a8d: %.034 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_42.20e: Core.IntLiteral = int_value 42 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -67,7 +67,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %X.decl: type = class_decl @X [concrete = constants.%X] {} {} -// CHECK:STDOUT: %.a8d: %.034 = cpp_overload_set_value @X.f [concrete = constants.%.a8d] +// CHECK:STDOUT: %.a8d: %.034 = cpp_overload_set_value @ [concrete = constants.%.a8d] // CHECK:STDOUT: %X.f.decl: %X.f.type = fn_decl @X.f [concrete = constants.%X.f] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/inline.carbon b/toolchain/check/testdata/interop/cpp/function/inline.carbon index 787a530d35c75..e6396c0d4c6b9 100644 --- a/toolchain/check/testdata/interop/cpp/function/inline.carbon +++ b/toolchain/check/testdata/interop/cpp/function/inline.carbon @@ -90,8 +90,8 @@ fn MyF() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -101,7 +101,7 @@ fn MyF() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -117,8 +117,8 @@ fn MyF() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -128,7 +128,7 @@ fn MyF() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -151,8 +151,8 @@ fn MyF() { // CHECK:STDOUT: %N: Core.IntLiteral = bind_symbolic_name N, 0 [symbolic] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] // CHECK:STDOUT: %pattern_type.7ce: type = pattern_type %i32 [concrete] -// CHECK:STDOUT: %.fef: type = cpp_overload_set_type @Int.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.1bd: %.fef = cpp_overload_set_value @Int.as.ImplicitAs.impl.Convert [concrete] +// CHECK:STDOUT: %.fef: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.1bd: %.fef = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %WithoutThunk.type: type = fn_type @WithoutThunk [concrete] // CHECK:STDOUT: %WithoutThunk: %WithoutThunk.type = struct_value () [concrete] @@ -170,8 +170,8 @@ fn MyF() { // CHECK:STDOUT: %Core.IntLiteral.as.ImplicitAs.impl.Convert.specific_fn.a29: = specific_function %Core.IntLiteral.as.ImplicitAs.impl.Convert.0f0, @Core.IntLiteral.as.ImplicitAs.impl.Convert(%int_32) [concrete] // CHECK:STDOUT: %bound_method.c11: = bound_method %int_1.5b8, %Core.IntLiteral.as.ImplicitAs.impl.Convert.specific_fn.a29 [concrete] // CHECK:STDOUT: %int_1.5d2: %i32 = int_value 1 [concrete] -// CHECK:STDOUT: %.281: type = cpp_overload_set_type @ThunkOnArg [concrete] -// CHECK:STDOUT: %.c9b: %.281 = cpp_overload_set_value @ThunkOnArg [concrete] +// CHECK:STDOUT: %.281: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.c9b: %.281 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %i16: type = class_type @Int, @Int(%int_16) [concrete] // CHECK:STDOUT: %pattern_type.2f8: type = pattern_type %i16 [concrete] @@ -201,12 +201,12 @@ fn MyF() { // CHECK:STDOUT: %Int.as.Copy.impl.Op.bound: = bound_method %int_1.f90, %Int.as.Copy.impl.Op.3dc [concrete] // CHECK:STDOUT: %Int.as.Copy.impl.Op.specific_fn: = specific_function %Int.as.Copy.impl.Op.3dc, @Int.as.Copy.impl.Op(%int_16) [concrete] // CHECK:STDOUT: %bound_method.7c2: = bound_method %int_1.f90, %Int.as.Copy.impl.Op.specific_fn [concrete] -// CHECK:STDOUT: %.3ed: type = cpp_overload_set_type @ThunkOnArg__carbon_thunk [concrete] -// CHECK:STDOUT: %.d87: %.3ed = cpp_overload_set_value @ThunkOnArg__carbon_thunk [concrete] +// CHECK:STDOUT: %.3ed: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.d87: %.3ed = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ThunkOnReturn__carbon_thunk.type: type = fn_type @ThunkOnReturn__carbon_thunk [concrete] // CHECK:STDOUT: %ThunkOnReturn__carbon_thunk: %ThunkOnReturn__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.a8c: type = cpp_overload_set_type @Copy.Op [concrete] -// CHECK:STDOUT: %.db9: %.a8c = cpp_overload_set_value @Copy.Op [concrete] +// CHECK:STDOUT: %.a8c: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.db9: %.a8c = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ThunkOnBoth__carbon_thunk.type: type = fn_type @ThunkOnBoth__carbon_thunk [concrete] // CHECK:STDOUT: %ThunkOnBoth__carbon_thunk: %ThunkOnBoth__carbon_thunk.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -223,7 +223,7 @@ fn MyF() { // CHECK:STDOUT: .ThunkOnBoth = %.db9 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.1bd: %.fef = cpp_overload_set_value @Int.as.ImplicitAs.impl.Convert [concrete = constants.%.1bd] +// CHECK:STDOUT: %.1bd: %.fef = cpp_overload_set_value @ [concrete = constants.%.1bd] // CHECK:STDOUT: %WithoutThunk.decl: %WithoutThunk.type = fn_decl @WithoutThunk [concrete = constants.%WithoutThunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -231,7 +231,7 @@ fn MyF() { // CHECK:STDOUT: } // CHECK:STDOUT: %Core.import_ref.ee7: @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert.type (%Core.IntLiteral.as.ImplicitAs.impl.Convert.type.340) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert (constants.%Core.IntLiteral.as.ImplicitAs.impl.Convert.1c0)] // CHECK:STDOUT: %ImplicitAs.impl_witness_table.9e9 = impl_witness_table (%Core.import_ref.ee7), @Core.IntLiteral.as.ImplicitAs.impl [concrete] -// CHECK:STDOUT: %.c9b: %.281 = cpp_overload_set_value @ThunkOnArg [concrete = constants.%.c9b] +// CHECK:STDOUT: %.c9b: %.281 = cpp_overload_set_value @ [concrete = constants.%.c9b] // CHECK:STDOUT: %ThunkOnArg__carbon_thunk.decl: %ThunkOnArg__carbon_thunk.type = fn_decl @ThunkOnArg__carbon_thunk [concrete = constants.%ThunkOnArg__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -239,13 +239,13 @@ fn MyF() { // CHECK:STDOUT: } // CHECK:STDOUT: %Core.import_ref.d0f6: @Int.as.Copy.impl.%Int.as.Copy.impl.Op.type (%Int.as.Copy.impl.Op.type.afd) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Int.as.Copy.impl.%Int.as.Copy.impl.Op (constants.%Int.as.Copy.impl.Op.6cd)] // CHECK:STDOUT: %Copy.impl_witness_table.1ed = impl_witness_table (%Core.import_ref.d0f6), @Int.as.Copy.impl [concrete] -// CHECK:STDOUT: %.d87: %.3ed = cpp_overload_set_value @ThunkOnArg__carbon_thunk [concrete = constants.%.d87] +// CHECK:STDOUT: %.d87: %.3ed = cpp_overload_set_value @ [concrete = constants.%.d87] // CHECK:STDOUT: %ThunkOnReturn__carbon_thunk.decl: %ThunkOnReturn__carbon_thunk.type = fn_decl @ThunkOnReturn__carbon_thunk [concrete = constants.%ThunkOnReturn__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.db9: %.a8c = cpp_overload_set_value @Copy.Op [concrete = constants.%.db9] +// CHECK:STDOUT: %.db9: %.a8c = cpp_overload_set_value @ [concrete = constants.%.db9] // CHECK:STDOUT: %ThunkOnBoth__carbon_thunk.decl: %ThunkOnBoth__carbon_thunk.type = fn_decl @ThunkOnBoth__carbon_thunk [concrete = constants.%ThunkOnBoth__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/multiple_too_few_args_calls.carbon b/toolchain/check/testdata/interop/cpp/function/multiple_too_few_args_calls.carbon new file mode 100644 index 0000000000000..d338c86d62a7f --- /dev/null +++ b/toolchain/check/testdata/interop/cpp/function/multiple_too_few_args_calls.carbon @@ -0,0 +1,71 @@ +// 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 +// +// INCLUDE-FILE: toolchain/testing/testdata/min_prelude/none.carbon +// +// AUTOUPDATE +// TIP: To test this file alone, run: +// TIP: bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/check/testdata/interop/cpp/function/multiple_too_few_args_calls.carbon +// TIP: To dump output, run: +// TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/interop/cpp/function/multiple_too_few_args_calls.carbon + +// --- fail_call_too_few_args.carbon + +library "[[@TEST_NAME]]"; + +import Cpp inline ''' +struct X {}; +void F1(X x); +void F2(X x); +'''; + +fn Call() { + //@dump-sem-ir-begin + // CHECK:STDERR: fail_call_too_few_args.carbon:[[@LINE+7]]:10: error: no matching function for call to 'F1' [CppInteropParseError] + // CHECK:STDERR: 19 | Cpp.F1(); + // CHECK:STDERR: | ^ + // CHECK:STDERR: fail_call_too_few_args.carbon:[[@LINE-9]]:6: note: candidate function not viable: requires single argument 'x', but no arguments were provided [CppInteropParseNote] + // CHECK:STDERR: 6 | void F1(X x); + // CHECK:STDERR: | ^ ~~~ + // CHECK:STDERR: + Cpp.F1(); + // CHECK:STDERR: fail_call_too_few_args.carbon:[[@LINE+7]]:10: error: no matching function for call to 'F2' [CppInteropParseError] + // CHECK:STDERR: 27 | Cpp.F2(); + // CHECK:STDERR: | ^ + // CHECK:STDERR: fail_call_too_few_args.carbon:[[@LINE-16]]:6: note: candidate function not viable: requires single argument 'x', but no arguments were provided [CppInteropParseNote] + // CHECK:STDERR: 7 | void F2(X x); + // CHECK:STDERR: | ^ ~~~ + // CHECK:STDERR: + Cpp.F2(); + //@dump-sem-ir-end +} + +// CHECK:STDOUT: --- fail_call_too_few_args.carbon +// CHECK:STDOUT: +// CHECK:STDOUT: constants { +// CHECK:STDOUT: %.082: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.e7d: %.082 = cpp_overload_set_value @ [concrete] +// CHECK:STDOUT: %.152: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.172: %.152 = cpp_overload_set_value @ [concrete] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: imports { +// CHECK:STDOUT: %Cpp: = namespace file.%Cpp.import_cpp, [concrete] { +// CHECK:STDOUT: .F1 = %.e7d +// CHECK:STDOUT: .F2 = %.172 +// CHECK:STDOUT: import Cpp//... +// CHECK:STDOUT: } +// CHECK:STDOUT: %.e7d: %.082 = cpp_overload_set_value @ [concrete = constants.%.e7d] +// CHECK:STDOUT: %.172: %.152 = cpp_overload_set_value @ [concrete = constants.%.172] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: fn @Call() { +// CHECK:STDOUT: !entry: +// CHECK:STDOUT: %Cpp.ref.loc19: = name_ref Cpp, imports.%Cpp [concrete = imports.%Cpp] +// CHECK:STDOUT: %F1.ref: %.082 = name_ref F1, imports.%.e7d [concrete = constants.%.e7d] +// CHECK:STDOUT: %Cpp.ref.loc27: = name_ref Cpp, imports.%Cpp [concrete = imports.%Cpp] +// CHECK:STDOUT: %F2.ref: %.152 = name_ref F2, imports.%.172 [concrete = constants.%.172] +// CHECK:STDOUT: +// CHECK:STDOUT: } +// CHECK:STDOUT: diff --git a/toolchain/check/testdata/interop/cpp/function/operators.carbon b/toolchain/check/testdata/interop/cpp/function/operators.carbon index 412337ecc7cdc..6bea905ab3c46 100644 --- a/toolchain/check/testdata/interop/cpp/function/operators.carbon +++ b/toolchain/check/testdata/interop/cpp/function/operators.carbon @@ -956,8 +956,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @operator++__carbon_thunk [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @operator++__carbon_thunk [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -979,7 +979,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @operator++__carbon_thunk [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1091,8 +1091,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @Copy.Op [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @Copy.Op [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -1181,7 +1181,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @Copy.Op [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1952,8 +1952,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @operator+__carbon_thunk [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @operator+__carbon_thunk [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -1971,7 +1971,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @operator+__carbon_thunk [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2124,8 +2124,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.69f: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.169: type = cpp_overload_set_type @C__carbon_thunk [concrete] -// CHECK:STDOUT: %.c52: %.169 = cpp_overload_set_value @C__carbon_thunk [concrete] +// CHECK:STDOUT: %.169: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.c52: %.169 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.838: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -2147,7 +2147,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.c52: %.169 = cpp_overload_set_value @C__carbon_thunk [concrete = constants.%.c52] +// CHECK:STDOUT: %.c52: %.169 = cpp_overload_set_value @ [concrete = constants.%.c52] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2251,15 +2251,15 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C1: type = class_type @C1 [concrete] // CHECK:STDOUT: %pattern_type.20f: type = pattern_type %C1 [concrete] -// CHECK:STDOUT: %.eb7: type = cpp_overload_set_type @C2__carbon_thunk [concrete] -// CHECK:STDOUT: %.91f: %.eb7 = cpp_overload_set_value @C2__carbon_thunk [concrete] +// CHECK:STDOUT: %.eb7: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.91f: %.eb7 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.087: type = ptr_type %C1 [concrete] // CHECK:STDOUT: %C1__carbon_thunk.type: type = fn_type @C1__carbon_thunk [concrete] // CHECK:STDOUT: %C1__carbon_thunk: %C1__carbon_thunk.type = struct_value () [concrete] // CHECK:STDOUT: %C2: type = class_type @C2 [concrete] // CHECK:STDOUT: %pattern_type.846: type = pattern_type %C2 [concrete] -// CHECK:STDOUT: %.74f: type = cpp_overload_set_type @cpp_operator.1 [concrete] -// CHECK:STDOUT: %.ed5: %.74f = cpp_overload_set_value @cpp_operator.1 [concrete] +// CHECK:STDOUT: %.74f: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.ed5: %.74f = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.51f: type = ptr_type %C2 [concrete] // CHECK:STDOUT: %C2__carbon_thunk.type: type = fn_type @C2__carbon_thunk [concrete] // CHECK:STDOUT: %C2__carbon_thunk: %C2__carbon_thunk.type = struct_value () [concrete] @@ -2287,7 +2287,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C1.decl: type = class_decl @C1 [concrete = constants.%C1] {} {} -// CHECK:STDOUT: %.91f: %.eb7 = cpp_overload_set_value @C2__carbon_thunk [concrete = constants.%.91f] +// CHECK:STDOUT: %.91f: %.eb7 = cpp_overload_set_value @ [concrete = constants.%.91f] // CHECK:STDOUT: %C1__carbon_thunk.decl: %C1__carbon_thunk.type = fn_decl @C1__carbon_thunk [concrete = constants.%C1__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2298,7 +2298,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C2.decl: type = class_decl @C2 [concrete = constants.%C2] {} {} -// CHECK:STDOUT: %.ed5: %.74f = cpp_overload_set_value @cpp_operator.1 [concrete = constants.%.ed5] +// CHECK:STDOUT: %.ed5: %.74f = cpp_overload_set_value @ [concrete = constants.%.ed5] // CHECK:STDOUT: %C2__carbon_thunk.decl: %C2__carbon_thunk.type = fn_decl @C2__carbon_thunk [concrete = constants.%C2__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2435,8 +2435,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.69f: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.169: type = cpp_overload_set_type @C__carbon_thunk [concrete] -// CHECK:STDOUT: %.c52: %.169 = cpp_overload_set_value @C__carbon_thunk [concrete] +// CHECK:STDOUT: %.169: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.c52: %.169 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.838: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -2456,7 +2456,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.c52: %.169 = cpp_overload_set_value @C__carbon_thunk [concrete = constants.%.c52] +// CHECK:STDOUT: %.c52: %.169 = cpp_overload_set_value @ [concrete = constants.%.c52] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2539,8 +2539,8 @@ fn F() { // CHECK:STDOUT: %O: type = class_type @O [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.b28: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d80: type = cpp_overload_set_type @C__carbon_thunk [concrete] -// CHECK:STDOUT: %.7a9: %.d80 = cpp_overload_set_value @C__carbon_thunk [concrete] +// CHECK:STDOUT: %.d80: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7a9: %.d80 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.de2: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -2559,7 +2559,7 @@ fn F() { // CHECK:STDOUT: } // CHECK:STDOUT: %O.decl: type = class_decl @O [concrete = constants.%O] {} {} // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.7a9: %.d80 = cpp_overload_set_value @C__carbon_thunk [concrete = constants.%.7a9] +// CHECK:STDOUT: %.7a9: %.d80 = cpp_overload_set_value @ [concrete = constants.%.7a9] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2664,8 +2664,8 @@ fn F() { // CHECK:STDOUT: %O: type = class_type @O [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.84b: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.62f: type = cpp_overload_set_type @C__carbon_thunk [concrete] -// CHECK:STDOUT: %.f56: %.62f = cpp_overload_set_value @C__carbon_thunk [concrete] +// CHECK:STDOUT: %.62f: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.f56: %.62f = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.4b2: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -2688,7 +2688,7 @@ fn F() { // CHECK:STDOUT: } // CHECK:STDOUT: %O.decl: type = class_decl @O [concrete = constants.%O] {} {} // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.f56: %.62f = cpp_overload_set_value @C__carbon_thunk [concrete = constants.%.f56] +// CHECK:STDOUT: %.f56: %.62f = cpp_overload_set_value @ [concrete = constants.%.f56] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -2797,8 +2797,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %C: type = class_type @C [concrete] // CHECK:STDOUT: %pattern_type.217: type = pattern_type %C [concrete] -// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @C.cpp_operator.1 [concrete] -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.cpp_operator.1 [concrete] +// CHECK:STDOUT: %.d40: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.d9e: type = ptr_type %C [concrete] // CHECK:STDOUT: %C__carbon_thunk.type: type = fn_type @C__carbon_thunk [concrete] // CHECK:STDOUT: %C__carbon_thunk: %C__carbon_thunk.type = struct_value () [concrete] @@ -2818,7 +2818,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} -// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @C.cpp_operator.1 [concrete = constants.%.40b] +// CHECK:STDOUT: %.40b: %.d40 = cpp_overload_set_value @ [concrete = constants.%.40b] // CHECK:STDOUT: %C__carbon_thunk.decl: %C__carbon_thunk.type = fn_decl @C__carbon_thunk [concrete = constants.%C__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/overloads.carbon b/toolchain/check/testdata/interop/cpp/function/overloads.carbon index 202cf8cfd8187..88e865cf1844a 100644 --- a/toolchain/check/testdata/interop/cpp/function/overloads.carbon +++ b/toolchain/check/testdata/interop/cpp/function/overloads.carbon @@ -355,8 +355,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.414: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.414: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -416,7 +416,7 @@ fn F() { // CHECK:STDOUT: .bar = %.146 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @As.Convert [concrete = constants.%.146] +// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @ [concrete = constants.%.146] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -494,8 +494,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -533,7 +533,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -590,8 +590,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -667,7 +667,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -771,8 +771,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Core.IntLiteral.as.As.impl.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Core.IntLiteral.as.As.impl.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -797,8 +797,8 @@ fn F() { // CHECK:STDOUT: %int_1.5d2: %i32 = int_value 1 [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] -// CHECK:STDOUT: %.414: type = cpp_overload_set_type @Int.as.As.impl.Convert [concrete] -// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @Int.as.As.impl.Convert [concrete] +// CHECK:STDOUT: %.414: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %bar.type: type = fn_type @bar [concrete] // CHECK:STDOUT: %bar: %bar.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -815,7 +815,7 @@ fn F() { // CHECK:STDOUT: .bar = %.146 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Core.IntLiteral.as.As.impl.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -831,7 +831,7 @@ fn F() { // CHECK:STDOUT: } // CHECK:STDOUT: %a: %i32 = bind_name a, %a.param // CHECK:STDOUT: } -// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @Int.as.As.impl.Convert [concrete = constants.%.146] +// CHECK:STDOUT: %.146: %.414 = cpp_overload_set_value @ [concrete = constants.%.146] // CHECK:STDOUT: %bar.decl: %bar.type = fn_decl @bar [concrete = constants.%bar] { // CHECK:STDOUT: %a.patt: %pattern_type.7ce = binding_pattern a [concrete] // CHECK:STDOUT: %a.param_patt: %pattern_type.7ce = value_param_pattern %a.patt, call_param0 [concrete] @@ -899,8 +899,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_32767.f4b: Core.IntLiteral = int_value 32767 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -938,7 +938,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: %a.patt: %pattern_type.7ce = binding_pattern a [concrete] @@ -993,8 +993,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_9223372036854775807.e6f: Core.IntLiteral = int_value 9223372036854775807 [concrete] // CHECK:STDOUT: %int_64: Core.IntLiteral = int_value 64 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -1032,7 +1032,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: %a.patt: %pattern_type.95b = binding_pattern a [concrete] @@ -1087,8 +1087,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_9223372036854775808.293: Core.IntLiteral = int_value 9223372036854775808 [concrete] // CHECK:STDOUT: %int_64: Core.IntLiteral = int_value 64 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -1126,7 +1126,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: %a.patt: %pattern_type.95b = binding_pattern a [concrete] @@ -1181,8 +1181,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Negate.Op [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %Negate.type: type = facet_type <@Negate> [concrete] // CHECK:STDOUT: %Negate.Op.type: type = fn_type @Negate.Op [concrete] @@ -1230,7 +1230,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Negate: type = import_ref Core//prelude/parts/int_literal, Negate, loaded [concrete = constants.%Negate.type] // CHECK:STDOUT: %Core.import_ref.abd = import_ref Core//prelude/parts/int_literal, loc{{\d+_\d+}}, unloaded // CHECK:STDOUT: %Core.import_ref.3d9: %Core.IntLiteral.as.Negate.impl.Op.type = import_ref Core//prelude/parts/int_literal, loc{{\d+_\d+}}, loaded [concrete = constants.%Core.IntLiteral.as.Negate.impl.Op] @@ -1294,8 +1294,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Negate.Op [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %Negate.type: type = facet_type <@Negate> [concrete] // CHECK:STDOUT: %Negate.Op.type: type = fn_type @Negate.Op [concrete] @@ -1343,7 +1343,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Negate.Op [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Negate: type = import_ref Core//prelude/parts/int_literal, Negate, loaded [concrete = constants.%Negate.type] // CHECK:STDOUT: %Core.import_ref.abd = import_ref Core//prelude/parts/int_literal, loc{{\d+_\d+}}, unloaded // CHECK:STDOUT: %Core.import_ref.3d9: %Core.IntLiteral.as.Negate.impl.Op.type = import_ref Core//prelude/parts/int_literal, loc{{\d+_\d+}}, loaded [concrete = constants.%Core.IntLiteral.as.Negate.impl.Op] @@ -1450,8 +1450,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_16: Core.IntLiteral = int_value 16 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -1494,7 +1494,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -1553,8 +1553,8 @@ fn F() { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -1598,7 +1598,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -1659,8 +1659,8 @@ fn F() { // CHECK:STDOUT: constants { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_64: Core.IntLiteral = int_value 64 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -1695,7 +1695,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -1737,8 +1737,8 @@ fn F() { // CHECK:STDOUT: constants { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_64: Core.IntLiteral = int_value 64 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -1773,7 +1773,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -1815,8 +1815,8 @@ fn F() { // CHECK:STDOUT: constants { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_1.5b8: Core.IntLiteral = int_value 1 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %Int.type: type = generic_class_type @Int [concrete] @@ -1851,7 +1851,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %Core.Int: %Int.type = import_ref Core//prelude/parts/int, Int, loaded [concrete = constants.%Int.generic] // CHECK:STDOUT: %Core.As: %As.type.90f = import_ref Core//prelude/parts/as, As, loaded [concrete = constants.%As.generic] // CHECK:STDOUT: %Core.import_ref.99c: @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert.type (%Core.IntLiteral.as.As.impl.Convert.type.565) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.As.impl.%Core.IntLiteral.as.As.impl.Convert (constants.%Core.IntLiteral.as.As.impl.Convert.d2c)] @@ -1904,8 +1904,8 @@ fn F() { // CHECK:STDOUT: %EchoValue: %EchoValue.type = struct_value () [concrete] // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @F [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: imports { @@ -1917,7 +1917,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: file { diff --git a/toolchain/check/testdata/interop/cpp/function/pointer.carbon b/toolchain/check/testdata/interop/cpp/function/pointer.carbon index 7e5eb33b14192..d83f479576021 100644 --- a/toolchain/check/testdata/interop/cpp/function/pointer.carbon +++ b/toolchain/check/testdata/interop/cpp/function/pointer.carbon @@ -255,8 +255,8 @@ fn F() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] @@ -273,7 +273,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -333,8 +333,8 @@ fn F() { // CHECK:STDOUT: %Copy.facet: %Copy.type = facet_value %ptr.5c7, (%Copy.impl_witness.692) [concrete] // CHECK:STDOUT: %.dce: type = fn_type_with_self_type %Copy.Op.type, %Copy.facet [concrete] // CHECK:STDOUT: %ptr.as.Copy.impl.Op.specific_fn: = specific_function %ptr.as.Copy.impl.Op.1cb, @ptr.as.Copy.impl.Op(%S) [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Copy.Op [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Copy.Op [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.dfe: type = ptr_type %ptr.5c7 [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] @@ -356,7 +356,7 @@ fn F() { // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} // CHECK:STDOUT: %Core.import_ref.0e4: @ptr.as.Copy.impl.%ptr.as.Copy.impl.Op.type (%ptr.as.Copy.impl.Op.type.31f) = import_ref Core//prelude/parts/copy, loc{{\d+_\d+}}, loaded [symbolic = @ptr.as.Copy.impl.%ptr.as.Copy.impl.Op (constants.%ptr.as.Copy.impl.Op.8a8)] // CHECK:STDOUT: %Copy.impl_witness_table.53c = impl_witness_table (%Core.import_ref.0e4), @ptr.as.Copy.impl [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Copy.Op [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -430,8 +430,8 @@ fn F() { // CHECK:STDOUT: %G.type: type = fn_type @G [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %G: %G.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @F [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.ff5: type = ptr_type %const [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] @@ -448,7 +448,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -496,8 +496,8 @@ fn F() { // CHECK:STDOUT: %IngestDoublePointer.type: type = fn_type @IngestDoublePointer [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %IngestDoublePointer: %IngestDoublePointer.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @F [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -509,7 +509,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -541,8 +541,8 @@ fn F() { // CHECK:STDOUT: %IngestDoublePointer.type: type = fn_type @IngestDoublePointer [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %IngestDoublePointer: %IngestDoublePointer.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @F [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -554,7 +554,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -586,8 +586,8 @@ fn F() { // CHECK:STDOUT: %IngestConstPointer.type: type = fn_type @IngestConstPointer [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %IngestConstPointer: %IngestConstPointer.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @F [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -599,7 +599,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @F [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -630,8 +630,8 @@ fn F() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @Destroy.Op [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Destroy.Op [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] // CHECK:STDOUT: %facet_value: %type_where = facet_value %S, () [concrete] @@ -646,7 +646,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @Destroy.Op [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: } // CHECK:STDOUT: // CHECK:STDOUT: fn @F() { @@ -689,8 +689,8 @@ fn F() { // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %pattern_type.259: type = pattern_type %ptr.5c7 [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -706,7 +706,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -764,11 +764,11 @@ fn F() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] -// CHECK:STDOUT: %.97c: type = cpp_overload_set_type @Destroy.Op [concrete] -// CHECK:STDOUT: %.e4a: %.97c = cpp_overload_set_value @Destroy.Op [concrete] +// CHECK:STDOUT: %.97c: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.e4a: %.97c = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] -// CHECK:STDOUT: %.fed: type = cpp_overload_set_type @DestroyT.as_type.as.Destroy.impl.Op [concrete] -// CHECK:STDOUT: %.9c4: %.fed = cpp_overload_set_value @DestroyT.as_type.as.Destroy.impl.Op [concrete] +// CHECK:STDOUT: %.fed: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.9c4: %.fed = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %Indirect.type: type = fn_type @Indirect [concrete] // CHECK:STDOUT: %Indirect: %Indirect.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -785,8 +785,8 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.e4a: %.97c = cpp_overload_set_value @Destroy.Op [concrete = constants.%.e4a] -// CHECK:STDOUT: %.9c4: %.fed = cpp_overload_set_value @DestroyT.as_type.as.Destroy.impl.Op [concrete = constants.%.9c4] +// CHECK:STDOUT: %.e4a: %.97c = cpp_overload_set_value @ [concrete = constants.%.e4a] +// CHECK:STDOUT: %.9c4: %.fed = cpp_overload_set_value @ [concrete = constants.%.9c4] // CHECK:STDOUT: %Indirect.decl: %Indirect.type = fn_decl @Indirect [concrete = constants.%Indirect] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/qualified_param.carbon b/toolchain/check/testdata/interop/cpp/function/qualified_param.carbon index bc7abfa293651..b159badfc66a7 100644 --- a/toolchain/check/testdata/interop/cpp/function/qualified_param.carbon +++ b/toolchain/check/testdata/interop/cpp/function/qualified_param.carbon @@ -37,8 +37,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.fc4: type = cpp_overload_set_type @ImplicitAs.Convert [concrete] -// CHECK:STDOUT: %.6a4: %.fc4 = cpp_overload_set_value @ImplicitAs.Convert [concrete] +// CHECK:STDOUT: %.fc4: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.6a4: %.fc4 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %int_42.20e: Core.IntLiteral = int_value 42 [concrete] // CHECK:STDOUT: %int_32: Core.IntLiteral = int_value 32 [concrete] // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] @@ -62,8 +62,8 @@ fn F() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] -// CHECK:STDOUT: %.289: type = cpp_overload_set_type @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete] -// CHECK:STDOUT: %.7c2: %.289 = cpp_overload_set_value @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete] +// CHECK:STDOUT: %.289: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.7c2: %.289 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %const: type = const_type %S [concrete] // CHECK:STDOUT: %ptr.ff5: type = ptr_type %const [concrete] // CHECK:STDOUT: %TakesConstS__carbon_thunk.type: type = fn_type @TakesConstS__carbon_thunk [concrete] @@ -82,7 +82,7 @@ fn F() { // CHECK:STDOUT: .TakesConstS = %.7c2 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.6a4: %.fc4 = cpp_overload_set_value @ImplicitAs.Convert [concrete = constants.%.6a4] +// CHECK:STDOUT: %.6a4: %.fc4 = cpp_overload_set_value @ [concrete = constants.%.6a4] // CHECK:STDOUT: %TakesConstInt.decl: %TakesConstInt.type = fn_decl @TakesConstInt [concrete = constants.%TakesConstInt] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -91,7 +91,7 @@ fn F() { // CHECK:STDOUT: %Core.import_ref.ee7: @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert.type (%Core.IntLiteral.as.ImplicitAs.impl.Convert.type.340) = import_ref Core//prelude/parts/int, loc{{\d+_\d+}}, loaded [symbolic = @Core.IntLiteral.as.ImplicitAs.impl.%Core.IntLiteral.as.ImplicitAs.impl.Convert (constants.%Core.IntLiteral.as.ImplicitAs.impl.Convert.1c0)] // CHECK:STDOUT: %ImplicitAs.impl_witness_table.9e9 = impl_witness_table (%Core.import_ref.ee7), @Core.IntLiteral.as.ImplicitAs.impl [concrete] // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.7c2: %.289 = cpp_overload_set_value @Core.IntLiteral.as.ImplicitAs.impl.Convert [concrete = constants.%.7c2] +// CHECK:STDOUT: %.7c2: %.289 = cpp_overload_set_value @ [concrete = constants.%.7c2] // CHECK:STDOUT: %TakesConstS__carbon_thunk.decl: %TakesConstS__carbon_thunk.type = fn_decl @TakesConstS__carbon_thunk [concrete = constants.%TakesConstS__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/reference.carbon b/toolchain/check/testdata/interop/cpp/function/reference.carbon index 5bdf26f71324e..c6eee8bb2db9d 100644 --- a/toolchain/check/testdata/interop/cpp/function/reference.carbon +++ b/toolchain/check/testdata/interop/cpp/function/reference.carbon @@ -299,8 +299,8 @@ fn F() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] -// CHECK:STDOUT: %.547: type = cpp_overload_set_type @TakesLValue [concrete] -// CHECK:STDOUT: %.a7f: %.547 = cpp_overload_set_value @TakesLValue [concrete] +// CHECK:STDOUT: %.547: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a7f: %.547 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %TakesLValue__carbon_thunk.type: type = fn_type @TakesLValue__carbon_thunk [concrete] // CHECK:STDOUT: %TakesLValue__carbon_thunk: %TakesLValue__carbon_thunk.type = struct_value () [concrete] @@ -317,7 +317,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a7f: %.547 = cpp_overload_set_value @TakesLValue [concrete = constants.%.a7f] +// CHECK:STDOUT: %.a7f: %.547 = cpp_overload_set_value @ [concrete = constants.%.a7f] // CHECK:STDOUT: %TakesLValue__carbon_thunk.decl: %TakesLValue__carbon_thunk.type = fn_decl @TakesLValue__carbon_thunk [concrete = constants.%TakesLValue__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -362,8 +362,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] -// CHECK:STDOUT: %.547: type = cpp_overload_set_type @Destroy.Op [concrete] -// CHECK:STDOUT: %.a7f: %.547 = cpp_overload_set_value @Destroy.Op [concrete] +// CHECK:STDOUT: %.547: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a7f: %.547 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %T: type = class_type @T [concrete] // CHECK:STDOUT: %pattern_type.e6b: type = pattern_type %T [concrete] // CHECK:STDOUT: %const: type = const_type %S [concrete] @@ -386,7 +386,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a7f: %.547 = cpp_overload_set_value @Destroy.Op [concrete = constants.%.a7f] +// CHECK:STDOUT: %.a7f: %.547 = cpp_overload_set_value @ [concrete = constants.%.a7f] // CHECK:STDOUT: %T.decl: type = class_decl @T [concrete = constants.%T] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -474,8 +474,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.1b9: type = cpp_overload_set_type @TakesRValue [concrete] -// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @TakesRValue [concrete] +// CHECK:STDOUT: %.1b9: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] @@ -494,7 +494,7 @@ fn F() { // CHECK:STDOUT: .S = %S.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @TakesRValue [concrete = constants.%.1f6] +// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @ [concrete = constants.%.1f6] // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} // CHECK:STDOUT: %TakesRValue__carbon_thunk.decl: %TakesRValue__carbon_thunk.type = fn_decl @TakesRValue__carbon_thunk [concrete = constants.%TakesRValue__carbon_thunk] { // CHECK:STDOUT: @@ -536,8 +536,8 @@ fn F() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] -// CHECK:STDOUT: %.1b9: type = cpp_overload_set_type @TakesRValue [concrete] -// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @TakesRValue [concrete] +// CHECK:STDOUT: %.1b9: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %TakesRValue__carbon_thunk.type: type = fn_type @TakesRValue__carbon_thunk [concrete] // CHECK:STDOUT: %TakesRValue__carbon_thunk: %TakesRValue__carbon_thunk.type = struct_value () [concrete] @@ -554,7 +554,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @TakesRValue [concrete = constants.%.1f6] +// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @ [concrete = constants.%.1f6] // CHECK:STDOUT: %TakesRValue__carbon_thunk.decl: %TakesRValue__carbon_thunk.type = fn_decl @TakesRValue__carbon_thunk [concrete = constants.%TakesRValue__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -601,8 +601,8 @@ fn F() { // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] -// CHECK:STDOUT: %.1b9: type = cpp_overload_set_type @Destroy.Op [concrete] -// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @Destroy.Op [concrete] +// CHECK:STDOUT: %.1b9: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %T: type = class_type @T [concrete] // CHECK:STDOUT: %pattern_type.e6b: type = pattern_type %T [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] @@ -626,7 +626,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @Destroy.Op [concrete = constants.%.1f6] +// CHECK:STDOUT: %.1f6: %.1b9 = cpp_overload_set_value @ [concrete = constants.%.1f6] // CHECK:STDOUT: %T.decl: type = class_decl @T [concrete = constants.%T] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -704,8 +704,8 @@ fn F() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] -// CHECK:STDOUT: %.4e1: type = cpp_overload_set_type @TakesConstLValue [concrete] -// CHECK:STDOUT: %.9bc: %.4e1 = cpp_overload_set_value @TakesConstLValue [concrete] +// CHECK:STDOUT: %.4e1: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.9bc: %.4e1 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %const: type = const_type %S [concrete] // CHECK:STDOUT: %ptr.ff5: type = ptr_type %const [concrete] // CHECK:STDOUT: %TakesConstLValue__carbon_thunk.type: type = fn_type @TakesConstLValue__carbon_thunk [concrete] @@ -724,7 +724,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.9bc: %.4e1 = cpp_overload_set_value @TakesConstLValue [concrete = constants.%.9bc] +// CHECK:STDOUT: %.9bc: %.4e1 = cpp_overload_set_value @ [concrete = constants.%.9bc] // CHECK:STDOUT: %TakesConstLValue__carbon_thunk.decl: %TakesConstLValue__carbon_thunk.type = fn_decl @TakesConstLValue__carbon_thunk [concrete = constants.%TakesConstLValue__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -783,8 +783,8 @@ fn F() { // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] -// CHECK:STDOUT: %.4e1: type = cpp_overload_set_type @TakesConstLValue [concrete] -// CHECK:STDOUT: %.9bc: %.4e1 = cpp_overload_set_value @TakesConstLValue [concrete] +// CHECK:STDOUT: %.4e1: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.9bc: %.4e1 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %const: type = const_type %S [concrete] // CHECK:STDOUT: %ptr.ff5: type = ptr_type %const [concrete] // CHECK:STDOUT: %TakesConstLValue__carbon_thunk.type: type = fn_type @TakesConstLValue__carbon_thunk [concrete] @@ -810,7 +810,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.9bc: %.4e1 = cpp_overload_set_value @TakesConstLValue [concrete = constants.%.9bc] +// CHECK:STDOUT: %.9bc: %.4e1 = cpp_overload_set_value @ [concrete = constants.%.9bc] // CHECK:STDOUT: %TakesConstLValue__carbon_thunk.decl: %TakesConstLValue__carbon_thunk.type = fn_decl @TakesConstLValue__carbon_thunk [concrete = constants.%TakesConstLValue__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -879,8 +879,8 @@ fn F() { // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %S [concrete] // CHECK:STDOUT: %pattern_type: type = pattern_type %ptr [concrete] -// CHECK:STDOUT: %.041: type = cpp_overload_set_type @ReturnsLValue [concrete] -// CHECK:STDOUT: %.03d: %.041 = cpp_overload_set_value @ReturnsLValue [concrete] +// CHECK:STDOUT: %.041: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.03d: %.041 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ReturnsLValue.type: type = fn_type @ReturnsLValue [concrete] // CHECK:STDOUT: %ReturnsLValue: %ReturnsLValue.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -892,7 +892,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.03d: %.041 = cpp_overload_set_value @ReturnsLValue [concrete = constants.%.03d] +// CHECK:STDOUT: %.03d: %.041 = cpp_overload_set_value @ [concrete = constants.%.03d] // CHECK:STDOUT: %ReturnsLValue.decl: %ReturnsLValue.type = fn_decl @ReturnsLValue [concrete = constants.%ReturnsLValue] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -923,8 +923,8 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %pattern_type.7da: type = pattern_type %S [concrete] -// CHECK:STDOUT: %.c60: type = cpp_overload_set_type @ReturnsRValue [concrete] -// CHECK:STDOUT: %.99d: %.c60 = cpp_overload_set_value @ReturnsRValue [concrete] +// CHECK:STDOUT: %.c60: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.99d: %.c60 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ReturnsRValue.type: type = fn_type @ReturnsRValue [concrete] // CHECK:STDOUT: %ReturnsRValue: %ReturnsRValue.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -941,7 +941,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.99d: %.c60 = cpp_overload_set_value @ReturnsRValue [concrete = constants.%.99d] +// CHECK:STDOUT: %.99d: %.c60 = cpp_overload_set_value @ [concrete = constants.%.99d] // CHECK:STDOUT: %ReturnsRValue.decl: %ReturnsRValue.type = fn_decl @ReturnsRValue [concrete = constants.%ReturnsRValue] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -982,8 +982,8 @@ fn F() { // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %const: type = const_type %S [concrete] // CHECK:STDOUT: %pattern_type.9be: type = pattern_type %const [concrete] -// CHECK:STDOUT: %.c99: type = cpp_overload_set_type @ReturnConstLValue [concrete] -// CHECK:STDOUT: %.bf8: %.c99 = cpp_overload_set_value @ReturnConstLValue [concrete] +// CHECK:STDOUT: %.c99: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.bf8: %.c99 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ReturnConstLValue.type: type = fn_type @ReturnConstLValue [concrete] // CHECK:STDOUT: %ReturnConstLValue: %ReturnConstLValue.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -1000,7 +1000,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.bf8: %.c99 = cpp_overload_set_value @ReturnConstLValue [concrete = constants.%.bf8] +// CHECK:STDOUT: %.bf8: %.c99 = cpp_overload_set_value @ [concrete = constants.%.bf8] // CHECK:STDOUT: %ReturnConstLValue.decl: %ReturnConstLValue.type = fn_decl @ReturnConstLValue [concrete = constants.%ReturnConstLValue] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/return.carbon b/toolchain/check/testdata/interop/cpp/function/return.carbon index 155e141d0075c..c20a3c8249dcc 100644 --- a/toolchain/check/testdata/interop/cpp/function/return.carbon +++ b/toolchain/check/testdata/interop/cpp/function/return.carbon @@ -47,13 +47,13 @@ fn F() { // CHECK:STDOUT: %i32: type = class_type @Int, @Int(%int_32) [concrete] // CHECK:STDOUT: %IngestI32.type: type = fn_type @IngestI32 [concrete] // CHECK:STDOUT: %IngestI32: %IngestI32.type = struct_value () [concrete] -// CHECK:STDOUT: %.bf4: type = cpp_overload_set_type @F [concrete] -// CHECK:STDOUT: %.6c5: %.bf4 = cpp_overload_set_value @F [concrete] +// CHECK:STDOUT: %.bf4: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.6c5: %.bf4 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %i16 [concrete] // CHECK:STDOUT: %foo1__carbon_thunk.type: type = fn_type @foo1__carbon_thunk [concrete] // CHECK:STDOUT: %foo1__carbon_thunk: %foo1__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.c2a: type = cpp_overload_set_type @foo1 [concrete] -// CHECK:STDOUT: %.c5f: %.c2a = cpp_overload_set_value @foo1 [concrete] +// CHECK:STDOUT: %.c2a: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.c5f: %.c2a = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo2.type: type = fn_type @foo2 [concrete] // CHECK:STDOUT: %foo2: %foo2.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -64,13 +64,13 @@ fn F() { // CHECK:STDOUT: .foo2 = %.c5f // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.6c5: %.bf4 = cpp_overload_set_value @F [concrete = constants.%.6c5] +// CHECK:STDOUT: %.6c5: %.bf4 = cpp_overload_set_value @ [concrete = constants.%.6c5] // CHECK:STDOUT: %foo1__carbon_thunk.decl: %foo1__carbon_thunk.type = fn_decl @foo1__carbon_thunk [concrete = constants.%foo1__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.c5f: %.c2a = cpp_overload_set_value @foo1 [concrete = constants.%.c5f] +// CHECK:STDOUT: %.c5f: %.c2a = cpp_overload_set_value @ [concrete = constants.%.c5f] // CHECK:STDOUT: %foo2.decl: %foo2.type = fn_decl @foo2 [concrete = constants.%foo2] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/struct.carbon b/toolchain/check/testdata/interop/cpp/function/struct.carbon index 353d46e8f09ba..5033fc4298d32 100644 --- a/toolchain/check/testdata/interop/cpp/function/struct.carbon +++ b/toolchain/check/testdata/interop/cpp/function/struct.carbon @@ -525,8 +525,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] @@ -545,7 +545,7 @@ fn F() { // CHECK:STDOUT: .S = %S.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: @@ -583,8 +583,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] @@ -603,7 +603,7 @@ fn F() { // CHECK:STDOUT: .S = %S.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: @@ -638,8 +638,8 @@ fn F() { // CHECK:STDOUT: --- fail_todo_import_definition_single_data_member_value_param_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: } @@ -650,7 +650,7 @@ fn F() { // CHECK:STDOUT: .S = %S.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -668,8 +668,8 @@ fn F() { // CHECK:STDOUT: --- fail_todo_import_definition_multiple_data_members_value_param_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: } @@ -680,7 +680,7 @@ fn F() { // CHECK:STDOUT: .S = %S.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -699,8 +699,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] @@ -720,7 +720,7 @@ fn F() { // CHECK:STDOUT: .N = %N // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %N: = namespace [concrete] { // CHECK:STDOUT: .S = %S.decl // CHECK:STDOUT: import Cpp//... @@ -781,8 +781,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.92e: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.92e: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] @@ -805,7 +805,7 @@ fn F() { // CHECK:STDOUT: .N2 = %N2 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @foo [concrete = constants.%.218] +// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @ [concrete = constants.%.218] // CHECK:STDOUT: %N2: = namespace [concrete] { // CHECK:STDOUT: .S = %S.decl // CHECK:STDOUT: import Cpp//... @@ -850,8 +850,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %O: type = class_type @O [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] @@ -876,7 +876,7 @@ fn F() { // CHECK:STDOUT: .O = %O.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %O.decl: type = class_decl @O [concrete = constants.%O] {} {} // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -935,12 +935,12 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] -// CHECK:STDOUT: %.bce: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.8f2: %.bce = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.bce: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.8f2: %.bce = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %S.bar.type: type = fn_type @S.bar [concrete] // CHECK:STDOUT: %S.bar: %S.bar.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo__carbon_thunk [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -958,9 +958,9 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.8f2: %.bce = cpp_overload_set_value @foo [concrete = constants.%.8f2] +// CHECK:STDOUT: %.8f2: %.bce = cpp_overload_set_value @ [concrete = constants.%.8f2] // CHECK:STDOUT: %S.bar.decl: %S.bar.type = fn_decl @S.bar [concrete = constants.%S.bar] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1001,16 +1001,16 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo__carbon_thunk [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %S.val: %S = struct_value () [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] // CHECK:STDOUT: %foo__carbon_thunk: %foo__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.bce: type = cpp_overload_set_type @S.bar [concrete] -// CHECK:STDOUT: %.8f2: %.bce = cpp_overload_set_value @S.bar [concrete] +// CHECK:STDOUT: %.bce: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.8f2: %.bce = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %S.bar.type: type = fn_type @S.bar [concrete] // CHECK:STDOUT: %S.bar: %S.bar.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -1025,14 +1025,14 @@ fn F() { // CHECK:STDOUT: .S = %S.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.8f2: %.bce = cpp_overload_set_value @S.bar [concrete = constants.%.8f2] +// CHECK:STDOUT: %.8f2: %.bce = cpp_overload_set_value @ [concrete = constants.%.8f2] // CHECK:STDOUT: %S.bar.decl: %S.bar.type = fn_decl @S.bar [concrete = constants.%S.bar] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -1071,8 +1071,8 @@ fn F() { // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %S [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -1084,7 +1084,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1107,8 +1107,8 @@ fn F() { // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %S [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -1120,7 +1120,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %S.decl: type = class_decl @S [concrete = constants.%S] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1141,8 +1141,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %ptr.5c7: type = ptr_type %S [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -1158,7 +1158,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1188,8 +1188,8 @@ fn F() { // CHECK:STDOUT: --- import_decl_pointer_return_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %S [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] @@ -1201,7 +1201,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1220,8 +1220,8 @@ fn F() { // CHECK:STDOUT: --- import_definition_pointer_return_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %S: type = class_type @S [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %S [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] @@ -1233,7 +1233,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/function/union.carbon b/toolchain/check/testdata/interop/cpp/function/union.carbon index 9ff5e01ca3003..92d1fc171c735 100644 --- a/toolchain/check/testdata/interop/cpp/function/union.carbon +++ b/toolchain/check/testdata/interop/cpp/function/union.carbon @@ -516,8 +516,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %U.val: %U = struct_value () [concrete] @@ -536,7 +536,7 @@ fn F() { // CHECK:STDOUT: .U = %U.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %U.decl: type = class_decl @U [concrete = constants.%U] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: @@ -573,8 +573,8 @@ fn F() { // CHECK:STDOUT: --- fail_import_definition_single_data_member_value_param_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: } @@ -585,7 +585,7 @@ fn F() { // CHECK:STDOUT: .U = %U.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %U.decl: type = class_decl @U [concrete = constants.%U] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -603,8 +603,8 @@ fn F() { // CHECK:STDOUT: --- fail_import_definition_multiple_data_members_value_param_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @As.Convert [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: } @@ -615,7 +615,7 @@ fn F() { // CHECK:STDOUT: .U = %U.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @As.Convert [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %U.decl: type = class_decl @U [concrete = constants.%U] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -634,8 +634,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %U.val: %U = struct_value () [concrete] @@ -655,7 +655,7 @@ fn F() { // CHECK:STDOUT: .N = %N // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %N: = namespace [concrete] { // CHECK:STDOUT: .U = %U.decl // CHECK:STDOUT: import Cpp//... @@ -716,8 +716,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.92e: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.92e: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %U.val: %U = struct_value () [concrete] @@ -740,7 +740,7 @@ fn F() { // CHECK:STDOUT: .N2 = %N2 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @foo [concrete = constants.%.218] +// CHECK:STDOUT: %.218: %.92e = cpp_overload_set_value @ [concrete = constants.%.218] // CHECK:STDOUT: %N2: = namespace [concrete] { // CHECK:STDOUT: .U = %U.decl // CHECK:STDOUT: import Cpp//... @@ -785,8 +785,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %O: type = class_type @O [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] @@ -811,7 +811,7 @@ fn F() { // CHECK:STDOUT: .O = %O.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %O.decl: type = class_decl @O [concrete = constants.%O] {} {} // CHECK:STDOUT: %U.decl: type = class_decl @U [concrete = constants.%U] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { @@ -870,12 +870,12 @@ fn F() { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] -// CHECK:STDOUT: %.372: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a8c: %.372 = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.372: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a8c: %.372 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %U.bar.type: type = fn_type @U.bar [concrete] // CHECK:STDOUT: %U.bar: %U.bar.type = struct_value () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo__carbon_thunk [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %U.val: %U = struct_value () [concrete] // CHECK:STDOUT: %ptr.86f: type = ptr_type %U [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -893,9 +893,9 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %U.decl: type = class_decl @U [concrete = constants.%U] {} {} -// CHECK:STDOUT: %.a8c: %.372 = cpp_overload_set_value @foo [concrete = constants.%.a8c] +// CHECK:STDOUT: %.a8c: %.372 = cpp_overload_set_value @ [concrete = constants.%.a8c] // CHECK:STDOUT: %U.bar.decl: %U.bar.type = fn_decl @U.bar [concrete = constants.%U.bar] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -936,16 +936,16 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo__carbon_thunk [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %U.val: %U = struct_value () [concrete] // CHECK:STDOUT: %ptr.86f: type = ptr_type %U [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] // CHECK:STDOUT: %foo__carbon_thunk: %foo__carbon_thunk.type = struct_value () [concrete] -// CHECK:STDOUT: %.372: type = cpp_overload_set_type @U.bar [concrete] -// CHECK:STDOUT: %.a8c: %.372 = cpp_overload_set_value @U.bar [concrete] +// CHECK:STDOUT: %.372: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a8c: %.372 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %U.bar.type: type = fn_type @U.bar [concrete] // CHECK:STDOUT: %U.bar: %U.bar.type = struct_value () [concrete] // CHECK:STDOUT: %type_where: type = facet_type > [concrete] @@ -960,14 +960,14 @@ fn F() { // CHECK:STDOUT: .U = %U.decl // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo__carbon_thunk [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %U.decl: type = class_decl @U [concrete = constants.%U] {} {} // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.a8c: %.372 = cpp_overload_set_value @U.bar [concrete = constants.%.a8c] +// CHECK:STDOUT: %.a8c: %.372 = cpp_overload_set_value @ [concrete = constants.%.a8c] // CHECK:STDOUT: %U.bar.decl: %U.bar.type = fn_decl @U.bar [concrete = constants.%U.bar] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -1006,8 +1006,8 @@ fn F() { // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %U [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -1019,7 +1019,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %U.decl: type = class_decl @U [concrete = constants.%U] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1042,8 +1042,8 @@ fn F() { // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %U [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -1055,7 +1055,7 @@ fn F() { // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } // CHECK:STDOUT: %U.decl: type = class_decl @U [concrete = constants.%U] {} {} -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1076,8 +1076,8 @@ fn F() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %ptr.86f: type = ptr_type %U [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -1093,7 +1093,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1123,8 +1123,8 @@ fn F() { // CHECK:STDOUT: --- import_decl_pointer_return_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %U [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] @@ -1136,7 +1136,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -1155,8 +1155,8 @@ fn F() { // CHECK:STDOUT: --- import_definition_pointer_return_type.carbon // CHECK:STDOUT: // CHECK:STDOUT: constants { -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %U: type = class_type @U [concrete] // CHECK:STDOUT: %ptr: type = ptr_type %U [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] @@ -1168,7 +1168,7 @@ fn F() { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/check/testdata/interop/cpp/inline.carbon b/toolchain/check/testdata/interop/cpp/inline.carbon index b7797096d7e6e..c8d0ecb34e57a 100644 --- a/toolchain/check/testdata/interop/cpp/inline.carbon +++ b/toolchain/check/testdata/interop/cpp/inline.carbon @@ -52,8 +52,8 @@ fn Run() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.19f: type = cpp_overload_set_type @func [concrete] -// CHECK:STDOUT: %.ddc: %.19f = cpp_overload_set_value @func [concrete] +// CHECK:STDOUT: %.19f: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.ddc: %.19f = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %func.type: type = fn_type @func [concrete] // CHECK:STDOUT: %func: %func.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -63,7 +63,7 @@ fn Run() { // CHECK:STDOUT: .func = %.ddc // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.ddc: %.19f = cpp_overload_set_value @func [concrete = constants.%.ddc] +// CHECK:STDOUT: %.ddc: %.19f = cpp_overload_set_value @ [concrete = constants.%.ddc] // CHECK:STDOUT: %func.decl: %func.type = fn_decl @func [concrete = constants.%func] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -85,8 +85,8 @@ fn Run() { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.bcd: type = cpp_overload_set_type @another_func [concrete] -// CHECK:STDOUT: %.b52: %.bcd = cpp_overload_set_value @another_func [concrete] +// CHECK:STDOUT: %.bcd: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.b52: %.bcd = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %another_func.type: type = fn_type @another_func [concrete] // CHECK:STDOUT: %another_func: %another_func.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -96,7 +96,7 @@ fn Run() { // CHECK:STDOUT: .another_func = %.b52 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.b52: %.bcd = cpp_overload_set_value @another_func [concrete = constants.%.b52] +// CHECK:STDOUT: %.b52: %.bcd = cpp_overload_set_value @ [concrete = constants.%.b52] // CHECK:STDOUT: %another_func.decl: %another_func.type = fn_decl @another_func [concrete = constants.%another_func] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: diff --git a/toolchain/check/testdata/interop/cpp/namespace.carbon b/toolchain/check/testdata/interop/cpp/namespace.carbon index 1c27620d34ff3..d632bcacb3552 100644 --- a/toolchain/check/testdata/interop/cpp/namespace.carbon +++ b/toolchain/check/testdata/interop/cpp/namespace.carbon @@ -237,8 +237,8 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.1f4: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.6d2: %.1f4 = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.1f4: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.6d2: %.1f4 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -252,7 +252,7 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: .foo = %.6d2 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.6d2: %.1f4 = cpp_overload_set_value @foo [concrete = constants.%.6d2] +// CHECK:STDOUT: %.6d2: %.1f4 = cpp_overload_set_value @ [concrete = constants.%.6d2] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -269,8 +269,8 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.9b0: type = cpp_overload_set_type @foo3 [concrete] -// CHECK:STDOUT: %.74a: %.9b0 = cpp_overload_set_value @foo3 [concrete] +// CHECK:STDOUT: %.9b0: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.74a: %.9b0 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo1.type: type = fn_type @foo1 [concrete] // CHECK:STDOUT: %foo1: %foo1.type = struct_value () [concrete] // CHECK:STDOUT: %.7f6: type = cpp_overload_set_type @ [concrete] @@ -293,7 +293,7 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: .my_namespace2 = %my_namespace2 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.74a: %.9b0 = cpp_overload_set_value @foo3 [concrete = constants.%.74a] +// CHECK:STDOUT: %.74a: %.9b0 = cpp_overload_set_value @ [concrete = constants.%.74a] // CHECK:STDOUT: %foo1.decl: %foo1.type = fn_decl @foo1 [concrete = constants.%foo1] {} {} // CHECK:STDOUT: %my_namespace2: = namespace [concrete] { // CHECK:STDOUT: .foo2 = %.76b @@ -334,8 +334,8 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.b35: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.595: %.b35 = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.b35: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.595: %.b35 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -349,7 +349,7 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: .foo = %.595 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.595: %.b35 = cpp_overload_set_value @foo [concrete = constants.%.595] +// CHECK:STDOUT: %.595: %.b35 = cpp_overload_set_value @ [concrete = constants.%.595] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: @@ -366,8 +366,8 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.c5d: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %X: type = class_type @X [concrete] // CHECK:STDOUT: %ptr.13d: type = ptr_type %X [concrete] // CHECK:STDOUT: %foo__carbon_thunk.type: type = fn_type @foo__carbon_thunk [concrete] @@ -383,7 +383,7 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: .foo = %.a21 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @foo [concrete = constants.%.a21] +// CHECK:STDOUT: %.a21: %.c5d = cpp_overload_set_value @ [concrete = constants.%.a21] // CHECK:STDOUT: %foo__carbon_thunk.decl: %foo__carbon_thunk.type = fn_decl @foo__carbon_thunk [concrete = constants.%foo__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { @@ -414,8 +414,8 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: // CHECK:STDOUT: constants { // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] -// CHECK:STDOUT: %.6e5: type = cpp_overload_set_type @foo [concrete] -// CHECK:STDOUT: %.0b7: %.6e5 = cpp_overload_set_value @foo [concrete] +// CHECK:STDOUT: %.6e5: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.0b7: %.6e5 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %foo.type: type = fn_type @foo [concrete] // CHECK:STDOUT: %foo: %foo.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -429,7 +429,7 @@ fn Use(y: Cpp.Y) -> i32 { // CHECK:STDOUT: .foo = %.0b7 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.0b7: %.6e5 = cpp_overload_set_value @foo [concrete = constants.%.0b7] +// CHECK:STDOUT: %.0b7: %.6e5 = cpp_overload_set_value @ [concrete = constants.%.0b7] // CHECK:STDOUT: %foo.decl: %foo.type = fn_decl @foo [concrete = constants.%foo] {} {} // CHECK:STDOUT: } // CHECK:STDOUT: diff --git a/toolchain/check/testdata/interop/cpp/stdlib/string_view.carbon b/toolchain/check/testdata/interop/cpp/stdlib/string_view.carbon index 8e3829283bd7e..314cc60d59f67 100644 --- a/toolchain/check/testdata/interop/cpp/stdlib/string_view.carbon +++ b/toolchain/check/testdata/interop/cpp/stdlib/string_view.carbon @@ -60,8 +60,8 @@ fn G() -> str { // CHECK:STDOUT: %F.type: type = fn_type @F [concrete] // CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] // CHECK:STDOUT: %F: %F.type = struct_value () [concrete] -// CHECK:STDOUT: %.fd2: type = cpp_overload_set_type @Consume__carbon_thunk [concrete] -// CHECK:STDOUT: %.f17: %.fd2 = cpp_overload_set_value @Consume__carbon_thunk [concrete] +// CHECK:STDOUT: %.fd2: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.f17: %.fd2 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %str.ee0: type = class_type @String [concrete] // CHECK:STDOUT: %int_64: Core.IntLiteral = int_value 64 [concrete] // CHECK:STDOUT: %u64: type = class_type @UInt, @UInt(%int_64) [concrete] @@ -77,8 +77,8 @@ fn G() -> str { // CHECK:STDOUT: %Consume__carbon_thunk: %Consume__carbon_thunk.type = struct_value () [concrete] // CHECK:STDOUT: %G.type: type = fn_type @G [concrete] // CHECK:STDOUT: %G: %G.type = struct_value () [concrete] -// CHECK:STDOUT: %.a47: type = cpp_overload_set_type @G [concrete] -// CHECK:STDOUT: %.5d1: %.a47 = cpp_overload_set_value @G [concrete] +// CHECK:STDOUT: %.a47: type = cpp_overload_set_type @ [concrete] +// CHECK:STDOUT: %.5d1: %.a47 = cpp_overload_set_value @ [concrete] // CHECK:STDOUT: %Produce__carbon_thunk.type: type = fn_type @Produce__carbon_thunk [concrete] // CHECK:STDOUT: %Produce__carbon_thunk: %Produce__carbon_thunk.type = struct_value () [concrete] // CHECK:STDOUT: } @@ -89,13 +89,13 @@ fn G() -> str { // CHECK:STDOUT: .Produce = %.5d1 // CHECK:STDOUT: import Cpp//... // CHECK:STDOUT: } -// CHECK:STDOUT: %.f17: %.fd2 = cpp_overload_set_value @Consume__carbon_thunk [concrete = constants.%.f17] +// CHECK:STDOUT: %.f17: %.fd2 = cpp_overload_set_value @ [concrete = constants.%.f17] // CHECK:STDOUT: %Consume__carbon_thunk.decl: %Consume__carbon_thunk.type = fn_decl @Consume__carbon_thunk [concrete = constants.%Consume__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { // CHECK:STDOUT: // CHECK:STDOUT: } -// CHECK:STDOUT: %.5d1: %.a47 = cpp_overload_set_value @G [concrete = constants.%.5d1] +// CHECK:STDOUT: %.5d1: %.a47 = cpp_overload_set_value @ [concrete = constants.%.5d1] // CHECK:STDOUT: %Produce__carbon_thunk.decl: %Produce__carbon_thunk.type = fn_decl @Produce__carbon_thunk [concrete = constants.%Produce__carbon_thunk] { // CHECK:STDOUT: // CHECK:STDOUT: } { diff --git a/toolchain/sem_ir/inst_namer.cpp b/toolchain/sem_ir/inst_namer.cpp index 8679f80a7c002..cf0304cac7f8c 100644 --- a/toolchain/sem_ir/inst_namer.cpp +++ b/toolchain/sem_ir/inst_namer.cpp @@ -135,13 +135,10 @@ auto InstNamer::GetScopeIdOffset(ScopeIdTypeEnum id_enum) const -> int { offset += sem_ir_->classes().size(); [[fallthrough]]; case ScopeIdTypeEnum::For: - offset += sem_ir_->vtables().size(); - [[fallthrough]]; - case ScopeIdTypeEnum::For: - offset += sem_ir_->functions().size(); + offset += sem_ir_->cpp_overload_sets().size(); [[fallthrough]]; case ScopeIdTypeEnum::For: - offset += sem_ir_->cpp_overload_sets().size(); + offset += sem_ir_->functions().size(); [[fallthrough]]; case ScopeIdTypeEnum::For: offset += sem_ir_->impls().size(); @@ -153,6 +150,9 @@ auto InstNamer::GetScopeIdOffset(ScopeIdTypeEnum id_enum) const -> int { offset += sem_ir_->specific_interfaces().size(); [[fallthrough]]; case ScopeIdTypeEnum::For: + offset += sem_ir_->vtables().size(); + [[fallthrough]]; + case ScopeIdTypeEnum::For: // All type-specific scopes are offset by `FirstEntityScope`. offset += static_cast(ScopeId::FirstEntityScope); return offset;