Thumb2 instructions in Arduino Due code [Solved]

Hello.

For teaching reasons, I have tweaked the Arduino 1.5 IDE to accept assembly source files. I have been playing around with the thumb instruction set, but I have not been able of using 32 bit thumb2 only instructions. Is the current compilation toolchain using and generating only 16 bit thumb instructions? Is there a way of modifying the compilation options to accept -in assembler- and generate 32 bits thumb2 instructions?

Thank you very much for your help.
Germán.

Errr... sorry for my mistake. I have verified that the compiler does generate thumb2 instructions. I have to test the assembly code I write to see why some instructions are not accepted.

Regards,
Germán