14 instructions

store_src_rg                   coords = src.rg
init_lane_masks                CondMask = LoopMask = RetMask = true
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)
reenable_loop_mask             LoopMask |= $2
branch_if_no_lanes_active      branch_if_no_lanes_active +4 (label 1 at #13)
copy_4_uniforms                $2..5 = colorGreen
copy_4_slots_masked            [main].result = Mask($2..5)
mask_off_return_mask           RetMask &= ~(CondMask & LoopMask & RetMask)
label                          label 0x00000001
label                          label 0
load_loop_mask                 LoopMask = $0
load_src                       src.rgba = [main].result