; RUN: llc < %s -mtriple=thumbv6-apple-darwin  | FileCheck %s -check-prefix=V6
; RUN: llc < %s -mtriple=thumbv7-apple-darwin -mattr=-db | FileCheck %s -check-prefix=V6
; RUN: llc < %s -march=thumb -mattr=+v6m       | FileCheck %s -check-prefix=V6M

declare void @llvm.memory.barrier(i1 , i1 , i1 , i1 , i1)

define void @t1() {
; V6: t1:
; V6: blx {{_*}}sync_synchronize

; V6M: t1:
; V6M: dmb st
  call void @llvm.memory.barrier(i1 false, i1 false, i1 false, i1 true, i1 true)
  ret void
}

define void @t2() {
; V6: t2:
; V6: blx {{_*}}sync_synchronize

; V6M: t2:
; V6M: dmb ish
  call void @llvm.memory.barrier(i1 true, i1 false, i1 false, i1 true, i1 false)
  ret void
}