llvm/test/Verifier/invariant.group.ll

   1 ; RUN: not opt -passes=verify -disable-output < %s 2>&1 | FileCheck %s
   2
   3 ; CHECK: invariant.group metadata is only for loads and stores
   4 ; CHECK-NEXT: alloca
   5 ; CHECK-NEXT: invariant.group metadata is only for loads and stores
   6 ; CHECK-NEXT: ret void
   7 define void @f() {
   8   %a = alloca i32, !invariant.group !0
   9   %b = load i32, ptr %a, !invariant.group !0
  10   store i32 43, ptr %a, !invariant.group !0
  11   ret void, !invariant.group !0
  12 }
  13
  14 !0 = !{}