rusty: Update testsuite for new global variable section names

PLC-lang · Apr 10, 2024 · 3c7d2e3 · 3c7d2e3
1 parent 984e4e9
commit 3c7d2e3
Show file tree

Hide file tree

Showing 345 changed files with 770 additions and 858 deletions.
diff --git a/...iver/src/tests/snapshots/plc_driver__tests__external_files__external_file_global_var.snap b/...iver/src/tests/snapshots/plc_driver__tests__external_files__external_file_global_var.snap
@@ -5,8 +5,8 @@ expression: "results.join(\"\\n\")"
 ; ModuleID = 'main.st'
 source_filename = "main.st"
 
-@x = external global i16
-@y = external global i16
+@x = external global i16, section "var-x:i16"
+@y = external global i16, section "var-y:i16"
 
 define i16 @main() section "fn-main:i16" {
 entry:
@@ -24,7 +24,7 @@ declare i16 @external() section "fn-external:i16"
 ; ModuleID = 'external.st'
 source_filename = "external.st"
 
-@x = external global i16
-@y = external global i16
+@x = external global i16, section "var-x:i16"
+@y = external global i16, section "var-y:i16"
 
 declare i16 @external() section "fn-external:i16"
diff --git a/...lc_driver__tests__multi_files__multiple_files_in_different_locations_with_debug_info.snap b/...lc_driver__tests__multi_files__multiple_files_in_different_locations_with_debug_info.snap
@@ -7,7 +7,7 @@ source_filename = "app/file1.st"
 
 %mainProg = type {}
 
-@mainProg_instance = external global %mainProg, !dbg !0
+@mainProg_instance = external global %mainProg, section "var-mainProg_instance:v", !dbg !0
 
 define i16 @main() section "fn-main:i16" !dbg !10 {
 entry:
@@ -54,7 +54,7 @@ source_filename = "lib/file2.st"
 
 %mainProg = type {}
 
-@mainProg_instance = global %mainProg zeroinitializer, !dbg !0
+@mainProg_instance = global %mainProg zeroinitializer, section "var-mainProg_instance:v", !dbg !0
 
 define void @mainProg(%mainProg* %0) section "fn-mainProg:v" !dbg !10 {
 entry:

diff --git a/...r/src/tests/snapshots/plc_driver__tests__multi_files__multiple_files_with_debug_info.snap b/...r/src/tests/snapshots/plc_driver__tests__multi_files__multiple_files_with_debug_info.snap
@@ -7,7 +7,7 @@ source_filename = "file1.st"
 
 %mainProg = type {}
 
-@mainProg_instance = external global %mainProg, !dbg !0
+@mainProg_instance = external global %mainProg, section "var-mainProg_instance:v", !dbg !0
 
 define i16 @main() section "fn-main:i16" !dbg !10 {
 entry:
@@ -54,7 +54,7 @@ source_filename = "file2.st"
 
 %mainProg = type {}
 
-@mainProg_instance = global %mainProg zeroinitializer, !dbg !0
+@mainProg_instance = global %mainProg zeroinitializer, section "var-mainProg_instance:v", !dbg !0
 
 define void @mainProg(%mainProg* %0) section "fn-mainProg:v" !dbg !10 {
 entry:

diff --git a/.../src/tests/snapshots/plc_driver__tests__multi_files__multiple_source_files_generated.snap b/.../src/tests/snapshots/plc_driver__tests__multi_files__multiple_source_files_generated.snap
@@ -7,7 +7,7 @@ source_filename = "external_file1.st"
 
 %mainProg = type {}
 
-@mainProg_instance = external global %mainProg
+@mainProg_instance = external global %mainProg, section "var-mainProg_instance:v"
 
 define i16 @main() section "fn-main:i16" {
 entry:
@@ -25,7 +25,7 @@ source_filename = "external_file2.st"
 
 %mainProg = type {}
 
-@mainProg_instance = global %mainProg zeroinitializer
+@mainProg_instance = global %mainProg zeroinitializer, section "var-mainProg_instance:v"
 
 define void @mainProg(%mainProg* %0) section "fn-mainProg:v" {
 entry:

diff --git a/...debug_tests__expression_debugging__external_impl_is_not_added_as_external_subroutine.snap b/...debug_tests__expression_debugging__external_impl_is_not_added_as_external_subroutine.snap
@@ -8,8 +8,8 @@ source_filename = "main"
 %myPrg = type {}
 %myFb = type {}
 
-@myPrg_instance = external global %myPrg, !dbg !0
-@__myFb__init = unnamed_addr constant %myFb zeroinitializer, !dbg !5
+@myPrg_instance = external global %myPrg, section "var-myPrg_instance:v", !dbg !0
+@__myFb__init = unnamed_addr constant %myFb zeroinitializer, section "var-__myFb__init:v", !dbg !5
 
 declare i32 @myFunc() section "fn-myFunc:i32"
 

diff --git a/...odegen__tests__debug_tests__expression_debugging__implementation_added_as_subroutine.snap b/...odegen__tests__debug_tests__expression_debugging__implementation_added_as_subroutine.snap
@@ -8,8 +8,8 @@ source_filename = "main"
 %myPrg = type {}
 %myFb = type {}
 
-@myPrg_instance = global %myPrg zeroinitializer, !dbg !0
-@__myFb__init = unnamed_addr constant %myFb zeroinitializer, !dbg !5
+@myPrg_instance = global %myPrg zeroinitializer, section "var-myPrg_instance:v", !dbg !0
+@__myFb__init = unnamed_addr constant %myFb zeroinitializer, section "var-__myFb__init:v", !dbg !5
 
 define i32 @myFunc() section "fn-myFunc:i32" !dbg !12 {
 entry:

diff --git a/...en__tests__debug_tests__expression_debugging__non_function_pous_have_struct_as_param.snap b/...en__tests__debug_tests__expression_debugging__non_function_pous_have_struct_as_param.snap
@@ -8,8 +8,8 @@ source_filename = "main"
 %myProg = type { i32 }
 %fb = type { i32 }
 
-@myProg_instance = global %myProg zeroinitializer, !dbg !0
-@__fb__init = unnamed_addr constant %fb zeroinitializer, !dbg !7
+@myProg_instance = global %myProg zeroinitializer, section "var-myProg_instance:v", !dbg !0
+@__fb__init = unnamed_addr constant %fb zeroinitializer, section "var-__fb__init:v", !dbg !7
 
 define void @myProg(%myProg* %0) section "fn-myProg:v[i32]" !dbg !16 {
 entry:

diff --git a/..._debug_tests__expression_debugging__var_and_vartemp_variables_in_pous_added_as_local.snap b/..._debug_tests__expression_debugging__var_and_vartemp_variables_in_pous_added_as_local.snap
@@ -8,8 +8,8 @@ source_filename = "main"
 %myPrg = type {}
 %myFb = type {}
 
-@myPrg_instance = global %myPrg zeroinitializer, !dbg !0
-@__myFb__init = unnamed_addr constant %myFb zeroinitializer, !dbg !9
+@myPrg_instance = global %myPrg zeroinitializer, section "var-myPrg_instance:v", !dbg !0
+@__myFb__init = unnamed_addr constant %myFb zeroinitializer, section "var-__myFb__init:v", !dbg !9
 
 define i32 @myFunc() section "fn-myFunc:i32" !dbg !20 {
 entry:

diff --git a/...__global_initializers__global_constant_without_initializer_gets_declared_initializer.snap b/...__global_initializers__global_constant_without_initializer_gets_declared_initializer.snap
@@ -7,7 +7,7 @@ source_filename = "main"
 
 %commands = type { i8, i8 }
 
-@__commands__init = unnamed_addr constant %commands { i8 1, i8 0 }
+@__commands__init = unnamed_addr constant %commands { i8 1, i8 0 }, section "var-__commands__init:v"
 
 define i32 @main() section "fn-main:i32" {
 entry:

diff --git a/...t__global_initializers__global_constant_without_initializer_gets_default_initializer.snap b/...t__global_initializers__global_constant_without_initializer_gets_default_initializer.snap
@@ -7,7 +7,7 @@ source_filename = "main"
 
 %commands = type { i8, i8 }
 
-@__commands__init = unnamed_addr constant %commands zeroinitializer
+@__commands__init = unnamed_addr constant %commands zeroinitializer, section "var-__commands__init:v"
 @__main.myStr1__init = unnamed_addr constant [81 x i8] zeroinitializer
 
 define i32 @main() section "fn-main:i32" {

diff --git a/...nitialization_test__global_initializers__initial_values_in_global_constant_variables.snap b/...nitialization_test__global_initializers__initial_values_in_global_constant_variables.snap
@@ -1,28 +1,25 @@
 ---
 source: src/codegen/tests/initialization_test/global_initializers.rs
-assertion_line: 38
 expression: result
-
 ---
 ; ModuleID = 'main'
 source_filename = "main"
 
-@c_INT = unnamed_addr constant i16 7
-@c_3c = unnamed_addr constant i16 21
-@c_BOOL = unnamed_addr constant i8 1
-@c_not = unnamed_addr constant i8 0
-@c_str = unnamed_addr constant [11 x i8] c"Hello\00\00\00\00\00\00"
-@c_wstr = unnamed_addr constant [11 x i16] [i16 87, i16 111, i16 114, i16 108, i16 100, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0]
-@c_real = unnamed_addr constant float 0x40091EB860000000
-@c_lreal = unnamed_addr constant double 3.141500e+00
-@x = unnamed_addr constant i16 7
-@y = unnamed_addr constant i16 14
-@z = unnamed_addr constant i16 32
-@b = unnamed_addr constant i8 1
-@nb = unnamed_addr constant i8 0
-@bb = unnamed_addr constant i8 0
-@str = unnamed_addr constant [11 x i8] c"Hello\00\00\00\00\00\00"
-@wstr = unnamed_addr constant [11 x i16] [i16 87, i16 111, i16 114, i16 108, i16 100, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0]
-@r = unnamed_addr constant float 0x3FF91EB860000000
-@tau = unnamed_addr constant double 6.283000e+00
-
+@c_INT = unnamed_addr constant i16 7, section "var-c_INT:i16"
+@c_3c = unnamed_addr constant i16 21, section "var-c_3c:i16"
+@c_BOOL = unnamed_addr constant i8 1, section "var-c_BOOL:u8"
+@c_not = unnamed_addr constant i8 0, section "var-c_not:u8"
+@c_str = unnamed_addr constant [11 x i8] c"Hello\00\00\00\00\00\00", section "var-c_str:s8u11"
+@c_wstr = unnamed_addr constant [11 x i16] [i16 87, i16 111, i16 114, i16 108, i16 100, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0], section "var-c_wstr:s16u11"
+@c_real = unnamed_addr constant float 0x40091EB860000000, section "var-c_real:f32"
+@c_lreal = unnamed_addr constant double 3.141500e+00, section "var-c_lreal:f64"
+@x = unnamed_addr constant i16 7, section "var-x:i16"
+@y = unnamed_addr constant i16 14, section "var-y:i16"
+@z = unnamed_addr constant i16 32, section "var-z:i16"
+@b = unnamed_addr constant i8 1, section "var-b:u8"
+@nb = unnamed_addr constant i8 0, section "var-nb:u8"
+@bb = unnamed_addr constant i8 0, section "var-bb:u8"
+@str = unnamed_addr constant [11 x i8] c"Hello\00\00\00\00\00\00", section "var-str:s8u11"
+@wstr = unnamed_addr constant [11 x i16] [i16 87, i16 111, i16 114, i16 108, i16 100, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0], section "var-wstr:s16u11"
+@r = unnamed_addr constant float 0x3FF91EB860000000, section "var-r:f32"
+@tau = unnamed_addr constant double 6.283000e+00, section "var-tau:f64"
diff --git a/..._tests__initialization_test__global_initializers__initial_values_in_global_variables.snap b/..._tests__initialization_test__global_initializers__initial_values_in_global_variables.snap
@@ -1,13 +1,10 @@
 ---
 source: src/codegen/tests/initialization_test/global_initializers.rs
-assertion_line: 53
 expression: result
-
 ---
 ; ModuleID = 'main'
 source_filename = "main"
 
-@x = global i16 7
-@y = global i8 1
-@z = global float 0x400921CAC0000000
-
+@x = global i16 7, section "var-x:i16"
+@y = global i8 1, section "var-y:u8"
+@z = global float 0x400921CAC0000000, section "var-z:f32"
diff --git a/...alization_test__global_initializers__initial_values_in_global_variables_out_of_order.snap b/...alization_test__global_initializers__initial_values_in_global_variables_out_of_order.snap
@@ -8,9 +8,9 @@ source_filename = "main"
 %MyFB = type { i16 }
 %prg = type { %MyFB }
 
-@x = global %MyFB { i16 77 }
-@__MyFB__init = unnamed_addr constant %MyFB { i16 77 }
-@prg_instance = global %prg { %MyFB { i16 77 } }
+@x = global %MyFB { i16 77 }, section "var-x:v"
+@__MyFB__init = unnamed_addr constant %MyFB { i16 77 }, section "var-__MyFB__init:v"
+@prg_instance = global %prg { %MyFB { i16 77 } }, section "var-prg_instance:v"
 
 define void @MyFB(%MyFB* %0) section "fn-MyFB:v" {
 entry:

diff --git a/...codegen__tests__initialization_test__global_initializers__uninitialized_global_array.snap b/...codegen__tests__initialization_test__global_initializers__uninitialized_global_array.snap
@@ -1,10 +1,8 @@
 ---
 source: src/codegen/tests/initialization_test/global_initializers.rs
 expression: result
-
 ---
 ; ModuleID = 'main'
 source_filename = "main"
 
-@a = global [2 x i8] zeroinitializer
-
+@a = global [2 x i8] zeroinitializer, section "var-a:v"
diff --git a/...__tests__initialization_test__pou_initializers__class_struct_initialized_in_function.snap b/...__tests__initialization_test__pou_initializers__class_struct_initialized_in_function.snap
@@ -8,8 +8,8 @@ source_filename = "main"
 %fb = type { i16 }
 %main = type { %fb }
 
-@__fb__init = unnamed_addr constant %fb { i16 9 }
-@main_instance = global %main { %fb { i16 9 } }
+@__fb__init = unnamed_addr constant %fb { i16 9 }, section "var-__fb__init:v"
+@main_instance = global %main { %fb { i16 9 } }, section "var-main_instance:v"
 
 define void @fb(%fb* %0) section "fn-fb:v" {
 entry:

diff --git a/...itializers__enum_variants_have_precedence_over_global_variables_in_inline_assignment.snap b/...itializers__enum_variants_have_precedence_over_global_variables_in_inline_assignment.snap
@@ -5,11 +5,11 @@ expression: function
 ; ModuleID = 'main'
 source_filename = "main"
 
-@x = global i32 10
-@x.1 = unnamed_addr constant i32 1
-@x.2 = unnamed_addr constant i32 3
-@y = unnamed_addr constant i32 2
-@y.3 = unnamed_addr constant i32 4
+@x = global i32 10, section "var-x:i32"
+@x.1 = unnamed_addr constant i32 1, section "var-x:v"
+@x.2 = unnamed_addr constant i32 3, section "var-x:v"
+@y = unnamed_addr constant i32 2, section "var-y:v"
+@y.3 = unnamed_addr constant i32 4, section "var-y:v"
 
 define i32 @foo() section "fn-foo:i32" {
 entry:

diff --git a/...initialization_test__pou_initializers__function_block_struct_initialized_in_function.snap b/...initialization_test__pou_initializers__function_block_struct_initialized_in_function.snap
@@ -8,8 +8,8 @@ source_filename = "main"
 %fb = type {}
 %main = type { %fb }
 
-@__fb__init = unnamed_addr constant %fb zeroinitializer
-@main_instance = global %main zeroinitializer
+@__fb__init = unnamed_addr constant %fb zeroinitializer, section "var-__fb__init:v"
+@main_instance = global %main zeroinitializer, section "var-main_instance:v"
 
 define void @fb(%fb* %0) section "fn-fb:v" {
 entry:

diff --git a/...__tests__initialization_test__pou_initializers__function_return_value_is_initialized.snap b/...__tests__initialization_test__pou_initializers__function_return_value_is_initialized.snap
@@ -7,7 +7,7 @@ source_filename = "main"
 
 %MyStruct = type { i32, i16 }
 
-@__MyStruct__init = unnamed_addr constant %MyStruct zeroinitializer
+@__MyStruct__init = unnamed_addr constant %MyStruct zeroinitializer, section "var-__MyStruct__init:v"
 
 define i16 @foo_int() section "fn-foo_int:i16" {
 entry:

diff --git a/...n_test__pou_initializers__function_return_value_is_initialized_with_type_initializer.snap b/...n_test__pou_initializers__function_return_value_is_initialized_with_type_initializer.snap
@@ -7,8 +7,8 @@ source_filename = "main"
 
 %main = type { [4 x i32], [4 x i32] }
 
-@main_instance = global %main zeroinitializer
-@__myArray__init = unnamed_addr constant [4 x i32] [i32 1, i32 2, i32 3, i32 4]
+@main_instance = global %main zeroinitializer, section "var-main_instance:v"
+@__myArray__init = unnamed_addr constant [4 x i32] [i32 1, i32 2, i32 3, i32 4], section "var-__myArray__init:v"
 
 define void @target([4 x i32]* %0) section "fn-target:v" {
 entry:

diff --git a/...ation_test__pou_initializers__function_return_value_with_initializers_is_initialized.snap b/...ation_test__pou_initializers__function_return_value_with_initializers_is_initialized.snap
@@ -7,9 +7,9 @@ source_filename = "main"
 
 %MyStrct = type { i32, i32, i32 }
 
-@__MyStr__init = unnamed_addr constant [11 x i8] c"init\00\00\00\00\00\00\00"
-@__MyArr__init = unnamed_addr constant [10 x float] [float 0.000000e+00, float 0x3FF19999A0000000, float 0x40019999A0000000, float 0x400A666660000000, float 0x40119999A0000000, float 5.500000e+00, float 0x401A666660000000, float 0x401ECCCCC0000000, float 0x40219999A0000000, float 0x4023CCCCC0000000]
-@__MyStrct__init = unnamed_addr constant %MyStrct { i32 1, i32 2, i32 3 }
+@__MyStr__init = unnamed_addr constant [11 x i8] c"init\00\00\00\00\00\00\00", section "var-__MyStr__init:s8u11"
+@__MyArr__init = unnamed_addr constant [10 x float] [float 0.000000e+00, float 0x3FF19999A0000000, float 0x40019999A0000000, float 0x400A666660000000, float 0x40119999A0000000, float 5.500000e+00, float 0x401A666660000000, float 0x401ECCCCC0000000, float 0x40219999A0000000, float 0x4023CCCCC0000000], section "var-__MyArr__init:v"
+@__MyStrct__init = unnamed_addr constant %MyStrct { i32 1, i32 2, i32 3 }, section "var-__MyStrct__init:v"
 
 define i16 @foo_int() section "fn-foo_int:v" {
 entry:

diff --git a/...on_test__pou_initializers__function_return_value_without_initializers_is_initialized.snap b/...on_test__pou_initializers__function_return_value_without_initializers_is_initialized.snap
@@ -7,7 +7,7 @@ source_filename = "main"
 
 %MyStrct = type { i32, i32, i32 }
 
-@__MyStrct__init = unnamed_addr constant %MyStrct zeroinitializer
+@__MyStrct__init = unnamed_addr constant %MyStrct zeroinitializer, section "var-__MyStrct__init:v"
 
 define i16 @foo_int() section "fn-foo_int:v" {
 entry:

diff --git a/...sts__initialization_test__pou_initializers__initial_constant_values_in_pou_variables.snap b/...sts__initialization_test__pou_initializers__initial_constant_values_in_pou_variables.snap
@@ -7,10 +7,10 @@ source_filename = "main"
 
 %prg = type { i16, i16 }
 
-@MAX_LEN = unnamed_addr constant i16 99
-@MIN_LEN = unnamed_addr constant i16 10
-@LEN = unnamed_addr constant i16 20
-@prg_instance = global %prg { i16 24, i16 89 }
+@MAX_LEN = unnamed_addr constant i16 99, section "var-MAX_LEN:i16"
+@MIN_LEN = unnamed_addr constant i16 10, section "var-MIN_LEN:i16"
+@LEN = unnamed_addr constant i16 20, section "var-LEN:i16"
+@prg_instance = global %prg { i16 24, i16 89 }, section "var-prg_instance:v"
 
 define void @prg(%prg* %0) section "fn-prg:v[i16][i16]" {
 entry:

diff --git a/...ts__initialization_test__pou_initializers__initial_values_in_array_of_array_variable.snap b/...ts__initialization_test__pou_initializers__initial_values_in_array_of_array_variable.snap
@@ -1,10 +1,8 @@
 ---
 source: src/codegen/tests/initialization_test/pou_initializers.rs
 expression: result
-
 ---
 ; ModuleID = 'main'
 source_filename = "main"
 
-@a = global [2 x [2 x i8]] [[2 x i8] c"\01\02", [2 x i8] c"\03\04"]
-
+@a = global [2 x [2 x i8]] [[2 x i8] c"\01\02", [2 x i8] c"\03\04"], section "var-a:v"
diff --git a/...__tests__initialization_test__pou_initializers__initial_values_in_function_block_pou.snap b/...__tests__initialization_test__pou_initializers__initial_values_in_function_block_pou.snap
@@ -8,8 +8,8 @@ source_filename = "main"
 %FB = type { i16, i16, i8, i8, float, float }
 %main = type { %FB }
 
-@__FB__init = unnamed_addr constant %FB { i16 7, i16 0, i8 1, i8 0, float 0x400921CAC0000000, float 0.000000e+00 }
-@main_instance = global %main { %FB { i16 7, i16 0, i8 1, i8 0, float 0x400921CAC0000000, float 0.000000e+00 } }
+@__FB__init = unnamed_addr constant %FB { i16 7, i16 0, i8 1, i8 0, float 0x400921CAC0000000, float 0.000000e+00 }, section "var-__FB__init:v"
+@main_instance = global %main { %FB { i16 7, i16 0, i8 1, i8 0, float 0x400921CAC0000000, float 0.000000e+00 } }, section "var-main_instance:v"
 
 define void @FB(%FB* %0) section "fn-FB:v" {
 entry:

diff --git a/...codegen__tests__initialization_test__pou_initializers__initial_values_in_program_pou.snap b/...codegen__tests__initialization_test__pou_initializers__initial_values_in_program_pou.snap
@@ -7,7 +7,7 @@ source_filename = "main"
 
 %Main = type { i16, i16, i8, i8, float, float }
 
-@Main_instance = global %Main { i16 7, i16 0, i8 1, i8 0, float 0x400921CAC0000000, float 0.000000e+00 }
+@Main_instance = global %Main { i16 7, i16 0, i8 1, i8 0, float 0x400921CAC0000000, float 0.000000e+00 }, section "var-Main_instance:v"
 
 define void @Main(%Main* %0) section "fn-Main:v" {
 entry:

diff --git a/...en__tests__initialization_test__pou_initializers__initialized_array_type_in_function.snap b/...en__tests__initialization_test__pou_initializers__initialized_array_type_in_function.snap
@@ -5,7 +5,7 @@ expression: result
 ; ModuleID = 'main'
 source_filename = "main"
 
-@__arr__init = unnamed_addr constant [4 x i32] [i32 1, i32 2, i32 3, i32 4]
+@__arr__init = unnamed_addr constant [4 x i32] [i32 1, i32 2, i32 3, i32 4], section "var-__arr__init:v"
 
 define i16 @func() section "fn-func:i16" {
 entry:

diff --git a/..._initialization_test__pou_initializers__memcpy_for_struct_initialization_in_function.snap b/..._initialization_test__pou_initializers__memcpy_for_struct_initialization_in_function.snap
@@ -7,7 +7,7 @@ source_filename = "main"
 
 %__func_a = type { i16 }
 
-@____func_a__init = unnamed_addr constant %__func_a zeroinitializer
+@____func_a__init = unnamed_addr constant %__func_a zeroinitializer, section "var-____func_a__init:v"
 
 define i16 @func() section "fn-func:i16" {
 entry:

diff --git a/...nitialization_test__pou_initializers__no_memcpy_for_struct_initialization_in_program.snap b/...nitialization_test__pou_initializers__no_memcpy_for_struct_initialization_in_program.snap
@@ -8,8 +8,8 @@ source_filename = "main"
 %prog = type { %__prog_a }
 %__prog_a = type { i16 }
 
-@prog_instance = global %prog zeroinitializer
-@____prog_a__init = unnamed_addr constant %__prog_a zeroinitializer
+@prog_instance = global %prog zeroinitializer, section "var-prog_instance:v"
+@____prog_a__init = unnamed_addr constant %__prog_a zeroinitializer, section "var-____prog_a__init:v"
 
 define void @prog(%prog* %0) section "fn-prog:v" {
 entry:

diff --git a/...ou_initializers__two_identical_enums_in_different_functions_are_referenced_correctly.snap b/...ou_initializers__two_identical_enums_in_different_functions_are_referenced_correctly.snap
@@ -5,10 +5,10 @@ expression: function
 ; ModuleID = 'main'
 source_filename = "main"
 
-@x = unnamed_addr constant i32 1
-@x.1 = unnamed_addr constant i32 3
-@y = unnamed_addr constant i32 2
-@y.2 = unnamed_addr constant i32 4
+@x = unnamed_addr constant i32 1, section "var-x:v"
+@x.1 = unnamed_addr constant i32 3, section "var-x:v"
+@y = unnamed_addr constant i32 2, section "var-y:v"
+@y.2 = unnamed_addr constant i32 4, section "var-y:v"
 
 define i32 @foo() section "fn-foo:i32" {
 entry: