carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 22:02:55 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Remove offsets from InstId formatting, trying to name more (#4645)

Browse Source 
The offsets were originally added to deal with churn from builtins in
the raw semir. In textual semir, we mostly see instruction IDs for
imports, and builtins have also settled down more.

On imports, where possible, use the `EntityNameId` for an import instead
of printing an instruction. Next, show the source location if we have a
node. Only show the instruction if there's no location.

This also exposes `Parse::Tree` and `TokenizedBuffer`, so that we can
pass a `SemIR::File` without the component parts. In particular this
allows us to get the `TokenizedBuffer` for import IRs without
substantial structural modifications. We may want to make these optional
for serialized `SemIR` later, but the nodes/tokens contain source
location, which we'd need for debug information -- so it's not clear how
much we can really make them optional without substantial information
loss.

Reduce arguments to just `File` in a few spots, as a result of the
accompanying `TokenizedBuffer` and `Parse::Tree`. Also updates style to
pass around `const File*` where the reference is maintained, instead of
`const File&`.

I was considering keeping a direct reference to the tree and tokens on
`Context`, but initially my thought was it wouldn't make much
difference. I can re-add those if desired, just as direct caching of the
`File` fields.
This commit is contained in:
Jon Ross-Perkins
2024-12-06 21:17:24 +00:00
committed by GitHub
parent a2c939a2a2
commit e7a86b03c6
148 changed files with 2171 additions and 2173 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/impl/fail_redefinition.carbon
Vendored
+1 -1
View File
@@ -72,6 +72,6 @@ impl i32 as I {}
// CHECK:STDOUT:
// CHECK:STDOUT: impl @impl: %.loc13_6.2 as %I.ref.loc13 {
// CHECK:STDOUT: !members:
// CHECK:STDOUT: witness = <unexpected>.inst+24.loc13_15
// CHECK:STDOUT: witness = <unexpected>.inst36.loc13_15
// CHECK:STDOUT: }
// CHECK:STDOUT:
toolchain/check/testdata/impl/lookup/no_prelude/import.carbon
Vendored
+130 -130
View File
@@ -299,13 +299,13 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .HasF = %import_ref.4
// CHECK:STDOUT: import PackageA//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageA//default, inst+12, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageA//default, inst+15, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageA//default, inst+13, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageA//default, inst+1, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageA//default, inst+3, unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref PackageA//default, inst+10, unloaded
// CHECK:STDOUT: %import_ref.7: %F.type.2 = import_ref PackageA//default, inst+5, loaded [template = constants.%F.2]
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageA//default, C, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageA//default, loc8_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageA//default, inst25 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageA//default, HasF, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageA//default, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref PackageA//default, loc5_9, unloaded
// CHECK:STDOUT: %import_ref.7: %F.type.2 = import_ref PackageA//default, F, loaded [template = constants.%F.2]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -452,16 +452,16 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .HasF = %import_ref.4
// CHECK:STDOUT: import PackageA//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageA//default, inst+12, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageA//default, inst+15, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageA//default, inst+13, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageA//default, inst+1, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageA//default, inst+3, unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref PackageA//default, inst+10, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageA//default, inst+5, unloaded
// CHECK:STDOUT: %import_ref.9: type = import_ref PackageA//default, inst+17, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.10: type = import_ref PackageA//default, inst+18, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref PackageA//default, inst+24, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageA//default, C, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageA//default, loc8_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageA//default, inst25 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageA//default, HasF, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageA//default, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref PackageA//default, loc5_9, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageA//default, F, unloaded
// CHECK:STDOUT: %import_ref.9: type = import_ref PackageA//default, loc11_6, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.10: type = import_ref PackageA//default, loc11_11, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref PackageA//default, loc11_16, loaded [template = constants.%interface]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -549,30 +549,30 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .D = %import_ref.1
// CHECK:STDOUT: import PackageB//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageB//default, inst+14, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageB//default, inst+17, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageB//default, inst+15, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageA//default, inst+1, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageA//default, inst+3, unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref PackageA//default, inst+10, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageA//default, inst+5, unloaded
// CHECK:STDOUT: %import_ref.9: <witness> = import_ref PackageA//default, inst+15, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.10 = import_ref PackageA//default, inst+13, unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref PackageA//default, inst+17, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.12: type = import_ref PackageA//default, inst+18, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.13 = import_ref PackageA//default, inst+24, unloaded
// CHECK:STDOUT: %import_ref.14 = import_ref PackageB//default, inst+5, unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref PackageB//default, inst+12, unloaded
// CHECK:STDOUT: %import_ref.16 = import_ref PackageB//default, inst+7, unloaded
// CHECK:STDOUT: %import_ref.17: type = import_ref PackageB//default, inst+25, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.18: type = import_ref PackageB//default, inst+26, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.19 = import_ref PackageB//default, inst+32, unloaded
// CHECK:STDOUT: %import_ref.20: type = import_ref PackageB//default, inst+35, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.21: type = import_ref PackageB//default, inst+44, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.22: <witness> = import_ref PackageB//default, inst+53, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.23: type = import_ref PackageB//default, inst+56, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.24: type = import_ref PackageB//default, inst+57, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.25 = import_ref PackageB//default, inst+63, unloaded
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageB//default, D, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageB//default, loc10_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageB//default, inst27 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageA//default, HasF, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageA//default, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref PackageA//default, loc5_9, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageA//default, F, unloaded
// CHECK:STDOUT: %import_ref.9: <witness> = import_ref PackageA//default, loc8_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.10 = import_ref PackageA//default, inst25 [no loc], unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref PackageA//default, loc11_6, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.12: type = import_ref PackageA//default, loc11_11, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.13 = import_ref PackageA//default, loc11_16, unloaded
// CHECK:STDOUT: %import_ref.14 = import_ref PackageB//default, inst17 [no loc], unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref PackageB//default, loc7_9, unloaded
// CHECK:STDOUT: %import_ref.16 = import_ref PackageB//default, G, unloaded
// CHECK:STDOUT: %import_ref.17: type = import_ref PackageB//default, loc13_14, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.18: type = import_ref PackageB//default, loc13_20, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.19 = import_ref PackageB//default, loc13_25, unloaded
// CHECK:STDOUT: %import_ref.20: type = import_ref PackageB//default, loc18_6, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.21: type = import_ref PackageB//default, loc18_19, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.22: <witness> = import_ref PackageB//default, loc18_25, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.23: type = import_ref PackageB//default, loc23_6, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.24: type = import_ref PackageB//default, loc23_11, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.25 = import_ref PackageB//default, loc23_16, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -690,30 +690,30 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .HasG = %import_ref.4
// CHECK:STDOUT: import PackageB//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageA//default, inst+12, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageA//default, inst+15, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageA//default, inst+13, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageB//default, inst+3, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageB//default, inst+5, unloaded
// CHECK:STDOUT: %import_ref.6: %G.assoc_type = import_ref PackageB//default, inst+12, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageB//default, inst+7, unloaded
// CHECK:STDOUT: %import_ref.9 = import_ref PackageA//default, inst+3, unloaded
// CHECK:STDOUT: %import_ref.10 = import_ref PackageA//default, inst+10, unloaded
// CHECK:STDOUT: %import_ref.11 = import_ref PackageA//default, inst+5, unloaded
// CHECK:STDOUT: %import_ref.12: type = import_ref PackageA//default, inst+17, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.13: type = import_ref PackageA//default, inst+18, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.14 = import_ref PackageA//default, inst+24, unloaded
// CHECK:STDOUT: %import_ref.15: type = import_ref PackageB//default, inst+25, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.16: type = import_ref PackageB//default, inst+26, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.17: <witness> = import_ref PackageB//default, inst+32, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.18: <witness> = import_ref PackageB//default, inst+17, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.19 = import_ref PackageB//default, inst+15, unloaded
// CHECK:STDOUT: %import_ref.20: type = import_ref PackageB//default, inst+35, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.21: type = import_ref PackageB//default, inst+44, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.22 = import_ref PackageB//default, inst+53, unloaded
// CHECK:STDOUT: %import_ref.23: type = import_ref PackageB//default, inst+56, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.24: type = import_ref PackageB//default, inst+57, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.25 = import_ref PackageB//default, inst+63, unloaded
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageA//default, C, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageA//default, loc8_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageA//default, inst25 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageB//default, HasG, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageB//default, inst17 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: %G.assoc_type = import_ref PackageB//default, loc7_9, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageB//default, G, unloaded
// CHECK:STDOUT: %import_ref.9 = import_ref PackageA//default, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.10 = import_ref PackageA//default, loc5_9, unloaded
// CHECK:STDOUT: %import_ref.11 = import_ref PackageA//default, F, unloaded
// CHECK:STDOUT: %import_ref.12: type = import_ref PackageA//default, loc11_6, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.13: type = import_ref PackageA//default, loc11_11, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.14 = import_ref PackageA//default, loc11_16, unloaded
// CHECK:STDOUT: %import_ref.15: type = import_ref PackageB//default, loc13_14, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.16: type = import_ref PackageB//default, loc13_20, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.17: <witness> = import_ref PackageB//default, loc13_25, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.18: <witness> = import_ref PackageB//default, loc10_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.19 = import_ref PackageB//default, inst27 [no loc], unloaded
// CHECK:STDOUT: %import_ref.20: type = import_ref PackageB//default, loc18_6, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.21: type = import_ref PackageB//default, loc18_19, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.22 = import_ref PackageB//default, loc18_25, unloaded
// CHECK:STDOUT: %import_ref.23: type = import_ref PackageB//default, loc23_6, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.24: type = import_ref PackageB//default, loc23_11, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.25 = import_ref PackageB//default, loc23_16, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -828,27 +828,27 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .HasG = %import_ref.4
// CHECK:STDOUT: import PackageB//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageB//default, inst+14, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageB//default, inst+17, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageB//default, inst+15, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageB//default, inst+3, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageB//default, inst+5, unloaded
// CHECK:STDOUT: %import_ref.6: %G.assoc_type = import_ref PackageB//default, inst+12, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageB//default, inst+7, unloaded
// CHECK:STDOUT: %import_ref.9: <witness> = import_ref PackageB//default, inst+23, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.10 = import_ref PackageB//default, inst+24, unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref PackageB//default, inst+25, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.12: type = import_ref PackageB//default, inst+26, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.13 = import_ref PackageB//default, inst+32, unloaded
// CHECK:STDOUT: %import_ref.14 = import_ref PackageB//default, inst+41, unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref PackageB//default, inst+42, unloaded
// CHECK:STDOUT: %import_ref.16 = import_ref PackageB//default, inst+43, unloaded
// CHECK:STDOUT: %import_ref.17: type = import_ref PackageB//default, inst+35, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.18: type = import_ref PackageB//default, inst+44, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.19 = import_ref PackageB//default, inst+53, unloaded
// CHECK:STDOUT: %import_ref.20: type = import_ref PackageB//default, inst+56, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.21: type = import_ref PackageB//default, inst+57, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.22: <witness> = import_ref PackageB//default, inst+63, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageB//default, D, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageB//default, loc10_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageB//default, inst27 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageB//default, HasG, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageB//default, inst17 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: %G.assoc_type = import_ref PackageB//default, loc7_9, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageB//default, G, unloaded
// CHECK:STDOUT: %import_ref.9: <witness> = import_ref PackageB//default, inst35 [indirect], loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.10 = import_ref PackageB//default, inst36 [indirect], unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref PackageB//default, loc13_14, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.12: type = import_ref PackageB//default, loc13_20, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.13 = import_ref PackageB//default, loc13_25, unloaded
// CHECK:STDOUT: %import_ref.14 = import_ref PackageB//default, inst53 [indirect], unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref PackageB//default, inst54 [indirect], unloaded
// CHECK:STDOUT: %import_ref.16 = import_ref PackageB//default, F, unloaded
// CHECK:STDOUT: %import_ref.17: type = import_ref PackageB//default, loc18_6, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.18: type = import_ref PackageB//default, loc18_19, loaded [template = constants.%HasF.type]
// CHECK:STDOUT: %import_ref.19 = import_ref PackageB//default, loc18_25, unloaded
// CHECK:STDOUT: %import_ref.20: type = import_ref PackageB//default, loc23_6, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.21: type = import_ref PackageB//default, loc23_11, loaded [template = constants.%HasG.type]
// CHECK:STDOUT: %import_ref.22: <witness> = import_ref PackageB//default, loc23_16, loaded [template = constants.%interface]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -1012,13 +1012,13 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .Z = %import_ref.1
// CHECK:STDOUT: import PackageAssociatedInterface//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageAssociatedInterface//default, inst+1, loaded [template = constants.%Z.type]
// CHECK:STDOUT: %import_ref.2 = import_ref PackageAssociatedInterface//default, inst+3, unloaded
// CHECK:STDOUT: %import_ref.3: %H.assoc_type = import_ref PackageAssociatedInterface//default, inst+10, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.4 = import_ref PackageAssociatedInterface//default, inst+5, unloaded
// CHECK:STDOUT: %import_ref.6: type = import_ref PackageAssociatedInterface//default, inst+13, loaded [template = constants.%empty_tuple.type]
// CHECK:STDOUT: %import_ref.7: type = import_ref PackageAssociatedInterface//default, inst+14, loaded [template = constants.%Z.type]
// CHECK:STDOUT: %import_ref.8: <witness> = import_ref PackageAssociatedInterface//default, inst+20, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.1: type = import_ref PackageAssociatedInterface//default, Z, loaded [template = constants.%Z.type]
// CHECK:STDOUT: %import_ref.2 = import_ref PackageAssociatedInterface//default, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.3: %H.assoc_type = import_ref PackageAssociatedInterface//default, loc5_9, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.4 = import_ref PackageAssociatedInterface//default, H, unloaded
// CHECK:STDOUT: %import_ref.6: type = import_ref PackageAssociatedInterface//default, loc8_7, loaded [template = constants.%empty_tuple.type]
// CHECK:STDOUT: %import_ref.7: type = import_ref PackageAssociatedInterface//default, loc8_12, loaded [template = constants.%Z.type]
// CHECK:STDOUT: %import_ref.8: <witness> = import_ref PackageAssociatedInterface//default, loc8_14, loaded [template = constants.%interface]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -1188,13 +1188,13 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .Y = %import_ref.4
// CHECK:STDOUT: import PackageHasParam//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: %AnyParam.type = import_ref PackageHasParam//default, inst+14, loaded [template = constants.%AnyParam.generic]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageHasParam//default, inst+24, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageHasParam//default, inst+22, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageHasParam//default, inst+26, loaded [template = constants.%Y.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageHasParam//default, inst+28, unloaded
// CHECK:STDOUT: %import_ref.6: %K.assoc_type = import_ref PackageHasParam//default, inst+34, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7: %K.type.2 = import_ref PackageHasParam//default, inst+30, loaded [template = constants.%K.2]
// CHECK:STDOUT: %import_ref.1: %AnyParam.type = import_ref PackageHasParam//default, AnyParam, loaded [template = constants.%AnyParam.generic]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageHasParam//default, loc4_34, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageHasParam//default, inst34 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref PackageHasParam//default, Y, loaded [template = constants.%Y.type]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageHasParam//default, inst40 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: %K.assoc_type = import_ref PackageHasParam//default, loc7_10, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7: %K.type.2 = import_ref PackageHasParam//default, K, loaded [template = constants.%K.2]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -1374,18 +1374,18 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .GenericInterface = %import_ref.4
// CHECK:STDOUT: import PackageGenericInterface//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: %AnyParam.type = import_ref PackageHasParam//default, inst+14, loaded [template = constants.%AnyParam.generic]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageHasParam//default, inst+24, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageHasParam//default, inst+22, unloaded
// CHECK:STDOUT: %import_ref.4: %GenericInterface.type.1 = import_ref PackageGenericInterface//default, inst+9, loaded [template = constants.%GenericInterface.generic]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageGenericInterface//default, inst+16, unloaded
// CHECK:STDOUT: %import_ref.6: type = import_ref PackageHasParam//default, inst+26, loaded [template = constants.%Y.type]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageHasParam//default, inst+28, unloaded
// CHECK:STDOUT: %import_ref.8: %K.assoc_type = import_ref PackageHasParam//default, inst+34, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.9 = import_ref PackageHasParam//default, inst+30, unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref PackageGenericInterface//default, inst+45, loaded [template = constants.%AnyParam.2]
// CHECK:STDOUT: %import_ref.12: type = import_ref PackageGenericInterface//default, inst+55, loaded [template = constants.%Y.type]
// CHECK:STDOUT: %import_ref.13: <witness> = import_ref PackageGenericInterface//default, inst+64, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.1: %AnyParam.type = import_ref PackageHasParam//default, AnyParam, loaded [template = constants.%AnyParam.generic]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref PackageHasParam//default, loc4_34, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref PackageHasParam//default, inst34 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: %GenericInterface.type.1 = import_ref PackageGenericInterface//default, GenericInterface, loaded [template = constants.%GenericInterface.generic]
// CHECK:STDOUT: %import_ref.5 = import_ref PackageGenericInterface//default, inst28 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: type = import_ref PackageHasParam//default, Y, loaded [template = constants.%Y.type]
// CHECK:STDOUT: %import_ref.7 = import_ref PackageHasParam//default, inst40 [no loc], unloaded
// CHECK:STDOUT: %import_ref.8: %K.assoc_type = import_ref PackageHasParam//default, loc7_10, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.9 = import_ref PackageHasParam//default, K, unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref PackageGenericInterface//default, loc8_47, loaded [template = constants.%AnyParam.2]
// CHECK:STDOUT: %import_ref.12: type = import_ref PackageGenericInterface//default, loc8_67, loaded [template = constants.%Y.type]
// CHECK:STDOUT: %import_ref.13: <witness> = import_ref PackageGenericInterface//default, loc8_70, loaded [template = constants.%interface]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -1744,24 +1744,24 @@ fn Test(c: HasExtraInterfaces.C(type)) {
// CHECK:STDOUT: .I = %import_ref.4
// CHECK:STDOUT: import HasExtraInterfaces//default
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.1: %C.type = import_ref HasExtraInterfaces//default, inst+39, loaded [template = constants.%C.generic]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref HasExtraInterfaces//default, inst+47, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref HasExtraInterfaces//default, inst+45, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref HasExtraInterfaces//default, inst+49, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.5 = import_ref HasExtraInterfaces//default, inst+51, unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref HasExtraInterfaces//default, inst+57, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref HasExtraInterfaces//default, inst+53, unloaded
// CHECK:STDOUT: %import_ref.9 = import_ref HasExtraInterfaces//default, inst+31, unloaded
// CHECK:STDOUT: %import_ref.10 = import_ref HasExtraInterfaces//default, inst+27, unloaded
// CHECK:STDOUT: %import_ref.11 = import_ref HasExtraInterfaces//default, inst+23, unloaded
// CHECK:STDOUT: %import_ref.12 = import_ref HasExtraInterfaces//default, inst+19, unloaded
// CHECK:STDOUT: %import_ref.13 = import_ref HasExtraInterfaces//default, inst+15, unloaded
// CHECK:STDOUT: %import_ref.14 = import_ref HasExtraInterfaces//default, inst+11, unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref HasExtraInterfaces//default, inst+7, unloaded
// CHECK:STDOUT: %import_ref.16 = import_ref HasExtraInterfaces//default, inst+3, unloaded
// CHECK:STDOUT: %import_ref.17: type = import_ref HasExtraInterfaces//default, inst+72, loaded [template = constants.%C.3]
// CHECK:STDOUT: %import_ref.18: type = import_ref HasExtraInterfaces//default, inst+74, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.19 = import_ref HasExtraInterfaces//default, inst+80, unloaded
// CHECK:STDOUT: %import_ref.1: %C.type = import_ref HasExtraInterfaces//default, C, loaded [template = constants.%C.generic]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref HasExtraInterfaces//default, loc13_20, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref HasExtraInterfaces//default, inst57 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref HasExtraInterfaces//default, I, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.5 = import_ref HasExtraInterfaces//default, inst63 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref HasExtraInterfaces//default, loc14_21, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref HasExtraInterfaces//default, F, unloaded
// CHECK:STDOUT: %import_ref.9 = import_ref HasExtraInterfaces//default, inst43 [no loc], unloaded
// CHECK:STDOUT: %import_ref.10 = import_ref HasExtraInterfaces//default, inst39 [no loc], unloaded
// CHECK:STDOUT: %import_ref.11 = import_ref HasExtraInterfaces//default, inst35 [no loc], unloaded
// CHECK:STDOUT: %import_ref.12 = import_ref HasExtraInterfaces//default, inst31 [no loc], unloaded
// CHECK:STDOUT: %import_ref.13 = import_ref HasExtraInterfaces//default, inst27 [no loc], unloaded
// CHECK:STDOUT: %import_ref.14 = import_ref HasExtraInterfaces//default, inst23 [no loc], unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref HasExtraInterfaces//default, inst19 [no loc], unloaded
// CHECK:STDOUT: %import_ref.16 = import_ref HasExtraInterfaces//default, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.17: type = import_ref HasExtraInterfaces//default, loc16_72, loaded [template = constants.%C.3]
// CHECK:STDOUT: %import_ref.18: type = import_ref HasExtraInterfaces//default, loc16_77, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.19 = import_ref HasExtraInterfaces//default, loc16_79, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
toolchain/check/testdata/impl/lookup/no_prelude/specific_args.carbon
Vendored
+52 -52
View File
@@ -193,15 +193,15 @@ fn H(c: C(InClassArgs)) { c.(I(X).F)(); }
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %I.type.1 = import_ref Main//types, inst+7, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//types, inst+32, unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//types, inst+41, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//types, inst+43, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//types, inst+42, unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref Main//types, inst+14, unloaded
// CHECK:STDOUT: %import_ref.7 = import_ref Main//types, inst+20, unloaded
// CHECK:STDOUT: %import_ref.8: @I.%F.type (%F.type.1) = import_ref Main//types, inst+16, loaded [symbolic = @I.%F (constants.%F.1)]
// CHECK:STDOUT: %import_ref.9 = import_ref Main//types, inst+16, unloaded
// CHECK:STDOUT: %import_ref.1: %I.type.1 = import_ref Main//types, I, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//types, C, unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//types, X, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//types, loc7_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//types, inst54 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref Main//types, inst26 [no loc], unloaded
// CHECK:STDOUT: %import_ref.7 = import_ref Main//types, loc4_31, unloaded
// CHECK:STDOUT: %import_ref.8: @I.%F.type (%F.type.1) = import_ref Main//types, F, loaded [symbolic = @I.%F (constants.%F.1)]
// CHECK:STDOUT: %import_ref.9 = import_ref Main//types, loc4_31, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -333,21 +333,21 @@ fn H(c: C(InClassArgs)) { c.(I(X).F)(); }
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %I.type.1 = import_ref Main//types, inst+7, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//types, inst+32, unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//types, inst+41, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//impl_in_interface_args, inst+5, loaded [template = constants.%InInterfaceArgs]
// CHECK:STDOUT: %import_ref.5: <witness> = import_ref Main//types, inst+43, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//types, inst+42, unloaded
// CHECK:STDOUT: %import_ref.7 = import_ref Main//types, inst+14, unloaded
// CHECK:STDOUT: %import_ref.8: @I.%F.assoc_type (%F.assoc_type.1) = import_ref Main//types, inst+20, loaded [symbolic = @I.%assoc0 (constants.%assoc0.3)]
// CHECK:STDOUT: %import_ref.9 = import_ref Main//types, inst+16, unloaded
// CHECK:STDOUT: %import_ref.10 = import_ref Main//types, inst+16, unloaded
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//impl_in_interface_args, inst+8, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.12 = import_ref Main//impl_in_interface_args, inst+6, unloaded
// CHECK:STDOUT: %import_ref.14: type = import_ref Main//impl_in_interface_args, inst+14, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.15: type = import_ref Main//impl_in_interface_args, inst+44, loaded [template = constants.%I.type.3]
// CHECK:STDOUT: %import_ref.16: <witness> = import_ref Main//impl_in_interface_args, inst+55, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.1: %I.type.1 = import_ref Main//types, I, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//types, C, unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//types, X, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//impl_in_interface_args, InInterfaceArgs, loaded [template = constants.%InInterfaceArgs]
// CHECK:STDOUT: %import_ref.5: <witness> = import_ref Main//types, loc7_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//types, inst54 [no loc], unloaded
// CHECK:STDOUT: %import_ref.7 = import_ref Main//types, inst26 [no loc], unloaded
// CHECK:STDOUT: %import_ref.8: @I.%F.assoc_type (%F.assoc_type.1) = import_ref Main//types, loc4_31, loaded [symbolic = @I.%assoc0 (constants.%assoc0.3)]
// CHECK:STDOUT: %import_ref.9 = import_ref Main//types, F, unloaded
// CHECK:STDOUT: %import_ref.10 = import_ref Main//types, loc4_31, unloaded
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//impl_in_interface_args, loc5_24, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.12 = import_ref Main//impl_in_interface_args, inst18 [no loc], unloaded
// CHECK:STDOUT: %import_ref.14: type = import_ref Main//impl_in_interface_args, loc7_6, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.15: type = import_ref Main//impl_in_interface_args, loc7_28, loaded [template = constants.%I.type.3]
// CHECK:STDOUT: %import_ref.16: <witness> = import_ref Main//impl_in_interface_args, loc7_30, loaded [template = constants.%interface]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -483,17 +483,17 @@ fn H(c: C(InClassArgs)) { c.(I(X).F)(); }
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %I.type.1 = import_ref Main//types, inst+7, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.2: %C.type = import_ref Main//types, inst+32, loaded [template = constants.%C.generic]
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//types, inst+41, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//types, inst+39, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//types, inst+37, unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref Main//types, inst+14, unloaded
// CHECK:STDOUT: %import_ref.7 = import_ref Main//types, inst+20, unloaded
// CHECK:STDOUT: %import_ref.8: @I.%F.type (%F.type.1) = import_ref Main//types, inst+16, loaded [symbolic = @I.%F (constants.%F.1)]
// CHECK:STDOUT: %import_ref.9 = import_ref Main//types, inst+16, unloaded
// CHECK:STDOUT: %import_ref.10: <witness> = import_ref Main//types, inst+43, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.11 = import_ref Main//types, inst+42, unloaded
// CHECK:STDOUT: %import_ref.1: %I.type.1 = import_ref Main//types, I, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.2: %C.type = import_ref Main//types, C, loaded [template = constants.%C.generic]
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//types, X, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//types, loc5_20, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//types, inst49 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref Main//types, inst26 [no loc], unloaded
// CHECK:STDOUT: %import_ref.7 = import_ref Main//types, loc4_31, unloaded
// CHECK:STDOUT: %import_ref.8: @I.%F.type (%F.type.1) = import_ref Main//types, F, loaded [symbolic = @I.%F (constants.%F.1)]
// CHECK:STDOUT: %import_ref.9 = import_ref Main//types, loc4_31, unloaded
// CHECK:STDOUT: %import_ref.10: <witness> = import_ref Main//types, loc7_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.11 = import_ref Main//types, inst54 [no loc], unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -653,23 +653,23 @@ fn H(c: C(InClassArgs)) { c.(I(X).F)(); }
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %I.type.1 = import_ref Main//types, inst+7, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.2: %C.type = import_ref Main//types, inst+32, loaded [template = constants.%C.generic]
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//types, inst+41, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//impl_in_class_args, inst+5, loaded [template = constants.%InClassArgs]
// CHECK:STDOUT: %import_ref.5: <witness> = import_ref Main//types, inst+39, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//types, inst+37, unloaded
// CHECK:STDOUT: %import_ref.7: <witness> = import_ref Main//impl_in_class_args, inst+8, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.8 = import_ref Main//impl_in_class_args, inst+6, unloaded
// CHECK:STDOUT: %import_ref.9 = import_ref Main//types, inst+14, unloaded
// CHECK:STDOUT: %import_ref.10: @I.%F.assoc_type (%F.assoc_type.1) = import_ref Main//types, inst+20, loaded [symbolic = @I.%assoc0 (constants.%assoc0.3)]
// CHECK:STDOUT: %import_ref.11 = import_ref Main//types, inst+16, unloaded
// CHECK:STDOUT: %import_ref.12 = import_ref Main//types, inst+16, unloaded
// CHECK:STDOUT: %import_ref.13: <witness> = import_ref Main//types, inst+43, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.14 = import_ref Main//types, inst+42, unloaded
// CHECK:STDOUT: %import_ref.16: type = import_ref Main//impl_in_class_args, inst+25, loaded [template = constants.%C.2]
// CHECK:STDOUT: %import_ref.17: type = import_ref Main//impl_in_class_args, inst+57, loaded [template = constants.%I.type.3]
// CHECK:STDOUT: %import_ref.18: <witness> = import_ref Main//impl_in_class_args, inst+68, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.1: %I.type.1 = import_ref Main//types, I, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.2: %C.type = import_ref Main//types, C, loaded [template = constants.%C.generic]
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//types, X, loaded [template = constants.%X]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//impl_in_class_args, InClassArgs, loaded [template = constants.%InClassArgs]
// CHECK:STDOUT: %import_ref.5: <witness> = import_ref Main//types, loc5_20, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//types, inst49 [no loc], unloaded
// CHECK:STDOUT: %import_ref.7: <witness> = import_ref Main//impl_in_class_args, loc5_20, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.8 = import_ref Main//impl_in_class_args, inst18 [no loc], unloaded
// CHECK:STDOUT: %import_ref.9 = import_ref Main//types, inst26 [no loc], unloaded
// CHECK:STDOUT: %import_ref.10: @I.%F.assoc_type (%F.assoc_type.1) = import_ref Main//types, loc4_31, loaded [symbolic = @I.%assoc0 (constants.%assoc0.3)]
// CHECK:STDOUT: %import_ref.11 = import_ref Main//types, F, unloaded
// CHECK:STDOUT: %import_ref.12 = import_ref Main//types, loc4_31, unloaded
// CHECK:STDOUT: %import_ref.13: <witness> = import_ref Main//types, loc7_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.14 = import_ref Main//types, inst54 [no loc], unloaded
// CHECK:STDOUT: %import_ref.16: type = import_ref Main//impl_in_class_args, loc7_19, loaded [template = constants.%C.2]
// CHECK:STDOUT: %import_ref.17: type = import_ref Main//impl_in_class_args, loc7_27, loaded [template = constants.%I.type.3]
// CHECK:STDOUT: %import_ref.18: <witness> = import_ref Main//impl_in_class_args, loc7_29, loaded [template = constants.%interface]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
toolchain/check/testdata/impl/lookup/transitive.carbon
Vendored
+17 -17
View File
@@ -105,14 +105,14 @@ fn Call() {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//i, inst+3, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//i, I, loaded [template = constants.%I.type]
// CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
// CHECK:STDOUT: import Core//prelude
// CHECK:STDOUT: import Core//prelude/...
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.2 = import_ref Main//i, inst+5, unloaded
// CHECK:STDOUT: %import_ref.3 = import_ref Main//i, inst+12, unloaded
// CHECK:STDOUT: %import_ref.4: %F.type.2 = import_ref Main//i, inst+7, loaded [template = constants.%F.2]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//i, inst17 [no loc], unloaded
// CHECK:STDOUT: %import_ref.3 = import_ref Main//i, loc4_21, unloaded
// CHECK:STDOUT: %import_ref.4: %F.type.2 = import_ref Main//i, F, loaded [template = constants.%F.2]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -179,13 +179,13 @@ fn Call() {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//c, inst+5, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//c, C, loaded [template = constants.%C]
// CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
// CHECK:STDOUT: import Core//prelude
// CHECK:STDOUT: import Core//prelude/...
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref Main//c, inst+8, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//c, inst+6, unloaded
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref Main//c, loc6_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//c, inst18 [no loc], unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -236,20 +236,20 @@ fn Call() {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %Get.type = import_ref Main//get, inst+16, loaded [template = constants.%Get]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//i, inst+3, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.1: %Get.type = import_ref Main//get, Get, loaded [template = constants.%Get]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//i, I, loaded [template = constants.%I.type]
// CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
// CHECK:STDOUT: import Core//prelude
// CHECK:STDOUT: import Core//prelude/...
// CHECK:STDOUT: }
// CHECK:STDOUT: %import_ref.3: <witness> = import_ref Main//get, inst+9, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.4 = import_ref Main//get, inst+10, unloaded
// CHECK:STDOUT: %import_ref.5 = import_ref Main//i, inst+5, unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref Main//i, inst+12, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref Main//i, inst+7, unloaded
// CHECK:STDOUT: %import_ref.9: type = import_ref Main//c, inst+10, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.10: type = import_ref Main//c, inst+17, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//c, inst+27, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.3: <witness> = import_ref Main//get, inst21 [indirect], loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.4 = import_ref Main//get, inst22 [indirect], unloaded
// CHECK:STDOUT: %import_ref.5 = import_ref Main//i, inst17 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref Main//i, loc4_21, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref Main//i, F, unloaded
// CHECK:STDOUT: %import_ref.9: type = import_ref Main//c, loc7_6, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.10: type = import_ref Main//c, loc7_11, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//c, loc7_13, loaded [template = constants.%interface]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
toolchain/check/testdata/impl/no_prelude/fail_alias.carbon
Vendored
+1 -1
View File
@@ -67,7 +67,7 @@ impl AC as AI {}
// CHECK:STDOUT:
// CHECK:STDOUT: impl @impl: %AC.ref.loc17 as %AI.ref.loc17 {
// CHECK:STDOUT: !members:
// CHECK:STDOUT: witness = <unexpected>.inst+18.loc17_15
// CHECK:STDOUT: witness = <unexpected>.inst30.loc17_15
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: class @C {
toolchain/check/testdata/impl/no_prelude/generic_redeclaration.carbon
Vendored
+1 -1
View File
@@ -452,7 +452,7 @@ impl (C, C).0 as I {}
// CHECK:STDOUT:
// CHECK:STDOUT: impl: %.loc7 as %J.ref.loc7 {
// CHECK:STDOUT: !members:
// CHECK:STDOUT: witness = <unexpected>.inst+26.loc7_28
// CHECK:STDOUT: witness = <unexpected>.inst38.loc7_28
// CHECK:STDOUT: }
// CHECK:STDOUT: }
// CHECK:STDOUT:
toolchain/check/testdata/impl/no_prelude/import_extend_impl.carbon
Vendored
+11 -11
View File
@@ -127,17 +127,17 @@ fn G(c: C) {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1 = import_ref Main//extend_impl_library, inst+1, unloaded
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//extend_impl_library, inst+12, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.3: <witness> = import_ref Main//extend_impl_library, inst+24, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.4 = import_ref Main//extend_impl_library, inst+13, unloaded
// CHECK:STDOUT: %import_ref.5: type = import_ref Main//extend_impl_library, inst+15, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//extend_impl_library, inst+3, unloaded
// CHECK:STDOUT: %import_ref.7: %F.assoc_type = import_ref Main//extend_impl_library, inst+10, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.8 = import_ref Main//extend_impl_library, inst+5, unloaded
// CHECK:STDOUT: %import_ref.10: type = import_ref Main//extend_impl_library, inst+14, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.11: type = import_ref Main//extend_impl_library, inst+15, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.12: <witness> = import_ref Main//extend_impl_library, inst+21, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.1 = import_ref Main//extend_impl_library, I, unloaded
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//extend_impl_library, C, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.3: <witness> = import_ref Main//extend_impl_library, loc12_1, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.4 = import_ref Main//extend_impl_library, inst25 [no loc], unloaded
// CHECK:STDOUT: %import_ref.5: type = import_ref Main//extend_impl_library, loc9_18, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//extend_impl_library, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.7: %F.assoc_type = import_ref Main//extend_impl_library, loc5_9, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.8 = import_ref Main//extend_impl_library, F, unloaded
// CHECK:STDOUT: %import_ref.10: type = import_ref Main//extend_impl_library, loc9_15, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.11: type = import_ref Main//extend_impl_library, loc9_18, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.12: <witness> = import_ref Main//extend_impl_library, loc9_20, loaded [template = constants.%interface]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
toolchain/check/testdata/impl/no_prelude/import_generic.carbon
Vendored
+20 -20
View File
@@ -201,16 +201,16 @@ impl forall [T:! type] C as I(T*) {}
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//import_generic, inst+1, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: %I.type.1 = import_ref Main//import_generic, inst+12, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//import_generic, inst+19, unloaded
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//import_generic, inst+4, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//import_generic, inst+2, unloaded
// CHECK:STDOUT: %import_ref.6: type = import_ref Main//import_generic, inst+26, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.7: type = import_ref Main//import_generic, inst+29, loaded [symbolic = @impl.1.%I.type.1 (constants.%I.type.2)]
// CHECK:STDOUT: %import_ref.8: type = import_ref Main//import_generic, inst+38, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.9: type = import_ref Main//import_generic, inst+43, loaded [symbolic = @impl.2.%I.type (constants.%I.type.3)]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//import_generic, inst+51, unloaded
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//import_generic, C, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: %I.type.1 = import_ref Main//import_generic, I, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//import_generic, inst31 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//import_generic, loc4_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//import_generic, inst14 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: type = import_ref Main//import_generic, loc7_24, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.7: type = import_ref Main//import_generic, loc7_32, loaded [symbolic = @impl.1.%I.type.1 (constants.%I.type.2)]
// CHECK:STDOUT: %import_ref.8: type = import_ref Main//import_generic, loc8_24, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.9: type = import_ref Main//import_generic, loc8_33, loaded [symbolic = @impl.2.%I.type (constants.%I.type.3)]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//import_generic, loc8_35, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -339,16 +339,16 @@ impl forall [T:! type] C as I(T*) {}
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//import_generic, inst+1, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: %I.type.1 = import_ref Main//import_generic, inst+12, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//import_generic, inst+19, unloaded
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//import_generic, inst+4, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//import_generic, inst+2, unloaded
// CHECK:STDOUT: %import_ref.6: type = import_ref Main//import_generic, inst+26, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.7: type = import_ref Main//import_generic, inst+29, loaded [symbolic = @impl.1.%I.type (constants.%I.type.2)]
// CHECK:STDOUT: %import_ref.8: type = import_ref Main//import_generic, inst+38, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.9: type = import_ref Main//import_generic, inst+43, loaded [symbolic = @impl.2.%I.type.1 (constants.%I.type.3)]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//import_generic, inst+51, unloaded
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//import_generic, C, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.2: %I.type.1 = import_ref Main//import_generic, I, loaded [template = constants.%I.generic]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//import_generic, inst31 [no loc], unloaded
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//import_generic, loc4_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//import_generic, inst14 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: type = import_ref Main//import_generic, loc7_24, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.7: type = import_ref Main//import_generic, loc7_32, loaded [symbolic = @impl.1.%I.type (constants.%I.type.2)]
// CHECK:STDOUT: %import_ref.8: type = import_ref Main//import_generic, loc8_24, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.9: type = import_ref Main//import_generic, loc8_33, loaded [symbolic = @impl.2.%I.type.1 (constants.%I.type.3)]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//import_generic, loc8_35, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
toolchain/check/testdata/impl/no_prelude/import_self.carbon
Vendored
+4 -4
View File
@@ -116,10 +116,10 @@ fn F(x: (), y: ()) -> () {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//a, inst+1, loaded [template = constants.%Add.type]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//a, inst+3, unloaded
// CHECK:STDOUT: %import_ref.3: %Op.assoc_type = import_ref Main//a, inst+34, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.4: %Op.type.2 = import_ref Main//a, inst+27, loaded [template = constants.%Op.2]
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//a, Add, loaded [template = constants.%Add.type]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//a, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.3: %Op.assoc_type = import_ref Main//a, loc5_41, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.4: %Op.type.2 = import_ref Main//a, Op, loaded [template = constants.%Op.2]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
toolchain/check/testdata/impl/no_prelude/import_use_generic.carbon
Vendored
+10 -10
View File
@@ -210,16 +210,16 @@ fn F() -> c.(I.F)() {}
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %C.type = import_ref Main//import_generic, inst+7, loaded [template = constants.%C.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//import_generic, inst+17, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.3: <witness> = import_ref Main//import_generic, inst+15, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.4 = import_ref Main//import_generic, inst+13, unloaded
// CHECK:STDOUT: %import_ref.5 = import_ref Main//import_generic, inst+19, unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref Main//import_generic, inst+25, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref Main//import_generic, inst+21, unloaded
// CHECK:STDOUT: %import_ref.9: type = import_ref Main//import_generic, inst+32, loaded [symbolic = @impl.%C (constants.%C.1)]
// CHECK:STDOUT: %import_ref.10: type = import_ref Main//import_generic, inst+33, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//import_generic, inst+43, loaded [symbolic = @impl.%interface (constants.%interface.1)]
// CHECK:STDOUT: %import_ref.1: %C.type = import_ref Main//import_generic, C, loaded [template = constants.%C.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//import_generic, I, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.3: <witness> = import_ref Main//import_generic, loc4_20, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.4 = import_ref Main//import_generic, inst25 [no loc], unloaded
// CHECK:STDOUT: %import_ref.5 = import_ref Main//import_generic, inst31 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6: %F.assoc_type = import_ref Main//import_generic, loc7_9, loaded [template = constants.%assoc0]
// CHECK:STDOUT: %import_ref.7 = import_ref Main//import_generic, F, unloaded
// CHECK:STDOUT: %import_ref.9: type = import_ref Main//import_generic, loc10_27, loaded [symbolic = @impl.%C (constants.%C.1)]
// CHECK:STDOUT: %import_ref.10: type = import_ref Main//import_generic, loc10_32, loaded [template = constants.%I.type]
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//import_generic, loc10_34, loaded [symbolic = @impl.%interface (constants.%interface.1)]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
toolchain/check/testdata/impl/no_prelude/interface_args.carbon
Vendored
+66 -66
View File
@@ -283,23 +283,23 @@ fn MakeC(a: A) -> C {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %Action.type.1 = import_ref Main//action, inst+7, loaded [template = constants.%Action.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//action, inst+28, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//action, inst+33, loaded [template = constants.%B]
// CHECK:STDOUT: %import_ref.4 = import_ref Main//action, inst+36, unloaded
// CHECK:STDOUT: %import_ref.5 = import_ref Main//action, inst+61, unloaded
// CHECK:STDOUT: %import_ref.6: <witness> = import_ref Main//action, inst+35, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.7 = import_ref Main//action, inst+34, unloaded
// CHECK:STDOUT: %import_ref.8 = import_ref Main//action, inst+14, unloaded
// CHECK:STDOUT: %import_ref.9: @Action.%Op.assoc_type (%Op.assoc_type.1) = import_ref Main//action, inst+20, loaded [symbolic = @Action.%assoc0 (constants.%assoc0.3)]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//action, inst+16, unloaded
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//action, inst+31, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.12 = import_ref Main//action, inst+29, unloaded
// CHECK:STDOUT: %import_ref.13: type = import_ref Main//action, inst+39, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.14: type = import_ref Main//action, inst+42, loaded [template = constants.%Action.type.3]
// CHECK:STDOUT: %import_ref.15: <witness> = import_ref Main//action, inst+53, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.16 = import_ref Main//action, inst+45, unloaded
// CHECK:STDOUT: %import_ref.17 = import_ref Main//action, inst+16, unloaded
// CHECK:STDOUT: %import_ref.1: %Action.type.1 = import_ref Main//action, Action, loaded [template = constants.%Action.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//action, A, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//action, B, loaded [template = constants.%B]
// CHECK:STDOUT: %import_ref.4 = import_ref Main//action, C, unloaded
// CHECK:STDOUT: %import_ref.5 = import_ref Main//action, F, unloaded
// CHECK:STDOUT: %import_ref.6: <witness> = import_ref Main//action, loc9_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.7 = import_ref Main//action, inst46 [no loc], unloaded
// CHECK:STDOUT: %import_ref.8 = import_ref Main//action, inst26 [no loc], unloaded
// CHECK:STDOUT: %import_ref.9: @Action.%Op.assoc_type (%Op.assoc_type.1) = import_ref Main//action, loc5_10, loaded [symbolic = @Action.%assoc0 (constants.%assoc0.3)]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//action, Op, unloaded
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//action, loc8_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.12 = import_ref Main//action, inst41 [no loc], unloaded
// CHECK:STDOUT: %import_ref.13: type = import_ref Main//action, loc12_6, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.14: type = import_ref Main//action, loc12_19, loaded [template = constants.%Action.type.3]
// CHECK:STDOUT: %import_ref.15: <witness> = import_ref Main//action, loc12_21, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.16 = import_ref Main//action, loc13_11, unloaded
// CHECK:STDOUT: %import_ref.17 = import_ref Main//action, loc5_10, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -440,25 +440,25 @@ fn MakeC(a: A) -> C {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %Action.type.1 = import_ref Main//action, inst+7, loaded [template = constants.%Action.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//action, inst+28, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//action, inst+33, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//action, inst+36, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//action, inst+61, unloaded
// CHECK:STDOUT: %import_ref.6: <witness> = import_ref Main//action, inst+35, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.7 = import_ref Main//action, inst+34, unloaded
// CHECK:STDOUT: %import_ref.8 = import_ref Main//action, inst+14, unloaded
// CHECK:STDOUT: %import_ref.9: @Action.%Op.assoc_type (%Op.assoc_type.1) = import_ref Main//action, inst+20, loaded [symbolic = @Action.%assoc0 (constants.%assoc0.4)]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//action, inst+16, unloaded
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//action, inst+31, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.12 = import_ref Main//action, inst+29, unloaded
// CHECK:STDOUT: %import_ref.13: type = import_ref Main//action, inst+39, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.14: type = import_ref Main//action, inst+42, loaded [template = constants.%Action.type.3]
// CHECK:STDOUT: %import_ref.15 = import_ref Main//action, inst+53, unloaded
// CHECK:STDOUT: %import_ref.16 = import_ref Main//action, inst+45, unloaded
// CHECK:STDOUT: %import_ref.17 = import_ref Main//action, inst+16, unloaded
// CHECK:STDOUT: %import_ref.19: <witness> = import_ref Main//action, inst+38, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.20 = import_ref Main//action, inst+37, unloaded
// CHECK:STDOUT: %import_ref.1: %Action.type.1 = import_ref Main//action, Action, loaded [template = constants.%Action.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//action, A, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//action, B, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//action, C, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//action, F, unloaded
// CHECK:STDOUT: %import_ref.6: <witness> = import_ref Main//action, loc9_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.7 = import_ref Main//action, inst46 [no loc], unloaded
// CHECK:STDOUT: %import_ref.8 = import_ref Main//action, inst26 [no loc], unloaded
// CHECK:STDOUT: %import_ref.9: @Action.%Op.assoc_type (%Op.assoc_type.1) = import_ref Main//action, loc5_10, loaded [symbolic = @Action.%assoc0 (constants.%assoc0.4)]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//action, Op, unloaded
// CHECK:STDOUT: %import_ref.11: <witness> = import_ref Main//action, loc8_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.12 = import_ref Main//action, inst41 [no loc], unloaded
// CHECK:STDOUT: %import_ref.13: type = import_ref Main//action, loc12_6, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.14: type = import_ref Main//action, loc12_19, loaded [template = constants.%Action.type.3]
// CHECK:STDOUT: %import_ref.15 = import_ref Main//action, loc12_21, unloaded
// CHECK:STDOUT: %import_ref.16 = import_ref Main//action, loc13_11, unloaded
// CHECK:STDOUT: %import_ref.17 = import_ref Main//action, loc5_10, unloaded
// CHECK:STDOUT: %import_ref.19: <witness> = import_ref Main//action, loc10_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.20 = import_ref Main//action, inst49 [no loc], unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -764,21 +764,21 @@ fn MakeC(a: A) -> C {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %Factory.type.1 = import_ref Main//factory, inst+7, loaded [template = constants.%Factory.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//factory, inst+34, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//factory, inst+39, loaded [template = constants.%B]
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//factory, inst+41, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//factory, inst+40, unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref Main//factory, inst+14, unloaded
// CHECK:STDOUT: %import_ref.7: @Factory.%Make.assoc_type (%Make.assoc_type.1) = import_ref Main//factory, inst+26, loaded [symbolic = @Factory.%assoc0 (constants.%assoc0.3)]
// CHECK:STDOUT: %import_ref.8 = import_ref Main//factory, inst+21, unloaded
// CHECK:STDOUT: %import_ref.9: <witness> = import_ref Main//factory, inst+37, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//factory, inst+35, unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref Main//factory, inst+42, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.12: type = import_ref Main//factory, inst+45, loaded [template = constants.%Factory.type.3]
// CHECK:STDOUT: %import_ref.13: <witness> = import_ref Main//factory, inst+61, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.14 = import_ref Main//factory, inst+53, unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref Main//factory, inst+21, unloaded
// CHECK:STDOUT: %import_ref.1: %Factory.type.1 = import_ref Main//factory, Factory, loaded [template = constants.%Factory.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//factory, A, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//factory, B, loaded [template = constants.%B]
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//factory, loc9_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//factory, inst52 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref Main//factory, inst26 [no loc], unloaded
// CHECK:STDOUT: %import_ref.7: @Factory.%Make.assoc_type (%Make.assoc_type.1) = import_ref Main//factory, loc5_17, loaded [symbolic = @Factory.%assoc0 (constants.%assoc0.3)]
// CHECK:STDOUT: %import_ref.8 = import_ref Main//factory, Make, unloaded
// CHECK:STDOUT: %import_ref.9: <witness> = import_ref Main//factory, loc8_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//factory, inst47 [no loc], unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref Main//factory, loc11_6, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.12: type = import_ref Main//factory, loc11_20, loaded [template = constants.%Factory.type.3]
// CHECK:STDOUT: %import_ref.13: <witness> = import_ref Main//factory, loc11_22, loaded [template = constants.%interface]
// CHECK:STDOUT: %import_ref.14 = import_ref Main//factory, loc12_17, unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref Main//factory, loc5_17, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -926,21 +926,21 @@ fn MakeC(a: A) -> C {
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: %Factory.type.1 = import_ref Main//factory, inst+7, loaded [template = constants.%Factory.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//factory, inst+34, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//factory, inst+39, unloaded
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//factory, inst+41, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//factory, inst+40, unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref Main//factory, inst+14, unloaded
// CHECK:STDOUT: %import_ref.7: @Factory.%Make.assoc_type (%Make.assoc_type.1) = import_ref Main//factory, inst+26, loaded [symbolic = @Factory.%assoc0 (constants.%assoc0.4)]
// CHECK:STDOUT: %import_ref.8 = import_ref Main//factory, inst+21, unloaded
// CHECK:STDOUT: %import_ref.9: <witness> = import_ref Main//factory, inst+37, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//factory, inst+35, unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref Main//factory, inst+42, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.12: type = import_ref Main//factory, inst+45, loaded [template = constants.%Factory.type.3]
// CHECK:STDOUT: %import_ref.13 = import_ref Main//factory, inst+61, unloaded
// CHECK:STDOUT: %import_ref.14 = import_ref Main//factory, inst+53, unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref Main//factory, inst+21, unloaded
// CHECK:STDOUT: %import_ref.1: %Factory.type.1 = import_ref Main//factory, Factory, loaded [template = constants.%Factory.generic]
// CHECK:STDOUT: %import_ref.2: type = import_ref Main//factory, A, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//factory, B, unloaded
// CHECK:STDOUT: %import_ref.4: <witness> = import_ref Main//factory, loc9_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.5 = import_ref Main//factory, inst52 [no loc], unloaded
// CHECK:STDOUT: %import_ref.6 = import_ref Main//factory, inst26 [no loc], unloaded
// CHECK:STDOUT: %import_ref.7: @Factory.%Make.assoc_type (%Make.assoc_type.1) = import_ref Main//factory, loc5_17, loaded [symbolic = @Factory.%assoc0 (constants.%assoc0.4)]
// CHECK:STDOUT: %import_ref.8 = import_ref Main//factory, Make, unloaded
// CHECK:STDOUT: %import_ref.9: <witness> = import_ref Main//factory, loc8_10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.10 = import_ref Main//factory, inst47 [no loc], unloaded
// CHECK:STDOUT: %import_ref.11: type = import_ref Main//factory, loc11_6, loaded [template = constants.%A]
// CHECK:STDOUT: %import_ref.12: type = import_ref Main//factory, loc11_20, loaded [template = constants.%Factory.type.3]
// CHECK:STDOUT: %import_ref.13 = import_ref Main//factory, loc11_22, unloaded
// CHECK:STDOUT: %import_ref.14 = import_ref Main//factory, loc12_17, unloaded
// CHECK:STDOUT: %import_ref.15 = import_ref Main//factory, loc5_17, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
toolchain/check/testdata/impl/no_prelude/no_definition_in_impl_file.carbon
Vendored
+13 -13
View File
@@ -118,10 +118,10 @@ impl () as D;
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//decl_in_api_definition_in_impl, inst+1, loaded [template = constants.%A.type]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//decl_in_api_definition_in_impl, inst+3, unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//decl_in_api_definition_in_impl, inst+7, loaded [template = constants.%empty_tuple.type]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//decl_in_api_definition_in_impl, inst+8, loaded [template = constants.%A.type]
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//decl_in_api_definition_in_impl, A, loaded [template = constants.%A.type]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//decl_in_api_definition_in_impl, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//decl_in_api_definition_in_impl, loc6_7, loaded [template = constants.%empty_tuple.type]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//decl_in_api_definition_in_impl, loc6_12, loaded [template = constants.%A.type]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -164,7 +164,7 @@ impl () as D;
// CHECK:STDOUT: --- use_decl_in_api.impl.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref = import_ref Main//decl_in_api_definition_in_impl, inst+1, unloaded
// CHECK:STDOUT: %import_ref = import_ref Main//decl_in_api_definition_in_impl, A, unloaded
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -213,10 +213,10 @@ impl () as D;
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1 = import_ref Main//decl_only_in_api, inst+1, unloaded
// CHECK:STDOUT: %import_ref.2 = import_ref Main//decl_only_in_api, inst+3, unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//decl_only_in_api, inst+7, loaded [template = constants.%empty_tuple.type]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//decl_only_in_api, inst+8, loaded [template = constants.%B.type]
// CHECK:STDOUT: %import_ref.1 = import_ref Main//decl_only_in_api, B, unloaded
// CHECK:STDOUT: %import_ref.2 = import_ref Main//decl_only_in_api, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//decl_only_in_api, loc6_7, loaded [template = constants.%empty_tuple.type]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//decl_only_in_api, loc6_12, loaded [template = constants.%B.type]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -273,10 +273,10 @@ impl () as D;
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//decl_in_api_decl_in_impl, inst+1, loaded [template = constants.%C.type]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//decl_in_api_decl_in_impl, inst+3, unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//decl_in_api_decl_in_impl, inst+7, loaded [template = constants.%empty_tuple.type]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//decl_in_api_decl_in_impl, inst+8, loaded [template = constants.%C.type]
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//decl_in_api_decl_in_impl, C, loaded [template = constants.%C.type]
// CHECK:STDOUT: %import_ref.2 = import_ref Main//decl_in_api_decl_in_impl, inst15 [no loc], unloaded
// CHECK:STDOUT: %import_ref.3: type = import_ref Main//decl_in_api_decl_in_impl, loc6_7, loaded [template = constants.%empty_tuple.type]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//decl_in_api_decl_in_impl, loc6_12, loaded [template = constants.%C.type]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {