This patch adds additonal support for priting infromation from Libomptarget for already existing maps and printing the final data mapped on the device at device destruction.
Printing out tables at destruction only shows the mappings that are typically declared on the target. The others get deallocated at some point when the target data region ends. Also the messages for existing data mappings are helpful but they can get a bit verbose.
Alright, I just want to clarify that you want this to print out only the persisting data on the device. The devices are stored in a global vector so they only deallocate at the end of the program.
Do you think there's a way to get the names of these mappings? I think it would be extremely helpful but would probably require adding something similar the ident_t that would outweigh the benefits.