mono/tests/verifier/ChangeLog

   1 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
   2
   3         * make_test.sh: added tests for castclass and isinst
   4         * make_cast_test.sh: new test generator
   5
   6 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
   7
   8         * make_test.sh: added tests for stelem.X
   9         * make_stelem_test.sh: new test generator
  10
  11 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
  12
  13         * make_test.sh: added tests for ldelem
  14
  15 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
  16
  17         * make_test.sh: fixed compilation issues with some tests.
  18
  19 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
  20
  21         * make_test.sh: added tests for ldelem.X
  22         * make_ldelem_test.sh: new test generator
  23
  24 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
  25
  26         * make_test.sh: added tests for ldelema
  27         * make_ldelema_test.sh: new test generator
  28
  29 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
  30
  31         * make_test.sh: added tests for ldlen
  32         * make_ldlen_test.sh: new test generator
  33
  34 2007-10-26 Rodrigo Kumpera <rkumpera@novell.com>
  35
  36         * valid_array_method.cs: test for invoking array methods.
  37
  38 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
  39
  40         * make_tests.sh: tests for the return type of the invoked method.
  41         tests for passing typedbyref as param.
  42
  43         * make_obj_store_test.sh: add new optional script parameter to tell
  44         if class fields should be generated. This fix some bogus tests using
  45         typedbyref.
  46
  47 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
  48         * make_tests.sh: unbox_byref_like test was flawed, it was not testing
  49         the proper unverifable condition.
  50
  51 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
  52
  53         * make_unary_test.sh: fixed an invalid struct that has no fields,
  54         this was not the subject of the tests.
  55         * make_newobj_test.sh: added, generate tests for newobj.
  56         * make_tests.sh: added the new tests for newobj and some corner
  57         cases of local/arg load/store.
  58
  59
  60 2007-10-04 Rodrigo Kumpera <rkumpera@novell.com>
  61
  62         * make_store_indirect_test.sh: added, generate tests for stind.X.
  63         * make_tests.sh: added the new tests for ldind.X.
  64
  65 2007-10-02 Rodrigo Kumpera <rkumpera@novell.com>
  66
  67         * make_tests.sh: added the new tests for ops mixing Int32 and IntPtr, disabled
  68         the overlapped tests for now
  69         * make_unary_test.sh: disabled the overlapped tests for now
  70         * make_field_store_test.sh: sames
  71
  72 2007-09-27 Rodrigo Kumpera <rkumpera@novell.com>
  73
  74         * make_load_indirect_test.sh: added, generate tests for ldind.X.
  75         * make_tests.sh: added the new tests for ldind.X and new tests for stloc/starg using
  76         native int and int32.
  77
  78 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
  79
  80         * valid_load_addr.il: Tests for valid uses of ldarga and ldloca
  81         * make_double_nesting_test.sh: Generate tests for calling nested classes from a diferent outer class
  82
  83 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
  84
  85         * valid_generic_params.cs (added): Tests for valid use of generic types.
  86         * Makedfile: added valid_generic_params.cs
  87
  88 2007-08-16 Rodrigo Kumpera <rkumpera@novell.com>
  89
  90         * make_newarr_test.sh (added):  Generate newarr related tests.
  91         * make_tests.sh: Addes tests for newarr.
  92
  93
  94 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
  95
  96         * make_unbox_test.sh (added):  Generate unbox related tests.
  97         * make_tests.sh: Addes tests for unbox.
  98
  99
 100 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 101
 102         * make_ldobj_test.sh (added):  Generate ldobj related tests.
 103         * make_tests.sh: Addes tests for ldobj.
 104
 105 2007-08-13 Rodrigo Kumpera <rkumpera@novell.com>
 106
 107         * make_ldtoken_test.sh (added):  Generate ldtoken related tests
 108         * make_tests.sh: Addes tests for ldtoken, conv.*.* and visibility checks
 109         for nested classes mixed with inheritance
 110
 111 2007-08-10 Rodrigo Kumpera <rkumpera@novell.com>
 112
 113         * make_test.sh: Added new visibility tests and not/neg tests
 114         * make_cross_nested_access_test.sh: new test script for visibility
 115         between two classes nested in the same class
 116         * unverifiable_ldsfld_no_fld.il: added main method
 117         * make_unary_test.sh: added some types to make room for more tests
 118         * make_exception_branch_test.sh: fix the test to trigger the right error
 119
 120
 121 2007-08-02 Rodrigo Kumpera <rkumpera@novell.com>
 122
 123         * make_exception_branch_test.sh: Fix the generation of the tests, so only
 124         branching problems are validated.
 125
 126 2007-07-20 Rodrigo Kumpera <rkumpera@novell.com>
 127
 128         * make_test.sh: added more visibility tests
 129         * Makefile: changed again the clean target to work with the larger number of tests
 130         * make_self_nested_test.sh: new visibility tests
 131
 132 2007-07-19 Rodrigo Kumpera <rkumpera@novell.com>
 133
 134         * make_test.sh: added reference compatibility tests
 135
 136 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 137
 138         * AssemblyRunner.cs: bug fix: handles missing fields corrently
 139         * make_test.sh: correct some tests based on fixed AssemblyRunner
 140
 141 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 142
 143         * AssemblyRunner.cs: Allow running the test suite from the same VM instance
 144         * make_tests.sh: improved the test-suite, now it works running under a VM, not just the verifier
 145         * unverifiable_ldflda_other_class_on_simple_method.il: same
 146         * unverifiable_ptr_nop.il: same
 147         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 148         * make_load_test.sh: same
 149         * make_stack_0_test.sh: same
 150         * make_obj_store_test.sh: same
 151         * unverifiable_m_ptr_ldloc.il: same
 152         * make_ret_test.sh: same
 153         * make_store_test.sh: same
 154         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 155         * make_access_test.sh: same
 156         * unverifiable_ptr_ldloc.il: same
 157         * invalid_call_no_method.il: same
 158         * unverifiable_ldsfld_no_fld.il: same
 159         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 160         * unverifiable_m_ptr_ldarg.il: same
 161         * make_stack_merge_test.sh: same
 162         * unverifiable_stack_2_ret.il: same
 163         * unverifiable_ldflda_other_class_field_on_ctor.il: same
 164         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 165         * make_field_store_test.sh: same
 166         * invalid_backward_branch.il: same
 167         * unverifiable_ldfld_initonly.il: same
 168         * make_nested_access_test.sh: same
 169         * invalid_stack_2_ret.il: same
 170         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 171         * unverifiable_ptr_ldarg.il: same
 172         * valid_fld_initonly.il: same
 173         * make_bin_test.sh: same
 174         * make_field_valuetype_test.sh: new tests
 175
 176
 177 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 178
 179         * make_tests.sh: new access verification tests
 180         * make_access_test.sh: create member access test
 181         * make_nested_access_tests.sh: create nested member access test
 182
 183 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 184
 185         *make_tests.sh: fixed two tests to produce valid results with .net
 186         *make_field_test.sh: make fields public
 187
 188 2007-06-22  Rodrigo Kumpera  <kumpera@gmail.com>
 189
 190         * unverifiable_ldflda_other_class_on_simple_method.il: test for load field address in .ctor
 191         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 192         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 193         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 194         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 195         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 196         * valid_ldflda_owned_field_on_cctor.il: same
 197         * valid_ldsflda_owned_field_on_cctor.il: same
 198         * valid_local_ref_ref_store.il: valid local store that was not covered before
 199         * unverifiable_ptr_nop.il:  unmanaged pointer ops
 200         * unverifiable_ptr_ldloc.il: same
 201         * unverifiable_ptr_ldarg.il: same
 202         * unverifiable_m_ptr_ldloc.il: same
 203         * unverifiable_m_ptr_ldarg.il: same
 204
 205 2007-06-20  Rodrigo Kumpera  <kumpera@gmail.com>
 206
 207         *make_tests.sh: new ldsfld tests, more call conv tests
 208
 209 2007-06-19  Rodrigo Kumpera  <kumpera@gmail.com>
 210
 211         *make_tests.sh: new ldfld tests (they check everything but visibility)
 212         *make_field_store_test.sh: generated the new field tests
 213
 214 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 215
 216         * invalid_dup_maxstack.il: the test wasn't generating the failing condition
 217         * make_tests.sh: fixed the generation of stack merge tests and a typo on the return coercion tests
 218         * unverifiable_ldfld_initonly.il: add assembly manifest (so it tests the right thing)
 219         * invalid_stack_2_ret.il: fix the entry point
 220
 221 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 222
 223         * invalid_call_empty_stack.il: added assembly manifest (so it tests the right thing)
 224         * invalid_ldsfld_nonstatic_fld.il: same
 225         * invalid_dup_maxstack.il: same
 226         * invalid_ldsfld_no_fld.il: same
 227         * unverifiable_call_private.il: same
 228         * invalid_backward_branch.il: same
 229         * make_unary_test.sh: same
 230         * invalid_ldloc_no_local.il: same
 231         * make_obj_store_test.sh: added static field to have stsfld tests
 232         * make_store_test.sh: fixed the entrypoint
 233         * make_tests.sh: fixed tests to be faithfull to the spec
 234
 235 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 236
 237         *Changelog: fixed the dates of my commits
 238
 239 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 240
 241         *make_load_test.sh: Fixed the entrypoint to generate valid code
 242         *make_ret_test.sh: Fixed the entrypoint to generate valid code. Removed invalid generics classes
 243         *make_tests.sh: Fixed the testsuite to not generate wrong tests
 244         *Makefile: split the clean step as it was failing due to the huge file list
 245          (it might need further tweaking as the testsuite grows)
 246
 247 2007-06-12  Rodrigo Kumpera  <kumpera@gmail.com>
 248
 249         * make_tests.sh: New boolean branch tests
 250         * make_bool_branch_test.sh: Test the stack value that boolean branches use (brfalse / brtrue)
 251         * make_ret_test.sh: removed unused variable from sed expression
 252
 253 2007-06-06  Rodrigo Kumpera  <kumpera@gmail.com>
 254
 255         * Makefile (run-test): Make it use pedump instead of mono for validation
 256         * make_tests.sh: New tests
 257         * invalid_stack_2_tet.il: New test
 258         * make_ret_test.sh: New test script
 259         * make_load_test.sh: New test script
 260         * make_obj_store_test.sh: Test did not generate valid code for some cases
 261         * make_store_test.sh: Test did not generate valid code for some cases
 262
 263 2006-06-06  Zoltan Varga  <vargaz@gmail.com>
 264
 265         * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target.
 266
 267         * make_tests.sh: Remove some stack merge tests which are verifiable.
 268
 269         * make_unary_test.sh *.cil Makefile: Change extension of all static and generated
 270         test files to the standard .il.
 271
 272 2006-05-25  Zoltan Varga  <vargaz@gmail.com>
 273
 274         * *.sh: Fix more verification problems.
 275
 276         * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method.
 277
 278 2006-05-23  Zoltan Varga  <vargaz@gmail.com>
 279
 280         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix
 281         more ilasm and verification problems.
 282
 283         * TestRunner.cs: New file.
 284
 285 2006-05-12  Zoltan Varga  <vargaz@gmail.com>
 286
 287         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make
 288         valuetypes sealed to fix ilasm warnings.
 289
 290 Sun Mar 12 16:18:04 CET 2006 Paolo Molaro <lupus@ximian.com>
 291
 292         * Initial import of the verifiers tests developed by
 293         Jim Purbrick <babbage@lindenlab.com>.
 294