写一段程序，要求如下：用定时器1中断方式，实现1S翻转GPIO1引脚控制的LED灯，基于F8335

以下是基于F8335的程序代码：

#include "stm8s.h"

void TIM1_UPD_OVF_TRG_BRK_IRQHandler(void) __interrupt(TIM1_UPD_OVF_TRG_BRK_IRQHANDLER)
{
    // 翻转GPIO1引脚状态
    if (GPIO_ReadOutputData(GPIOB) & GPIO_PIN_1)
    {
        GPIO_ResetBits(GPIOB, GPIO_PIN_1);
    }
    else
    {
        GPIO_SetBits(GPIOB, GPIO_PIN_1);
    }
    
    // 清除中断标志位
    TIM1_ClearITPendingBit(TIM1_IT_UPDATE);
}

int main(void)
{
    // 初始化GPIO1引脚为输出模式
    GPIO_Init(GPIOB, GPIO_PIN_1, GPIO_MODE_OUT_PP_LOW_FAST);
    
    // 初始化定时器1
    TIM1_TimeBaseInit(0, TIM1_COUNTERMODE_UP, 999, 0);
    TIM1_ITConfig(TIM1_IT_UPDATE, ENABLE);
    TIM1_Cmd(ENABLE);
    
    // 允许中断
    enableInterrupts();
    
    while (1)
    {
        // do nothing
    }
}

该程序使用定时器1的中断方式来实现LED灯每隔1秒翻转一次。在中断服务函数中，通过读取GPIO1引脚的状态来翻转它的状态，并清除定时器1的中断标志位。在主函数中，初始化GPIO1引脚为输出模式，初始化定时器1并启动它，并允许中断。程序会一直循环执行，直到被中断。