ARM conditional load/store multiple instructions unsupported in GAS?

[Schwarz, Konrad]

Hello,

how does GAS expect the 32-bit ARM instruction Load Multiple Decrement Before 
If Negative
to be coded?  The ARM V7 Architecture manual indicates that it should coded as 
`ldmdbmi',
yet my GAS reports `Error: bad instruction `ldmdbmi a1,{a2,a3}''.

This GAS reports its version as
`arm-xilinx-eabi-gcc.exe (Sourcery CodeBench Lite 2013.05-39) 4.7.3'.

GAS accepts conditional load/store multiple instructions that omit the stack 
direction,
e.g. `ldmmi', but rejects conditional load/store multiple instructions
that include the `ia' suffix, a la `ldmiami'.

In a related vein, does GAS support conditional ADRL pseudo-instructions?

Thank you,

Konrad Schwarz