C++: Update expected test results

This commit is contained in:
Jeroen Ketema
2026-03-24 10:57:10 +01:00
parent 22eda4ef0a
commit f3fc80a080
2 changed files with 412 additions and 252 deletions

View File

@@ -12361,22 +12361,27 @@ ir.cpp:
# 1533| void StructuredBindingDataMemberMemberStruct::StructuredBindingDataMemberMemberStruct()
# 1533| Block 0
# 1533| v1533_1(void) = EnterFunction :
# 1533| m1533_2(unknown) = AliasedDefinition :
# 1533| m1533_3(unknown) = InitializeNonLocal :
# 1533| m1533_4(unknown) = Chi : total:m1533_2, partial:m1533_3
# 1533| r1533_5(glval<unknown>) = VariableAddress[#this] :
# 1533| m1533_6(glval<StructuredBindingDataMemberMemberStruct>) = InitializeParameter[#this] : &:r1533_5
# 1533| r1533_7(glval<StructuredBindingDataMemberMemberStruct>) = Load[#this] : &:r1533_5, m1533_6
# 1533| m1533_8(StructuredBindingDataMemberMemberStruct) = InitializeIndirection[#this] : &:r1533_7
# 1533| m1533_9(unknown) = Chi : total:m1533_4, partial:m1533_8
# 1533| r1533_10(glval<unknown>) = FunctionAddress[x] :
# 1533| v1533_11(void) = Call[x] : func:r1533_10, this:r1533_7
# 1533| v1533_12(void) = NoOp :
# 1533| v1533_13(void) = ReturnIndirection[#this] : &:r1533_7, m1533_8
# 1533| v1533_14(void) = ReturnVoid :
# 1533| v1533_15(void) = AliasedUse : ~m1533_9
# 1533| v1533_16(void) = ExitFunction :
# 1533| v1533_1(void) = EnterFunction :
# 1533| m1533_2(unknown) = AliasedDefinition :
# 1533| m1533_3(unknown) = InitializeNonLocal :
# 1533| m1533_4(unknown) = Chi : total:m1533_2, partial:m1533_3
# 1533| r1533_5(glval<unknown>) = VariableAddress[#this] :
# 1533| m1533_6(glval<StructuredBindingDataMemberMemberStruct>) = InitializeParameter[#this] : &:r1533_5
# 1533| r1533_7(glval<StructuredBindingDataMemberMemberStruct>) = Load[#this] : &:r1533_5, m1533_6
# 1533| m1533_8(StructuredBindingDataMemberMemberStruct) = InitializeIndirection[#this] : &:r1533_7
# 1533| m1533_9(unknown) = Chi : total:m1533_4, partial:m1533_8
# 1533| r1533_10(glval<unknown>) = FunctionAddress[x] :
# 1533| v1533_11(void) = Call[x] : func:r1533_10, this:r1533_7
# 1533| m1533_12(unknown) = ^CallSideEffect : ~m1533_9
# 1533| m1533_13(unknown) = Chi : total:m1533_9, partial:m1533_12
# 1533| v1533_14(void) = ^IndirectReadSideEffect[-1] : &:r1533_7, ~m1533_13
# 1533| m1533_15(StructuredBindingDataMemberMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1533_7
# 1533| m1533_16(unknown) = Chi : total:m1533_13, partial:m1533_15
# 1533| v1533_17(void) = NoOp :
# 1533| v1533_18(void) = ReturnIndirection[#this] : &:r1533_7, ~m1533_16
# 1533| v1533_19(void) = ReturnVoid :
# 1533| v1533_20(void) = AliasedUse : ~m1533_16
# 1533| v1533_21(void) = ExitFunction :
# 1534| int StructuredBindingDataMemberMemberStruct::x
# 1534| Block 0
@@ -12409,28 +12414,58 @@ ir.cpp:
# 1537| m1537_9(unknown) = Chi : total:m1537_4, partial:m1537_8
# 1537| r1537_10(glval<unknown>) = FunctionAddress[i] :
# 1537| v1537_11(void) = Call[i] : func:r1537_10, this:r1537_7
# 1537| r1537_12(glval<unknown>) = FunctionAddress[d] :
# 1537| v1537_13(void) = Call[d] : func:r1537_12, this:r1537_7
# 1537| r1537_14(glval<unknown>) = FunctionAddress[r] :
# 1537| v1537_15(void) = Call[r] : func:r1537_14, this:r1537_7
# 1537| r1537_16(glval<unknown>) = FunctionAddress[p] :
# 1537| v1537_17(void) = Call[p] : func:r1537_16, this:r1537_7
# 1537| r1537_18(glval<unknown>) = FunctionAddress[xs] :
# 1537| v1537_19(void) = Call[xs] : func:r1537_18, this:r1537_7
# 1537| r1537_20(glval<unknown>) = FunctionAddress[r_alt] :
# 1537| v1537_21(void) = Call[r_alt] : func:r1537_20, this:r1537_7
# 1537| r1537_22(glval<StructuredBindingDataMemberMemberStruct>) = FieldAddress[m] : r1537_7
# 1537| r1537_23(glval<unknown>) = FunctionAddress[StructuredBindingDataMemberMemberStruct] :
# 1537| v1537_24(void) = Call[StructuredBindingDataMemberMemberStruct] : func:r1537_23, this:r1537_22
# 1537| m1537_25(unknown) = ^CallSideEffect : ~m1537_9
# 1537| m1537_26(unknown) = Chi : total:m1537_9, partial:m1537_25
# 1537| m1537_27(StructuredBindingDataMemberMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_22
# 1537| m1537_28(unknown) = Chi : total:m1537_26, partial:m1537_27
# 1537| v1537_29(void) = NoOp :
# 1537| v1537_30(void) = ReturnIndirection[#this] : &:r1537_7, ~m1537_28
# 1537| v1537_31(void) = ReturnVoid :
# 1537| v1537_32(void) = AliasedUse : ~m1537_28
# 1537| v1537_33(void) = ExitFunction :
# 1537| m1537_12(unknown) = ^CallSideEffect : ~m1537_9
# 1537| m1537_13(unknown) = Chi : total:m1537_9, partial:m1537_12
# 1537| v1537_14(void) = ^IndirectReadSideEffect[-1] : &:r1537_7, ~m1537_13
# 1537| m1537_15(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_7
# 1537| m1537_16(unknown) = Chi : total:m1537_13, partial:m1537_15
# 1537| r1537_17(glval<unknown>) = FunctionAddress[d] :
# 1537| v1537_18(void) = Call[d] : func:r1537_17, this:r1537_7
# 1537| m1537_19(unknown) = ^CallSideEffect : ~m1537_16
# 1537| m1537_20(unknown) = Chi : total:m1537_16, partial:m1537_19
# 1537| v1537_21(void) = ^IndirectReadSideEffect[-1] : &:r1537_7, ~m1537_20
# 1537| m1537_22(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_7
# 1537| m1537_23(unknown) = Chi : total:m1537_20, partial:m1537_22
# 1537| r1537_24(glval<unknown>) = FunctionAddress[r] :
# 1537| v1537_25(void) = Call[r] : func:r1537_24, this:r1537_7
# 1537| m1537_26(unknown) = ^CallSideEffect : ~m1537_23
# 1537| m1537_27(unknown) = Chi : total:m1537_23, partial:m1537_26
# 1537| v1537_28(void) = ^IndirectReadSideEffect[-1] : &:r1537_7, ~m1537_27
# 1537| m1537_29(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_7
# 1537| m1537_30(unknown) = Chi : total:m1537_27, partial:m1537_29
# 1537| r1537_31(glval<unknown>) = FunctionAddress[p] :
# 1537| v1537_32(void) = Call[p] : func:r1537_31, this:r1537_7
# 1537| m1537_33(unknown) = ^CallSideEffect : ~m1537_30
# 1537| m1537_34(unknown) = Chi : total:m1537_30, partial:m1537_33
# 1537| v1537_35(void) = ^IndirectReadSideEffect[-1] : &:r1537_7, ~m1537_34
# 1537| m1537_36(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_7
# 1537| m1537_37(unknown) = Chi : total:m1537_34, partial:m1537_36
# 1537| r1537_38(glval<unknown>) = FunctionAddress[xs] :
# 1537| v1537_39(void) = Call[xs] : func:r1537_38, this:r1537_7
# 1537| m1537_40(unknown) = ^CallSideEffect : ~m1537_37
# 1537| m1537_41(unknown) = Chi : total:m1537_37, partial:m1537_40
# 1537| v1537_42(void) = ^IndirectReadSideEffect[-1] : &:r1537_7, ~m1537_41
# 1537| m1537_43(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_7
# 1537| m1537_44(unknown) = Chi : total:m1537_41, partial:m1537_43
# 1537| r1537_45(glval<unknown>) = FunctionAddress[r_alt] :
# 1537| v1537_46(void) = Call[r_alt] : func:r1537_45, this:r1537_7
# 1537| m1537_47(unknown) = ^CallSideEffect : ~m1537_44
# 1537| m1537_48(unknown) = Chi : total:m1537_44, partial:m1537_47
# 1537| v1537_49(void) = ^IndirectReadSideEffect[-1] : &:r1537_7, ~m1537_48
# 1537| m1537_50(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_7
# 1537| m1537_51(unknown) = Chi : total:m1537_48, partial:m1537_50
# 1537| r1537_52(glval<StructuredBindingDataMemberMemberStruct>) = FieldAddress[m] : r1537_7
# 1537| r1537_53(glval<unknown>) = FunctionAddress[StructuredBindingDataMemberMemberStruct] :
# 1537| v1537_54(void) = Call[StructuredBindingDataMemberMemberStruct] : func:r1537_53, this:r1537_52
# 1537| m1537_55(unknown) = ^CallSideEffect : ~m1537_51
# 1537| m1537_56(unknown) = Chi : total:m1537_51, partial:m1537_55
# 1537| m1537_57(StructuredBindingDataMemberMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_52
# 1537| m1537_58(unknown) = Chi : total:m1537_56, partial:m1537_57
# 1537| v1537_59(void) = NoOp :
# 1537| v1537_60(void) = ReturnIndirection[#this] : &:r1537_7, ~m1537_58
# 1537| v1537_61(void) = ReturnVoid :
# 1537| v1537_62(void) = AliasedUse : ~m1537_58
# 1537| v1537_63(void) = ExitFunction :
# 1537| void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct(StructuredBindingDataMemberStruct const&)
# 1537| Block 0
@@ -12818,26 +12853,41 @@ ir.cpp:
# 1590| void StructuredBindingTupleRefGet::StructuredBindingTupleRefGet()
# 1590| Block 0
# 1590| v1590_1(void) = EnterFunction :
# 1590| m1590_2(unknown) = AliasedDefinition :
# 1590| m1590_3(unknown) = InitializeNonLocal :
# 1590| m1590_4(unknown) = Chi : total:m1590_2, partial:m1590_3
# 1590| r1590_5(glval<unknown>) = VariableAddress[#this] :
# 1590| m1590_6(glval<StructuredBindingTupleRefGet>) = InitializeParameter[#this] : &:r1590_5
# 1590| r1590_7(glval<StructuredBindingTupleRefGet>) = Load[#this] : &:r1590_5, m1590_6
# 1590| m1590_8(StructuredBindingTupleRefGet) = InitializeIndirection[#this] : &:r1590_7
# 1590| m1590_9(unknown) = Chi : total:m1590_4, partial:m1590_8
# 1590| r1590_10(glval<unknown>) = FunctionAddress[i] :
# 1590| v1590_11(void) = Call[i] : func:r1590_10, this:r1590_7
# 1590| r1590_12(glval<unknown>) = FunctionAddress[d] :
# 1590| v1590_13(void) = Call[d] : func:r1590_12, this:r1590_7
# 1590| r1590_14(glval<unknown>) = FunctionAddress[r] :
# 1590| v1590_15(void) = Call[r] : func:r1590_14, this:r1590_7
# 1590| v1590_16(void) = NoOp :
# 1590| v1590_17(void) = ReturnIndirection[#this] : &:r1590_7, m1590_8
# 1590| v1590_18(void) = ReturnVoid :
# 1590| v1590_19(void) = AliasedUse : ~m1590_9
# 1590| v1590_20(void) = ExitFunction :
# 1590| v1590_1(void) = EnterFunction :
# 1590| m1590_2(unknown) = AliasedDefinition :
# 1590| m1590_3(unknown) = InitializeNonLocal :
# 1590| m1590_4(unknown) = Chi : total:m1590_2, partial:m1590_3
# 1590| r1590_5(glval<unknown>) = VariableAddress[#this] :
# 1590| m1590_6(glval<StructuredBindingTupleRefGet>) = InitializeParameter[#this] : &:r1590_5
# 1590| r1590_7(glval<StructuredBindingTupleRefGet>) = Load[#this] : &:r1590_5, m1590_6
# 1590| m1590_8(StructuredBindingTupleRefGet) = InitializeIndirection[#this] : &:r1590_7
# 1590| m1590_9(unknown) = Chi : total:m1590_4, partial:m1590_8
# 1590| r1590_10(glval<unknown>) = FunctionAddress[i] :
# 1590| v1590_11(void) = Call[i] : func:r1590_10, this:r1590_7
# 1590| m1590_12(unknown) = ^CallSideEffect : ~m1590_9
# 1590| m1590_13(unknown) = Chi : total:m1590_9, partial:m1590_12
# 1590| v1590_14(void) = ^IndirectReadSideEffect[-1] : &:r1590_7, ~m1590_13
# 1590| m1590_15(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1590_7
# 1590| m1590_16(unknown) = Chi : total:m1590_13, partial:m1590_15
# 1590| r1590_17(glval<unknown>) = FunctionAddress[d] :
# 1590| v1590_18(void) = Call[d] : func:r1590_17, this:r1590_7
# 1590| m1590_19(unknown) = ^CallSideEffect : ~m1590_16
# 1590| m1590_20(unknown) = Chi : total:m1590_16, partial:m1590_19
# 1590| v1590_21(void) = ^IndirectReadSideEffect[-1] : &:r1590_7, ~m1590_20
# 1590| m1590_22(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1590_7
# 1590| m1590_23(unknown) = Chi : total:m1590_20, partial:m1590_22
# 1590| r1590_24(glval<unknown>) = FunctionAddress[r] :
# 1590| v1590_25(void) = Call[r] : func:r1590_24, this:r1590_7
# 1590| m1590_26(unknown) = ^CallSideEffect : ~m1590_23
# 1590| m1590_27(unknown) = Chi : total:m1590_23, partial:m1590_26
# 1590| v1590_28(void) = ^IndirectReadSideEffect[-1] : &:r1590_7, ~m1590_27
# 1590| m1590_29(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1590_7
# 1590| m1590_30(unknown) = Chi : total:m1590_27, partial:m1590_29
# 1590| v1590_31(void) = NoOp :
# 1590| v1590_32(void) = ReturnIndirection[#this] : &:r1590_7, ~m1590_30
# 1590| v1590_33(void) = ReturnVoid :
# 1590| v1590_34(void) = AliasedUse : ~m1590_30
# 1590| v1590_35(void) = ExitFunction :
# 1590| void StructuredBindingTupleRefGet::StructuredBindingTupleRefGet(StructuredBindingTupleRefGet const&)
# 1590| Block 0
@@ -13179,24 +13229,34 @@ ir.cpp:
# 1657| void StructuredBindingTupleNoRefGet::StructuredBindingTupleNoRefGet()
# 1657| Block 0
# 1657| v1657_1(void) = EnterFunction :
# 1657| m1657_2(unknown) = AliasedDefinition :
# 1657| m1657_3(unknown) = InitializeNonLocal :
# 1657| m1657_4(unknown) = Chi : total:m1657_2, partial:m1657_3
# 1657| r1657_5(glval<unknown>) = VariableAddress[#this] :
# 1657| m1657_6(glval<StructuredBindingTupleNoRefGet>) = InitializeParameter[#this] : &:r1657_5
# 1657| r1657_7(glval<StructuredBindingTupleNoRefGet>) = Load[#this] : &:r1657_5, m1657_6
# 1657| m1657_8(StructuredBindingTupleNoRefGet) = InitializeIndirection[#this] : &:r1657_7
# 1657| m1657_9(unknown) = Chi : total:m1657_4, partial:m1657_8
# 1657| r1657_10(glval<unknown>) = FunctionAddress[i] :
# 1657| v1657_11(void) = Call[i] : func:r1657_10, this:r1657_7
# 1657| r1657_12(glval<unknown>) = FunctionAddress[r] :
# 1657| v1657_13(void) = Call[r] : func:r1657_12, this:r1657_7
# 1657| v1657_14(void) = NoOp :
# 1657| v1657_15(void) = ReturnIndirection[#this] : &:r1657_7, m1657_8
# 1657| v1657_16(void) = ReturnVoid :
# 1657| v1657_17(void) = AliasedUse : ~m1657_9
# 1657| v1657_18(void) = ExitFunction :
# 1657| v1657_1(void) = EnterFunction :
# 1657| m1657_2(unknown) = AliasedDefinition :
# 1657| m1657_3(unknown) = InitializeNonLocal :
# 1657| m1657_4(unknown) = Chi : total:m1657_2, partial:m1657_3
# 1657| r1657_5(glval<unknown>) = VariableAddress[#this] :
# 1657| m1657_6(glval<StructuredBindingTupleNoRefGet>) = InitializeParameter[#this] : &:r1657_5
# 1657| r1657_7(glval<StructuredBindingTupleNoRefGet>) = Load[#this] : &:r1657_5, m1657_6
# 1657| m1657_8(StructuredBindingTupleNoRefGet) = InitializeIndirection[#this] : &:r1657_7
# 1657| m1657_9(unknown) = Chi : total:m1657_4, partial:m1657_8
# 1657| r1657_10(glval<unknown>) = FunctionAddress[i] :
# 1657| v1657_11(void) = Call[i] : func:r1657_10, this:r1657_7
# 1657| m1657_12(unknown) = ^CallSideEffect : ~m1657_9
# 1657| m1657_13(unknown) = Chi : total:m1657_9, partial:m1657_12
# 1657| v1657_14(void) = ^IndirectReadSideEffect[-1] : &:r1657_7, ~m1657_13
# 1657| m1657_15(StructuredBindingTupleNoRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1657_7
# 1657| m1657_16(unknown) = Chi : total:m1657_13, partial:m1657_15
# 1657| r1657_17(glval<unknown>) = FunctionAddress[r] :
# 1657| v1657_18(void) = Call[r] : func:r1657_17, this:r1657_7
# 1657| m1657_19(unknown) = ^CallSideEffect : ~m1657_16
# 1657| m1657_20(unknown) = Chi : total:m1657_16, partial:m1657_19
# 1657| v1657_21(void) = ^IndirectReadSideEffect[-1] : &:r1657_7, ~m1657_20
# 1657| m1657_22(StructuredBindingTupleNoRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1657_7
# 1657| m1657_23(unknown) = Chi : total:m1657_20, partial:m1657_22
# 1657| v1657_24(void) = NoOp :
# 1657| v1657_25(void) = ReturnIndirection[#this] : &:r1657_7, ~m1657_23
# 1657| v1657_26(void) = ReturnVoid :
# 1657| v1657_27(void) = AliasedUse : ~m1657_23
# 1657| v1657_28(void) = ExitFunction :
# 1658| int StructuredBindingTupleNoRefGet::i
# 1658| Block 0
@@ -21474,67 +21534,107 @@ ir.cpp:
# 2897| m2897_11(int) = InitializeParameter[j] : &:r2897_10
# 2897| r2897_12(glval<unknown>) = FunctionAddress[i] :
# 2897| v2897_13(void) = Call[i] : func:r2897_12, this:r2897_7
# 2897| r2897_14(glval<int>) = FieldAddress[j] : r2897_7
# 2897| r2897_15(glval<int>) = VariableAddress[j] :
# 2897| r2897_16(int) = Load[j] : &:r2897_15, m2897_11
# 2897| m2897_17(int) = Store[?] : &:r2897_14, r2897_16
# 2897| m2897_18(unknown) = Chi : total:m2897_9, partial:m2897_17
# 2897| r2897_19(glval<unknown>) = FunctionAddress[k] :
# 2897| v2897_20(void) = Call[k] : func:r2897_19, this:r2897_7
# 2897| r2897_21(glval<unknown>) = FunctionAddress[l] :
# 2897| v2897_22(void) = Call[l] : func:r2897_21, this:r2897_7
# 2897| r2897_23(glval<unknown>) = FunctionAddress[m] :
# 2897| v2897_24(void) = Call[m] : func:r2897_23, this:r2897_7
# 2897| r2897_25(glval<int>) = FieldAddress[n] : r2897_7
# 2897| r2897_26(glval<unknown>) = VariableAddress[#this] :
# 2897| r2897_27(StructInit *) = Load[#this] : &:r2897_26, m2897_6
# 2897| r2897_28(glval<unknown>) = FunctionAddress[get_val] :
# 2897| r2897_29(int) = Call[get_val] : func:r2897_28, this:r2897_27
# 2897| m2897_30(unknown) = ^CallSideEffect : ~m2897_18
# 2897| m2897_31(unknown) = Chi : total:m2897_18, partial:m2897_30
# 2897| v2897_32(void) = ^IndirectReadSideEffect[-1] : &:r2897_27, ~m2897_31
# 2897| m2897_33(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_27
# 2897| m2897_34(unknown) = Chi : total:m2897_31, partial:m2897_33
# 2897| m2897_35(int) = Store[?] : &:r2897_25, r2897_29
# 2897| m2897_36(unknown) = Chi : total:m2897_34, partial:m2897_35
# 2897| v2897_37(void) = NoOp :
# 2897| v2897_38(void) = ReturnIndirection[#this] : &:r2897_7, ~m2897_36
# 2897| v2897_39(void) = ReturnVoid :
# 2897| v2897_40(void) = AliasedUse : ~m2897_36
# 2897| v2897_41(void) = ExitFunction :
# 2897| m2897_14(unknown) = ^CallSideEffect : ~m2897_9
# 2897| m2897_15(unknown) = Chi : total:m2897_9, partial:m2897_14
# 2897| v2897_16(void) = ^IndirectReadSideEffect[-1] : &:r2897_7, ~m2897_15
# 2897| m2897_17(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_7
# 2897| m2897_18(unknown) = Chi : total:m2897_15, partial:m2897_17
# 2897| r2897_19(glval<int>) = FieldAddress[j] : r2897_7
# 2897| r2897_20(glval<int>) = VariableAddress[j] :
# 2897| r2897_21(int) = Load[j] : &:r2897_20, m2897_11
# 2897| m2897_22(int) = Store[?] : &:r2897_19, r2897_21
# 2897| m2897_23(unknown) = Chi : total:m2897_18, partial:m2897_22
# 2897| r2897_24(glval<unknown>) = FunctionAddress[k] :
# 2897| v2897_25(void) = Call[k] : func:r2897_24, this:r2897_7
# 2897| m2897_26(unknown) = ^CallSideEffect : ~m2897_23
# 2897| m2897_27(unknown) = Chi : total:m2897_23, partial:m2897_26
# 2897| v2897_28(void) = ^IndirectReadSideEffect[-1] : &:r2897_7, ~m2897_27
# 2897| m2897_29(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_7
# 2897| m2897_30(unknown) = Chi : total:m2897_27, partial:m2897_29
# 2897| r2897_31(glval<unknown>) = FunctionAddress[l] :
# 2897| v2897_32(void) = Call[l] : func:r2897_31, this:r2897_7
# 2897| m2897_33(unknown) = ^CallSideEffect : ~m2897_30
# 2897| m2897_34(unknown) = Chi : total:m2897_30, partial:m2897_33
# 2897| v2897_35(void) = ^IndirectReadSideEffect[-1] : &:r2897_7, ~m2897_34
# 2897| m2897_36(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_7
# 2897| m2897_37(unknown) = Chi : total:m2897_34, partial:m2897_36
# 2897| r2897_38(glval<unknown>) = FunctionAddress[m] :
# 2897| v2897_39(void) = Call[m] : func:r2897_38, this:r2897_7
# 2897| m2897_40(unknown) = ^CallSideEffect : ~m2897_37
# 2897| m2897_41(unknown) = Chi : total:m2897_37, partial:m2897_40
# 2897| v2897_42(void) = ^IndirectReadSideEffect[-1] : &:r2897_7, ~m2897_41
# 2897| m2897_43(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_7
# 2897| m2897_44(unknown) = Chi : total:m2897_41, partial:m2897_43
# 2897| r2897_45(glval<int>) = FieldAddress[n] : r2897_7
# 2897| r2897_46(glval<unknown>) = VariableAddress[#this] :
# 2897| r2897_47(StructInit *) = Load[#this] : &:r2897_46, m2897_6
# 2897| r2897_48(glval<unknown>) = FunctionAddress[get_val] :
# 2897| r2897_49(int) = Call[get_val] : func:r2897_48, this:r2897_47
# 2897| m2897_50(unknown) = ^CallSideEffect : ~m2897_44
# 2897| m2897_51(unknown) = Chi : total:m2897_44, partial:m2897_50
# 2897| v2897_52(void) = ^IndirectReadSideEffect[-1] : &:r2897_47, ~m2897_51
# 2897| m2897_53(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_47
# 2897| m2897_54(unknown) = Chi : total:m2897_51, partial:m2897_53
# 2897| m2897_55(int) = Store[?] : &:r2897_45, r2897_49
# 2897| m2897_56(unknown) = Chi : total:m2897_54, partial:m2897_55
# 2897| v2897_57(void) = NoOp :
# 2897| v2897_58(void) = ReturnIndirection[#this] : &:r2897_7, ~m2897_56
# 2897| v2897_59(void) = ReturnVoid :
# 2897| v2897_60(void) = AliasedUse : ~m2897_56
# 2897| v2897_61(void) = ExitFunction :
# 2899| void StructInit::StructInit()
# 2899| Block 0
# 2899| v2899_1(void) = EnterFunction :
# 2899| m2899_2(unknown) = AliasedDefinition :
# 2899| m2899_3(unknown) = InitializeNonLocal :
# 2899| m2899_4(unknown) = Chi : total:m2899_2, partial:m2899_3
# 2899| r2899_5(glval<unknown>) = VariableAddress[#this] :
# 2899| m2899_6(glval<StructInit>) = InitializeParameter[#this] : &:r2899_5
# 2899| r2899_7(glval<StructInit>) = Load[#this] : &:r2899_5, m2899_6
# 2899| m2899_8(StructInit) = InitializeIndirection[#this] : &:r2899_7
# 2899| m2899_9(unknown) = Chi : total:m2899_4, partial:m2899_8
# 2899| r2899_10(glval<int>) = FieldAddress[i] : r2899_7
# 2899| r2899_11(int) = Constant[41] :
# 2899| m2899_12(int) = Store[?] : &:r2899_10, r2899_11
# 2899| m2899_13(unknown) = Chi : total:m2899_9, partial:m2899_12
# 2899| r2899_14(glval<unknown>) = FunctionAddress[j] :
# 2899| v2899_15(void) = Call[j] : func:r2899_14, this:r2899_7
# 2899| r2899_16(glval<int>) = FieldAddress[k] : r2899_7
# 2899| r2899_17(int) = Constant[41] :
# 2899| m2899_18(int) = Store[?] : &:r2899_16, r2899_17
# 2899| m2899_19(unknown) = Chi : total:m2899_13, partial:m2899_18
# 2899| r2899_20(glval<unknown>) = FunctionAddress[l] :
# 2899| v2899_21(void) = Call[l] : func:r2899_20, this:r2899_7
# 2899| r2899_22(glval<unknown>) = FunctionAddress[m] :
# 2899| v2899_23(void) = Call[m] : func:r2899_22, this:r2899_7
# 2899| r2899_24(glval<unknown>) = FunctionAddress[n] :
# 2899| v2899_25(void) = Call[n] : func:r2899_24, this:r2899_7
# 2899| v2899_26(void) = NoOp :
# 2899| v2899_27(void) = ReturnIndirection[#this] : &:r2899_7, ~m2899_19
# 2899| v2899_28(void) = ReturnVoid :
# 2899| v2899_29(void) = AliasedUse : ~m2899_19
# 2899| v2899_30(void) = ExitFunction :
# 2899| v2899_1(void) = EnterFunction :
# 2899| m2899_2(unknown) = AliasedDefinition :
# 2899| m2899_3(unknown) = InitializeNonLocal :
# 2899| m2899_4(unknown) = Chi : total:m2899_2, partial:m2899_3
# 2899| r2899_5(glval<unknown>) = VariableAddress[#this] :
# 2899| m2899_6(glval<StructInit>) = InitializeParameter[#this] : &:r2899_5
# 2899| r2899_7(glval<StructInit>) = Load[#this] : &:r2899_5, m2899_6
# 2899| m2899_8(StructInit) = InitializeIndirection[#this] : &:r2899_7
# 2899| m2899_9(unknown) = Chi : total:m2899_4, partial:m2899_8
# 2899| r2899_10(glval<int>) = FieldAddress[i] : r2899_7
# 2899| r2899_11(int) = Constant[41] :
# 2899| m2899_12(int) = Store[?] : &:r2899_10, r2899_11
# 2899| m2899_13(unknown) = Chi : total:m2899_9, partial:m2899_12
# 2899| r2899_14(glval<unknown>) = FunctionAddress[j] :
# 2899| v2899_15(void) = Call[j] : func:r2899_14, this:r2899_7
# 2899| m2899_16(unknown) = ^CallSideEffect : ~m2899_13
# 2899| m2899_17(unknown) = Chi : total:m2899_13, partial:m2899_16
# 2899| v2899_18(void) = ^IndirectReadSideEffect[-1] : &:r2899_7, ~m2899_17
# 2899| m2899_19(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2899_7
# 2899| m2899_20(unknown) = Chi : total:m2899_17, partial:m2899_19
# 2899| r2899_21(glval<int>) = FieldAddress[k] : r2899_7
# 2899| r2899_22(int) = Constant[41] :
# 2899| m2899_23(int) = Store[?] : &:r2899_21, r2899_22
# 2899| m2899_24(unknown) = Chi : total:m2899_20, partial:m2899_23
# 2899| r2899_25(glval<unknown>) = FunctionAddress[l] :
# 2899| v2899_26(void) = Call[l] : func:r2899_25, this:r2899_7
# 2899| m2899_27(unknown) = ^CallSideEffect : ~m2899_24
# 2899| m2899_28(unknown) = Chi : total:m2899_24, partial:m2899_27
# 2899| v2899_29(void) = ^IndirectReadSideEffect[-1] : &:r2899_7, ~m2899_28
# 2899| m2899_30(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2899_7
# 2899| m2899_31(unknown) = Chi : total:m2899_28, partial:m2899_30
# 2899| r2899_32(glval<unknown>) = FunctionAddress[m] :
# 2899| v2899_33(void) = Call[m] : func:r2899_32, this:r2899_7
# 2899| m2899_34(unknown) = ^CallSideEffect : ~m2899_31
# 2899| m2899_35(unknown) = Chi : total:m2899_31, partial:m2899_34
# 2899| v2899_36(void) = ^IndirectReadSideEffect[-1] : &:r2899_7, ~m2899_35
# 2899| m2899_37(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2899_7
# 2899| m2899_38(unknown) = Chi : total:m2899_35, partial:m2899_37
# 2899| r2899_39(glval<unknown>) = FunctionAddress[n] :
# 2899| v2899_40(void) = Call[n] : func:r2899_39, this:r2899_7
# 2899| m2899_41(unknown) = ^CallSideEffect : ~m2899_38
# 2899| m2899_42(unknown) = Chi : total:m2899_38, partial:m2899_41
# 2899| v2899_43(void) = ^IndirectReadSideEffect[-1] : &:r2899_7, ~m2899_42
# 2899| m2899_44(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2899_7
# 2899| m2899_45(unknown) = Chi : total:m2899_42, partial:m2899_44
# 2899| v2899_46(void) = NoOp :
# 2899| v2899_47(void) = ReturnIndirection[#this] : &:r2899_7, ~m2899_45
# 2899| v2899_48(void) = ReturnVoid :
# 2899| v2899_49(void) = AliasedUse : ~m2899_45
# 2899| v2899_50(void) = ExitFunction :
# 2901| int StructInit::get_val()
# 2901| Block 0

