It doesn’t answer your question but I came across this yesterday doing some research on the R1000 (which is why I came across the OP). You might find it interesting:

Ada Compiler Validation Summary Report: Rational Environment

https://apps.dtic.mil/sti/tr/pdf/ADA157830.pdf