[LLVM][IR] Use splat syntax when printing ConstantExpr based splats. (#116856)
[llvm-project.git] / llvm / test / Verifier / invariant.group.ll
blob79590d797a26eab08510c86c0f61482e789fa56f
1 ; RUN: not opt -passes=verify -disable-output < %s 2>&1 | FileCheck %s
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
14 !0 = !{}