search for: recurisv

During our testing, we found this code path where xen attempts to grab the shadow_lock, while holding it - leading to a deadlock. >> free_dom_mem-> >> shadow_sync_and_drop_references-> >> shadow_lock -> ..................... first lock >> shadow_remove_all_access-> >> remove_all_access_in_page-> >> put_page-> >>

...t now it seems that the recursive-function version produces roughly half incorrect results, in a repeating pattern of 4 correct results followed by 4 incorrect results. (There are also some commented-out lines in the LLVM file, from my own testing of alternative implementations to confirm that the recurisve-function code is otherwise correct.) The crux seems to be that the recursive function, _Z7loopdacllPjl, takes a vector of 8 64-bit integers as one of its arguments. There's no issue with such an argument in LLVM IR, but the generated assembly seems to be incorrect. Examining the assembly fi...