29 instructions

store_src_rg                   coords = src.rg
init_lane_masks                CondMask = LoopMask = RetMask = true
splat_4_constants              color = 0
store_loop_mask                $0 = LoopMask
copy_uniform                   $1 = colorGreen(1)
cast_to_int_from_float         $1 = FloatToInt($1)
store_loop_mask                $2 = LoopMask
mask_off_loop_mask             LoopMask &= ~(CondMask & LoopMask & RetMask)
case_op                        if ($1 == 0) { LoopMask = true; $2 = false; }
branch_if_no_lanes_active      branch_if_no_lanes_active +5 (label 1 at #15)
copy_4_uniforms                $3..6 = colorRed
copy_4_slots_masked            color = Mask($3..6)
branch_if_all_lanes_active     branch_if_all_lanes_active +17 (label 0 at #30)
mask_off_loop_mask             LoopMask &= ~(CondMask & LoopMask & RetMask)
label                          label 0x00000001
case_op                        if ($1 == 0x00000001) { LoopMask = true; $2 = false; }
branch_if_no_lanes_active      branch_if_no_lanes_active +5 (label 2 at #22)
copy_4_uniforms                $3..6 = colorGreen
copy_4_slots_masked            color = Mask($3..6)
branch_if_all_lanes_active     branch_if_all_lanes_active +10 (label 0 at #30)
mask_off_loop_mask             LoopMask &= ~(CondMask & LoopMask & RetMask)
label                          label 0x00000002
reenable_loop_mask             LoopMask |= $2
branch_if_no_lanes_active      branch_if_no_lanes_active +5 (label 3 at #29)
copy_4_uniforms                $2..5 = colorRed
copy_4_slots_masked            color = Mask($2..5)
branch_if_all_lanes_active     branch_if_all_lanes_active +3 (label 0 at #30)
mask_off_loop_mask             LoopMask &= ~(CondMask & LoopMask & RetMask)
label                          label 0x00000003
label                          label 0
load_loop_mask                 LoopMask = $0
copy_4_slots_unmasked          $0..3 = color
load_src                       src.rgba = $0..3