1#name: MIPS 2008 NaN setting 1
2#source: nan-2008.s
3#objdump: -p
4
5.*:.*file format.*mips.*
6private flags = [0-9a-f]*[4-7c-f]..: .*[[,]nan2008[],].*
7#pass
8