View File

@@ -11339,20 +11339,23 @@ ir.cpp:
# 1533| void StructuredBindingDataMemberMemberStruct::StructuredBindingDataMemberMemberStruct()
# 1533| Block 0
# 1533| v1533_1(void) = EnterFunction :
# 1533| mu1533_2(unknown) = AliasedDefinition :
# 1533| mu1533_3(unknown) = InitializeNonLocal :
# 1533| r1533_4(glval<unknown>) = VariableAddress[#this] :
# 1533| mu1533_5(glval<StructuredBindingDataMemberMemberStruct>) = InitializeParameter[#this] : &:r1533_4
# 1533| r1533_6(glval<StructuredBindingDataMemberMemberStruct>) = Load[#this] : &:r1533_4, ~m?
# 1533| mu1533_7(StructuredBindingDataMemberMemberStruct) = InitializeIndirection[#this] : &:r1533_6
# 1533| r1533_8(glval<unknown>) = FunctionAddress[x] :
# 1533| v1533_9(void) = Call[x] : func:r1533_8, this:r1533_6
# 1533| v1533_10(void) = NoOp :
# 1533| v1533_11(void) = ReturnIndirection[#this] : &:r1533_6, ~m?
# 1533| v1533_12(void) = ReturnVoid :
# 1533| v1533_13(void) = AliasedUse : ~m?
# 1533| v1533_14(void) = ExitFunction :
# 1533| v1533_1(void) = EnterFunction :
# 1533| mu1533_2(unknown) = AliasedDefinition :
# 1533| mu1533_3(unknown) = InitializeNonLocal :
# 1533| r1533_4(glval<unknown>) = VariableAddress[#this] :
# 1533| mu1533_5(glval<StructuredBindingDataMemberMemberStruct>) = InitializeParameter[#this] : &:r1533_4
# 1533| r1533_6(glval<StructuredBindingDataMemberMemberStruct>) = Load[#this] : &:r1533_4, ~m?
# 1533| mu1533_7(StructuredBindingDataMemberMemberStruct) = InitializeIndirection[#this] : &:r1533_6
# 1533| r1533_8(glval<unknown>) = FunctionAddress[x] :
# 1533| v1533_9(void) = Call[x] : func:r1533_8, this:r1533_6
# 1533| mu1533_10(unknown) = ^CallSideEffect : ~m?
# 1533| v1533_11(void) = ^IndirectReadSideEffect[-1] : &:r1533_6, ~m?
# 1533| mu1533_12(StructuredBindingDataMemberMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1533_6
# 1533| v1533_13(void) = NoOp :
# 1533| v1533_14(void) = ReturnIndirection[#this] : &:r1533_6, ~m?
# 1533| v1533_15(void) = ReturnVoid :
# 1533| v1533_16(void) = AliasedUse : ~m?
# 1533| v1533_17(void) = ExitFunction :
# 1534| int StructuredBindingDataMemberMemberStruct::x
# 1534| Block 0
@@ -11381,26 +11384,44 @@ ir.cpp:
# 1537| mu1537_7(StructuredBindingDataMemberStruct) = InitializeIndirection[#this] : &:r1537_6
# 1537| r1537_8(glval<unknown>) = FunctionAddress[i] :
# 1537| v1537_9(void) = Call[i] : func:r1537_8, this:r1537_6
# 1537| r1537_10(glval<unknown>) = FunctionAddress[d] :
# 1537| v1537_11(void) = Call[d] : func:r1537_10, this:r1537_6
# 1537| r1537_12(glval<unknown>) = FunctionAddress[r] :
# 1537| v1537_13(void) = Call[r] : func:r1537_12, this:r1537_6
# 1537| r1537_14(glval<unknown>) = FunctionAddress[p] :
# 1537| v1537_15(void) = Call[p] : func:r1537_14, this:r1537_6
# 1537| r1537_16(glval<unknown>) = FunctionAddress[xs] :
# 1537| v1537_17(void) = Call[xs] : func:r1537_16, this:r1537_6
# 1537| r1537_18(glval<unknown>) = FunctionAddress[r_alt] :
# 1537| v1537_19(void) = Call[r_alt] : func:r1537_18, this:r1537_6
# 1537| r1537_20(glval<StructuredBindingDataMemberMemberStruct>) = FieldAddress[m] : r1537_6
# 1537| r1537_21(glval<unknown>) = FunctionAddress[StructuredBindingDataMemberMemberStruct] :
# 1537| v1537_22(void) = Call[StructuredBindingDataMemberMemberStruct] : func:r1537_21, this:r1537_20
# 1537| mu1537_23(unknown) = ^CallSideEffect : ~m?
# 1537| mu1537_24(StructuredBindingDataMemberMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_20
# 1537| v1537_25(void) = NoOp :
# 1537| v1537_26(void) = ReturnIndirection[#this] : &:r1537_6, ~m?
# 1537| v1537_27(void) = ReturnVoid :
# 1537| v1537_28(void) = AliasedUse : ~m?
# 1537| v1537_29(void) = ExitFunction :
# 1537| mu1537_10(unknown) = ^CallSideEffect : ~m?
# 1537| v1537_11(void) = ^IndirectReadSideEffect[-1] : &:r1537_6, ~m?
# 1537| mu1537_12(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_6
# 1537| r1537_13(glval<unknown>) = FunctionAddress[d] :
# 1537| v1537_14(void) = Call[d] : func:r1537_13, this:r1537_6
# 1537| mu1537_15(unknown) = ^CallSideEffect : ~m?
# 1537| v1537_16(void) = ^IndirectReadSideEffect[-1] : &:r1537_6, ~m?
# 1537| mu1537_17(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_6
# 1537| r1537_18(glval<unknown>) = FunctionAddress[r] :
# 1537| v1537_19(void) = Call[r] : func:r1537_18, this:r1537_6
# 1537| mu1537_20(unknown) = ^CallSideEffect : ~m?
# 1537| v1537_21(void) = ^IndirectReadSideEffect[-1] : &:r1537_6, ~m?
# 1537| mu1537_22(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_6
# 1537| r1537_23(glval<unknown>) = FunctionAddress[p] :
# 1537| v1537_24(void) = Call[p] : func:r1537_23, this:r1537_6
# 1537| mu1537_25(unknown) = ^CallSideEffect : ~m?
# 1537| v1537_26(void) = ^IndirectReadSideEffect[-1] : &:r1537_6, ~m?
# 1537| mu1537_27(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_6
# 1537| r1537_28(glval<unknown>) = FunctionAddress[xs] :
# 1537| v1537_29(void) = Call[xs] : func:r1537_28, this:r1537_6
# 1537| mu1537_30(unknown) = ^CallSideEffect : ~m?
# 1537| v1537_31(void) = ^IndirectReadSideEffect[-1] : &:r1537_6, ~m?
# 1537| mu1537_32(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_6
# 1537| r1537_33(glval<unknown>) = FunctionAddress[r_alt] :
# 1537| v1537_34(void) = Call[r_alt] : func:r1537_33, this:r1537_6
# 1537| mu1537_35(unknown) = ^CallSideEffect : ~m?
# 1537| v1537_36(void) = ^IndirectReadSideEffect[-1] : &:r1537_6, ~m?
# 1537| mu1537_37(StructuredBindingDataMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_6
# 1537| r1537_38(glval<StructuredBindingDataMemberMemberStruct>) = FieldAddress[m] : r1537_6
# 1537| r1537_39(glval<unknown>) = FunctionAddress[StructuredBindingDataMemberMemberStruct] :
# 1537| v1537_40(void) = Call[StructuredBindingDataMemberMemberStruct] : func:r1537_39, this:r1537_38
# 1537| mu1537_41(unknown) = ^CallSideEffect : ~m?
# 1537| mu1537_42(StructuredBindingDataMemberMemberStruct) = ^IndirectMayWriteSideEffect[-1] : &:r1537_38
# 1537| v1537_43(void) = NoOp :
# 1537| v1537_44(void) = ReturnIndirection[#this] : &:r1537_6, ~m?
# 1537| v1537_45(void) = ReturnVoid :
# 1537| v1537_46(void) = AliasedUse : ~m?
# 1537| v1537_47(void) = ExitFunction :
# 1537| void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct(StructuredBindingDataMemberStruct const&)
# 1537| Block 0
@@ -11753,24 +11774,33 @@ ir.cpp:
# 1590| void StructuredBindingTupleRefGet::StructuredBindingTupleRefGet()
# 1590| Block 0
# 1590| v1590_1(void) = EnterFunction :
# 1590| mu1590_2(unknown) = AliasedDefinition :
# 1590| mu1590_3(unknown) = InitializeNonLocal :
# 1590| r1590_4(glval<unknown>) = VariableAddress[#this] :
# 1590| mu1590_5(glval<StructuredBindingTupleRefGet>) = InitializeParameter[#this] : &:r1590_4
# 1590| r1590_6(glval<StructuredBindingTupleRefGet>) = Load[#this] : &:r1590_4, ~m?
# 1590| mu1590_7(StructuredBindingTupleRefGet) = InitializeIndirection[#this] : &:r1590_6
# 1590| r1590_8(glval<unknown>) = FunctionAddress[i] :
# 1590| v1590_9(void) = Call[i] : func:r1590_8, this:r1590_6
# 1590| r1590_10(glval<unknown>) = FunctionAddress[d] :
# 1590| v1590_11(void) = Call[d] : func:r1590_10, this:r1590_6
# 1590| r1590_12(glval<unknown>) = FunctionAddress[r] :
# 1590| v1590_13(void) = Call[r] : func:r1590_12, this:r1590_6
# 1590| v1590_14(void) = NoOp :
# 1590| v1590_15(void) = ReturnIndirection[#this] : &:r1590_6, ~m?
# 1590| v1590_16(void) = ReturnVoid :
# 1590| v1590_17(void) = AliasedUse : ~m?
# 1590| v1590_18(void) = ExitFunction :
# 1590| v1590_1(void) = EnterFunction :
# 1590| mu1590_2(unknown) = AliasedDefinition :
# 1590| mu1590_3(unknown) = InitializeNonLocal :
# 1590| r1590_4(glval<unknown>) = VariableAddress[#this] :
# 1590| mu1590_5(glval<StructuredBindingTupleRefGet>) = InitializeParameter[#this] : &:r1590_4
# 1590| r1590_6(glval<StructuredBindingTupleRefGet>) = Load[#this] : &:r1590_4, ~m?
# 1590| mu1590_7(StructuredBindingTupleRefGet) = InitializeIndirection[#this] : &:r1590_6
# 1590| r1590_8(glval<unknown>) = FunctionAddress[i] :
# 1590| v1590_9(void) = Call[i] : func:r1590_8, this:r1590_6
# 1590| mu1590_10(unknown) = ^CallSideEffect : ~m?
# 1590| v1590_11(void) = ^IndirectReadSideEffect[-1] : &:r1590_6, ~m?
# 1590| mu1590_12(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1590_6
# 1590| r1590_13(glval<unknown>) = FunctionAddress[d] :
# 1590| v1590_14(void) = Call[d] : func:r1590_13, this:r1590_6
# 1590| mu1590_15(unknown) = ^CallSideEffect : ~m?
# 1590| v1590_16(void) = ^IndirectReadSideEffect[-1] : &:r1590_6, ~m?
# 1590| mu1590_17(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1590_6
# 1590| r1590_18(glval<unknown>) = FunctionAddress[r] :
# 1590| v1590_19(void) = Call[r] : func:r1590_18, this:r1590_6
# 1590| mu1590_20(unknown) = ^CallSideEffect : ~m?
# 1590| v1590_21(void) = ^IndirectReadSideEffect[-1] : &:r1590_6, ~m?
# 1590| mu1590_22(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1590_6
# 1590| v1590_23(void) = NoOp :
# 1590| v1590_24(void) = ReturnIndirection[#this] : &:r1590_6, ~m?
# 1590| v1590_25(void) = ReturnVoid :
# 1590| v1590_26(void) = AliasedUse : ~m?
# 1590| v1590_27(void) = ExitFunction :
# 1590| void StructuredBindingTupleRefGet::StructuredBindingTupleRefGet(StructuredBindingTupleRefGet const&)
# 1590| Block 0
@@ -12078,22 +12108,28 @@ ir.cpp:
# 1657| void StructuredBindingTupleNoRefGet::StructuredBindingTupleNoRefGet()
# 1657| Block 0
# 1657| v1657_1(void) = EnterFunction :
# 1657| mu1657_2(unknown) = AliasedDefinition :
# 1657| mu1657_3(unknown) = InitializeNonLocal :
# 1657| r1657_4(glval<unknown>) = VariableAddress[#this] :
# 1657| mu1657_5(glval<StructuredBindingTupleNoRefGet>) = InitializeParameter[#this] : &:r1657_4
# 1657| r1657_6(glval<StructuredBindingTupleNoRefGet>) = Load[#this] : &:r1657_4, ~m?
# 1657| mu1657_7(StructuredBindingTupleNoRefGet) = InitializeIndirection[#this] : &:r1657_6
# 1657| r1657_8(glval<unknown>) = FunctionAddress[i] :
# 1657| v1657_9(void) = Call[i] : func:r1657_8, this:r1657_6
# 1657| r1657_10(glval<unknown>) = FunctionAddress[r] :
# 1657| v1657_11(void) = Call[r] : func:r1657_10, this:r1657_6
# 1657| v1657_12(void) = NoOp :
# 1657| v1657_13(void) = ReturnIndirection[#this] : &:r1657_6, ~m?
# 1657| v1657_14(void) = ReturnVoid :
# 1657| v1657_15(void) = AliasedUse : ~m?
# 1657| v1657_16(void) = ExitFunction :
# 1657| v1657_1(void) = EnterFunction :
# 1657| mu1657_2(unknown) = AliasedDefinition :
# 1657| mu1657_3(unknown) = InitializeNonLocal :
# 1657| r1657_4(glval<unknown>) = VariableAddress[#this] :
# 1657| mu1657_5(glval<StructuredBindingTupleNoRefGet>) = InitializeParameter[#this] : &:r1657_4
# 1657| r1657_6(glval<StructuredBindingTupleNoRefGet>) = Load[#this] : &:r1657_4, ~m?
# 1657| mu1657_7(StructuredBindingTupleNoRefGet) = InitializeIndirection[#this] : &:r1657_6
# 1657| r1657_8(glval<unknown>) = FunctionAddress[i] :
# 1657| v1657_9(void) = Call[i] : func:r1657_8, this:r1657_6
# 1657| mu1657_10(unknown) = ^CallSideEffect : ~m?
# 1657| v1657_11(void) = ^IndirectReadSideEffect[-1] : &:r1657_6, ~m?
# 1657| mu1657_12(StructuredBindingTupleNoRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1657_6
# 1657| r1657_13(glval<unknown>) = FunctionAddress[r] :
# 1657| v1657_14(void) = Call[r] : func:r1657_13, this:r1657_6
# 1657| mu1657_15(unknown) = ^CallSideEffect : ~m?
# 1657| v1657_16(void) = ^IndirectReadSideEffect[-1] : &:r1657_6, ~m?
# 1657| mu1657_17(StructuredBindingTupleNoRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1657_6
# 1657| v1657_18(void) = NoOp :
# 1657| v1657_19(void) = ReturnIndirection[#this] : &:r1657_6, ~m?
# 1657| v1657_20(void) = ReturnVoid :
# 1657| v1657_21(void) = AliasedUse : ~m?
# 1657| v1657_22(void) = ExitFunction :
# 1658| int StructuredBindingTupleNoRefGet::i
# 1658| Block 0
@@ -19542,59 +19578,83 @@ ir.cpp:
# 2897| mu2897_9(int) = InitializeParameter[j] : &:r2897_8
# 2897| r2897_10(glval<unknown>) = FunctionAddress[i] :
# 2897| v2897_11(void) = Call[i] : func:r2897_10, this:r2897_6
# 2897| r2897_12(glval<int>) = FieldAddress[j] : r2897_6
# 2897| r2897_13(glval<int>) = VariableAddress[j] :
# 2897| r2897_14(int) = Load[j] : &:r2897_13, ~m?
# 2897| mu2897_15(int) = Store[?] : &:r2897_12, r2897_14
# 2897| r2897_16(glval<unknown>) = FunctionAddress[k] :
# 2897| v2897_17(void) = Call[k] : func:r2897_16, this:r2897_6
# 2897| r2897_18(glval<unknown>) = FunctionAddress[l] :
# 2897| v2897_19(void) = Call[l] : func:r2897_18, this:r2897_6
# 2897| r2897_20(glval<unknown>) = FunctionAddress[m] :
# 2897| v2897_21(void) = Call[m] : func:r2897_20, this:r2897_6
# 2897| r2897_22(glval<int>) = FieldAddress[n] : r2897_6
# 2897| r2897_23(glval<unknown>) = VariableAddress[#this] :
# 2897| r2897_24(StructInit *) = Load[#this] : &:r2897_23, ~m?
# 2897| r2897_25(glval<unknown>) = FunctionAddress[get_val] :
# 2897| r2897_26(int) = Call[get_val] : func:r2897_25, this:r2897_24
# 2897| mu2897_27(unknown) = ^CallSideEffect : ~m?
# 2897| v2897_28(void) = ^IndirectReadSideEffect[-1] : &:r2897_24, ~m?
# 2897| mu2897_29(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_24
# 2897| mu2897_30(int) = Store[?] : &:r2897_22, r2897_26
# 2897| v2897_31(void) = NoOp :
# 2897| v2897_32(void) = ReturnIndirection[#this] : &:r2897_6, ~m?
# 2897| v2897_33(void) = ReturnVoid :
# 2897| v2897_34(void) = AliasedUse : ~m?
# 2897| v2897_35(void) = ExitFunction :
# 2897| mu2897_12(unknown) = ^CallSideEffect : ~m?
# 2897| v2897_13(void) = ^IndirectReadSideEffect[-1] : &:r2897_6, ~m?
# 2897| mu2897_14(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_6
# 2897| r2897_15(glval<int>) = FieldAddress[j] : r2897_6
# 2897| r2897_16(glval<int>) = VariableAddress[j] :
# 2897| r2897_17(int) = Load[j] : &:r2897_16, ~m?
# 2897| mu2897_18(int) = Store[?] : &:r2897_15, r2897_17
# 2897| r2897_19(glval<unknown>) = FunctionAddress[k] :
# 2897| v2897_20(void) = Call[k] : func:r2897_19, this:r2897_6
# 2897| mu2897_21(unknown) = ^CallSideEffect : ~m?
# 2897| v2897_22(void) = ^IndirectReadSideEffect[-1] : &:r2897_6, ~m?
# 2897| mu2897_23(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_6
# 2897| r2897_24(glval<unknown>) = FunctionAddress[l] :
# 2897| v2897_25(void) = Call[l] : func:r2897_24, this:r2897_6
# 2897| mu2897_26(unknown) = ^CallSideEffect : ~m?
# 2897| v2897_27(void) = ^IndirectReadSideEffect[-1] : &:r2897_6, ~m?
# 2897| mu2897_28(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_6
# 2897| r2897_29(glval<unknown>) = FunctionAddress[m] :
# 2897| v2897_30(void) = Call[m] : func:r2897_29, this:r2897_6
# 2897| mu2897_31(unknown) = ^CallSideEffect : ~m?
# 2897| v2897_32(void) = ^IndirectReadSideEffect[-1] : &:r2897_6, ~m?
# 2897| mu2897_33(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_6
# 2897| r2897_34(glval<int>) = FieldAddress[n] : r2897_6
# 2897| r2897_35(glval<unknown>) = VariableAddress[#this] :
# 2897| r2897_36(StructInit *) = Load[#this] : &:r2897_35, ~m?
# 2897| r2897_37(glval<unknown>) = FunctionAddress[get_val] :
# 2897| r2897_38(int) = Call[get_val] : func:r2897_37, this:r2897_36
# 2897| mu2897_39(unknown) = ^CallSideEffect : ~m?
# 2897| v2897_40(void) = ^IndirectReadSideEffect[-1] : &:r2897_36, ~m?
# 2897| mu2897_41(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2897_36
# 2897| mu2897_42(int) = Store[?] : &:r2897_34, r2897_38
# 2897| v2897_43(void) = NoOp :
# 2897| v2897_44(void) = ReturnIndirection[#this] : &:r2897_6, ~m?
# 2897| v2897_45(void) = ReturnVoid :
# 2897| v2897_46(void) = AliasedUse : ~m?
# 2897| v2897_47(void) = ExitFunction :
# 2899| void StructInit::StructInit()
# 2899| Block 0
# 2899| v2899_1(void) = EnterFunction :
# 2899| mu2899_2(unknown) = AliasedDefinition :
# 2899| mu2899_3(unknown) = InitializeNonLocal :
# 2899| r2899_4(glval<unknown>) = VariableAddress[#this] :
# 2899| mu2899_5(glval<StructInit>) = InitializeParameter[#this] : &:r2899_4
# 2899| r2899_6(glval<StructInit>) = Load[#this] : &:r2899_4, ~m?
# 2899| mu2899_7(StructInit) = InitializeIndirection[#this] : &:r2899_6
# 2899| r2899_8(glval<int>) = FieldAddress[i] : r2899_6
# 2899| r2899_9(int) = Constant[41] :
# 2899| mu2899_10(int) = Store[?] : &:r2899_8, r2899_9
# 2899| r2899_11(glval<unknown>) = FunctionAddress[j] :
# 2899| v2899_12(void) = Call[j] : func:r2899_11, this:r2899_6
# 2899| r2899_13(glval<int>) = FieldAddress[k] : r2899_6
# 2899| r2899_14(int) = Constant[41] :
# 2899| mu2899_15(int) = Store[?] : &:r2899_13, r2899_14
# 2899| r2899_16(glval<unknown>) = FunctionAddress[l] :
# 2899| v2899_17(void) = Call[l] : func:r2899_16, this:r2899_6
# 2899| r2899_18(glval<unknown>) = FunctionAddress[m] :
# 2899| v2899_19(void) = Call[m] : func:r2899_18, this:r2899_6
# 2899| r2899_20(glval<unknown>) = FunctionAddress[n] :
# 2899| v2899_21(void) = Call[n] : func:r2899_20, this:r2899_6
# 2899| v2899_22(void) = NoOp :
# 2899| v2899_23(void) = ReturnIndirection[#this] : &:r2899_6, ~m?
# 2899| v2899_24(void) = ReturnVoid :
# 2899| v2899_25(void) = AliasedUse : ~m?
# 2899| v2899_26(void) = ExitFunction :
# 2899| v2899_1(void) = EnterFunction :
# 2899| mu2899_2(unknown) = AliasedDefinition :
# 2899| mu2899_3(unknown) = InitializeNonLocal :
# 2899| r2899_4(glval<unknown>) = VariableAddress[#this] :
# 2899| mu2899_5(glval<StructInit>) = InitializeParameter[#this] : &:r2899_4
# 2899| r2899_6(glval<StructInit>) = Load[#this] : &:r2899_4, ~m?
# 2899| mu2899_7(StructInit) = InitializeIndirection[#this] : &:r2899_6
# 2899| r2899_8(glval<int>) = FieldAddress[i] : r2899_6
# 2899| r2899_9(int) = Constant[41] :
# 2899| mu2899_10(int) = Store[?] : &:r2899_8, r2899_9
# 2899| r2899_11(glval<unknown>) = FunctionAddress[j] :
# 2899| v2899_12(void) = Call[j] : func:r2899_11, this:r2899_6
# 2899| mu2899_13(unknown) = ^CallSideEffect : ~m?
# 2899| v2899_14(void) = ^IndirectReadSideEffect[-1] : &:r2899_6, ~m?
# 2899| mu2899_15(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2899_6
# 2899| r2899_16(glval<int>) = FieldAddress[k] : r2899_6
# 2899| r2899_17(int) = Constant[41] :
# 2899| mu2899_18(int) = Store[?] : &:r2899_16, r2899_17
# 2899| r2899_19(glval<unknown>) = FunctionAddress[l] :
# 2899| v2899_20(void) = Call[l] : func:r2899_19, this:r2899_6
# 2899| mu2899_21(unknown) = ^CallSideEffect : ~m?
# 2899| v2899_22(void) = ^IndirectReadSideEffect[-1] : &:r2899_6, ~m?
# 2899| mu2899_23(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2899_6
# 2899| r2899_24(glval<unknown>) = FunctionAddress[m] :
# 2899| v2899_25(void) = Call[m] : func:r2899_24, this:r2899_6
# 2899| mu2899_26(unknown) = ^CallSideEffect : ~m?
# 2899| v2899_27(void) = ^IndirectReadSideEffect[-1] : &:r2899_6, ~m?
# 2899| mu2899_28(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2899_6
# 2899| r2899_29(glval<unknown>) = FunctionAddress[n] :
# 2899| v2899_30(void) = Call[n] : func:r2899_29, this:r2899_6
# 2899| mu2899_31(unknown) = ^CallSideEffect : ~m?
# 2899| v2899_32(void) = ^IndirectReadSideEffect[-1] : &:r2899_6, ~m?
# 2899| mu2899_33(StructInit) = ^IndirectMayWriteSideEffect[-1] : &:r2899_6
# 2899| v2899_34(void) = NoOp :
# 2899| v2899_35(void) = ReturnIndirection[#this] : &:r2899_6, ~m?
# 2899| v2899_36(void) = ReturnVoid :
# 2899| v2899_37(void) = AliasedUse : ~m?
# 2899| v2899_38(void) = ExitFunction :
# 2901| int StructInit::get_val()
# 2901| Block 0