#include <stdint.h>
#include <stdbool.h>
#include "tm4c123gh6pm.h"

#define STCTRL *((volatile long *) 0xE000E010)
#define STRELOAD *((volatile long *) 0xE000E014)
#define STCURRENT *((volatile long *) 0xE000E018)

#define COUNT_FLAG  (1 << 16)

#define ENABLE      (1 << 0)

#define CLKINT      (1 << 2)
#define MASK_BITS 0x1

void GPIOF_config(void);
void GPIOF_int_config(void);

void main(void)
    {
    SYSCTL_RCC_R &= ~(1 << 20);
    SYSCTL_RCGC0_R |= 0x00100000;
    SYSCTL_RCGCPWM_R = 0x3;
    //SYSCTL_RCGC2_R |= 0x20;
    //GPIO_PORTF_DEN_R= 0x1F;
    //GPIO_PORTF_DIR_R= 0x0E;
    GPIOF_config();
    GPIOF_Interrupt_config();
    GPIO_PORTF_AFSEL_R |= 0x02;
    GPIO_PORTF_PCTL_R |= 0x50;

    PWM1_2_CTL_R= 0x00000000;
    PWM1_2_GENB_R |= 0x80E;

    PWM1_2_LOAD_R = 0xA0;
    PWM1_2_CMPB_R = 0x50;
    PWM1_2_CTL_R |=0x01;
    PWM1_ENABLE_R |=(1<<5);

    while(1);

    }