Emit semantic condition groups in ARM and Thumb lifted IL and classify VFP
 comparison flag writes separately from integer writes. GE can then
 resolve directly to floating >= before MLIL or HLIL propagation.

Map only floating conditions that exactly match the architectural
 NZCV outcomes, preserving flag expansion for unordered-inclusive
 conditions and mixed definitions. Keep carry inversion
 boolean-sized and update lifting expectations.