// RUN: mlir-opt -split-input-file -verify-diagnostics %s | FileCheck %s

//===----------------------------------------------------------------------===//
// spv.ControlBarrier
//===----------------------------------------------------------------------===//

func @control_barrier_0() -> () {
  // CHECK:  spv.ControlBarrier Workgroup, Device, "Acquire|UniformMemory"
  spv.ControlBarrier Workgroup, Device, "Acquire|UniformMemory"
  return
}

// -----

func @control_barrier_1() -> () {
  // expected-error @+1 {{expected string or keyword containing one of the following enum values}}
  spv.ControlBarrier Something, Device, "Acquire|UniformMemory"
  return
}


// -----

//===----------------------------------------------------------------------===//
// spv.MemoryBarrier
//===----------------------------------------------------------------------===//

func @memory_barrier_0() -> () {
  // CHECK: spv.MemoryBarrier Device, "Acquire|UniformMemory"
  spv.MemoryBarrier Device, "Acquire|UniformMemory"
  return
}

// -----

func @memory_barrier_1() -> () {
  // CHECK: spv.MemoryBarrier Workgroup, Acquire
  spv.MemoryBarrier Workgroup, Acquire
  return
}

// -----

func @memory_barrier_2() -> () {
 // expected-error @+1 {{expected at most one of these four memory constraints to be set: `Acquire`, `Release`,`AcquireRelease` or `SequentiallyConsistent`}}
  spv.MemoryBarrier Device, "Acquire|Release"
  return
}