1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt -S -allow-incomplete-ir < %s | FileCheck %s 3 4@g = global i8 0, !exclude !4 5 6define void @test(ptr %p) !dbg !3 { 7; CHECK-LABEL: define void @test( 8; CHECK-SAME: ptr [[P:%.*]]) { 9; CHECK-NEXT: [[V1:%.*]] = load i8, ptr [[P]], align 1 10; CHECK-NEXT: [[V2:%.*]] = load i8, ptr [[P]], align 1 11; CHECK-NEXT: [[V3:%.*]] = load i8, ptr [[P]], align 1, !noalias [[META0:![0-9]+]] 12; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META0]]) 13; CHECK-NEXT: ret void 14; 15 %v1 = load i8, ptr %p, !noalias !0 16 %v2 = load i8, ptr %p, !tbaa !1 17 %v3 = load i8, ptr %p, !dbg !2, !noalias !100 18 call void @llvm.experimental.noalias.scope.decl(metadata !5) 19 call void @llvm.dbg.value(metadata i32 0, metadata !7, metadata !8) 20 call void @llvm.experimental.noalias.scope.decl(metadata !100) 21 ret void 22} 23 24declare void @llvm.experimental.noalias.scope.decl(metadata) 25declare void @llvm.dbg.value(metadata, metadata, metadata) 26 27!100 = !{!101} 28!101 = !{!101, !102} 29!102 = !{!102} 30;. 31; CHECK: [[META0]] = !{[[META1:![0-9]+]]} 32; CHECK: [[META1]] = distinct !{[[META1]], [[META2:![0-9]+]]} 33; CHECK: [[META2]] = distinct !{[[META2]]} 34;. 35