The operative word is "should". Anything that affects the actual instructions executed on the actual chip they're executed on may make what works here not work

The operative word is "should". Anything that affects the actual instructions executed on the actual chip they're executed on may make what works here not work there. Optimization that does not affect instructions is no optimization at all. Bitfields are an extremely fragile part of implementations. Trust it at your own risk.