mono/tests/verifier/ChangeLog

   1 2007-12-21 Rodrigo Kumpera <rkumpera@novell.com>
   2
   3         * make_branch_test.sh: new test generator.
   4
   5         * make_exception_branch_test.sh: added
   6         support to test generator to specify
   7         the expected result.
   8
   9         * make_tests.sh: some results for
  10         make_exception_branch_test.sh were
  11         wrong, fixed that.
  12
  13         * make_tests.sh: added some tests
  14         to beq and bge.
  15
  16         * make_tests.sh added tests for br.
  17
  18 2007-12-20 Rodrigo Kumpera <rkumpera@novell.com>
  19
  20         * valid_exception_sequence.il: new test
  21         for what blocks take an exception on
  22         stack at the begin.
  23
  24 2007-12-19 Rodrigo Kumpera <rkumpera@novell.com>
  25
  26         * invalid_empty_catch_block.il
  27         * invalid_empty_fault_block.il
  28         * invalid_empty_filter_block.il
  29         * invalid_empty_finally_block.il
  30         * invalid_empty_handler_block.il
  31         * invalid_empty_try_block.il
  32         tests for empty protected blocks.
  33
  34         * invalid_exception_blocks_order.il:
  35         test for the required ordering of exception
  36         clauses.
  37
  38         * invalid_finally_block_overlap_try_block.il
  39         * invalid_try_block_includes_catch_block.il
  40         * invalid_try_block_inside_filter_block.il
  41         tests for ill formed exception clauses.
  42
  43         * invalid_fallout_of_filter_block.il
  44         * invalid_fallout_of_handler_block.il
  45         * invalid_fallthru_into_filter_block.il
  46         * invalid_fallthru_into_handler_block.il
  47         * unverifiable_fallout_of_catch_block.il
  48         * unverifiable_fallout_of_fault_block.il
  49         * unverifiable_fallout_of_finally_block.il
  50         * unverifiable_fallout_of_try_block.il
  51         * unverifiable_fallthru_into_catch_block.il
  52         * unverifiable_fallthru_into_fault_block.il
  53         * unverifiable_fallthru_into_finally_block.il
  54         * valid_end_try_block_with_throw.il:
  55         tests for fallthru in and out of protected blocks.
  56
  57 2007-12-18 Rodrigo Kumpera <rkumpera@novell.com>
  58
  59         * make_test.sh: added tests for filter
  60
  61         * make_filter_test.sh: new test generator
  62
  63 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
  64
  65         * make_test.sh: added tests for endfilter
  66
  67         * make_endfilter_test.sh: new test generator
  68
  69 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
  70
  71         * Makefile: add support to check strict tests.
  72
  73         * AssemblyRunner.cs: start using peverify as part of the
  74         process. Support for strict tests.
  75
  76 2007-12-12 Rodrigo Kumpera <rkumpera@novell.com>
  77
  78         * invalid_filter_ends_at_endfilter_1.il: tests if the
  79         filter block is limited by the start of the associated
  80         handler clause or it is limited by the ocurrence of
  81         endfilter. These 3 tests show that even if the endfilter
  82         instruction must be the last, it doesn't define the end
  83         of the filter block.
  84
  85         * invalid_filter_ends_at_endfilter_2.il: same
  86
  87         * invalid_filter_ends_at_endfilter_3.il: same
  88
  89         * make_test.sh: added tests for endfinally / endfault
  90         * make_endfinally_test.sh: new test generator
  91
  92 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
  93
  94         * make_test.sh: added tests for rethrow
  95         * make_rethrow_test.sh: new test generator
  96
  97 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
  98
  99         * make_test.sh: added tests for throw
 100         * make_throw_test.sh: new test generator
 101
 102 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
 103
 104         * make_test.sh: added tests for castclass and isinst
 105         * make_cast_test.sh: new test generator
 106
 107 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
 108
 109         * make_test.sh: added tests for stelem.X
 110         * make_stelem_test.sh: new test generator
 111
 112 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 113
 114         * make_test.sh: added tests for ldelem
 115
 116 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 117
 118         * make_test.sh: fixed compilation issues with some tests.
 119
 120 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 121
 122         * make_test.sh: added tests for ldelem.X
 123         * make_ldelem_test.sh: new test generator
 124
 125 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
 126
 127         * make_test.sh: added tests for ldelema
 128         * make_ldelema_test.sh: new test generator
 129
 130 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
 131
 132         * make_test.sh: added tests for ldlen
 133         * make_ldlen_test.sh: new test generator
 134
 135 2007-10-26 Rodrigo Kumpera <rkumpera@novell.com>
 136
 137         * valid_array_method.cs: test for invoking array methods.
 138
 139 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 140
 141         * make_tests.sh: tests for the return type of the invoked method.
 142         tests for passing typedbyref as param.
 143
 144         * make_obj_store_test.sh: add new optional script parameter to tell
 145         if class fields should be generated. This fix some bogus tests using
 146         typedbyref.
 147
 148 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 149         * make_tests.sh: unbox_byref_like test was flawed, it was not testing
 150         the proper unverifable condition.
 151
 152 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 153
 154         * make_unary_test.sh: fixed an invalid struct that has no fields,
 155         this was not the subject of the tests.
 156         * make_newobj_test.sh: added, generate tests for newobj.
 157         * make_tests.sh: added the new tests for newobj and some corner
 158         cases of local/arg load/store.
 159
 160
 161 2007-10-04 Rodrigo Kumpera <rkumpera@novell.com>
 162
 163         * make_store_indirect_test.sh: added, generate tests for stind.X.
 164         * make_tests.sh: added the new tests for ldind.X.
 165
 166 2007-10-02 Rodrigo Kumpera <rkumpera@novell.com>
 167
 168         * make_tests.sh: added the new tests for ops mixing Int32 and IntPtr, disabled
 169         the overlapped tests for now
 170         * make_unary_test.sh: disabled the overlapped tests for now
 171         * make_field_store_test.sh: sames
 172
 173 2007-09-27 Rodrigo Kumpera <rkumpera@novell.com>
 174
 175         * make_load_indirect_test.sh: added, generate tests for ldind.X.
 176         * make_tests.sh: added the new tests for ldind.X and new tests for stloc/starg using
 177         native int and int32.
 178
 179 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
 180
 181         * valid_load_addr.il: Tests for valid uses of ldarga and ldloca
 182         * make_double_nesting_test.sh: Generate tests for calling nested classes from a diferent outer class
 183
 184 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
 185
 186         * valid_generic_params.cs (added): Tests for valid use of generic types.
 187         * Makedfile: added valid_generic_params.cs
 188
 189 2007-08-16 Rodrigo Kumpera <rkumpera@novell.com>
 190
 191         * make_newarr_test.sh (added):  Generate newarr related tests.
 192         * make_tests.sh: Addes tests for newarr.
 193
 194
 195 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 196
 197         * make_unbox_test.sh (added):  Generate unbox related tests.
 198         * make_tests.sh: Addes tests for unbox.
 199
 200
 201 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 202
 203         * make_ldobj_test.sh (added):  Generate ldobj related tests.
 204         * make_tests.sh: Addes tests for ldobj.
 205
 206 2007-08-13 Rodrigo Kumpera <rkumpera@novell.com>
 207
 208         * make_ldtoken_test.sh (added):  Generate ldtoken related tests
 209         * make_tests.sh: Addes tests for ldtoken, conv.*.* and visibility checks
 210         for nested classes mixed with inheritance
 211
 212 2007-08-10 Rodrigo Kumpera <rkumpera@novell.com>
 213
 214         * make_test.sh: Added new visibility tests and not/neg tests
 215         * make_cross_nested_access_test.sh: new test script for visibility
 216         between two classes nested in the same class
 217         * unverifiable_ldsfld_no_fld.il: added main method
 218         * make_unary_test.sh: added some types to make room for more tests
 219         * make_exception_branch_test.sh: fix the test to trigger the right error
 220
 221
 222 2007-08-02 Rodrigo Kumpera <rkumpera@novell.com>
 223
 224         * make_exception_branch_test.sh: Fix the generation of the tests, so only
 225         branching problems are validated.
 226
 227 2007-07-20 Rodrigo Kumpera <rkumpera@novell.com>
 228
 229         * make_test.sh: added more visibility tests
 230         * Makefile: changed again the clean target to work with the larger number of tests
 231         * make_self_nested_test.sh: new visibility tests
 232
 233 2007-07-19 Rodrigo Kumpera <rkumpera@novell.com>
 234
 235         * make_test.sh: added reference compatibility tests
 236
 237 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 238
 239         * AssemblyRunner.cs: bug fix: handles missing fields corrently
 240         * make_test.sh: correct some tests based on fixed AssemblyRunner
 241
 242 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 243
 244         * AssemblyRunner.cs: Allow running the test suite from the same VM instance
 245         * make_tests.sh: improved the test-suite, now it works running under a VM, not just the verifier
 246         * unverifiable_ldflda_other_class_on_simple_method.il: same
 247         * unverifiable_ptr_nop.il: same
 248         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 249         * make_load_test.sh: same
 250         * make_stack_0_test.sh: same
 251         * make_obj_store_test.sh: same
 252         * unverifiable_m_ptr_ldloc.il: same
 253         * make_ret_test.sh: same
 254         * make_store_test.sh: same
 255         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 256         * make_access_test.sh: same
 257         * unverifiable_ptr_ldloc.il: same
 258         * invalid_call_no_method.il: same
 259         * unverifiable_ldsfld_no_fld.il: same
 260         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 261         * unverifiable_m_ptr_ldarg.il: same
 262         * make_stack_merge_test.sh: same
 263         * unverifiable_stack_2_ret.il: same
 264         * unverifiable_ldflda_other_class_field_on_ctor.il: same
 265         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 266         * make_field_store_test.sh: same
 267         * invalid_backward_branch.il: same
 268         * unverifiable_ldfld_initonly.il: same
 269         * make_nested_access_test.sh: same
 270         * invalid_stack_2_ret.il: same
 271         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 272         * unverifiable_ptr_ldarg.il: same
 273         * valid_fld_initonly.il: same
 274         * make_bin_test.sh: same
 275         * make_field_valuetype_test.sh: new tests
 276
 277
 278 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 279
 280         * make_tests.sh: new access verification tests
 281         * make_access_test.sh: create member access test
 282         * make_nested_access_tests.sh: create nested member access test
 283
 284 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 285
 286         *make_tests.sh: fixed two tests to produce valid results with .net
 287         *make_field_test.sh: make fields public
 288
 289 2007-06-22  Rodrigo Kumpera  <kumpera@gmail.com>
 290
 291         * unverifiable_ldflda_other_class_on_simple_method.il: test for load field address in .ctor
 292         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 293         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 294         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 295         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 296         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 297         * valid_ldflda_owned_field_on_cctor.il: same
 298         * valid_ldsflda_owned_field_on_cctor.il: same
 299         * valid_local_ref_ref_store.il: valid local store that was not covered before
 300         * unverifiable_ptr_nop.il:  unmanaged pointer ops
 301         * unverifiable_ptr_ldloc.il: same
 302         * unverifiable_ptr_ldarg.il: same
 303         * unverifiable_m_ptr_ldloc.il: same
 304         * unverifiable_m_ptr_ldarg.il: same
 305
 306 2007-06-20  Rodrigo Kumpera  <kumpera@gmail.com>
 307
 308         *make_tests.sh: new ldsfld tests, more call conv tests
 309
 310 2007-06-19  Rodrigo Kumpera  <kumpera@gmail.com>
 311
 312         *make_tests.sh: new ldfld tests (they check everything but visibility)
 313         *make_field_store_test.sh: generated the new field tests
 314
 315 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 316
 317         * invalid_dup_maxstack.il: the test wasn't generating the failing condition
 318         * make_tests.sh: fixed the generation of stack merge tests and a typo on the return coercion tests
 319         * unverifiable_ldfld_initonly.il: add assembly manifest (so it tests the right thing)
 320         * invalid_stack_2_ret.il: fix the entry point
 321
 322 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 323
 324         * invalid_call_empty_stack.il: added assembly manifest (so it tests the right thing)
 325         * invalid_ldsfld_nonstatic_fld.il: same
 326         * invalid_dup_maxstack.il: same
 327         * invalid_ldsfld_no_fld.il: same
 328         * unverifiable_call_private.il: same
 329         * invalid_backward_branch.il: same
 330         * make_unary_test.sh: same
 331         * invalid_ldloc_no_local.il: same
 332         * make_obj_store_test.sh: added static field to have stsfld tests
 333         * make_store_test.sh: fixed the entrypoint
 334         * make_tests.sh: fixed tests to be faithfull to the spec
 335
 336 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 337
 338         *Changelog: fixed the dates of my commits
 339
 340 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 341
 342         *make_load_test.sh: Fixed the entrypoint to generate valid code
 343         *make_ret_test.sh: Fixed the entrypoint to generate valid code. Removed invalid generics classes
 344         *make_tests.sh: Fixed the testsuite to not generate wrong tests
 345         *Makefile: split the clean step as it was failing due to the huge file list
 346          (it might need further tweaking as the testsuite grows)
 347
 348 2007-06-12  Rodrigo Kumpera  <kumpera@gmail.com>
 349
 350         * make_tests.sh: New boolean branch tests
 351         * make_bool_branch_test.sh: Test the stack value that boolean branches use (brfalse / brtrue)
 352         * make_ret_test.sh: removed unused variable from sed expression
 353
 354 2007-06-06  Rodrigo Kumpera  <kumpera@gmail.com>
 355
 356         * Makefile (run-test): Make it use pedump instead of mono for validation
 357         * make_tests.sh: New tests
 358         * invalid_stack_2_tet.il: New test
 359         * make_ret_test.sh: New test script
 360         * make_load_test.sh: New test script
 361         * make_obj_store_test.sh: Test did not generate valid code for some cases
 362         * make_store_test.sh: Test did not generate valid code for some cases
 363
 364 2006-06-06  Zoltan Varga  <vargaz@gmail.com>
 365
 366         * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target.
 367
 368         * make_tests.sh: Remove some stack merge tests which are verifiable.
 369
 370         * make_unary_test.sh *.cil Makefile: Change extension of all static and generated
 371         test files to the standard .il.
 372
 373 2006-05-25  Zoltan Varga  <vargaz@gmail.com>
 374
 375         * *.sh: Fix more verification problems.
 376
 377         * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method.
 378
 379 2006-05-23  Zoltan Varga  <vargaz@gmail.com>
 380
 381         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix
 382         more ilasm and verification problems.
 383
 384         * TestRunner.cs: New file.
 385
 386 2006-05-12  Zoltan Varga  <vargaz@gmail.com>
 387
 388         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make
 389         valuetypes sealed to fix ilasm warnings.
 390
 391 Sun Mar 12 16:18:04 CET 2006 Paolo Molaro <lupus@ximian.com>
 392
 393         * Initial import of the verifiers tests developed by
 394         Jim Purbrick <babbage@lindenlab.com>.
 395