Home | History | Annotate | Download | only in xor_int_lit8 
      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_lit8;
     18 
     19 import dot.junit.DxTestCase;
     20 import dot.junit.DxUtil;
     21 import dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_1;
     22 import dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_2;
     23 import dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_3;
     24 import dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_4;
     25 import dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_7;
     26 
     27 public class Test_xor_int_lit8 extends DxTestCase {
     28     /**
     29      * @title Arguments = 15, 8
     30      */
     31     public void testN1() {
     32          T_xor_int_lit8_1 t = new T_xor_int_lit8_1();
     33          assertEquals(7, t.run());
     34      }
     35 
     36     /**
     37      * @title Arguments = 0xfffffff8, 0xf1 (will be sign extended)
     38      */
     39     public void testN2() {
     40          T_xor_int_lit8_2 t = new T_xor_int_lit8_2();
     41          assertEquals(9, t.run());
     42      }
     43 
     44     /**
     45      * @title Arguments = 0, -1
     46      */
     47     public void testB1() {
     48         T_xor_int_lit8_3 t = new T_xor_int_lit8_3();
     49             assertEquals(-1, t.run());
     50     }
     51 
     52     /**
     53      * @title Arguments = Integer.MAX_VALUE, Byte.MIN_VALUE
     54      */
     55     public void testB2() {
     56         T_xor_int_lit8_4 t = new T_xor_int_lit8_4();
     57             assertEquals(-2147483521, t.run());
     58     }
     59 
     60 
     61 
     62     /**
     63      * @constraint B1
     64      * @title types of arguments - long, int
     65      */
     66     public void testVFE1() {
     67         try {
     68             Class.forName("dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_5");
     69             fail("expected a verification exception");
     70         } catch (Throwable t) {
     71             DxUtil.checkVerifyException(t);
     72         }
     73     }
     74 
     75     /**
     76      * @constraint B1
     77      * @title  types of arguments - reference, int
     78      */
     79     public void testVFE2() {
     80         try {
     81             Class.forName("dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_6");
     82             fail("expected a verification exception");
     83         } catch (Throwable t) {
     84             DxUtil.checkVerifyException(t);
     85         }
     86     }
     87 
     88     /**
     89      * @constraint A23
     90      * @title  number of registers
     91      */
     92     public void testVFE3() {
     93         try {
     94             Class.forName("dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_8");
     95             fail("expected a verification exception");
     96         } catch (Throwable t) {
     97             DxUtil.checkVerifyException(t);
     98         }
     99     }
    100 
    101     /**
    102      * @constraint B1
    103      * @title Type of argument - float. The verifier checks that ints
    104      * and floats are not used interchangeably.
    105      */
    106     public void testVFE4() {
    107         try {
    108             Class.forName("dot.junit.opcodes.xor_int_lit8.d.T_xor_int_lit8_7");
    109             fail("expected a verification exception");
    110         } catch (Throwable t) {
    111             DxUtil.checkVerifyException(t);
    112         }
    113     }
    114 }
    115