1 #objdump: -p
2 #as:	  -mlong -mshort-double
3 #name:	  Elf flags XGATE 32-bit int, 32-bit double
4 #source:  abi.s
5 
6 .*: +file format elf32\-xgate
7 private flags = 81:\[abi=32-bit int, 32-bit double, cpu=XGATE\]
8