#20 Test case failure for single method cache analysis

[Trevor Harmon]

The following code does not work in Clepsydra for the single method cache analysis (due to an infeasible ILP problem):

int i = 0;

@LoopBound(max=10)
while (i < 10)
{
// iload_1: 1
// bipush: 2
// if_icmple: 4
if (i > 5)
{
// aload_0: 1
// invokespecial: 75 on hit, 75 + (load time - 37) on miss
// pop: 1
meaningOfLife();
}
else
{
// invokestatic: 75 on hit, 75 + (load time - 37) on miss
// pop: 1
meaningOfLife();
}
}

// return: 21 on hit, 21 + (load time - 9) on miss