1 /*
   2  * Copyright (c) 2008, 2018, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  */
  23 /*
  24 variation of:
  25         class VerifyInitLocal1P extends VerifyInitLocal {
  26           private boolean verified;
  27           public VerifyInitLocal1P() { verified = true; }
  28           public boolean verify() { return verified; }
  29         }
  30 */
  31 
  32 super class jit/verifier/VerifyInitLocal/VerifyInitLocal1P
  33         extends jit/verifier/VerifyInitLocal/VerifyInitLocal
  34 {
  35 
  36 private Field verified:Z;
  37 
  38 public Method "<init>":"()V"
  39         stack 2 locals 1
  40 {
  41                 // Early initialization to local field must succeed:
  42                 aload_0;
  43                 iconst_1;
  44                 putfield        Field verified:"Z";   //NEEDED
  45 
  46                 aload_0;
  47                 invokespecial   Method jit/verifier/VerifyInitLocal/VerifyInitLocal."<init>":"()V";
  48                 return;
  49 }
  50 
  51 public Method verify:"()Z"
  52         stack 1 locals 1
  53 {
  54                 aload_0;
  55                 getfield        Field verified:"Z";
  56                 ireturn;
  57 }
  58 
  59 } // end Class VerifyInitLocal1P