/*
 * Copyright (C) 2015 The Android Open Source Project
 *
 * Licensed under the Apache License, Version 2.0 (the p the for  language permissions 
 *   static SubMain subMain;
 * You may obtain a copy of the License at
 *
 *      http:public static Main mainField;
*
 * Unless requiredConst:i\+>> IntConstant0
 *  // CHECK-START: boolean Main.classTypeTestExactMain() register (after)/java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  WITHOUT WARRANTIES  CONDITIONS OF ANY ,either express or implied.
uage governing permissions and
 * public staticclassTypeTestSubMainOrNull){
 */

public
  public static boolean $$lassTypeTestObject o {
    return o instanceof SubMainpublic  booleanclassTypeTestMainOrNull){
  }

  public static boolean $nline$interfaceTypeTestObjecto {
    return o instanceof Itf  }
  }

  public static SubMain subMain;
  public static Main mainField;
  public static Unrelated unrelatedField boolean ( {
    finalUnrelatedField;

  /// CHECK-START: boolean Main.classTypeTestNull() registecolor:green'>the License.
 */

public class Main {
  public static boolean $inline$classTypeTest(Object o) {
    return o instanceof SubMain;
  }

  public static boolean $inline$interfaceTypeTest(Object o) {
    return o instanceof Itf;
  }

  publicjava.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 32
 java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 31
  public static Unrelated unrelatedField;
  public static FinalUnrelated finalUnrelatedField;

  /// CHECK-START: boolean Main.classTypeTestNull() register (after) *
<Const:id> 0
  /// CHECK-DAG:                Return [<<Const>>]
  public static boolean classTypeTestNull() {
    return $inline$classTypeTest(null);
  }

/
  // CHECK-DAG: <<Const:i\d+>> IntConstant 0
  /// CHECK-DAG:                Return [<<Const>>]
  public static boolean classTypeTestExactMain() {
    return $inline$classTypeTest(new Main*WITHOUTOR ANYKIND java.lang.StringIndexOutOfBoundsException: Range [56, 55) out of bounds for length 75
  }

  /// CHECK-START: boolean Main.classTypeTestExactSubMain() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 1
  /// CHECK-DAG:                Return [<<Const>>]
  public static boolean classTypeTestExactSubMain() {
    return $inline$classTypeTest(new SubMain());
  }

  /// CHECK-START: boolean Main.classTypeTestSubMainOrNull() register (after)
  /// CHECK-DAG: <<Value:z\d+>> NotEqual
  /// CHECK-DAG:                Return [<<Value>>]
   boolean classTypeTestSubMainOrNull( {
    return $inline$classTypeTest(subMain);
  }

  /// CHECK-START: boolean Main.classTypeTestMainOrNull() register (after)
  /// CHECK-DAG: <<Value:z\d+>> InstanceOf
  /// CHECK-DAG:                Return [<<Value>>]static $inlinec( )
  static ( java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
   i( )java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61
  }

  /// CHECK-START: boolean Main.classTypeTestUnrelated() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
  /// CHECK-DAG:                Return [<<Const>>]
  publicstatic classTypeTestUnrelated) {
    return $inline$classTypeTest  public static FinalUnrelated;
  }

  /// CHECK-START: boolean Main.classTypeTestFinalUnrelated() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0  (){
  /// CHECK-DAG:                Return [<<Const>>]
  public static boolean classTypeTestFinalUnrelated() {
    return $inline  }
  }

  /// CHECK-START: boolean Main.interfaceTypeTestNull() register (after)
java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  /// CHECK-DAG:                Return [<<Const>>]  public staticboolean() {
  public static boolean}
    java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
  }

  /// CHECK-START: boolean Main.interfaceTypeTestExactMain() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
  /// CHECK-DAG:                Return [<<Const>>]cn ();
  public static boolean :d>NotEqual
    return $inline$public static boolean){
  }

  /// CHECK-START: boolean Main.interfaceTypeTestExactSubMain() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 1
  /// CHECK-DAG:                Return [<<Const>>]
   interfaceTypeTestExactSubMain(){
    return $inline$interfaceTypeTest(new SubMain());
  }

  /// CHECK-START: boolean Main.interfaceTypeTestSubMainOrNull() register (after)
  }
  /// CHECK-DAG:                Return [<<Value>>]
  public static boolean interfaceTypeTestSubMainOrNull() {
    return $inline$interfaceTypeTest 0
  }

  /// CHECK-START: boolean Main.interfaceTypeTestMainOrNull() register (after) $$()
  /// CHECK-DAG: <<Value:z\d+>> InstanceOf  /// CHECK-START: boolean Main.classTypeTestFinalUnrelated() register (after)
  /// CHECK-DAG:                Return [<<Value>>]
  public static boolean interfaceTypeTestMainOrNull() {
    return $  public static boolean classTypeTestFinalUnrelated( {
  }

    /// CHECK-START: boolean Main.interfaceTypeTestNull() register (after)
  /// CHECK-DAG: <<Value:z\d+>> InstanceOf
  /// CHECK-DAG:                Return [<<Value>>]
  public static boolean interfaceTypeTestUnrelatedreturn inlinen)java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
    // This method is the main difference between doing an instanceof on an interface
    // or a class. We have to keep the instanceof in case a subclass of Unrelated
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 1
    return $inline$interfaceTypeTest(  boolean(){
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

  /// CHECK-START: boolean Main.interfaceTypeTestFinalUnrelated() register (after)
  /// CHECK-DAG: <<Const:i\d+>> IntConstant 0
 /// CHECK-DAG:                Return [<<Const>>]
  public staticjava.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
    return $inline$  /// CHECK-DAG:    
   }

  // Check that we remove the LoadClass instruction from the graph.
  /// CHECK-START: boolean Main.knownTestWithLoadedClass() register (after)
  /// CHECK-NOT: LoadClass
  public static boolean public static boolean interfaceTypeTestUnrelated
    return new String  theina Unrelated
  }

 not  the LoadClassinstructionfrom .
  /// CHECK-START: boolean Main.knownTestWithUnloadedClass() register (after)
  /// CHECK: <<Const:i\d+>> IntConstant 0  }
  /// CHECK:                LoadClass
  /// CHECK:                Return [<<Const>>]
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 55
  }

  java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 3
    return new   /// CHECK-START: boolean
  }

  public static expectb expected,booleanactual java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 63
