Invalid IR in python tests
Thanks to my new IR validation (it's not complete yet) I have found several casses of invalid ir:
-
test_otherops.py::test_select
: An EQ specified to be for int<64> but operands are actually int<8> -
test_otherops.py::test_commoninst_pin
: the argument to a STORE is an int<64> but the specified type is int<8> -
test_rpython_dict.py::test_rpython_dict_new_1,test_rpython_dict_lookup,test_rpython_dict_new_100,test_rpython_dict_update
: There is a TRUNC from int<64> to int<64> -
test_rpysom.py
there is an EQ comparison that is labeled as operating on ref<@stt6(struct)>, but one of the arguments is actually a ref<@hyb0(hybrid)>
Interestingly I get errors non-deterministicly. There are more errors, I will update the list as I go through them
Actually there are way more errors, perhaps someone else can fix them (use my new ir-validation branch).
Here is the log of tests that failed (they all use to pass):
test_rpython_compare.py <- util.py:169: test_rpython_int_ne_value PASSED
test_rpython_compare.py <- util.py:169: test_rpython_int_cmp_const_zero_ne_one PASSED
test_rpython_compare.py <- util.py:169: test_rpython_int_cmp_const_zero_eq_one PASSED
test_rpython_compare.py <- util.py:169: test_rpython_int_ge_value PASSED
test_rpython_compare.py <- util.py:169: test_rpython_int_cmp PASSED
test_rpython_compare.py <- util.py:169: test_rpython_int_cmp_const_zero_ne_zero PASSED
test_rpython_compare.py <- util.py:169: test_rpython_int_cmp_zero PASSED
test_rpython_dict.py <- util.py:169: test_rpython_dict_new_1 FAILED
test_rpython_dict.py <- util.py:169: test_rpython_dict_new_empty PASSED
test_rpython_dict.py <- util.py:169: test_rpython_dict_lookup FAILED
test_rpython_dict.py <- util.py:169: test_rpython_dict_new_100 FAILED
test_rpython_dict.py <- util.py:169: test_rpython_dict_update FAILED
test_rpython_list.py <- util.py:169: test_rpython_list_addr_check_length2 FAILED
test_rpython_list.py <- util.py:169: test_rpython_list_append PASSED
test_rpython_list.py <- util.py:169: test_rpython_list_addr_check_length100 FAILED
test_rpython_list.py <- util.py:169: test_rpython_list_addr_check_all10 FAILED
test_rpython_list.py <- util.py:169: test_rpython_list_addr_check_length1 FAILED
test_rpython_list.py <- util.py:169: test_rpython_list_addr_check_all100 FAILED
test_rpython_list.py <- util.py:169: test_rpython_list_new_5 PASSED
test_rpython_list.py <- util.py:169: test_rpython_image_list_append FAILED
test_rpython_list.py <- util.py:169: test_rpython_list_iter FAILED
test_rpython_list.py <- util.py:169: test_rpython_list_new_empty PASSED
test_rpython.py <- util.py:169: test_throw FAILED
test_rpython.py <- util.py:169: test_find_min PASSED
test_rpython.py <- util.py:169: test_exception_stack_unwind FAILED
test_rpython.py <- util.py:169: test_partition_in_quicksort PASSED
test_rpython.py <- util.py:169: test_dtoa FAILED
test_rpython.py <- util.py:169: test_rpytarget_print_argv FAILED
test_rpython.py <- util.py:169: test_rpytarget_richards_measure_time FAILED
test_rpython.py <- util.py:169: test_float FAILED
test_rpython.py <- util.py:169: test_add PASSED
test_rpython.py <- util.py:169: test_linkedlist_reversal PASSED
test_rpython.py <- util.py:169: test_quicksort PASSED
test_rpython.py <- util.py:169: test_open_file_as_stream FAILED
test_rpython.py <- util.py:169: test_rpython_main FAILED
test_rpython.py <- util.py:169: test_nbody FAILED
test_rpython.py <- util.py:169: test_rpython_time_diff FAILED
test_rpython.py <- util.py:169: test_new_cmpeq PASSED
test_rpython.py <- util.py:169: test_rpython_print_number FAILED
test_rpython.py <- util.py:169: test_rpytarget_richards0 FAILED
test_rpython.py <- util.py:169: test_rpytarget_sha1sum FAILED
test_rpython.py <- util.py:169: test_new FAILED
test_rpython.py <- util.py:169: test_vec3prod PASSED
test_rpython.py <- util.py:169: test_make_boot_image_simple PASSED
test_rpython.py <- util.py:169: test_threadtran_fib PASSED
test_rpython.py <- util.py:169: test_rpython_rethrow FAILED
test_rpython.py <- util.py:169: test_rpython_helloworld FAILED
test_rpython.py <- util.py:169: test_arraysum PASSED
test_rpython.py <- util.py:169: test_rpython_print_time FAILED
test_rpython.py <- util.py:169: test_rpytarget_testdicts FAILED
test_rpython.py <- util.py:169: test_rpython_print_fmt FAILED
test_rpython.py <- util.py:169: test_linked_list FAILED
test_som.py <- util.py:169: test_RPySOM FAILED