1 data = R0x2000;

     2 text = LOAD ?RXO;

     3 # Test Null

     4 text: .text%VerifyFixClassname;

     5 text: .text%VerifyClassname;

     6 text: .text%skip_over_fieldname: OUTPUTDIR/tmp/java/verify/obj/check_format.o;

     7 text: .text%skip_over_field_signature: OUTPUTDIR/tmp/java/verify/obj/check_format.o;

     8 text: .text%VerifyClass;

     9 text: .text%make_class_info_from_name: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    10 text: .text%class_name_to_ID: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    11 text: .text%make_class_info: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    12 text: .text%free_block: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    13 text: .text%verify_method: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    14 text: .text%verify_opcode_operands: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    15 text: .text%initialize_dataflow: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    16 text: .text%signature_to_fieldtype: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    17 text: .text%check_register_values: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    18 text: .text%pop_stack: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    19 text: .text%update_registers: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    20 text: .text%push_stack: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    21 text: .text%merge_into_successors: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    22 text: .text%cp_index_to_class_fullinfo: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    23 text: .text%set_protected: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    24 text: .text%merge_into_one_successor: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    25 text: .text%merge_registers: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    26 # Test Exit

    27 # Test Hello

    28 text: .text%merge_fullinfo_types: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    29 text: .text%isAssignableTo: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    30 # Test Sleep

    31 text: .text%isLegalTarget: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    32 text: .text%verify_constant_pool_type: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    33 # Test IntToString

    34 # Test LoadToolkit

    35 # Test LoadFrame

    36 # Test LoadJFrame

    37 # Test JHello

    38 # SwingSet

    39 text: .text%copy_stack: OUTPUTDIR/tmp/java/verify/obj/check_code.o;

    40 text: .text%ntohl: OUTPUTDIR/tmp/java/verify/obj/check_code.o;