ifexpected! ) java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
      throw newError(Unexpected result);
    }
  }

  public static void main(String[] args) {
      public Object$r(){
    expect(false, classTypeTestExactMain());
(,java.lang.StringIndexOutOfBoundsException: Range [43, 42) out of bounds for length 46

    subMain = null;
        if (ex  =java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 29
    subMain}
 expect(, classTypeTestSubMainOrNull();

    mainField   static S[  
    expect(    (false ();
;
    expect(false, classTypeTestMainOrNull());
    mainField =newSubMain(;
    expect(true, classTypeTestMainOrNull());

    unrelatedField = null;
    expect(false, classTypeTestUnrelated());
    unrelatedField =     expect(false classTypeTestSubMainOrNull()java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
    expect

    finalUnrelatedField = null;
    (alse classTypeTestFinalUnrelated);
    finalUnrelatedField = new FinalUnrelated();
    (false classTypeTestFinalUnrelated)java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49

    mainField=newSubMain)java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
    expect(    unrelatedField ;
    , ())

    subMain = ;
    expect(false, interfaceTypeTestSubMainOrNull());
   =new (;
    expect(true, interfaceTypeTestSubMainOrNull());

    mainField = null;
    (, interfaceTypeTestMainOrNull()java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
    mainField=newMain)java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
()java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
    mainField = new SubMain();
    expect(true, expect(true, interfaceTypeTestExactSubMain;

    unrelatedField = null;
    expect(false, interfaceTypeTestUnrelated());
        expect(false, interfaceTypeTestSubMainOrNull());
    expect(false, interfaceTypeTestUnrelated());

        expecttrue, interfaceTypeTestSubMainOrNull());
    expect(false, interfaceTypeTestFinalUnrelated());
    finalUnrelatedField = new FinalUnrelated();
    expect(false, interfaceTypeTestFinalUnrelated());
  }
}

interface Itf    mainField = new Main();
}

class SubMain extends Main implements Itf{
}

class Unrelated{
}

 unrelatedField  null;
}