jcranmer-intel wrote: I mentioned this offline, but worth repeating here: I feel *something* needs to be marked as partial/no for the x87 case. Aaron suggested Annex F support be that value rather than this paper, which I guess satisfies that. https://github.com/llvm/llvm-project/pull/101214