aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/atomics.ll
blob: f835b98b243456e553758ae3d744e06c59eef968 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s

; CHECK: atomic store operand must have integer, pointer, or floating point type!
; CHECK: atomic load operand must have integer, pointer, or floating point type!

define void @foo(ptr %P, <1 x i64> %v) {
  store atomic <1 x i64> %v, ptr %P unordered, align 8
  ret void
}

define <1 x i64> @bar(ptr %P) {
  %v = load atomic <1 x i64>, ptr %P unordered, align 8
  ret <1 x i64> %v
}