32 lines · plain
1; RUN: opt -S -passes=verify < %s2 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 !07 store i8 1, ptr %ptr, !mmra !18 call void @writesMem(), !mmra !29 call void @readsMem(), !mmra !210 fence release, !mmra !011 %rmw.1 = atomicrmw add ptr %ptr, i8 0 release, !mmra !012 %rmw.2 = atomicrmw add ptr %ptr, i8 0 acquire, !mmra !013 %pair = cmpxchg ptr %ptr, i8 0, i8 1 acquire acquire, !mmra !114 %ld.atomic = load atomic i8, ptr %ptr acquire, align 4, !mmra !115 store atomic i8 1, ptr %ptr release, align 4, !mmra !216 %mld = call <2 x i64> @llvm.vp.load.v2i64.p0(ptr undef, <2 x i1> undef, i32 undef), !mmra !217 ; TODO: barrier18 ret void19}20 21declare <2 x i64> @llvm.vp.load.v2i64.p0(ptr, <2 x i1>, i32)22 23declare void @readsMem(ptr) #024declare void @writesMem(ptr) #125 26attributes #0 = { memory(read) }27attributes #1 = { memory(write) }28 29!0 = !{!"scope", !"workgroup"}30!1 = !{!"as", !"private"}31!2 = !{!0, !1}32