uBlaze : Compiling directive: possible Xilinx bug ?

Hi all. I'm using EDK ver. 8.1.02i ISE ver. 8.1.03i.

I have to develop a project with Microblaze and so I'm programming firmware for this CPU.

Reading about mb-gcc compiler features I have seen typical directive related to uBlaze setting. For example if Barrel Shifter has been enabled then mb-gcc issues the directive: -mxl-barrel-shift in compiling/linking to generate good code using HW barrel shifter.

So enabling HW integer multiplier in microblaze I expected to get also the directive: "-mno-xl-soft-mul Use the hardware multiplier instead of emulation"

But it NEVER appear in the automatically compiling steps !!!

Moreover if I create and use a my makefile to compile my library sources and application I can force this directive: "-mno-xl-soft-mul" and get library and application code little smaller: all works fine in uBlaze because its setting include NO software integer multplier --> That is integer multiplier enabled.

Why EDK Xilinx NEVER use "-mno-xl-soft-mul" directive when uBlaze has been set with HW integer multiplier ? Shoud it be a bug ?

Thanks in advance for any answer.

Best regards, Al.