1; RUN: llc -mtriple=mips-unknown-linux -filetype=obj %s -o - | \
2; RUN:   llvm-readobj -A - | \
3; RUN:   FileCheck --check-prefix=ASE-MICROMIPS %s
4
5define void @_Z3foov() #0 {
6entry:
7  ret void
8}
9attributes #0 = { "micromips" }
10
11; ASE-MICROMIPS: microMIPS (0x800)
12