#name: NIOS2 mixed1b
#source: mixed1b.s
#as: -march=r1
#readelf: -h

ELF Header:
#...
  Flags:                             0x0
#...