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 7define 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 = !{} 15