138 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt < %s -passes=globalopt -S | FileCheck %s3 4declare token @llvm.call.preallocated.setup(i32)5declare ptr @llvm.call.preallocated.arg(token, i32)6 7define internal i32 @f(ptr %m) {8; CHECK-LABEL: define internal fastcc i32 @f(9; CHECK-SAME: ptr [[M:%.*]]) unnamed_addr {10; CHECK-NEXT: [[V:%.*]] = load i32, ptr [[M]], align 411; CHECK-NEXT: ret i32 [[V]]12;13 %v = load i32, ptr %m14 ret i32 %v15}16 17define internal x86_thiscallcc i32 @g(ptr %m) {18; CHECK-LABEL: define internal fastcc i32 @g(19; CHECK-SAME: ptr [[M:%.*]]) unnamed_addr {20; CHECK-NEXT: [[V:%.*]] = load i32, ptr [[M]], align 421; CHECK-NEXT: ret i32 [[V]]22;23 %v = load i32, ptr %m24 ret i32 %v25}26 27; Leave this one alone, because the user went out of their way to request this28; convention.29define internal coldcc i32 @h(ptr %m) {30; CHECK-LABEL: define internal coldcc i32 @h(31; CHECK-SAME: ptr [[M:%.*]]) unnamed_addr {32; CHECK-NEXT: [[V:%.*]] = load i32, ptr [[M]], align 433; CHECK-NEXT: ret i32 [[V]]34;35 %v = load i32, ptr %m36 ret i32 %v37}38 39define internal i32 @j(ptr %m) {40; CHECK-LABEL: define internal i32 @j(41; CHECK-SAME: ptr [[M:%.*]]) {42; CHECK-NEXT: [[V:%.*]] = load i32, ptr [[M]], align 443; CHECK-NEXT: ret i32 [[V]]44;45 %v = load i32, ptr %m46 ret i32 %v47}48 49define internal i32 @inalloca(ptr inalloca(i32) %p) {50; CHECK-LABEL: define internal fastcc i32 @inalloca(51; CHECK-SAME: ptr [[P:%.*]]) unnamed_addr {52; CHECK-NEXT: [[RV:%.*]] = load i32, ptr [[P]], align 453; CHECK-NEXT: ret i32 [[RV]]54;55 %rv = load i32, ptr %p56 ret i32 %rv57}58 59define i32 @inalloca2_caller(ptr inalloca(i32) %p) {60; CHECK-LABEL: define i32 @inalloca2_caller(61; CHECK-SAME: ptr inalloca(i32) [[P:%.*]]) local_unnamed_addr {62; CHECK-NEXT: [[RV:%.*]] = musttail call i32 @inalloca2(ptr inalloca(i32) [[P]])63; CHECK-NEXT: ret i32 [[RV]]64;65 %rv = musttail call i32 @inalloca2(ptr inalloca(i32) %p)66 ret i32 %rv67}68define internal i32 @inalloca2(ptr inalloca(i32) %p) {69; Because of the musttail caller, this inalloca cannot be dropped.70; CHECK-LABEL: define internal i32 @inalloca2(71; CHECK-SAME: ptr inalloca(i32) [[P:%.*]]) unnamed_addr {72; CHECK-NEXT: [[RV:%.*]] = load i32, ptr [[P]], align 473; CHECK-NEXT: ret i32 [[RV]]74;75 %rv = load i32, ptr %p76 ret i32 %rv77}78 79define internal i32 @preallocated(ptr preallocated(i32) %p) {80; CHECK-LABEL: define internal fastcc i32 @preallocated(81; CHECK-SAME: ptr [[P:%.*]]) unnamed_addr {82; CHECK-NEXT: [[RV:%.*]] = load i32, ptr [[P]], align 483; CHECK-NEXT: ret i32 [[RV]]84;85 %rv = load i32, ptr %p86 ret i32 %rv87}88 89define void @call_things() {90; CHECK-LABEL: define void @call_things() local_unnamed_addr {91; CHECK-NEXT: [[M:%.*]] = alloca i32, align 492; CHECK-NEXT: [[TMP1:%.*]] = call fastcc i32 @f(ptr [[M]])93; CHECK-NEXT: [[TMP2:%.*]] = call fastcc i32 @g(ptr [[M]])94; CHECK-NEXT: [[TMP3:%.*]] = call coldcc i32 @h(ptr [[M]])95; CHECK-NEXT: [[TMP4:%.*]] = call i32 @j(ptr [[M]])96; CHECK-NEXT: [[ARGS:%.*]] = alloca inalloca i32, align 497; CHECK-NEXT: [[TMP5:%.*]] = call fastcc i32 @inalloca(ptr [[ARGS]])98; CHECK-NEXT: [[TMP6:%.*]] = call ptr @llvm.stacksave.p0()99; CHECK-NEXT: [[PAARG:%.*]] = alloca i32, align 4100; CHECK-NEXT: [[TMP7:%.*]] = call fastcc i32 @preallocated(ptr [[PAARG]])101; CHECK-NEXT: call void @llvm.stackrestore.p0(ptr [[TMP6]])102; CHECK-NEXT: ret void103;104 %m = alloca i32105 call i32 @f(ptr %m)106 call x86_thiscallcc i32 @g(ptr %m)107 call coldcc i32 @h(ptr %m)108 call i32 @j(ptr %m)109 %args = alloca inalloca i32110 call i32 @inalloca(ptr inalloca(i32) %args)111 %c = call token @llvm.call.preallocated.setup(i32 1)112 %N = call ptr @llvm.call.preallocated.arg(token %c, i32 0) preallocated(i32)113 call i32 @preallocated(ptr preallocated(i32) %N) ["preallocated"(token %c)]114 ret void115}116 117@llvm.used = appending global [1 x ptr] [118 ptr @j119], section "llvm.metadata"120 121define internal i32 @assume_fastcc() {122; CHECK-LABEL: define internal fastcc i32 @assume_fastcc() {123; CHECK-NEXT: [[OBJSIZE:%.*]] = call i32 @llvm.objectsize.i32.p0(ptr @assume_fastcc, i1 false, i1 false, i1 false)124; CHECK-NEXT: ret i32 [[OBJSIZE]]125;126 %objsize = call i32 @llvm.objectsize.i32.p0(ptr @assume_fastcc, i1 false, i1 false, i1 false)127 ret i32 %objsize128}129 130define internal i32 @constexpr_self_user() addrspace(1) {131; CHECK-LABEL: define internal fastcc i32 @constexpr_self_user() addrspace(1) {132; CHECK-NEXT: [[OBJSIZE:%.*]] = call i32 @llvm.objectsize.i32.p0(ptr addrspacecast (ptr addrspace(1) @constexpr_self_user to ptr), i1 false, i1 false, i1 false)133; CHECK-NEXT: ret i32 [[OBJSIZE]]134;135 %objsize = call i32 @llvm.objectsize.i32.p0(ptr addrspacecast (ptr addrspace(1) @constexpr_self_user to ptr), i1 false, i1 false, i1 false)136 ret i32 %objsize137}138