I tried to count the CPU cycles of F54xx using KickStart (slac050t.zip).
I use the KickStart simulator as well as FET debugger to count CPU cycles of exact the same code with no I/O or other wait loops involved. They showed different results.
The FET debugger shows substantially higher total counts. However, I also noticed that FET debugger says pushm #8,R11 takes only 1 cycle to execute. This is lower than what simulator says -- 10 cycles. So there must be other instructions which FET debugger shows higher counts or the simulator shows lower counts.
What else is wrong? Is the simulator entirely correct?