Home | History | Annotate | Download | only in xor_int_lit16 
      1 /*
      2  * Copyright (C) 2008 The Android Open Source Project
      3  *
      4  * Licensed under the Apache License, Version 2.0 (the "License");
      5  * you may not use this file except in compliance with the License.
      6  * You may obtain a copy of the License at
      7  *
      8  *      http://www.apache.org/licenses/LICENSE-2.0
      9  *
     10  * Unless required by applicable law or agreed to in writing, software
     11  * distributed under the License is distributed on an "AS IS" BASIS,
     12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     13  * See the License for the specific language governing permissions and
     14  * limitations under the License.
     15  */
     16 
     17 package dot.junit.opcodes.xor_int_lit16;
     18 
     19 import dot.junit.DxTestCase;
     20 import dot.junit.DxUtil;
     21 import dot.junit.opcodes.xor_int_lit16.d.T_xor_int_lit16_1;
     22 import dot.junit.opcodes.xor_int_lit16.d.T_xor_int_lit16_2;
     23 import dot.junit.opcodes.xor_int_lit16.d.T_xor_int_lit16_3;
     24 import dot.junit.opcodes.xor_int_lit16.d.T_xor_int_lit16_4;
     25 import dot.junit.opcodes.xor_int_lit16.d.T_xor_int_lit16_7;
     26 
     27 public class Test_xor_int_lit16 extends DxTestCase {
     28     /**
     29      * @title Arguments = 15, 8
     30      */
     31     public void testN1() {
     32          T_xor_int_lit16_1 t = new T_xor_int_lit16_1();
     33          assertEquals(7, t.run());
     34      }
     35 
     36     /**
     37      * @title Arguments = 0xfffffff8, 0xfff1
     38      */
     39     public void testN2() {
     40          T_xor_int_lit16_2 t = new T_xor_int_lit16_2();
     41          assertEquals(9, t.run());
     42      }
     43 
     44     /**
     45      * @title Type of argument - float. Dalvik doens't distinguish 32-bits types internally,
     46      * so this (float ^ int) makes no sense but shall not crash the VM.
     47      */
     48     public void testN3() {
     49         T_xor_int_lit16_7 t = new T_xor_int_lit16_7();
     50         try {
     51             t.run(3.14f);
     52         } catch (Throwable e) {
     53         }
     54     }
     55 
     56     /**
     57      * @title Arguments = 0, -1
     58      */
     59     public void testB1() {
     60         T_xor_int_lit16_3 t = new T_xor_int_lit16_3();
     61             assertEquals(-1, t.run());
     62     }
     63 
     64     /**
     65      * @title Arguments = Integer.MAX_VALUE, Short.MIN_VALUE
     66      */
     67     public void testB2() {
     68         T_xor_int_lit16_4 t = new T_xor_int_lit16_4();
     69             assertEquals(-2147450881, t.run());
     70     }
     71 
     72 
     73 
     74 
     75     /**
     76      * @constraint B1
     77      * @title types of arguments - long & int
     78      */
     79     public void testVFE1() {
     80         try {
     81             Class.forName("dot.junit.opcodes.xor_int_lit16.d.T_xor_int_lit16_5");
     82             fail("expected a verification exception");
     83         } catch (Throwable t) {
     84             DxUtil.checkVerifyException(t);
     85         }
     86     }
     87 
     88     /**
     89      * @constraint B1
     90      * @title  types of arguments - reference & int
     91      */
     92     public void testVFE2() {
     93         try {
     94             Class.forName("dot.junit.opcodes.xor_int_lit16.d.T_xor_int_lit16_6");
     95             fail("expected a verification exception");
     96         } catch (Throwable t) {
     97             DxUtil.checkVerifyException(t);
     98         }
     99     }
    100 
    101     /**
    102      * @constraint A23
    103      * @title  number of registers
    104      */
    105     public void testVFE3() {
    106         try {
    107             Class.forName("dot.junit.opcodes.xor_int_lit16.d.T_xor_int_lit16_8");
    108             fail("expected a verification exception");
    109         } catch (Throwable t) {
    110             DxUtil.checkVerifyException(t);
    111         }
    112     }
    113 }
    114