Элегантный способ сжатия операторов If/Elsif в один оператор цикла For в VHDL

Публикую впервые, поэтому простите меня за любые синтаксические ошибки в форматировании переполнения стека. Я рассматриваю элегантный способ сжатия следующего кода if/elsif в цикл for. Я добавил дополнительную информацию в начале кода, чтобы он имел больше смысла:

   -- all of this is declared within my modules package file.
   type uart_buffer is record
      tx_out_buf     : one_byte;                            -- Tx output UART Buffer.
      rx_out_buf     : one_byte;                            -- Rx output UART Buffer.      
      tx_out_buf_ful : std_logic;                           -- Indicate if the tx output buffer is full.
      rx_out_buf_ful : std_logic;                           -- Indicate if the rx output buffer is full.
      sending        : std_logic;                           -- Tx Output buffer is currently sending char.
   end record uart_buffer;

   type uart_arr is array(7 downto 0) of uart_buffer;

   constant EMPTY_UART_BUFFER : uart_buffer := (
      -- define all values of an empty UART Buffer
      tx_out_buf     => (others => '0'),
      rx_out_buf     => (others => '0'),
      tx_out_buf_ful => '0',
      rx_out_buf_ful => '0',
      sending        => '0'
      ); 


   -- This section is declared within my modules architecture.
   signal start_sending_char     : std_logic   := '0';  -- send a character packet to the device
   signal uart_buffer_arr        : uart_arr    := (others => EMPTY_UART_BUFFER);


   -- This section is within a process in my module that is conditioned to the 
   -- rising of edge of my systems clock. This is what I am hoping to simplify:
         if (start_sending_char = '0') then  
            if    (uart_buffer_arr(7).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(7).sending = '0')
            then
               -- Send out to CHAR fifo from line 7.            
               uart_buffer_arr(7).sending <= '1';
               start_sending_char         <= '1';
            elsif (uart_buffer_arr(6).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(6).sending = '0')
               -- Send out to CHAR fifo from line 6.
               uart_buffer_arr(6).sending <= '1';
               start_sending_char         <= '1';
            elsif (uart_buffer_arr(5).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(5).sending = '0')
               -- Send out to CHAR fifo from line 5.                  
               uart_buffer_arr(5).sending <= '1';
               start_sending_char         <= '1';
            elsif (uart_buffer_arr(4).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(4).sending = '0')
               -- Send out to CHAR fifo from line 4.                  
               uart_buffer_arr(4).sending <= '1';
               start_sending_char         <= '1';
            elsif (uart_buffer_arr(3).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(3).sending = '0')
               -- Send out to CHAR fifo from line 3.                  
               uart_buffer_arr(3).sending <= '1';
               start_sending_char         <= '1';
            elsif (uart_buffer_arr(2).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(2).sending = '0')
               -- Send out to CHAR fifo from line 2.                  
               uart_buffer_arr(2).sending <= '1';
               start_sending_char         <= '1';
            elsif (uart_buffer_arr(1).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(1).sending = '0')
               -- Send out to CHAR fifo from line 1.
               uart_buffer_arr(1).sending <= '1';
               start_sending_char         <= '1';
            elsif (uart_buffer_arr(0).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(0).sending = '0')
               -- Send out to CHAR fifo from line 0.
               uart_buffer_arr(0).sending <= '1';
               start_sending_char         <= '1';
            else
               -- No lines to send on.
               null;
            end if;
         end if;

Можно ли переписать эту последовательность операторов if/elsif в цикле for примерно так?

         for i in 7 downto 0 loop
            -- Send out to CHAR fifo starting with highest priority line 7 down to 0 
            -- if CHAR fifo is ready to receive.           
            if (start_sending_char = '0') then        
               if (uart_buffer_arr(i).tx_out_buf_ful = '1') and
                  (uart_buffer_arr(i).sending = '0')
               then 
                  uart_buffer_arr(i).sending <= '1';
                  start_sending_char         <= '1';
               end if;       
            end if;
         end loop;