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

Rename some semantics nodes and some IR names to make them match better. (#3085)

Browse Source
This commit is contained in:
Richard Smith
2023-08-10 21:48:50 +00:00
committed by GitHub
parent 9c516c40b9
commit 6e01b90394
80 changed files with 234 additions and 233 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/semantics/testdata/pointer/address_of_deref.carbon
Vendored
+1 -1
View File
@@ -68,7 +68,7 @@ fn F() -> i32 {
// CHECK:STDOUT: fn @F() -> i32 {
// CHECK:STDOUT: !entry:
// CHECK:STDOUT: %n: i32 = var
// CHECK:STDOUT: %.loc8: i32 = int_value 0
// CHECK:STDOUT: %.loc8: i32 = int_literal 0
// CHECK:STDOUT: assign %n, %.loc8
// CHECK:STDOUT: %.loc9_13.1: type = ptr_type i32
// CHECK:STDOUT: %.loc9_13.2: i32* = address_of %n
toolchain/semantics/testdata/pointer/address_of_lvalue.carbon
Vendored
+10 -10
View File
@@ -94,13 +94,13 @@ fn F(param: i32) {
// CHECK:STDOUT: {kind: PointerType, arg0: type0, type: typeTypeType},
// CHECK:STDOUT: {kind: VarStorage, type: type3},
// CHECK:STDOUT: {kind: BindName, arg0: str6, arg1: node+25, type: type3},
// CHECK:STDOUT: {kind: StructMemberAccess, arg0: node+6, arg1: member0, type: type0},
// CHECK:STDOUT: {kind: StructAccess, arg0: node+6, arg1: member0, type: type0},
// CHECK:STDOUT: {kind: AddressOf, arg0: node+27, type: type3},
// CHECK:STDOUT: {kind: Assign, arg0: node+25, arg1: node+28},
// CHECK:STDOUT: {kind: PointerType, arg0: type0, type: typeTypeType},
// CHECK:STDOUT: {kind: VarStorage, type: type3},
// CHECK:STDOUT: {kind: BindName, arg0: str7, arg1: node+31, type: type3},
// CHECK:STDOUT: {kind: StructMemberAccess, arg0: node+6, arg1: member1, type: type0},
// CHECK:STDOUT: {kind: StructAccess, arg0: node+6, arg1: member1, type: type0},
// CHECK:STDOUT: {kind: AddressOf, arg0: node+33, type: type3},
// CHECK:STDOUT: {kind: Assign, arg0: node+31, arg1: node+34},
// CHECK:STDOUT: {kind: StubReference, arg0: nodeIntegerType, type: typeTypeType},
@@ -120,14 +120,14 @@ fn F(param: i32) {
// CHECK:STDOUT: {kind: VarStorage, type: type3},
// CHECK:STDOUT: {kind: BindName, arg0: str9, arg1: node+50, type: type3},
// CHECK:STDOUT: {kind: IntegerLiteral, arg0: int4, type: type0},
// CHECK:STDOUT: {kind: Index, arg0: node+41, arg1: node+52, type: type0},
// CHECK:STDOUT: {kind: TupleIndex, arg0: node+41, arg1: node+52, type: type0},
// CHECK:STDOUT: {kind: AddressOf, arg0: node+53, type: type3},
// CHECK:STDOUT: {kind: Assign, arg0: node+50, arg1: node+54},
// CHECK:STDOUT: {kind: PointerType, arg0: type0, type: typeTypeType},
// CHECK:STDOUT: {kind: VarStorage, type: type3},
// CHECK:STDOUT: {kind: BindName, arg0: str10, arg1: node+57, type: type3},
// CHECK:STDOUT: {kind: IntegerLiteral, arg0: int5, type: type0},
// CHECK:STDOUT: {kind: Index, arg0: node+41, arg1: node+59, type: type0},
// CHECK:STDOUT: {kind: TupleIndex, arg0: node+41, arg1: node+59, type: type0},
// CHECK:STDOUT: {kind: AddressOf, arg0: node+60, type: type3},
// CHECK:STDOUT: {kind: Assign, arg0: node+57, arg1: node+61},
// CHECK:STDOUT: {kind: PointerType, arg0: type0, type: typeTypeType},
@@ -250,9 +250,9 @@ fn F(param: i32) {
// CHECK:STDOUT: !entry:
// CHECK:STDOUT: %.loc8_27: type = struct_type {.a: i32, .b: i32}
// CHECK:STDOUT: %s: {.a: i32, .b: i32} = var
// CHECK:STDOUT: %.loc8_37: i32 = int_value 1
// CHECK:STDOUT: %.loc8_37: i32 = int_literal 1
// CHECK:STDOUT: %.loc8_35: i32 = stub_reference %.loc8_37
// CHECK:STDOUT: %.loc8_45: i32 = int_value 2
// CHECK:STDOUT: %.loc8_45: i32 = int_literal 2
// CHECK:STDOUT: %.loc8_43: i32 = stub_reference %.loc8_45
// CHECK:STDOUT: %.loc8_46: {.a: i32, .b: i32} = struct_value (%.loc8_35, %.loc8_43)
// CHECK:STDOUT: assign %s, %.loc8_46
@@ -277,21 +277,21 @@ fn F(param: i32) {
// CHECK:STDOUT: %.loc14_19.2: (type, type) = tuple_value (%.loc14_11, %.loc14_16)
// CHECK:STDOUT: %.loc14_19.3: type = tuple_type (i32, i32)
// CHECK:STDOUT: %t: (i32, i32) = var
// CHECK:STDOUT: %.loc14_24.1: i32 = int_value 1
// CHECK:STDOUT: %.loc14_24.1: i32 = int_literal 1
// CHECK:STDOUT: %.loc14_24.2: i32 = stub_reference %.loc14_24.1
// CHECK:STDOUT: %.loc14_27.1: i32 = int_value 2
// CHECK:STDOUT: %.loc14_27.1: i32 = int_literal 2
// CHECK:STDOUT: %.loc14_27.2: i32 = stub_reference %.loc14_27.1
// CHECK:STDOUT: %.loc14_28: (i32, i32) = tuple_value (%.loc14_24.2, %.loc14_27.2)
// CHECK:STDOUT: assign %t, %.loc14_28
// CHECK:STDOUT: %.loc15_14: type = ptr_type i32
// CHECK:STDOUT: %t0: i32* = var
// CHECK:STDOUT: %.loc15_21: i32 = int_value 0
// CHECK:STDOUT: %.loc15_21: i32 = int_literal 0
// CHECK:STDOUT: %.loc15_22: i32 = tuple_index %t, %.loc15_21
// CHECK:STDOUT: %.loc15_18: i32* = address_of %.loc15_22
// CHECK:STDOUT: assign %t0, %.loc15_18
// CHECK:STDOUT: %.loc16_14: type = ptr_type i32
// CHECK:STDOUT: %t1: i32* = var
// CHECK:STDOUT: %.loc16_21: i32 = int_value 1
// CHECK:STDOUT: %.loc16_21: i32 = int_literal 1
// CHECK:STDOUT: %.loc16_22: i32 = tuple_index %t, %.loc16_21
// CHECK:STDOUT: %.loc16_18: i32* = address_of %.loc16_22
// CHECK:STDOUT: assign %t1, %.loc16_18
toolchain/semantics/testdata/pointer/basic.carbon
Vendored
+1 -1
View File
@@ -73,7 +73,7 @@ fn F() -> i32 {
// CHECK:STDOUT: fn @F() -> i32 {
// CHECK:STDOUT: !entry:
// CHECK:STDOUT: %n: i32 = var
// CHECK:STDOUT: %.loc8: i32 = int_value 0
// CHECK:STDOUT: %.loc8: i32 = int_literal 0
// CHECK:STDOUT: assign %n, %.loc8
// CHECK:STDOUT: %.loc9_13: type = ptr_type i32
// CHECK:STDOUT: %p: i32* = var
toolchain/semantics/testdata/pointer/fail_address_of_value.carbon
Vendored
+15 -15
View File
@@ -171,7 +171,7 @@ fn AddressOfTupleElementValue() {
// CHECK:STDOUT: {kind: BinaryOperatorAdd, arg0: node+33, arg1: node+34, type: type0},
// CHECK:STDOUT: {kind: AddressOf, arg0: node+35, type: type2},
// CHECK:STDOUT: {kind: Call, arg0: block0, arg1: function1, type: type1},
// CHECK:STDOUT: {kind: StructMemberAccess, arg0: node+37, arg1: member0, type: type0},
// CHECK:STDOUT: {kind: StructAccess, arg0: node+37, arg1: member0, type: type0},
// CHECK:STDOUT: {kind: AddressOf, arg0: node+38, type: type2},
// CHECK:STDOUT: {kind: BoolLiteral, arg0: true, type: type3},
// CHECK:STDOUT: {kind: UnaryOperatorNot, arg0: node+40, type: type3},
@@ -195,7 +195,7 @@ fn AddressOfTupleElementValue() {
// CHECK:STDOUT: {kind: StubReference, arg0: node+58, type: type0},
// CHECK:STDOUT: {kind: TupleValue, arg0: block11, type: type9},
// CHECK:STDOUT: {kind: IntegerLiteral, arg0: int8, type: type0},
// CHECK:STDOUT: {kind: Index, arg0: node+60, arg1: node+61, type: type0},
// CHECK:STDOUT: {kind: TupleIndex, arg0: node+60, arg1: node+61, type: type0},
// CHECK:STDOUT: {kind: AddressOf, arg0: node+62, type: type2},
// CHECK:STDOUT: {kind: Return},
// CHECK:STDOUT: ]
@@ -314,27 +314,27 @@ fn AddressOfTupleElementValue() {
// CHECK:STDOUT:
// CHECK:STDOUT: fn @AddressOfLiteral() {
// CHECK:STDOUT: !entry:
// CHECK:STDOUT: %.loc15_4: i32 = int_value 0
// CHECK:STDOUT: %.loc15_4: i32 = int_literal 0
// CHECK:STDOUT: %.loc15_3.1: type = ptr_type i32
// CHECK:STDOUT: %.loc15_3.2: i32* = address_of %.loc15_4
// CHECK:STDOUT: %.loc19_4: bool = bool_value true
// CHECK:STDOUT: %.loc19_4: bool = bool_literal true
// CHECK:STDOUT: %.loc19_3.1: type = ptr_type bool
// CHECK:STDOUT: %.loc19_3.2: bool* = address_of %.loc19_4
// CHECK:STDOUT: %.loc23_4: f64 = real_value 10e-1
// CHECK:STDOUT: %.loc23_4: f64 = real_literal 10e-1
// CHECK:STDOUT: %.loc23_3.1: type = ptr_type f64
// CHECK:STDOUT: %.loc23_3.2: f64* = address_of %.loc23_4
// CHECK:STDOUT: %.loc27_4: String = string_value "Hello"
// CHECK:STDOUT: %.loc27_4: String = string_literal "Hello"
// CHECK:STDOUT: %.loc27_3.1: type = ptr_type String
// CHECK:STDOUT: %.loc27_3.2: String* = address_of %.loc27_4
// CHECK:STDOUT: %.loc31_5.1: i32 = int_value 1
// CHECK:STDOUT: %.loc31_5.1: i32 = int_literal 1
// CHECK:STDOUT: %.loc31_5.2: i32 = stub_reference %.loc31_5.1
// CHECK:STDOUT: %.loc31_8.1: i32 = int_value 2
// CHECK:STDOUT: %.loc31_8.1: i32 = int_literal 2
// CHECK:STDOUT: %.loc31_8.2: i32 = stub_reference %.loc31_8.1
// CHECK:STDOUT: %.loc31_9.1: type = tuple_type (i32, i32)
// CHECK:STDOUT: %.loc31_9.2: (i32, i32) = tuple_value (%.loc31_5.2, %.loc31_8.2)
// CHECK:STDOUT: %.loc31_3.1: type = ptr_type (i32, i32)
// CHECK:STDOUT: %.loc31_3.2: (i32, i32)* = address_of %.loc31_9.2
// CHECK:STDOUT: %.loc35_10: i32 = int_value 5
// CHECK:STDOUT: %.loc35_10: i32 = int_literal 5
// CHECK:STDOUT: %.loc35_8: i32 = stub_reference %.loc35_10
// CHECK:STDOUT: %.loc35_11: {.a: i32} = struct_value (%.loc35_8)
// CHECK:STDOUT: %.loc35_3.1: type = ptr_type {.a: i32}
@@ -344,14 +344,14 @@ fn AddressOfTupleElementValue() {
// CHECK:STDOUT:
// CHECK:STDOUT: fn @AddressOfOperator() {
// CHECK:STDOUT: !entry:
// CHECK:STDOUT: %.loc42_5: i32 = int_value 1
// CHECK:STDOUT: %.loc42_9: i32 = int_value 1
// CHECK:STDOUT: %.loc42_5: i32 = int_literal 1
// CHECK:STDOUT: %.loc42_9: i32 = int_literal 1
// CHECK:STDOUT: %.loc42_7: i32 = add %.loc42_5, %.loc42_9
// CHECK:STDOUT: %.loc42_3: i32* = address_of %.loc42_7
// CHECK:STDOUT: %.loc46_5: {.a: i32} = call @H()
// CHECK:STDOUT: %.loc46_7: i32 = struct_access %.loc46_5, member0
// CHECK:STDOUT: %.loc46_3: i32* = address_of %.loc46_7
// CHECK:STDOUT: %.loc50_9: bool = bool_value true
// CHECK:STDOUT: %.loc50_9: bool = bool_literal true
// CHECK:STDOUT: %.loc50_5: bool = not %.loc50_9
// CHECK:STDOUT: %.loc50_3: bool* = address_of %.loc50_5
// CHECK:STDOUT: return
@@ -376,12 +376,12 @@ fn AddressOfTupleElementValue() {
// CHECK:STDOUT:
// CHECK:STDOUT: fn @AddressOfTupleElementValue() {
// CHECK:STDOUT: !entry:
// CHECK:STDOUT: %.loc75_6.1: i32 = int_value 1
// CHECK:STDOUT: %.loc75_6.1: i32 = int_literal 1
// CHECK:STDOUT: %.loc75_6.2: i32 = stub_reference %.loc75_6.1
// CHECK:STDOUT: %.loc75_9.1: i32 = int_value 2
// CHECK:STDOUT: %.loc75_9.1: i32 = int_literal 2
// CHECK:STDOUT: %.loc75_9.2: i32 = stub_reference %.loc75_9.1
// CHECK:STDOUT: %.loc75_10: (i32, i32) = tuple_value (%.loc75_6.2, %.loc75_9.2)
// CHECK:STDOUT: %.loc75_12: i32 = int_value 0
// CHECK:STDOUT: %.loc75_12: i32 = int_literal 0
// CHECK:STDOUT: %.loc75_13: i32 = tuple_index %.loc75_10, %.loc75_12
// CHECK:STDOUT: %.loc75_3: i32* = address_of %.loc75_13
// CHECK:STDOUT: return