dualfroz
3b5201cabc
Once a named argument is hoisted, the call becomes a CallWithNamedArgs block, and inlining moves the Current getter into the block's first argument store. The foreach detection could not move it back out: CanInlineIntoSlot refused the block, and for an instance call the store of the 'this' argument in front counted as a write the getter cannot be moved past. That store only writes the block's own variable, so the getter is checked against the stored value instead, the same way CanExtendNamedArgument allows inlining into that position.
53 lines
884 B
C#
53 lines
884 B
C#
using System.Collections.Generic;
|
|
|
|
namespace ICSharpCode.Decompiler.Tests.TestCases.Pretty
|
|
{
|
|
internal class Issue4153
|
|
{
|
|
private static int G(int i)
|
|
{
|
|
return i;
|
|
}
|
|
|
|
private static int M(int x, int y)
|
|
{
|
|
return x + y;
|
|
}
|
|
|
|
private int N(int x, int y)
|
|
{
|
|
return x - y;
|
|
}
|
|
|
|
public static int DictionaryEntries(Dictionary<int, int> d)
|
|
{
|
|
int num = 0;
|
|
foreach (KeyValuePair<int, int> item in d)
|
|
{
|
|
num += M(y: G(item.Key), x: G(2));
|
|
}
|
|
return num;
|
|
}
|
|
|
|
public static int ListOfPairs(List<KeyValuePair<int, int>> list)
|
|
{
|
|
int num = 0;
|
|
foreach (KeyValuePair<int, int> item in list)
|
|
{
|
|
num += M(y: G(item.Key), x: G(2));
|
|
}
|
|
return num;
|
|
}
|
|
|
|
public int InstanceCall(Dictionary<int, int> d)
|
|
{
|
|
int num = 0;
|
|
foreach (KeyValuePair<int, int> item in d)
|
|
{
|
|
num += N(y: G(item.Key), x: G(2));
|
|
}
|
|
return num;
|
|
}
|
|
}
|
|
}
|