1 ; RUN: not opt -passes=verify -disable-output < %s 2>&1 | FileCheck %s
3 ; CHECK: invariant.group metadata is only for loads and stores
5 ; CHECK-NEXT: invariant.group metadata is only for loads and stores
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