Commit 26359b52 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏘
Browse files

johnvg: fix profile overhead for the PowerPC7400 processor

parent a7af2c8f
...@@ -393,6 +393,7 @@ TwoPower32Real:==4294967296.0 ...@@ -393,6 +393,7 @@ TwoPower32Real:==4294967296.0
/* /*
PowerPC601GestaltNumber:==257 PowerPC601GestaltNumber:==257
PowerPC750GestaltNumber:==264 PowerPC750GestaltNumber:==264
PowerPC7400GestaltNumber:==268
PowerPC603604ProfileOverhead:==10.0 PowerPC603604ProfileOverhead:==10.0
PowerPC750ProfileOverhead:==7.0 PowerPC750ProfileOverhead:==7.0
...@@ -402,7 +403,7 @@ compute_time processor processor_clock bus_clock ...@@ -402,7 +403,7 @@ compute_time processor processor_clock bus_clock
| processor==PowerPC601GestaltNumber | processor==PowerPC601GestaltNumber
= \ (time_hi,time_lo,n_profiler_calls) = \ (time_hi,time_lo,n_profiler_calls)
-> toReal time_hi + (toReal time_lo / 1E+9) - (toReal n_profiler_calls*16.0/toReal processor_clock) -> 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) = \ (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 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) - (toReal n_profiler_calls*PowerPC750ProfileOverhead/toReal processor_clock)
......
Supports Markdown
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