72 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=inline < %s | FileCheck %s3 4; This tests cases where instructions in the callee are simplified to5; instructions in the caller, thus making VMap contain instructions from6; the caller. We should not be assigning incorrect noalias metadata in7; that case.8 9declare { ptr } @opaque_callee()10 11define { ptr } @callee(ptr %x) {12; CHECK-LABEL: @callee(13; CHECK-NEXT: [[RES:%.*]] = insertvalue { ptr } poison, ptr [[X:%.*]], 014; CHECK-NEXT: ret { ptr } [[RES]]15;16 %res = insertvalue { ptr } poison, ptr %x, 017 ret { ptr } %res18}19 20; @opaque_callee() should not receive noalias metadata here.21define void @caller() {22; CHECK-LABEL: @caller(23; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META0:![0-9]+]])24; CHECK-NEXT: [[S:%.*]] = call { ptr } @opaque_callee()25; CHECK-NEXT: [[X:%.*]] = extractvalue { ptr } [[S]], 026; CHECK-NEXT: ret void27;28 call void @llvm.experimental.noalias.scope.decl(metadata !0)29 %s = call { ptr } @opaque_callee()30 %x = extractvalue { ptr } %s, 031 call { ptr } @callee(ptr %x), !noalias !032 ret void33}34 35; @opaque_callee() should no the same noalias metadata as the load from the36; else branch, not as the load in the if branch.37define { ptr } @self_caller(i1 %c, ptr %a) {38; CHECK-LABEL: @self_caller(39; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META0]])40; CHECK-NEXT: br i1 [[C:%.*]], label [[IF:%.*]], label [[ELSE:%.*]]41; CHECK: if:42; CHECK-NEXT: [[S:%.*]] = call { ptr } @opaque_callee(), !noalias !043; CHECK-NEXT: [[X:%.*]] = extractvalue { ptr } [[S]], 044; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META3:![0-9]+]])45; CHECK-NEXT: [[TMP1:%.*]] = load volatile i64, ptr [[X]], align 4, !alias.scope !346; CHECK-NEXT: ret { ptr } [[S]]47; CHECK: else:48; CHECK-NEXT: [[R2:%.*]] = insertvalue { ptr } poison, ptr [[A:%.*]], 049; CHECK-NEXT: [[TMP2:%.*]] = load volatile i64, ptr [[A]], align 4, !alias.scope !050; CHECK-NEXT: ret { ptr } [[R2]]51;52 call void @llvm.experimental.noalias.scope.decl(metadata !0)53 br i1 %c, label %if, label %else54 55if:56 %s = call { ptr } @opaque_callee(), !noalias !057 %x = extractvalue { ptr } %s, 058 %r = call { ptr } @self_caller(i1 false, ptr %x)59 ret { ptr } %r60 61else:62 %r2 = insertvalue { ptr } poison, ptr %a, 063 load volatile i64, ptr %a, !alias.scope !064 ret { ptr } %r265}66 67declare void @llvm.experimental.noalias.scope.decl(metadata)68 69!0 = !{!1}70!1 = !{!1, !2, !"scope"}71!2 = !{!2, !"domain"}72