44 lines · plain
1; RUN: not opt -S -passes=verify < %s 2>&1 | FileCheck %s2 3define void @foo(ptr %ptr, i32 %x) {4 5 ; CHECK: !mmra metadata attached to unexpected instruction kind6 ; CHECK-NEXT: %bad.add7 %bad.add = add i32 %x, 42, !mmra !{}8 9 ; CHECK: !mmra metadata attached to unexpected instruction kind10 ; CHECK-NEXT: %bad.sub11 %bad.sub = sub i32 %x, 42, !mmra !{}12 13 ; CHECK: !mmra metadata attached to unexpected instruction kind14 ; CHECK-NEXT: %bad.sqrt15 %bad.sqrt = call float @llvm.sqrt.f32(float undef), !mmra !{}16 17 ; CHECK: !mmra expected to be a metadata tuple18 ; CHECK-NEXT: %bad.md019 ; CHECK-NEXT: !DIFile20 %bad.md0 = load atomic i32, ptr %ptr acquire, align 4, !mmra !021 22 ; CHECK: !mmra expected to be a metadata tuple23 ; CHECK-NEXT: %bad.md124 ; CHECK-NEXT: !DIFile25 %bad.md1 = load atomic i32, ptr %ptr acquire, align 4, !mmra !026 27 ; CHECK: !mmra metadata tuple operand is not an MMRA tag28 ; CHECK-NEXT: %bad.md229 ; CHECK-NEXT: !"foo"30 %bad.md2 = load atomic i32, ptr %ptr acquire, align 4, !mmra !131 32 ; CHECK: !mmra metadata tuple operand is not an MMRA tag33 ; CHECK-NEXT: %bad.md334 ; CHECK-NEXT: !"baz"35 %bad.md3 = load atomic i32, ptr %ptr acquire, align 4, !mmra !236 ret void37}38 39declare float @llvm.sqrt.f32(float)40 41!0 = !DIFile(filename: "test.c", directory: "")42!1 = !{!"foo", !"bar", !"bux"}43!2 = !{!"baz", !0}44