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