> Thank you for the patch in your other mail that changes this! You're welcome.
> We were also thinking of the instruction timing information found in the > leon_costs and leon3_costs. We took a look at the values in leon_costs > and they seem to fit well with the UT699, except for division. We got a > bit unsure as to what leon system they are based on, as the division > cost was wrong also for the AT697F, which is the most common leon2 > system. Would it be ok to update the division cost values of leon_costs > so that they match UT699 and AT697F? Sure. > In general, depending on how one instantiate a leon system and which FPU > is selected, you will get different timing. Is there a recommended way > of adding support for this without adding additional CPU targets? > We are considering to add support for GRFPU-lite, which only differs in > the timing. One could add a -mtune-fpu switch. Did you look at other architectures in the GCC tree that would have similar requirements? -- Eric Botcazou
