Author: bamboo
Date: 2005-12-19 08:35:28 -0500 (Mon, 19 Dec 2005)
New Revision: 54599
Added:
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1-afg.txt
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1.il
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2-afg.txt
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2.il
Modified:
trunk/cecil/flowanalysis/Cecil.FlowAnalysis.Tests/ActionFlowTestFixture.cs
trunk/cecil/flowanalysis/ChangeLog
Log:
more test cases
Modified:
trunk/cecil/flowanalysis/Cecil.FlowAnalysis.Tests/ActionFlowTestFixture.cs
===================================================================
--- trunk/cecil/flowanalysis/Cecil.FlowAnalysis.Tests/ActionFlowTestFixture.cs
2005-12-19 12:52:28 UTC (rev 54598)
+++ trunk/cecil/flowanalysis/Cecil.FlowAnalysis.Tests/ActionFlowTestFixture.cs
2005-12-19 13:35:28 UTC (rev 54599)
@@ -33,7 +33,20 @@
namespace Cecil.FlowAnalysis.Tests {
[TestFixture]
public class ActionFlowTestFixture : AbstractFlowAnalysisTestFixture {
+
[Test]
+ public void IntPropertyEquals1 ()
+ {
+ RunTestCase ("IntPropertyEquals1");
+ }
+
+ [Test]
+ public void IntPropertyEquals2 ()
+ {
+ RunTestCase ("IntPropertyEquals2");
+ }
+
+ [Test]
public void FloatGreaterThan ()
{
RunTestCase ("FloatGreaterThan");
Modified: trunk/cecil/flowanalysis/ChangeLog
===================================================================
--- trunk/cecil/flowanalysis/ChangeLog 2005-12-19 12:52:28 UTC (rev 54598)
+++ trunk/cecil/flowanalysis/ChangeLog 2005-12-19 13:35:28 UTC (rev 54599)
@@ -1,5 +1,14 @@
2005-12-19 Rodrigo B. de Oliveira <[EMAIL PROTECTED]>
+ * Cecil.FlowAnalysis.Tests/ActionFlowTestFixture.cs
+ testcases/FlowAnalysis/IntPropertyEquals2.il
+ testcases/FlowAnalysis/IntPropertyEquals1-afg.txt
+ testcases/FlowAnalysis/IntPropertyEquals2-afg.txt:
+ more test cases
+
+testcases/FlowAnalysis/IntPropertyEquals1.il
+2005-12-19 Rodrigo B. de Oliveira <[EMAIL PROTECTED]>
+
* Cecil.FlowAnalysis.Tests/AbstractFlowAnalysisTestFixture.cs:
take into account that the path to the temp directory might
contain
spaces
Added:
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1-afg.txt
===================================================================
--- trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1-afg.txt
2005-12-19 12:52:28 UTC (rev 54598)
+++ trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1-afg.txt
2005-12-19 13:35:28 UTC (rev 54599)
@@ -0,0 +1 @@
+return (pilot.get_Points() == 100)
Property changes on:
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1-afg.txt
___________________________________________________________________
Name: svn:executable
+ *
Added: trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1.il
===================================================================
--- trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1.il
2005-12-19 12:52:28 UTC (rev 54598)
+++ trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1.il
2005-12-19 13:35:28 UTC (rev 54599)
@@ -0,0 +1,53 @@
+.assembly extern mscorlib {}
+
+.assembly TestCase {}
+
+.class public auto ansi beforefieldinit Pilot
+ extends [mscorlib]System.Object
+{
+ .field private int32 _points
+
+ .method public hidebysig specialname rtspecialname
+ instance void .ctor(int32 points) cil managed
+ {
+ // Code size 14 (0xe)
+ .maxstack 8
+ IL_0000: ldarg.0
+ IL_0001: call instance void [mscorlib]System.Object::.ctor()
+ IL_0006: ldarg.0
+ IL_0007: ldarg.1
+ IL_0008: stfld int32 Pilot::_points
+ IL_000d: ret
+ }
+
+ .method public hidebysig specialname instance int32
+ get_Points() cil managed
+ {
+ // Code size 7 (0x7)
+ .maxstack 8
+ IL_0000: ldarg.0
+ IL_0001: ldfld int32 Pilot::_points
+ IL_0006: ret
+ }
+
+ .property instance int32 Points()
+ {
+ .get instance int32 Pilot::get_Points()
+ }
+}
+
+.class public auto ansi beforefieldinit TestCase
+ extends [mscorlib]System.Object
+{
+ .method public hidebysig static bool Main(class Pilot pilot) cil managed
+ {
+ // Code size 11 (0xb)
+ .maxstack 8
+ IL_0000: ldarg.0
+ IL_0001: callvirt instance int32 Pilot::get_Points()
+ IL_0006: ldc.i4.s 100
+ IL_0008: ceq
+ IL_000a: ret
+ }
+
+}
Property changes on:
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals1.il
___________________________________________________________________
Name: svn:executable
+ *
Added:
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2-afg.txt
===================================================================
--- trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2-afg.txt
2005-12-19 12:52:28 UTC (rev 54598)
+++ trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2-afg.txt
2005-12-19 13:35:28 UTC (rev 54599)
@@ -0,0 +1,2 @@
+local0 = (pilot.get_Points() == 100)
+return local0
Property changes on:
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2-afg.txt
___________________________________________________________________
Name: svn:executable
+ *
Added: trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2.il
===================================================================
--- trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2.il
2005-12-19 12:52:28 UTC (rev 54598)
+++ trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2.il
2005-12-19 13:35:28 UTC (rev 54599)
@@ -0,0 +1,55 @@
+.assembly extern mscorlib {}
+
+.assembly TestCase {}
+
+.class public auto ansi beforefieldinit Pilot
+ extends [mscorlib]System.Object
+{
+ .field private int32 _points
+
+ .method public hidebysig specialname rtspecialname
+ instance void .ctor(int32 points) cil managed
+ {
+ // Code size 14 (0xe)
+ .maxstack 8
+ IL_0000: ldarg.0
+ IL_0001: call instance void [mscorlib]System.Object::.ctor()
+ IL_0006: ldarg.0
+ IL_0007: ldarg.1
+ IL_0008: stfld int32 Pilot::_points
+ IL_000d: ret
+ }
+
+ .method public hidebysig specialname instance int32
+ get_Points() cil managed
+ {
+ // Code size 7 (0x7)
+ .maxstack 8
+ IL_0000: ldarg.0
+ IL_0001: ldfld int32 Pilot::_points
+ IL_0006: ret
+ }
+
+ .property instance int32 Points()
+ {
+ .get instance int32 Pilot::get_Points()
+ }
+}
+
+.class public auto ansi beforefieldinit TestCase
+ extends [mscorlib]System.Object
+{
+ .method public hidebysig static bool Main(class Pilot pilot) cil managed
+ {
+ .maxstack 2
+ .locals init (bool V_0)
+ IL_0000: ldarg.0
+ IL_0001: callvirt instance int32 Pilot::get_Points()
+ IL_0006: ldc.i4.s 100
+ IL_0008: ceq
+ IL_000a: stloc.0
+ IL_000b: ldloc.0
+ IL_000c: ret
+ }
+
+}
Property changes on:
trunk/cecil/flowanalysis/testcases/FlowAnalysis/IntPropertyEquals2.il
___________________________________________________________________
Name: svn:executable
+ *
_______________________________________________
Mono-patches maillist - [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches
