@@ -154,7 +154,7 @@ test.cpp:
154154# 25| test02(int, int) -> int
155155# 25| Block 0
156156# 25| v0_0(void) = EnterFunction :
157- # 25| mu0_1 (unknown) = AliasedDefinition :
157+ # 25| m0_1 (unknown) = AliasedDefinition :
158158# 25| valnum = unique
159159# 25| mu0_2(unknown) = UnmodeledDefinition :
160160# 25| valnum = unique
@@ -201,9 +201,9 @@ test.cpp:
201201# 30| r0_23(glval<unknown>) = FunctionAddress[change_global02] :
202202# 30| valnum = unique
203203# 30| v0_24(void) = Call : r0_23
204- # 30| m0_25(unknown) = ^CallSideEffect : mu0_1
204+ # 30| m0_25(unknown) = ^CallSideEffect : m0_1
205205# 30| valnum = unique
206- # 30| m0_26(unknown) = Chi : mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, this:mu0_1, mu0_1, mu0_1 , m0_25
206+ # 30| m0_26(unknown) = Chi : m0_1 , m0_25
207207# 30| valnum = unique
208208# 31| r0_27(glval<int>) = VariableAddress[p0] :
209209# 31| valnum = r0_3
@@ -243,7 +243,7 @@ test.cpp:
243243# 39| test03(int, int, int *) -> int
244244# 39| Block 0
245245# 39| v0_0(void) = EnterFunction :
246- # 39| mu0_1 (unknown) = AliasedDefinition :
246+ # 39| m0_1 (unknown) = AliasedDefinition :
247247# 39| valnum = unique
248248# 39| mu0_2(unknown) = UnmodeledDefinition :
249249# 39| valnum = unique
@@ -299,7 +299,7 @@ test.cpp:
299299# 44| valnum = m0_8
300300# 44| m0_28(int) = Store : r0_27, r0_25
301301# 44| valnum = r0_25
302- # 44| m0_29(unknown) = Chi : mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, this:mu0_1, mu0_1, mu0_1 , m0_28
302+ # 44| m0_29(unknown) = Chi : m0_1 , m0_28
303303# 44| valnum = unique
304304# 45| r0_30(glval<int>) = VariableAddress[p0] :
305305# 45| valnum = r0_3
@@ -501,7 +501,7 @@ test.cpp:
501501# 75| test04(two_values *) -> void
502502# 75| Block 0
503503# 75| v0_0(void) = EnterFunction :
504- # 75| mu0_1 (unknown) = AliasedDefinition :
504+ # 75| m0_1 (unknown) = AliasedDefinition :
505505# 75| valnum = unique
506506# 75| mu0_2(unknown) = UnmodeledDefinition :
507507# 75| valnum = unique
@@ -515,9 +515,9 @@ test.cpp:
515515# 77| valnum = unique
516516# 77| r0_7(int) = Call : r0_6
517517# 77| valnum = unique
518- # 77| m0_8(unknown) = ^CallSideEffect : mu0_1
518+ # 77| m0_8(unknown) = ^CallSideEffect : m0_1
519519# 77| valnum = unique
520- # 77| mu0_9 (unknown) = Chi : mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, mu0_1, this:mu0_1, mu0_1, mu0_1 , m0_8
520+ # 77| m0_9 (unknown) = Chi : m0_1 , m0_8
521521# 77| valnum = unique
522522# 77| r0_10(signed short) = Convert : r0_7
523523# 77| valnum = r0_10
@@ -535,7 +535,7 @@ test.cpp:
535535# 79| valnum = m0_4
536536# 79| r0_17(glval<signed short>) = FieldAddress[val1] : r0_16
537537# 79| valnum = unique
538- # 79| r0_18(signed short) = Load : r0_17, mu0_9
538+ # 79| r0_18(signed short) = Load : r0_17, m0_9
539539# 79| valnum = unique
540540# 79| r0_19(int) = Convert : r0_18
541541# 79| valnum = unique
@@ -545,7 +545,7 @@ test.cpp:
545545# 79| valnum = m0_4
546546# 79| r0_22(glval<signed short>) = FieldAddress[val2] : r0_21
547547# 79| valnum = unique
548- # 79| r0_23(signed short) = Load : r0_22, mu0_9
548+ # 79| r0_23(signed short) = Load : r0_22, m0_9
549549# 79| valnum = unique
550550# 79| r0_24(int) = Convert : r0_23
551551# 79| valnum = unique
@@ -562,9 +562,9 @@ test.cpp:
562562# 80| valnum = unique
563563# 80| r1_1(int) = Call : r1_0
564564# 80| valnum = unique
565- # 80| m1_2(unknown) = ^CallSideEffect : mu0_9
565+ # 80| m1_2(unknown) = ^CallSideEffect : m0_9
566566# 80| valnum = unique
567- # 80| m1_3(unknown) = Chi : mu0_9, mu0_9, mu0_9, mu0_9, mu0_9, mu0_9, mu0_9, mu0_9, mu0_9, mu0_9, mu0_9, mu0_9, this:mu0_9, mu0_9, mu0_9 , m1_2
567+ # 80| m1_3(unknown) = Chi : m0_9 , m1_2
568568# 80| valnum = unique
569569# 80| r1_4(signed short) = Convert : r1_1
570570# 80| valnum = r1_4
0 commit comments