Check the LM4F120H5QR Datasheet. The "general purpose" timers have a output mode that can generate simple variable duty cycle square waves (aka PWM). This chip just doesn't have what Stellaris calls motion control PWM which is dead bands, faults and QEI in hardware.
It has a TON of timers. 6 x 32 bit times and 6 x 64 bit timers. Each of those 12 can run in a half wide mode.
Pretty sure some creative folks will find a way to make that drive some motors.