| 1. store_src_rg coords = src.rg | |
| 2. init_lane_masks CondMask = LoopMask = RetMask = true | |
| 3. copy_constant _4_ok = 0xFFFFFFFF | |
| 4. copy_slot_unmasked $4 = _4_ok | |
| 5. branch_if_no_active_lanes_eq branch +3 (#8) if no lanes of $4 == 0xFFFFFFFF | |
| 6. copy_4_constants $0..3 = colorGreen | |
| 7. jump jump +2 (#9) | |
| 8. copy_4_constants $0..3 = colorRed | |
| 9. copy_4_slots_unmasked [main].result = $0..3 | |
| 10. load_src src.rgba = [main].result |