1 2 3
IR: Formalize OP_STORECONTEXTINDEXED to only access x87 or gdt - Update validation pass to enforce the base offset - Assume it can't access outside those regions in LSE/DSE