; RUN: llc -mtriple=thumbv7-linux-gnueabihf %s -o - | FileCheck %s
; RUN: llc -mtriple=thumbv7-apple-ios %s -o - | FileCheck %s
; RUN: llc -mtriple=thumbv7-linux-gnueabihf %s -filetype=obj -o %t
; RUN: llvm-objdump -d %t | FileCheck %s --check-prefix=OBJ

; OBJ-NOT: dmb

define void @fence_singlethread() {
; CHECK-LABEL: fence_singlethread:
; CHECK-NOT: dmb
; CHECK: @MEMBARRIER
; CHECK-NOT: dmb

  fence syncscope("singlethread") seq_cst
  ret void
}
