renamed old IrgVrfy() into new IrgVerify()
authorFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Thu, 8 Sep 2005 08:07:35 +0000 (08:07 +0000)
committerFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Thu, 8 Sep 2005 08:07:35 +0000 (08:07 +0000)
[r6595]

firmjni/testprograms/Empty.java
firmjni/testprograms/IfElseExample.java

index b53c4fa..b99f120 100644 (file)
@@ -74,7 +74,7 @@ class Empty {
        Ircons.matureImmBlock (Irgraph.getIrgEndBlock(irg));
 
        /* Verify the graph.  Finds some very bad errors in the graph. */
-       Irvrfy.irgVrfy(irg);
+       Irvrfy.irgVerify(irg, Irvrfy.VRFY_NORMAL);
        Ircons.irgFinalizeCons (irg);
 
        System.out.println("Done building the graph.  Dumping it.");
index 8a4b017..fe5b870 100644 (file)
@@ -120,7 +120,7 @@ class IfElseExample {
        /* Now we can mature the end block as all it's predecessors are known. */
        Ircons.matureImmBlock (Irgraph.getIrgEndBlock(irg));
 
-       Irvrfy.irgVrfy(irg);
+       Irvrfy.irgVerify(irg, Irvrfy.VRFY_NORMAL);
        Ircons.irgFinalizeCons (irg);
 
        System.out.println("Done building the graph.  Optimizing it.");