#objdump: -d --prefix-addresses
#name: nds32 convert 32 to 16 (v3 instructions)
#as: -Os -mno-reduced-regs

# Test the convert 32bits to 16bits

.*:     file format .*


Disassembly of section .text:
0+0000 .*
0+0002 .*
0+0004 .*
0+0006 .*
0+0008 .*
0+000a .*
0+000c .*
0+000e .*
0+0010 .*
0+0012 .*
0+0014 .*
0+0016 .*
0+0018 .*
0+001a .*
0+001c .*