Commit ae4f5944 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur

johnvg: fix profile overhead for the PowerPC7400 processor

parent b18474d9
......@@ -393,6 +393,7 @@ TwoPower32Real:==4294967296.0
/*
PowerPC601GestaltNumber:==257
PowerPC750GestaltNumber:==264
PowerPC7400GestaltNumber:==268
PowerPC603604ProfileOverhead:==10.0
PowerPC750ProfileOverhead:==7.0
......@@ -402,7 +403,7 @@ compute_time processor processor_clock bus_clock
| processor==PowerPC601GestaltNumber
= \ (time_hi,time_lo,n_profiler_calls)
-> toReal time_hi + (toReal time_lo / 1E+9) - (toReal n_profiler_calls*16.0/toReal processor_clock)
| processor==PowerPC750GestaltNumber
| processor>=PowerPC750GestaltNumber
= \ (time_hi,time_lo,n_profiler_calls)
-> ((toReal time_hi*TwoPower32Real + (if (time_lo>=0) (toReal time_lo) (TwoPower32Real+toReal time_lo)))*4.0)/toReal bus_clock
- (toReal n_profiler_calls*PowerPC750ProfileOverhead/toReal processor_clock)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment