43 lines · plain
1; RUN: opt < %s -passes=inline -enable-noalias-to-md-conversion -S | FileCheck %s --match-full-lines2 3define i32 @caller(ptr %p) {4; CHECK-LABEL: define i32 @caller(ptr %p) {5; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META0:![0-9]+]])6; CHECK-NEXT: [[P_11_I:%.*]] = getelementptr i8, ptr %p, i64 117; CHECK-NEXT: [[V_I:%.*]] = load i32, ptr [[P_11_I]], align 4, !alias.scope !08; CHECK-NEXT: [[P_1_I:%.*]] = getelementptr i8, ptr %p, i64 19; CHECK-NEXT: [[P_2_I:%.*]] = getelementptr i8, ptr [[P_1_I]], i64 110; CHECK-NEXT: [[P_3_I:%.*]] = getelementptr i8, ptr [[P_2_I]], i64 111; CHECK-NEXT: [[P_4_I:%.*]] = getelementptr i8, ptr [[P_3_I]], i64 112; CHECK-NEXT: [[P_5_I:%.*]] = getelementptr i8, ptr [[P_4_I]], i64 113; CHECK-NEXT: [[P_6_I:%.*]] = getelementptr i8, ptr [[P_5_I]], i64 114; CHECK-NEXT: [[P_7_I1:%.*]] = getelementptr i8, ptr [[P_6_I]], i64 115; CHECK-NEXT: [[P_8_I:%.*]] = getelementptr i8, ptr [[P_7_I1]], i64 116; CHECK-NEXT: [[P_9_I:%.*]] = getelementptr i8, ptr [[P_8_I]], i64 117; CHECK-NEXT: [[P_7_I:%.*]] = getelementptr i8, ptr [[P_9_I]], i64 118; CHECK-NEXT: [[P_8_ALIAS_I:%.*]] = getelementptr i8, ptr [[P_7_I]], i64 119; CHECK-NEXT: store i32 42, ptr [[P_8_ALIAS_I]], align 420; CHECK-NEXT: ret i32 [[V_I]]21;22 %v = call i32 @callee(ptr %p)23 ret i32 %v24}25 26define internal i32 @callee(ptr noalias %p) {27 %p.11 = getelementptr i8, ptr %p, i64 1128 %v = load i32, ptr %p.1129 %p.1 = getelementptr i8, ptr %p, i64 130 %p.2 = getelementptr i8, ptr %p.1, i64 131 %p.3 = getelementptr i8, ptr %p.2, i64 132 %p.4 = getelementptr i8, ptr %p.3, i64 133 %p.5 = getelementptr i8, ptr %p.4, i64 134 %p.6 = getelementptr i8, ptr %p.5, i64 135 %p.7 = getelementptr i8, ptr %p.6, i64 136 %p.8 = getelementptr i8, ptr %p.7, i64 137 %p.9 = getelementptr i8, ptr %p.8, i64 138 %p.10 = getelementptr i8, ptr %p.9, i64 139 %p.11.alias = getelementptr i8, ptr %p.10, i64 140 store i32 42, ptr %p.11.alias41 ret i32 %v42}43