16 lines · plain
1; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s2; CHECK: atomic store operand must have integer, pointer, floating point, or vector type!3; CHECK: atomic load operand must have integer, pointer, floating point, or vector type!4 5%ty = type { i32 };6 7define void @foo(ptr %P, %ty %v) {8 store atomic %ty %v, ptr %P unordered, align 89 ret void10}11 12define %ty @bar(ptr %P) {13 %v = load atomic %ty, ptr %P unordered, align 814 ret %ty %v15}16