130 lines · plain
1; RUN: mlir-translate -import-llvm -split-input-file %s | FileCheck %s2 3; CHECK: #[[DOMAIN:.*]] = #llvm.alias_scope_domain<id = {{.*}}, description = "The domain">4; CHECK: #[[$SCOPE0:.*]] = #llvm.alias_scope<id = {{.*}}, domain = #[[DOMAIN]], description = "The first scope">5; CHECK: #[[$SCOPE1:.*]] = #llvm.alias_scope<id = {{.*}}, domain = #[[DOMAIN]]>6; CHECK: #[[$SCOPE2:.*]] = #llvm.alias_scope<id = {{.*}}, domain = #[[DOMAIN]]>7 8; CHECK-LABEL: llvm.func @alias_scope9define void @alias_scope(ptr %arg1) {10 ; CHECK: llvm.load11 ; CHECK-SAME: alias_scopes = [#[[$SCOPE0]]]12 ; CHECK-SAME: noalias_scopes = [#[[$SCOPE1]], #[[$SCOPE2]]]13 %1 = load i32, ptr %arg1, !alias.scope !4, !noalias !714 ; CHECK: llvm.load15 ; CHECK-SAME: alias_scopes = [#[[$SCOPE1]]]16 ; CHECK-SAME: noalias_scopes = [#[[$SCOPE0]], #[[$SCOPE2]]]17 %2 = load i32, ptr %arg1, !alias.scope !5, !noalias !818 ; CHECK: llvm.load19 ; CHECK-SAME: alias_scopes = [#[[$SCOPE2]]]20 ; CHECK-SAME: noalias_scopes = [#[[$SCOPE0]], #[[$SCOPE1]]]21 %3 = load i32, ptr %arg1, !alias.scope !6, !noalias !922 ret void23}24 25!0 = distinct !{!0, !"The domain"}26!1 = distinct !{!1, !0, !"The first scope"}27!2 = distinct !{!2, !0}28!3 = distinct !{!3, !0}29!4 = !{!1}30!5 = !{!2}31!6 = !{!3}32!7 = !{!2, !3}33!8 = !{!1, !3}34!9 = !{!1, !2}35 36; // -----37 38; CHECK: #[[DOMAIN0:.*]] = #llvm.alias_scope_domain<id = {{.*}}, description = "The domain">39; CHECK: #[[DOMAIN1:.*]] = #llvm.alias_scope_domain<id = {{.*}}>40; CHECK: #[[$SCOPE0:.*]] = #llvm.alias_scope<id = {{.*}}, domain = #[[DOMAIN0]]>41; CHECK: #[[$SCOPE1:.*]] = #llvm.alias_scope<id = {{.*}}, domain = #[[DOMAIN1]]>42 43; CHECK-LABEL: llvm.func @two_domains44define void @two_domains(ptr %arg1) {45 ; CHECK: llvm.load46 ; CHECK-SAME: alias_scopes = [#[[$SCOPE0]]]47 ; CHECK-SAME: noalias_scopes = [#[[$SCOPE1]]]48 %1 = load i32, ptr %arg1, !alias.scope !4, !noalias !549 ret void50}51 52!0 = distinct !{!0, !"The domain"}53!1 = distinct !{!1}54!2 = !{!2, !0}55!3 = !{!3, !1}56!4 = !{!2}57!5 = !{!3}58 59; // -----60 61; CHECK: #[[DOMAIN:.*]] = #llvm.alias_scope_domain<id = {{.*}}, description = "The domain">62; CHECK: #[[$SCOPE:.*]] = #llvm.alias_scope<id = {{.*}}, domain = #[[DOMAIN]]>63 64; CHECK-LABEL: llvm.func @supported_ops65define void @supported_ops(ptr %arg1, float %arg2, i32 %arg3, i32 %arg4) {66 ; CHECK: llvm.intr.experimental.noalias.scope.decl #[[$SCOPE]]67 call void @llvm.experimental.noalias.scope.decl(metadata !2)68 ; CHECK: llvm.load {{.*}}alias_scopes = [#[[$SCOPE]]]69 %1 = load i32, ptr %arg1, !alias.scope !270 ; CHECK: llvm.store {{.*}}alias_scopes = [#[[$SCOPE]]]71 store i32 %1, ptr %arg1, !alias.scope !272 ; CHECK: llvm.atomicrmw {{.*}}alias_scopes = [#[[$SCOPE]]]73 %2 = atomicrmw fmax ptr %arg1, float %arg2 acquire, !alias.scope !274 ; CHECK: llvm.cmpxchg {{.*}}alias_scopes = [#[[$SCOPE]]]75 %3 = cmpxchg ptr %arg1, i32 %arg3, i32 %arg4 monotonic seq_cst, !alias.scope !276 ; CHECK: "llvm.intr.memcpy"{{.*}}alias_scopes = [#[[$SCOPE]]]77 call void @llvm.memcpy.p0.p0.i32(ptr %arg1, ptr %arg1, i32 4, i1 false), !alias.scope !278 ; CHECK: "llvm.intr.memset"{{.*}}alias_scopes = [#[[$SCOPE]]]79 call void @llvm.memset.p0.i32(ptr %arg1, i8 42, i32 4, i1 false), !alias.scope !280 ; CHECK: llvm.call{{.*}}alias_scopes = [#[[$SCOPE]]]81 call void @foo(ptr %arg1), !alias.scope !282 ; CHECK: llvm.call{{.*}}noalias_scopes = [#[[$SCOPE]]]83 call void @foo(ptr %arg1), !noalias !284 ret void85}86 87declare void @llvm.experimental.noalias.scope.decl(metadata)88declare void @llvm.memcpy.p0.p0.i32(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i32, i1 immarg)89declare void @llvm.memset.p0.i32(ptr nocapture writeonly, i8, i32, i1 immarg)90declare void @foo(ptr %arg1)91 92!0 = distinct !{!0, !"The domain"}93!1 = !{!1, !0}94!2 = !{!1}95 96; // -----97 98; CHECK: #[[DOMAIN:.*]] = #llvm.alias_scope_domain<id = "domain1">99; CHECK: #[[$SCOPE0:.*]] = #llvm.alias_scope<id = "scopeid1", domain = #[[DOMAIN]], description = "The first scope">100; CHECK: #[[$SCOPE1:.*]] = #llvm.alias_scope<id = "scopeid2", domain = #[[DOMAIN]]>101; CHECK: #[[$SCOPE2:.*]] = #llvm.alias_scope<id = "scopeid3", domain = #[[DOMAIN]]>102 103; CHECK-LABEL: llvm.func @alias_scope104define void @alias_scope(ptr %arg1) {105 ; CHECK: llvm.load106 ; CHECK-SAME: alias_scopes = [#[[$SCOPE0]]]107 ; CHECK-SAME: noalias_scopes = [#[[$SCOPE1]], #[[$SCOPE2]]]108 %1 = load i32, ptr %arg1, !alias.scope !4, !noalias !7109 ; CHECK: llvm.load110 ; CHECK-SAME: alias_scopes = [#[[$SCOPE1]]]111 ; CHECK-SAME: noalias_scopes = [#[[$SCOPE0]], #[[$SCOPE2]]]112 %2 = load i32, ptr %arg1, !alias.scope !5, !noalias !8113 ; CHECK: llvm.load114 ; CHECK-SAME: alias_scopes = [#[[$SCOPE2]]]115 ; CHECK-SAME: noalias_scopes = [#[[$SCOPE0]], #[[$SCOPE1]]]116 %3 = load i32, ptr %arg1, !alias.scope !6, !noalias !9117 ret void118}119 120!0 = !{!"domain1"}121!1 = !{!"scopeid1", !0, !"The first scope"}122!2 = !{!"scopeid2", !0}123!3 = !{!"scopeid3", !0}124!4 = !{!1}125!5 = !{!2}126!6 = !{!3}127!7 = !{!2, !3}128!8 = !{!1, !3}129!9 = !{!1, !2}130