1; RUN: opt -S -passes=verify < %s 2 3; This file contains MMRA metadata that is okay and should pass the verifier. 4 5define void @test(ptr %ptr) { 6 %ld = load i8, ptr %ptr, !mmra !0 7 store i8 1, ptr %ptr, !mmra !1 8 call void @writesMem(), !mmra !2 9 call void @readsMem(), !mmra !2 10 fence release, !mmra !0 11 %rmw.1 = atomicrmw add ptr %ptr, i8 0 release, !mmra !0 12 %rmw.2 = atomicrmw add ptr %ptr, i8 0 acquire, !mmra !0 13 %pair = cmpxchg ptr %ptr, i8 0, i8 1 acquire acquire, !mmra !1 14 %ld.atomic = load atomic i8, ptr %ptr acquire, align 4, !mmra !1 15 store atomic i8 1, ptr %ptr release, align 4, !mmra !2 16 %mld = call <2 x i64> @llvm.vp.load.v2i64.p0(ptr undef, <2 x i1> undef, i32 undef), !mmra !2 17 ; TODO: barrier 18 ret void 19} 20 21declare <2 x i64> @llvm.vp.load.v2i64.p0(ptr, <2 x i1>, i32) 22 23declare void @readsMem(ptr) #0 24declare void @writesMem(ptr) #1 25 26attributes #0 = { memory(read) } 27attributes #1 = { memory(write) } 28 29!0 = !{!"scope", !"workgroup"} 30!1 = !{!"as", !"private"} 31!2 = !{!0, !1} 32