I am using the LM4F part with the TivaWare library. In the datasheet for the LM4F232H5QD, there is a note about the clock configuration register (RCC) being available only as legacy support for the PWM clock divide and to use PWMPC (page 252). So I used the new PWM register PWMPC (page 1315) but it does not divide the clock. The register shows the value 0x101 when viewed in the debugger for a divide by 4 PWM clock but it still runs at the system clock speed. I tried other clock speeds too.
I decided to try the legacy register to see if it would work and it will allow the USEPWMDIV bit to be set but will not allow any other value written to the PWMDIV register except 0 so only a divide by 2 clock works and not 4. So the RCC register appears to have slightly more functionality than the new PWMPC register but I still can't get a divide by 4 option set.
Is there a trick or order to make this work or is the functionality broken in the micro?