Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit b73cb3a

Browse files
author
Dave Bartolomeo
committed
Accept C# IR diffs
1 parent 2f34c78 commit b73cb3a

1 file changed

Lines changed: 10 additions & 10 deletions

File tree

csharp/ql/test/experimental/ir/ir/raw_ir.expected

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -260,7 +260,7 @@ collections.cs:
260260
# 15| mu15_9(String) = Store[?] : &:r15_8, r15_7
261261
# 15| r15_10(String) = StringConstant["World"] :
262262
# 15| r15_11(glval<String>) = FieldAddress[b] : r15_3
263-
# 15| mu15_12(String) = Store : &:r15_11, r15_10
263+
# 15| mu15_12(String) = Store[?] : &:r15_11, r15_10
264264
# 15| v15_13(Void) = Call[Add] : func:r15_1, this:r13_2, 0:r15_2, 1:r15_3
265265
# 15| mu15_14(<unknown>) = ^CallSideEffect : ~m?
266266
# 16| r16_1(<funcaddr>) = FunctionAddress[Add] :
@@ -274,7 +274,7 @@ collections.cs:
274274
# 16| mu16_9(String) = Store[?] : &:r16_8, r16_7
275275
# 16| r16_10(String) = StringConstant["Bar"] :
276276
# 16| r16_11(glval<String>) = FieldAddress[b] : r16_3
277-
# 16| mu16_12(String) = Store : &:r16_11, r16_10
277+
# 16| mu16_12(String) = Store[?] : &:r16_11, r16_10
278278
# 16| v16_13(Void) = Call[Add] : func:r16_1, this:r13_2, 0:r16_2, 1:r16_3
279279
# 16| mu16_14(<unknown>) = ^CallSideEffect : ~m?
280280
# 13| mu13_6(Dictionary<Int32,MyClass>) = Store[dict] : &:r13_1, r13_2
@@ -333,7 +333,7 @@ constructor_init.cs:
333333
# 21| r21_6(glval<BaseClass>) = Convert[DerivedClass : BaseClass] : r21_3
334334
# 21| r21_7(<funcaddr>) = FunctionAddress[BaseClass] :
335335
# 21| r21_8(glval<Int32>) = VariableAddress[i] :
336-
# 21| r21_9(Int32) = Load : &:r21_8, ~m?
336+
# 21| r21_9(Int32) = Load[i] : &:r21_8, ~m?
337337
# 21| v21_10(Void) = Call[BaseClass] : func:r21_7, this:r21_6, 0:r21_9
338338
# 21| mu21_11(<unknown>) = ^CallSideEffect : ~m?
339339
# 22| v22_1(Void) = NoOp :
@@ -352,7 +352,7 @@ constructor_init.cs:
352352
# 25| mu25_7(Int32) = InitializeParameter[j] : &:r25_6
353353
# 25| r25_8(<funcaddr>) = FunctionAddress[DerivedClass] :
354354
# 25| r25_9(glval<Int32>) = VariableAddress[i] :
355-
# 25| r25_10(Int32) = Load : &:r25_9, ~m?
355+
# 25| r25_10(Int32) = Load[i] : &:r25_9, ~m?
356356
# 25| v25_11(Void) = Call[DerivedClass] : func:r25_8, this:r25_3, 0:r25_10
357357
# 25| mu25_12(<unknown>) = ^CallSideEffect : ~m?
358358
# 26| v26_1(Void) = NoOp :
@@ -493,7 +493,7 @@ events.cs:
493493
# 15| r15_2(<funcaddr>) = FunctionAddress[add_MyEvent] :
494494
# 15| r15_3(Events) = CopyValue : r13_3
495495
# 15| r15_4(glval<MyDel>) = FieldAddress[Inst] : r15_3
496-
# 15| r15_5(MyDel) = Load : &:r15_4, ~m?
496+
# 15| r15_5(MyDel) = Load[?] : &:r15_4, ~m?
497497
# 15| v15_6(Void) = Call[add_MyEvent] : func:r15_2, this:r15_1, 0:r15_5
498498
# 15| mu15_7(<unknown>) = ^CallSideEffect : ~m?
499499
# 13| v13_4(Void) = ReturnVoid :
@@ -509,7 +509,7 @@ events.cs:
509509
# 20| r20_2(<funcaddr>) = FunctionAddress[remove_MyEvent] :
510510
# 20| r20_3(Events) = CopyValue : r18_3
511511
# 20| r20_4(glval<MyDel>) = FieldAddress[Inst] : r20_3
512-
# 20| r20_5(MyDel) = Load : &:r20_4, ~m?
512+
# 20| r20_5(MyDel) = Load[?] : &:r20_4, ~m?
513513
# 20| v20_6(Void) = Call[remove_MyEvent] : func:r20_2, this:r20_1, 0:r20_5
514514
# 20| mu20_7(<unknown>) = ^CallSideEffect : ~m?
515515
# 18| v18_4(Void) = ReturnVoid :
@@ -903,8 +903,8 @@ inoutref.cs:
903903
# 26| r26_2(glval<MyClass>) = VariableAddress[c] :
904904
# 26| r26_3(MyClass) = Load[c] : &:r26_2, ~m?
905905
# 26| r26_4(glval<MyClass>) = VariableAddress[c1] :
906-
# 26| r26_5(MyClass) = Load : &:r26_4, ~m?
907-
# 26| r26_6(MyClass) = Load : &:r26_5, ~m?
906+
# 26| r26_5(MyClass) = Load[c1] : &:r26_4, ~m?
907+
# 26| r26_6(MyClass) = Load[?] : &:r26_5, ~m?
908908
# 26| v26_7(Void) = Call[set] : func:r26_1, 0:r26_3, 1:r26_6
909909
# 26| mu26_8(<unknown>) = ^CallSideEffect : ~m?
910910
# 16| v16_13(Void) = ReturnVoid :
@@ -1229,7 +1229,7 @@ lock.cs:
12291229
# 8| Block 2
12301230
# 8| r8_17(<funcaddr>) = FunctionAddress[Exit] :
12311231
# 8| r8_18(glval<Object>) = VariableAddress[#temp8:9] :
1232-
# 8| r8_19(Object) = Load : &:r8_18, ~m?
1232+
# 8| r8_19(Object) = Load[#temp8:9] : &:r8_18, ~m?
12331233
# 8| v8_20(Void) = Call[Exit] : func:r8_17, 0:r8_19
12341234
# 8| mu8_21(<unknown>) = ^CallSideEffect : ~m?
12351235
#-----| Goto -> Block 1
@@ -1430,7 +1430,7 @@ pointers.cs:
14301430
# 39| mu39_14(Int32) = Store[?] : &:r39_12, r39_13
14311431
# 40| r40_1(<funcaddr>) = FunctionAddress[addone] :
14321432
# 40| r40_2(glval<Int32[]>) = VariableAddress[arr] :
1433-
# 40| r40_3(Int32[]) = Load : &:r40_2, ~m?
1433+
# 40| r40_3(Int32[]) = Load[arr] : &:r40_2, ~m?
14341434
# 40| v40_4(Void) = Call[addone] : func:r40_1, 0:r40_3
14351435
# 40| mu40_5(<unknown>) = ^CallSideEffect : ~m?
14361436
# 25| v25_3(Void) = ReturnVoid :

0 commit comments

Comments
 (0)