verify.cc (class _Jv_BytecodeVerifier): Fixed logic.

	* verify.cc (class _Jv_BytecodeVerifier) [op_dup2]: Fixed logic.
	[op_dup_x2]: Likewise.
	[op_dup2_x1]: Likewise.
	[op_dup2_x2]: Likewise.
	(branch_prepass): Added `op_newarray' case.  Updated unrecognized
	instruction error.
	(verify_instructions_0): Updated unrecognized instruction error.

From-SVN: r47033

libjava/ChangeLog

 2001-11-14  Tom Tromey  <tromey@redhat.com>
 
+	* verify.cc (class _Jv_BytecodeVerifier) [op_dup2]: Fixed logic.
+	[op_dup_x2]: Likewise.
+	[op_dup2_x1]: Likewise.
+	[op_dup2_x2]: Likewise.
+	(branch_prepass): Added `op_newarray' case.  Updated unrecognized
+	instruction error.
+	(verify_instructions_0): Updated unrecognized instruction error.
+
 	* java/lang/reflect/Constructor.java (toString): Use more
 	efficient form of Modifier.toString().
 

libjava/verify.cc

@@ -1314,6 +1314,7 @@ private:
 	  case op_putfield:
 	  case op_putstatic:
 	  case op_new:
+	  case op_newarray:
 	  case op_anewarray:
 	  case op_instanceof:
 	  case op_checkcast:
@@ -1402,7 +1403,7 @@ private:
 	    break;
 
 	  default:
-	    verify_fail ("unrecognized instruction");
+	    verify_fail ("unrecognized instruction in branch_prepass");
 	  }
 
 	// See if any previous branch tried to branch to the middle of
@@ -1915,25 +1916,44 @@ private:
 	  case op_dup_x2:
 	    {
 	      type t1 = pop32 ();
-	      type t2 = pop32 ();
+	      type t2 = pop_raw ();
+	      if (! t2.iswide ())
+		{
 		  type t3 = pop32 ();
 		  push_type (t1);
 		  push_type (t3);
+		}
+	      else
+		push_type (t1);
 	      push_type (t2);
 	      push_type (t1);
 	    }
 	    break;
 	  case op_dup2:
 	    {
-	      type t = pop64 ();
+	      type t = pop_raw ();
+	      if (! t.iswide ())
+		{
+		  type t2 = pop32 ();
+		  push_type (t2);
 		  push_type (t);
+		  push_type (t2);
+		}
 	      push_type (t);
 	    }
 	    break;
 	  case op_dup2_x1:
 	    {
-	      type t1 = pop64 ();
-	      type t2 = pop64 ();
+	      type t1 = pop_raw ();
+	      type t2 = pop32 ();
+	      if (! t1.iswide ())
+		{
+		  type t3 = pop32 ();
+		  push_type (t2);
+		  push_type (t1);
+		  push_type (t3);
+		}
+	      else
 		push_type (t1);
 	      push_type (t2);
 	      push_type (t1);
@@ -1941,14 +1961,46 @@ private:
 	    break;
 	  case op_dup2_x2:
 	    {
-	      type t1 = pop64 ();
-	      type t2 = pop64 ();
-	      type t3 = pop64 ();
+	      // FIXME
+	      type t1 = pop_raw ();
+	      if (t1.iswide ())
+		{
+		  type t2 = pop_raw ();
+		  if (t2.iswide ())
+		    {
+		      push_type (t1);
+		      push_type (t2);
+		    }
+		  else
+		    {
+		      type t3 = pop32 ();
 		      push_type (t1);
 		      push_type (t3);
 		      push_type (t2);
+		    }
 		  push_type (t1);
 		}
+	      else
+		{
+		  type t2 = pop32 ();
+		  type t3 = pop_raw ();
+		  if (t3.iswide ())
+		    {
+		      push_type (t2);
+		      push_type (t1);
+		    }
+		  else
+		    {
+		      type t4 = pop32 ();
+		      push_type (t2);
+		      push_type (t1);
+		      push_type (t4);
+		    }
+		  push_type (t3);
+		  push_type (t2);
+		  push_type (t1);
+		}
+	    }
 	    break;
 	  case op_swap:
 	    {
@@ -2385,7 +2437,7 @@ private:
 
 	  default:
 	    // Unrecognized opcode.
-	    verify_fail ("unrecognized instruction");
+	    verify_fail ("unrecognized instruction in verify_instructions_0");
 	  }
       }
   }