This is an archive of the discontinued LLVM Phabricator instance.

Differential D72331

OpaquePtr: add type to inalloca attribute.
AcceptedPublic

Authored by t.p.northover on Jan 7 2020, 6:07 AM.

Details

Reviewers
dblaikie
rnk
jdoerfert
sstefan1
Summary

Similarly to byval, the inalloca aergument attribute (for MSVC compatibility) currently works by looking at the pointee type of its argument. This is no longer going to work with opaque pointers, and needs to be adapted reasonably early to allow any front-ends time to upgrade their usage.

So this patch adds an optional type, pretty much following byval's implementation directly from last year, so that part is probably pretty straightforward.

What might be worth thinking about is just where we enforce that byval and inalloca are incompatible. The situation I eneded up with was:

  • AttrBuilder allows you to create an AttributeSet with both (as before, but needed a new Type field to implement).
  • IR: they can exist together (as before)
  • Verifier: complains about IR in that state (as before).
  • CodeGen: shoves everything into a single "type" and "align" field. As before, but I've renamed them to be a bit more use-case agnostic in this patch.

I think that mostly makes sense, except possibly for the AttrBuilder. It might instead make sense to assert if someone tries to create a set with both.

Diff Detail

Event Timeline

t.p.northover created this revision.Jan 7 2020, 6:07 AM
Herald added a reviewer: jdoerfert. · View Herald TranscriptJan 7 2020, 6:07 AM
Herald added a reviewer: sstefan1. · View Herald Transcript
Herald added projects: Restricted Project, Restricted Project. · View Herald Transcript
Herald added subscribers: luismarques, apazos, sameer.abuasal and 37 others. · View Herald Transcript
jdoerfert resigned from this revision.Jan 7 2020, 7:58 AM
Herald added a subscriber: • wuzish. · View Herald TranscriptJan 7 2020, 7:58 AM
sstefan1 resigned from this revision.Jan 7 2020, 10:50 AM
dblaikie accepted this revision.Jan 7 2020, 1:39 PM
dblaikie added a subscriber: rnk.

Looks pretty good to me - couple of minor things. If you want to check with @rnk (best point of contact on the inalloca feature in general), that'd probably be good.

Might've been a bit easier to review with the renamings in separate patches, but this makes it easier to see all the call sites, which is handy.

llvm/lib/IR/Attributes.cpp
885

Probably use nullptr, rather than 0 here.

llvm/lib/IR/Core.cpp
150–155

could drop the else-after-returns here, but I realize it's consistent with existing style, so maybe better in a separate pre/post patch

This revision is now accepted and ready to land.Jan 7 2020, 1:39 PM
t.p.northover updated this revision to Diff 237625.Jan 13 2020, 4:20 AM

I made the change suggested to Core.cpp style and rebased this patch, and fixed the nullptr issue David pointed out.

dblaikie added a reviewer: rnk.Jan 24 2020, 10:17 PM
Herald added a subscriber: kerbowa. · View Herald TranscriptJan 24 2020, 10:17 PM
dblaikie added a comment.Jan 24 2020, 10:23 PM

@rnk mind taking a look at this when you get a chance just to sanity check from the inalloca design side of things?

rnk accepted this revision.Jan 26 2020, 8:21 AM

lgtm, thanks!

I remember reading through this last week, but apparently I did not hit send. This patch actually prompted me to start working on the replacement for this thing.

Revision Contents

PathSize
clang/
lib/
CodeGen/
2 lines
test/
CodeGenCXX/
8 lines
8 lines
4 lines
16 lines
12 lines
12 lines
2 lines
22 lines
2 lines
2 lines
2 lines
CodeGenObjCXX/
4 lines
2 lines
llvm/
include/
llvm/
CodeGen/
22 lines
6 lines
IR/
3 lines
12 lines
5 lines
6 lines
6 lines
lib/
AsmParser/
2 lines
22 lines
Bitcode/
Reader/
65 lines
Writer/
2 lines
CodeGen/
4 lines
GlobalISel/
6 lines
SelectionDAG/
8 lines
16 lines
6 lines
6 lines
IR/
6 lines
1 line
57 lines
5 lines
5 lines
5 lines
Linker/
9 lines
Target/
AArch64/
8 lines
AMDGPU/
10 lines
ARM/
8 lines
Hexagon/
13 lines
Lanai/
4 lines
MSP430/
6 lines
Mips/
10 lines
NVPTX/
6 lines
PowerPC/
6 lines
26 lines
RISCV/
4 lines
Sparc/
4 lines
WebAssembly/
10 lines
X86/
2 lines
4 lines
17 lines
XCore/
6 lines
Transforms/
Utils/
9 lines
test/
Assembler/
43 lines
4 lines
4 lines
4 lines
Bitcode/
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
10 lines
8 lines
Transforms/
Attributor/
ArgumentPromotion/
12 lines
4 lines
4 lines
FunctionAttrs/
4 lines
InstCombine/
6 lines
unittests/
IR/
10 lines

Diff 237625

clang/lib/CodeGen/CGCall.cpp

Show First 20 Lines • Show All 2,042 Lines • ▼ Show 20 Lines if (RetAI.getInReg())
SRETAttrs.addAttribute(llvm::Attribute::InReg); SRETAttrs.addAttribute(llvm::Attribute::InReg);
ArgAttrs[IRFunctionArgs.getSRetArgNo()] = ArgAttrs[IRFunctionArgs.getSRetArgNo()] =
llvm::AttributeSet::get(getLLVMContext(), SRETAttrs); llvm::AttributeSet::get(getLLVMContext(), SRETAttrs);
} }
// Attach attributes to inalloca argument. // Attach attributes to inalloca argument.
if (IRFunctionArgs.hasInallocaArg()) { if (IRFunctionArgs.hasInallocaArg()) {
llvm::AttrBuilder Attrs; llvm::AttrBuilder Attrs;
Attrs.addAttribute(llvm::Attribute::InAlloca); Attrs.addInAllocaAttr(FI.getArgStruct());
ArgAttrs[IRFunctionArgs.getInallocaArgNo()] = ArgAttrs[IRFunctionArgs.getInallocaArgNo()] =
llvm::AttributeSet::get(getLLVMContext(), Attrs); llvm::AttributeSet::get(getLLVMContext(), Attrs);
} }
unsigned ArgNo = 0; unsigned ArgNo = 0;
for (CGFunctionInfo::const_arg_iterator I = FI.arg_begin(), for (CGFunctionInfo::const_arg_iterator I = FI.arg_begin(),
E = FI.arg_end(); E = FI.arg_end();
I != E; ++I, ++ArgNo) { I != E; ++I, ++ArgNo) {
▲ Show 20 Lines • Show All 2,611 Lines • Show Last 20 Lines

clang/test/CodeGenCXX/attr-target-mv-inalloca.cpp

Show All 10 Lines
int __attribute__((target("sse4.2"))) bar(Foo o) { return o.x + 1; } int __attribute__((target("sse4.2"))) bar(Foo o) { return o.x + 1; }
int __attribute__((target("arch=ivybridge"))) bar(Foo o) { return o.x + 2; } int __attribute__((target("arch=ivybridge"))) bar(Foo o) { return o.x + 2; }
void usage() { void usage() {
Foo f; Foo f;
bar(f); bar(f);
} }
// WINDOWS: define dso_local i32 @"?bar@@YAHUFoo@@@Z"(<{ %struct.Foo }>* inalloca %0) // WINDOWS: define dso_local i32 @"?bar@@YAHUFoo@@@Z"(<{ %struct.Foo }>* inalloca(<{ %struct.Foo }>) %0)
// WINDOWS: %[[O:[0-9a-zA-Z]+]] = getelementptr inbounds <{ %struct.Foo }>, <{ %struct.Foo }>* %0, i32 0, i32 0 // WINDOWS: %[[O:[0-9a-zA-Z]+]] = getelementptr inbounds <{ %struct.Foo }>, <{ %struct.Foo }>* %0, i32 0, i32 0
// WINDOWS: %[[X:[0-9a-zA-Z]+]] = getelementptr inbounds %struct.Foo, %struct.Foo* %[[O]], i32 0, i32 0 // WINDOWS: %[[X:[0-9a-zA-Z]+]] = getelementptr inbounds %struct.Foo, %struct.Foo* %[[O]], i32 0, i32 0
// WINDOWS: %[[LOAD:[0-9a-zA-Z]+]] = load i32, i32* %[[X]] // WINDOWS: %[[LOAD:[0-9a-zA-Z]+]] = load i32, i32* %[[X]]
// WINDOWS: ret i32 %[[LOAD]] // WINDOWS: ret i32 %[[LOAD]]
// WINDOWS: define dso_local i32 @"?bar@@YAHUFoo@@@Z.sse4.2"(<{ %struct.Foo }>* inalloca %0) // WINDOWS: define dso_local i32 @"?bar@@YAHUFoo@@@Z.sse4.2"(<{ %struct.Foo }>* inalloca(<{ %struct.Foo }>) %0)
// WINDOWS: %[[O:[0-9a-zA-Z]+]] = getelementptr inbounds <{ %struct.Foo }>, <{ %struct.Foo }>* %0, i32 0, i32 0 // WINDOWS: %[[O:[0-9a-zA-Z]+]] = getelementptr inbounds <{ %struct.Foo }>, <{ %struct.Foo }>* %0, i32 0, i32 0
// WINDOWS: %[[X:[0-9a-zA-Z]+]] = getelementptr inbounds %struct.Foo, %struct.Foo* %[[O]], i32 0, i32 0 // WINDOWS: %[[X:[0-9a-zA-Z]+]] = getelementptr inbounds %struct.Foo, %struct.Foo* %[[O]], i32 0, i32 0
// WINDOWS: %[[LOAD:[0-9a-zA-Z]+]] = load i32, i32* %[[X]] // WINDOWS: %[[LOAD:[0-9a-zA-Z]+]] = load i32, i32* %[[X]]
// WINDOWS: %[[ADD:[0-9a-zA-Z]+]] = add nsw i32 %[[LOAD]], 1 // WINDOWS: %[[ADD:[0-9a-zA-Z]+]] = add nsw i32 %[[LOAD]], 1
// WINDOWS: ret i32 %[[ADD]] // WINDOWS: ret i32 %[[ADD]]
// WINDOWS: define dso_local i32 @"?bar@@YAHUFoo@@@Z.arch_ivybridge"(<{ %struct.Foo }>* inalloca %0) // WINDOWS: define dso_local i32 @"?bar@@YAHUFoo@@@Z.arch_ivybridge"(<{ %struct.Foo }>* inalloca(<{ %struct.Foo }>) %0)
// WINDOWS: %[[O:[0-9a-zA-Z]+]] = getelementptr inbounds <{ %struct.Foo }>, <{ %struct.Foo }>* %0, i32 0, i32 0 // WINDOWS: %[[O:[0-9a-zA-Z]+]] = getelementptr inbounds <{ %struct.Foo }>, <{ %struct.Foo }>* %0, i32 0, i32 0
// WINDOWS: %[[X:[0-9a-zA-Z]+]] = getelementptr inbounds %struct.Foo, %struct.Foo* %[[O]], i32 0, i32 0 // WINDOWS: %[[X:[0-9a-zA-Z]+]] = getelementptr inbounds %struct.Foo, %struct.Foo* %[[O]], i32 0, i32 0
// WINDOWS: %[[LOAD:[0-9a-zA-Z]+]] = load i32, i32* %[[X]] // WINDOWS: %[[LOAD:[0-9a-zA-Z]+]] = load i32, i32* %[[X]]
// WINDOWS: %[[ADD:[0-9a-zA-Z]+]] = add nsw i32 %[[LOAD]], 2 // WINDOWS: %[[ADD:[0-9a-zA-Z]+]] = add nsw i32 %[[LOAD]], 2
// WINDOWS: ret i32 %[[ADD]] // WINDOWS: ret i32 %[[ADD]]
// WINDOWS: define dso_local void @"?usage@@YAXXZ"() // WINDOWS: define dso_local void @"?usage@@YAXXZ"()
// WINDOWS: %[[F:[0-9a-zA-Z]+]] = alloca %struct.Foo // WINDOWS: %[[F:[0-9a-zA-Z]+]] = alloca %struct.Foo
// WINDOWS: %[[ARGMEM:[0-9a-zA-Z]+]] = alloca inalloca <{ %struct.Foo }> // WINDOWS: %[[ARGMEM:[0-9a-zA-Z]+]] = alloca inalloca <{ %struct.Foo }>
// WINDOWS: %[[CALL:[0-9a-zA-Z]+]] = call i32 @"?bar@@YAHUFoo@@@Z.resolver"(<{ %struct.Foo }>* inalloca %[[ARGMEM]]) // WINDOWS: %[[CALL:[0-9a-zA-Z]+]] = call i32 @"?bar@@YAHUFoo@@@Z.resolver"(<{ %struct.Foo }>* inalloca(<{ %struct.Foo }>) %[[ARGMEM]])
// WINDOWS: define weak_odr dso_local i32 @"?bar@@YAHUFoo@@@Z.resolver"(<{ %struct.Foo }>* %0) // WINDOWS: define weak_odr dso_local i32 @"?bar@@YAHUFoo@@@Z.resolver"(<{ %struct.Foo }>* %0)
// WINDOWS: %[[RET:[0-9a-zA-Z]+]] = musttail call i32 @"?bar@@YAHUFoo@@@Z.arch_ivybridge"(<{ %struct.Foo }>* %0) // WINDOWS: %[[RET:[0-9a-zA-Z]+]] = musttail call i32 @"?bar@@YAHUFoo@@@Z.arch_ivybridge"(<{ %struct.Foo }>* %0)
// WINDOWS-NEXT: ret i32 %[[RET]] // WINDOWS-NEXT: ret i32 %[[RET]]
// WINDOWS: %[[RET:[0-9a-zA-Z]+]] = musttail call i32 @"?bar@@YAHUFoo@@@Z.sse4.2"(<{ %struct.Foo }>* %0) // WINDOWS: %[[RET:[0-9a-zA-Z]+]] = musttail call i32 @"?bar@@YAHUFoo@@@Z.sse4.2"(<{ %struct.Foo }>* %0)
// WINDOWS-NEXT: ret i32 %[[RET]] // WINDOWS-NEXT: ret i32 %[[RET]]
// WINDOWS: %[[RET:[0-9a-zA-Z]+]] = musttail call i32 @"?bar@@YAHUFoo@@@Z"(<{ %struct.Foo }>* %0) // WINDOWS: %[[RET:[0-9a-zA-Z]+]] = musttail call i32 @"?bar@@YAHUFoo@@@Z"(<{ %struct.Foo }>* %0)
// WINDOWS-NEXT: ret i32 %[[RET]] // WINDOWS-NEXT: ret i32 %[[RET]]
Show All 31 Lines

clang/test/CodeGenCXX/inheriting-constructor.cpp

Show First 20 Lines • Show All 128 Lines • ▼ Show 20 Linesnamespace inalloca_nonvirt {
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"({{.*}}* %[[ARG3]], i32 3) // WIN32: call {{.*}} @"??0Q@@QAE@H@Z"({{.*}}* %[[ARG3]], i32 3)
// WIN32: %[[ARG1:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG1:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"({{.*}}* %[[ARG1]], i32 1) // WIN32: call {{.*}} @"??0Q@@QAE@H@Z"({{.*}}* %[[ARG1]], i32 1)
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"( // WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
// WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: store i32 2, i32* %[[ARG2]] // WIN32: store i32 2, i32* %[[ARG2]]
// WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: store {{.*}}* %[[TMP]], {{.*}}** %[[ARG4]] // WIN32: store {{.*}}* %[[TMP]], {{.*}}** %[[ARG4]]
// WIN32: call {{.*}} @"??0A@inalloca_nonvirt@@QAE@UQ@@H0$$QAU2@@Z"(%{{[^,]*}}, <{{.*}}>* inalloca %[[ARGMEM]]) // WIN32: call {{.*}} @"??0A@inalloca_nonvirt@@QAE@UQ@@H0$$QAU2@@Z"(%{{[^,]*}}, <{{.*}}>* inalloca(<{{.*}}>) %[[ARGMEM]])
// WIN32: call void @llvm.stackrestore( // WIN32: call void @llvm.stackrestore(
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"( // WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
// WIN32: call {{.*}} @"??1Q@@QAE@XZ"( // WIN32: call {{.*}} @"??1Q@@QAE@XZ"(
// On Win64, the Q arguments would be destroyed in the callee. We don't yet // On Win64, the Q arguments would be destroyed in the callee. We don't yet
// support that in the non-inlined case, so we force inlining. // support that in the non-inlined case, so we force inlining.
// WIN64: %[[TMP:.*]] = alloca // WIN64: %[[TMP:.*]] = alloca
// WIN64: %[[ARG3:.*]] = alloca // WIN64: %[[ARG3:.*]] = alloca
Show All 19 Linesnamespace inalloca_nonvirt {
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"({{.*}}* %[[ARG3]], i32 3) // WIN32: call {{.*}} @"??0Q@@QAE@H@Z"({{.*}}* %[[ARG3]], i32 3)
// WIN32: %[[ARG1:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG1:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: call {{.*}} @"??0Q@@QAE@H@Z"({{.*}}* %[[ARG1]], i32 1) // WIN32: call {{.*}} @"??0Q@@QAE@H@Z"({{.*}}* %[[ARG1]], i32 1)
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"( // WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
// WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: store i32 2, i32* %[[ARG2]] // WIN32: store i32 2, i32* %[[ARG2]]
// WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: store {{.*}}* %[[TMP]], {{.*}}** %[[ARG4]] // WIN32: store {{.*}}* %[[TMP]], {{.*}}** %[[ARG4]]
// WIN32: call {{.*}} @"??0A@inalloca_nonvirt@@QAE@UQ@@H0$$QAU2@@Z"(%{{[^,]*}}, <{{.*}}>* inalloca %[[ARGMEM]]) // WIN32: call {{.*}} @"??0A@inalloca_nonvirt@@QAE@UQ@@H0$$QAU2@@Z"(%{{[^,]*}}, <{{.*}}>* inalloca(<{{.*}}>) %[[ARGMEM]])
// WIN32: call void @llvm.stackrestore( // WIN32: call void @llvm.stackrestore(
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"( // WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
// WIN32: call {{.*}} @"??1Q@@QAE@XZ"( // WIN32: call {{.*}} @"??1Q@@QAE@XZ"(
// On Win64, the Q arguments would be destroyed in the callee. We don't yet // On Win64, the Q arguments would be destroyed in the callee. We don't yet
// support that in the non-inlined case, so we force inlining. // support that in the non-inlined case, so we force inlining.
// WIN64: %[[TMP:.*]] = alloca // WIN64: %[[TMP:.*]] = alloca
// WIN64: %[[ARG3:.*]] = alloca // WIN64: %[[ARG3:.*]] = alloca
Show All 29 Linesnamespace inalloca_virt {
// WIN32: %[[IS_MOST_DERIVED_i1:.*]] = icmp ne i32 %[[IS_MOST_DERIVED]], 0 // WIN32: %[[IS_MOST_DERIVED_i1:.*]] = icmp ne i32 %[[IS_MOST_DERIVED]], 0
// WIN32: br i1 %[[IS_MOST_DERIVED_i1]] // WIN32: br i1 %[[IS_MOST_DERIVED_i1]]
// //
// WIN32: store {{.*}} @"??_8B@inalloca_virt@@7B@" // WIN32: store {{.*}} @"??_8B@inalloca_virt@@7B@"
// WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: store i32 2, i32* %[[ARG2]] // WIN32: store i32 2, i32* %[[ARG2]]
// WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: store {{.*}}* %[[TMP]], {{.*}}** %[[ARG4]] // WIN32: store {{.*}}* %[[TMP]], {{.*}}** %[[ARG4]]
// WIN32: call {{.*}} @"??0A@inalloca_virt@@QAE@UQ@@H0$$QAU2@@Z"(%{{[^,]*}}, <{{.*}}>* inalloca %[[ARGMEM]]) // WIN32: call {{.*}} @"??0A@inalloca_virt@@QAE@UQ@@H0$$QAU2@@Z"(%{{[^,]*}}, <{{.*}}>* inalloca(<{{.*}}>) %[[ARGMEM]])
// WIN32: call void @llvm.stackrestore( // WIN32: call void @llvm.stackrestore(
// WIN32: br // WIN32: br
// //
// Note that if we jumped directly to here we would fail to stackrestore and // Note that if we jumped directly to here we would fail to stackrestore and
// destroy the parameters, but that's not actually possible. // destroy the parameters, but that's not actually possible.
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"( // WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"( // WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
// WIN32: call {{.*}} @"??1Q@@QAE@XZ"( // WIN32: call {{.*}} @"??1Q@@QAE@XZ"(
Show All 33 Linesnamespace inalloca_virt {
// WIN32: %[[IS_MOST_DERIVED_i1:.*]] = icmp ne i32 %[[IS_MOST_DERIVED]], 0 // WIN32: %[[IS_MOST_DERIVED_i1:.*]] = icmp ne i32 %[[IS_MOST_DERIVED]], 0
// WIN32: br i1 %[[IS_MOST_DERIVED_i1]] // WIN32: br i1 %[[IS_MOST_DERIVED_i1]]
// //
// WIN32: store {{.*}} @"??_8C@inalloca_virt@@7B@" // WIN32: store {{.*}} @"??_8C@inalloca_virt@@7B@"
// WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG2:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: store i32 2, i32* %[[ARG2]] // WIN32: store i32 2, i32* %[[ARG2]]
// WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]] // WIN32: %[[ARG4:.*]] = getelementptr {{.*}} %[[ARGMEM]]
// WIN32: store {{.*}}* %[[TMP]], {{.*}}** %[[ARG4]] // WIN32: store {{.*}}* %[[TMP]], {{.*}}** %[[ARG4]]
// WIN32: call {{.*}} @"??0A@inalloca_virt@@QAE@UQ@@H0$$QAU2@@Z"(%{{[^,]*}}, <{{.*}}>* inalloca %[[ARGMEM]]) // WIN32: call {{.*}} @"??0A@inalloca_virt@@QAE@UQ@@H0$$QAU2@@Z"(%{{[^,]*}}, <{{.*}}>* inalloca(<{{.*}}>) %[[ARGMEM]])
// WIN32: call void @llvm.stackrestore( // WIN32: call void @llvm.stackrestore(
// WIN32: br // WIN32: br
// //
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"( // WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
// WIN32: call {{.*}} @"??0Z@@QAE@XZ"( // WIN32: call {{.*}} @"??0Z@@QAE@XZ"(
// WIN32: call {{.*}} @"??1Q@@QAE@XZ"( // WIN32: call {{.*}} @"??1Q@@QAE@XZ"(
// On Win64, the Q arguments would be destroyed in the callee. We don't yet // On Win64, the Q arguments would be destroyed in the callee. We don't yet
▲ Show 20 Lines • Show All 119 Lines • Show Last 20 Lines

clang/test/CodeGenCXX/microsoft-abi-arg-order.cpp

// RUN: %clang_cc1 -mconstructor-aliases -std=c++11 -fexceptions -emit-llvm %s -o - -triple=i386-pc-win32 | FileCheck %s -check-prefix=X86 // RUN: %clang_cc1 -mconstructor-aliases -std=c++11 -fexceptions -emit-llvm %s -o - -triple=i386-pc-win32 | FileCheck %s -check-prefix=X86
// RUN: %clang_cc1 -mconstructor-aliases -std=c++11 -fexceptions -emit-llvm %s -o - -triple=x86_64-pc-win32 | FileCheck %s -check-prefix=X64 // RUN: %clang_cc1 -mconstructor-aliases -std=c++11 -fexceptions -emit-llvm %s -o - -triple=x86_64-pc-win32 | FileCheck %s -check-prefix=X64
struct A { struct A {
A(int a); A(int a);
A(const A &o); A(const A &o);
~A(); ~A();
int a; int a;
}; };
void foo(A a, A b, A c) { void foo(A a, A b, A c) {
} }
// Order of destruction should be left to right. // Order of destruction should be left to right.
// //
// X86-LABEL: define dso_local void @"?foo@@YAXUA@@00@Z" // X86-LABEL: define dso_local void @"?foo@@YAXUA@@00@Z"
// X86: ([[argmem_ty:<{ %struct.A, %struct.A, %struct.A }>]]* inalloca %0) // X86: ([[argmem_ty:<{ %struct.A, %struct.A, %struct.A }>]]* inalloca([[argmem_ty]]) %0)
// X86: %[[a:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 0 // X86: %[[a:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 0
// X86: %[[b:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 1 // X86: %[[b:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 1
// X86: %[[c:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 2 // X86: %[[c:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 2
// X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %[[a]]) // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %[[a]])
// X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %[[b]]) // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %[[b]])
// X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %[[c]]) // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %[[c]])
// X86: ret void // X86: ret void
Show All 16 Lines
// X86: call i8* @llvm.stacksave() // X86: call i8* @llvm.stacksave()
// X86: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty]] // X86: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty]]
// X86: %[[arg3:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 2 // X86: %[[arg3:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 2
// X86: call x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* %[[arg3]], i32 3) // X86: call x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* %[[arg3]], i32 3)
// X86: %[[arg2:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1 // X86: %[[arg2:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1
// X86: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* %[[arg2]], i32 2) // X86: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* %[[arg2]], i32 2)
// X86: %[[arg1:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0 // X86: %[[arg1:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
// X86: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* %[[arg1]], i32 1) // X86: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* %[[arg1]], i32 1)
// X86: call void @"?foo@@YAXUA@@00@Z"([[argmem_ty]]* inalloca %[[argmem]]) // X86: call void @"?foo@@YAXUA@@00@Z"([[argmem_ty]]* inalloca([[argmem_ty]]) %[[argmem]])
// X86: call void @llvm.stackrestore // X86: call void @llvm.stackrestore
// X86: ret void // X86: ret void
// //
// lpad2: // lpad2:
// X86: cleanuppad within none [] // X86: cleanuppad within none []
// X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %[[arg2]]) // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %[[arg2]])
// X86: cleanupret // X86: cleanupret
// //
Show All 18 Lines

clang/test/CodeGenCXX/microsoft-abi-byval-sret.cpp

Show All 13 Linesstruct B {
A __fastcall qux(A o); A __fastcall qux(A o);
}; };
A B::foo(A x) { A B::foo(A x) {
return x; return x;
} }
// CHECK-LABEL: define dso_local x86_thiscallcc %struct.A* @"?foo@B@@QAE?AUA@@U2@@Z" // CHECK-LABEL: define dso_local x86_thiscallcc %struct.A* @"?foo@B@@QAE?AUA@@U2@@Z"
// CHECK: (%struct.B* %this, <{ %struct.A*, %struct.A }>* inalloca %0) // CHECK: (%struct.B* %this, <{ %struct.A*, %struct.A }>* inalloca(<{ %struct.A*, %struct.A }>) %0)
// CHECK: getelementptr inbounds <{ %struct.A*, %struct.A }>, <{ %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 0 // CHECK: getelementptr inbounds <{ %struct.A*, %struct.A }>, <{ %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 0
// CHECK: load %struct.A*, %struct.A** // CHECK: load %struct.A*, %struct.A**
// CHECK: ret %struct.A* // CHECK: ret %struct.A*
A B::bar(A x) { A B::bar(A x) {
return x; return x;
} }
// CHECK-LABEL: define dso_local %struct.A* @"?bar@B@@QAA?AUA@@U2@@Z" // CHECK-LABEL: define dso_local %struct.A* @"?bar@B@@QAA?AUA@@U2@@Z"
// CHECK: (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca %0) // CHECK: (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca(<{ %struct.B*, %struct.A*, %struct.A }>) %0)
// CHECK: getelementptr inbounds <{ %struct.B*, %struct.A*, %struct.A }>, <{ %struct.B*, %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 1 // CHECK: getelementptr inbounds <{ %struct.B*, %struct.A*, %struct.A }>, <{ %struct.B*, %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 1
// CHECK: load %struct.A*, %struct.A** // CHECK: load %struct.A*, %struct.A**
// CHECK: ret %struct.A* // CHECK: ret %struct.A*
A B::baz(A x) { A B::baz(A x) {
return x; return x;
} }
// CHECK-LABEL: define dso_local x86_stdcallcc %struct.A* @"?baz@B@@QAG?AUA@@U2@@Z" // CHECK-LABEL: define dso_local x86_stdcallcc %struct.A* @"?baz@B@@QAG?AUA@@U2@@Z"
// CHECK: (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca %0) // CHECK: (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca(<{ %struct.B*, %struct.A*, %struct.A }>) %0)
// CHECK: getelementptr inbounds <{ %struct.B*, %struct.A*, %struct.A }>, <{ %struct.B*, %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 1 // CHECK: getelementptr inbounds <{ %struct.B*, %struct.A*, %struct.A }>, <{ %struct.B*, %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 1
// CHECK: load %struct.A*, %struct.A** // CHECK: load %struct.A*, %struct.A**
// CHECK: ret %struct.A* // CHECK: ret %struct.A*
A B::qux(A x) { A B::qux(A x) {
return x; return x;
} }
// CHECK-LABEL: define dso_local x86_fastcallcc void @"?qux@B@@QAI?AUA@@U2@@Z" // CHECK-LABEL: define dso_local x86_fastcallcc void @"?qux@B@@QAI?AUA@@U2@@Z"
// CHECK: (%struct.B* inreg %this, %struct.A* inreg noalias sret %agg.result, <{ %struct.A }>* inalloca %0) // CHECK: (%struct.B* inreg %this, %struct.A* inreg noalias sret %agg.result, <{ %struct.A }>* inalloca(<{ %struct.A }>) %0)
// CHECK: ret void // CHECK: ret void
int main() { int main() {
B b; B b;
A a = b.foo(A()); A a = b.foo(A());
a = b.bar(a); a = b.bar(a);
a = b.baz(a); a = b.baz(a);
a = b.qux(a); a = b.qux(a);
} }
// CHECK: call x86_thiscallcc %struct.A* @"?foo@B@@QAE?AUA@@U2@@Z" // CHECK: call x86_thiscallcc %struct.A* @"?foo@B@@QAE?AUA@@U2@@Z"
// CHECK: (%struct.B* %{{[^,]*}}, <{ %struct.A*, %struct.A }>* inalloca %{{[^,]*}}) // CHECK: (%struct.B* %{{[^,]*}}, <{ %struct.A*, %struct.A }>* inalloca(<{ %struct.A*, %struct.A }>) %{{[^,]*}})
// CHECK: call %struct.A* @"?bar@B@@QAA?AUA@@U2@@Z" // CHECK: call %struct.A* @"?bar@B@@QAA?AUA@@U2@@Z"
// CHECK: (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca %{{[^,]*}}) // CHECK: (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca(<{ %struct.B*, %struct.A*, %struct.A }>) %{{[^,]*}})
// CHECK: call x86_stdcallcc %struct.A* @"?baz@B@@QAG?AUA@@U2@@Z" // CHECK: call x86_stdcallcc %struct.A* @"?baz@B@@QAG?AUA@@U2@@Z"
// CHECK: (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca %{{[^,]*}}) // CHECK: (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca(<{ %struct.B*, %struct.A*, %struct.A }>) %{{[^,]*}})
// CHECK: call x86_fastcallcc void @"?qux@B@@QAI?AUA@@U2@@Z" // CHECK: call x86_fastcallcc void @"?qux@B@@QAI?AUA@@U2@@Z"
// CHECK: (%struct.B* inreg %{{[^,]*}}, %struct.A* inreg sret %{{.*}}, <{ %struct.A }>* inalloca %{{[^,]*}}) // CHECK: (%struct.B* inreg %{{[^,]*}}, %struct.A* inreg sret %{{.*}}, <{ %struct.A }>* inalloca(<{ %struct.A }>) %{{[^,]*}})

clang/test/CodeGenCXX/microsoft-abi-byval-thunks.cpp

Show All 9 Lines
}; };
struct A { virtual void foo(Agg x); }; struct A { virtual void foo(Agg x); };
struct B { virtual void foo(Agg x); }; struct B { virtual void foo(Agg x); };
struct C : A, B { C(); virtual void foo(Agg x); }; struct C : A, B { C(); virtual void foo(Agg x); };
C::C() {} // force emission C::C() {} // force emission
// CHECK32-LABEL: define linkonce_odr dso_local x86_thiscallcc void @"?foo@C@byval_thunk@@W3AEXUAgg@2@@Z" // CHECK32-LABEL: define linkonce_odr dso_local x86_thiscallcc void @"?foo@C@byval_thunk@@W3AEXUAgg@2@@Z"
// CHECK32: (%"struct.byval_thunk::C"* %this, <{ %"struct.byval_thunk::Agg" }>* inalloca %0) // CHECK32: (%"struct.byval_thunk::C"* %this, <{ %"struct.byval_thunk::Agg" }>* inalloca(<{ %"struct.byval_thunk::Agg" }>) %0)
// CHECK32: getelementptr i8, i8* %{{.*}}, i32 -4 // CHECK32: getelementptr i8, i8* %{{.*}}, i32 -4
// CHECK32: musttail call x86_thiscallcc void @"?foo@C@byval_thunk@@UAEXUAgg@2@@Z" // CHECK32: musttail call x86_thiscallcc void @"?foo@C@byval_thunk@@UAEXUAgg@2@@Z"
// CHECK32: (%"struct.byval_thunk::C"* %{{.*}}, <{ %"struct.byval_thunk::Agg" }>* inalloca %0) // CHECK32: (%"struct.byval_thunk::C"* %{{.*}}, <{ %"struct.byval_thunk::Agg" }>* inalloca(<{ %"struct.byval_thunk::Agg" }>) %0)
// CHECK32-NEXT: ret void // CHECK32-NEXT: ret void
// CHECK64-LABEL: define linkonce_odr dso_local void @"?foo@C@byval_thunk@@W7EAAXUAgg@2@@Z" // CHECK64-LABEL: define linkonce_odr dso_local void @"?foo@C@byval_thunk@@W7EAAXUAgg@2@@Z"
// CHECK64: (%"struct.byval_thunk::C"* %this, %"struct.byval_thunk::Agg"* %x) // CHECK64: (%"struct.byval_thunk::C"* %this, %"struct.byval_thunk::Agg"* %x)
// CHECK64: getelementptr i8, i8* %{{.*}}, i32 -8 // CHECK64: getelementptr i8, i8* %{{.*}}, i32 -8
// CHECK64: call void @"?foo@C@byval_thunk@@UEAAXUAgg@2@@Z" // CHECK64: call void @"?foo@C@byval_thunk@@UEAAXUAgg@2@@Z"
// CHECK64: (%"struct.byval_thunk::C"* %{{.*}}, %"struct.byval_thunk::Agg"* %x) // CHECK64: (%"struct.byval_thunk::C"* %{{.*}}, %"struct.byval_thunk::Agg"* %x)
// CHECK64-NOT: call // CHECK64-NOT: call
Show All 9 Lines
}; };
struct A { virtual void __stdcall foo(Agg x); }; struct A { virtual void __stdcall foo(Agg x); };
struct B { virtual void __stdcall foo(Agg x); }; struct B { virtual void __stdcall foo(Agg x); };
struct C : A, B { C(); virtual void __stdcall foo(Agg x); }; struct C : A, B { C(); virtual void __stdcall foo(Agg x); };
C::C() {} // force emission C::C() {} // force emission
// CHECK32-LABEL: define linkonce_odr dso_local x86_stdcallcc void @"?foo@C@stdcall_thunk@@W3AGXUAgg@2@@Z" // CHECK32-LABEL: define linkonce_odr dso_local x86_stdcallcc void @"?foo@C@stdcall_thunk@@W3AGXUAgg@2@@Z"
// CHECK32: (<{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>* inalloca %0) // CHECK32: (<{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>* inalloca(<{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>) %0)
// CHECK32: %[[this_slot:[^ ]*]] = getelementptr inbounds <{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>, <{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>* %0, i32 0, i32 0 // CHECK32: %[[this_slot:[^ ]*]] = getelementptr inbounds <{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>, <{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>* %0, i32 0, i32 0
// CHECK32: load %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::C"** %[[this_slot]] // CHECK32: load %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::C"** %[[this_slot]]
// CHECK32: getelementptr i8, i8* %{{.*}}, i32 -4 // CHECK32: getelementptr i8, i8* %{{.*}}, i32 -4
// CHECK32: store %"struct.stdcall_thunk::C"* %{{.*}}, %"struct.stdcall_thunk::C"** %[[this_slot]] // CHECK32: store %"struct.stdcall_thunk::C"* %{{.*}}, %"struct.stdcall_thunk::C"** %[[this_slot]]
// CHECK32: musttail call x86_stdcallcc void @"?foo@C@stdcall_thunk@@UAGXUAgg@2@@Z" // CHECK32: musttail call x86_stdcallcc void @"?foo@C@stdcall_thunk@@UAGXUAgg@2@@Z"
// CHECK32: (<{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>* inalloca %0) // CHECK32: (<{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>* inalloca(<{ %"struct.stdcall_thunk::C"*, %"struct.stdcall_thunk::Agg" }>) %0)
// CHECK32-NEXT: ret void // CHECK32-NEXT: ret void
// CHECK64-LABEL: define linkonce_odr dso_local void @"?foo@C@stdcall_thunk@@W7EAAXUAgg@2@@Z" // CHECK64-LABEL: define linkonce_odr dso_local void @"?foo@C@stdcall_thunk@@W7EAAXUAgg@2@@Z"
// CHECK64: (%"struct.stdcall_thunk::C"* %this, %"struct.stdcall_thunk::Agg"* %x) // CHECK64: (%"struct.stdcall_thunk::C"* %this, %"struct.stdcall_thunk::Agg"* %x)
// CHECK64: getelementptr i8, i8* %{{.*}}, i32 -8 // CHECK64: getelementptr i8, i8* %{{.*}}, i32 -8
// CHECK64: call void @"?foo@C@stdcall_thunk@@UEAAXUAgg@2@@Z" // CHECK64: call void @"?foo@C@stdcall_thunk@@UEAAXUAgg@2@@Z"
// CHECK64: (%"struct.stdcall_thunk::C"* %{{.*}}, %"struct.stdcall_thunk::Agg"* %x) // CHECK64: (%"struct.stdcall_thunk::C"* %{{.*}}, %"struct.stdcall_thunk::Agg"* %x)
// CHECK64-NOT: call // CHECK64-NOT: call
Show All 9 Lines
}; };
struct A { virtual Agg __cdecl foo(Agg x); }; struct A { virtual Agg __cdecl foo(Agg x); };
struct B { virtual Agg __cdecl foo(Agg x); }; struct B { virtual Agg __cdecl foo(Agg x); };
struct C : A, B { C(); virtual Agg __cdecl foo(Agg x); }; struct C : A, B { C(); virtual Agg __cdecl foo(Agg x); };
C::C() {} // force emission C::C() {} // force emission
// CHECK32-LABEL: define linkonce_odr dso_local %"struct.sret_thunk::Agg"* @"?foo@C@sret_thunk@@W3AA?AUAgg@2@U32@@Z" // CHECK32-LABEL: define linkonce_odr dso_local %"struct.sret_thunk::Agg"* @"?foo@C@sret_thunk@@W3AA?AUAgg@2@U32@@Z"
// CHECK32: (<{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>* inalloca %0) // CHECK32: (<{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>* inalloca(<{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>) %0)
// CHECK32: %[[this_slot:[^ ]*]] = getelementptr inbounds <{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>, <{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>* %0, i32 0, i32 0 // CHECK32: %[[this_slot:[^ ]*]] = getelementptr inbounds <{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>, <{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>* %0, i32 0, i32 0
// CHECK32: load %"struct.sret_thunk::C"*, %"struct.sret_thunk::C"** %[[this_slot]] // CHECK32: load %"struct.sret_thunk::C"*, %"struct.sret_thunk::C"** %[[this_slot]]
// CHECK32: getelementptr i8, i8* %{{.*}}, i32 -4 // CHECK32: getelementptr i8, i8* %{{.*}}, i32 -4
// CHECK32: store %"struct.sret_thunk::C"* %{{.*}}, %"struct.sret_thunk::C"** %[[this_slot]] // CHECK32: store %"struct.sret_thunk::C"* %{{.*}}, %"struct.sret_thunk::C"** %[[this_slot]]
// CHECK32: %[[rv:[^ ]*]] = musttail call %"struct.sret_thunk::Agg"* @"?foo@C@sret_thunk@@UAA?AUAgg@2@U32@@Z" // CHECK32: %[[rv:[^ ]*]] = musttail call %"struct.sret_thunk::Agg"* @"?foo@C@sret_thunk@@UAA?AUAgg@2@U32@@Z"
// CHECK32: (<{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>* inalloca %0) // CHECK32: (<{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>* inalloca(<{ %"struct.sret_thunk::C"*, %"struct.sret_thunk::Agg"*, %"struct.sret_thunk::Agg" }>) %0)
// CHECK32-NEXT: ret %"struct.sret_thunk::Agg"* %[[rv]] // CHECK32-NEXT: ret %"struct.sret_thunk::Agg"* %[[rv]]
// CHECK64-LABEL: define linkonce_odr dso_local void @"?foo@C@sret_thunk@@W7EAA?AUAgg@2@U32@@Z" // CHECK64-LABEL: define linkonce_odr dso_local void @"?foo@C@sret_thunk@@W7EAA?AUAgg@2@U32@@Z"
// CHECK64: (%"struct.sret_thunk::C"* %this, %"struct.sret_thunk::Agg"* noalias sret %agg.result, %"struct.sret_thunk::Agg"* %x) // CHECK64: (%"struct.sret_thunk::C"* %this, %"struct.sret_thunk::Agg"* noalias sret %agg.result, %"struct.sret_thunk::Agg"* %x)
// CHECK64: getelementptr i8, i8* %{{.*}}, i32 -8 // CHECK64: getelementptr i8, i8* %{{.*}}, i32 -8
// CHECK64: call void @"?foo@C@sret_thunk@@UEAA?AUAgg@2@U32@@Z" // CHECK64: call void @"?foo@C@sret_thunk@@UEAA?AUAgg@2@U32@@Z"
// CHECK64: (%"struct.sret_thunk::C"* %{{.*}}, %"struct.sret_thunk::Agg"* sret %agg.result, %"struct.sret_thunk::Agg"* %x) // CHECK64: (%"struct.sret_thunk::C"* %{{.*}}, %"struct.sret_thunk::Agg"* sret %agg.result, %"struct.sret_thunk::Agg"* %x)
// CHECK64-NOT: call // CHECK64-NOT: call
Show All 20 Lines

clang/test/CodeGenCXX/microsoft-abi-byval-vararg.cpp

Show All 13 Linesint foo(A a, ...) {
va_start(ap, a); va_start(ap, a);
int sum = 0; int sum = 0;
for (int i = 0; i < a.a; ++i) for (int i = 0; i < a.a; ++i)
sum += va_arg(ap, int); sum += va_arg(ap, int);
va_end(ap); va_end(ap);
return sum; return sum;
} }
// CHECK-LABEL: define dso_local i32 @"?foo@@YAHUA@@ZZ"(<{ %struct.A }>* inalloca %0, ...) // CHECK-LABEL: define dso_local i32 @"?foo@@YAHUA@@ZZ"(<{ %struct.A }>* inalloca(<{ %struct.A }>) %0, ...)
int main() { int main() {
return foo(A(3), 1, 2, 3); return foo(A(3), 1, 2, 3);
} }
// CHECK-LABEL: define dso_local i32 @main() // CHECK-LABEL: define dso_local i32 @main()
// CHECK: %[[argmem:[^ ]*]] = alloca inalloca <{ %struct.A, i32, i32, i32 }> // CHECK: %[[argmem:[^ ]*]] = alloca inalloca <{ %struct.A, i32, i32, i32 }>
// CHECK: call i32 {{.*bitcast.*}}@"?foo@@YAHUA@@ZZ"{{.*}}(<{ %struct.A, i32, i32, i32 }>* inalloca %[[argmem]]) // CHECK: call i32 {{.*bitcast.*}}@"?foo@@YAHUA@@ZZ"{{.*}}(<{ %struct.A, i32, i32, i32 }>* inalloca(<{ %struct.A, i32, i32, i32 }>) %[[argmem]])
void varargs_zero(...); void varargs_zero(...);
void varargs_one(int, ...); void varargs_one(int, ...);
void varargs_two(int, int, ...); void varargs_two(int, int, ...);
void varargs_three(int, int, int, ...); void varargs_three(int, int, int, ...);
void call_var_args() { void call_var_args() {
A x(3); A x(3);
varargs_zero(x); varargs_zero(x);
varargs_one(1, x); varargs_one(1, x);
varargs_two(1, 2, x); varargs_two(1, 2, x);
varargs_three(1, 2, 3, x); varargs_three(1, 2, 3, x);
} }
// CHECK-LABEL: define dso_local void @"?call_var_args@@YAXXZ"() // CHECK-LABEL: define dso_local void @"?call_var_args@@YAXXZ"()
// CHECK: call void {{.*bitcast.*varargs_zero.*}}(<{ %struct.A }>* inalloca %{{.*}}) // CHECK: call void {{.*bitcast.*varargs_zero.*}}(<{ %struct.A }>* inalloca(<{ %struct.A }>) %{{.*}})
// CHECK: call void {{.*bitcast.*varargs_one.*}}(<{ i32, %struct.A }>* inalloca %{{.*}}) // CHECK: call void {{.*bitcast.*varargs_one.*}}(<{ i32, %struct.A }>* inalloca(<{ i32, %struct.A }>) %{{.*}})
// CHECK: call void {{.*bitcast.*varargs_two.*}}(<{ i32, i32, %struct.A }>* inalloca %{{.*}}) // CHECK: call void {{.*bitcast.*varargs_two.*}}(<{ i32, i32, %struct.A }>* inalloca(<{ i32, i32, %struct.A }>) %{{.*}})
// CHECK: call void {{.*bitcast.*varargs_three.*}}(<{ i32, i32, i32, %struct.A }>* inalloca %{{.*}}) // CHECK: call void {{.*bitcast.*varargs_three.*}}(<{ i32, i32, i32, %struct.A }>* inalloca(<{ i32, i32, i32, %struct.A }>) %{{.*}})
// CHECK-LABEL: declare dso_local void @"?varargs_zero@@YAXZZ"(...) // CHECK-LABEL: declare dso_local void @"?varargs_zero@@YAXZZ"(...)
// CHECK-LABEL: declare dso_local void @"?varargs_one@@YAXHZZ"(i32, ...) // CHECK-LABEL: declare dso_local void @"?varargs_one@@YAXHZZ"(i32, ...)
// CHECK-LABEL: declare dso_local void @"?varargs_two@@YAXHHZZ"(i32, i32, ...) // CHECK-LABEL: declare dso_local void @"?varargs_two@@YAXHHZZ"(i32, i32, ...)
// CHECK-LABEL: declare dso_local void @"?varargs_three@@YAXHHHZZ"(i32, i32, i32, ...) // CHECK-LABEL: declare dso_local void @"?varargs_three@@YAXHHHZZ"(i32, i32, i32, ...)

clang/test/CodeGenCXX/microsoft-abi-eh-cleanups.cpp

Show First 20 Lines • Show All 48 Lines • ▼ Show 20 Lines
// WIN32: store i1 true, i1* %[[isactive]] // WIN32: store i1 true, i1* %[[isactive]]
// //
// WIN32: %[[arg0:.*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0 // WIN32: %[[arg0:.*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
// WIN32: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@XZ" // WIN32: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@XZ"
// WIN32: invoke void @"?TakeRef@@YAXABUA@@@Z" // WIN32: invoke void @"?TakeRef@@YAXABUA@@@Z"
// WIN32: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@XZ" // WIN32: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@XZ"
// WIN32: store i1 false, i1* %[[isactive]] // WIN32: store i1 false, i1* %[[isactive]]
// //
// WIN32: invoke i32 @"?TakesTwo@@YAHUA@@0@Z"([[argmem_ty]]* inalloca %[[argmem]]) // WIN32: invoke i32 @"?TakesTwo@@YAHUA@@0@Z"([[argmem_ty]]* inalloca([[argmem_ty]]) %[[argmem]])
// Destroy the two const ref temporaries. // Destroy the two const ref temporaries.
// WIN32: call x86_thiscallcc void @"??1A@@QAE@XZ"({{.*}}) // WIN32: call x86_thiscallcc void @"??1A@@QAE@XZ"({{.*}})
// WIN32: call x86_thiscallcc void @"??1A@@QAE@XZ"({{.*}}) // WIN32: call x86_thiscallcc void @"??1A@@QAE@XZ"({{.*}})
// WIN32: ret i32 // WIN32: ret i32
// //
// Conditionally destroy arg1. // Conditionally destroy arg1.
// WIN32: %[[cond:.*]] = load i1, i1* %[[isactive]] // WIN32: %[[cond:.*]] = load i1, i1* %[[isactive]]
// WIN32: br i1 %[[cond]] // WIN32: br i1 %[[cond]]
▲ Show 20 Lines • Show All 274 Lines • Show Last 20 Lines

clang/test/CodeGenCXX/microsoft-abi-sret-and-byval.cpp

Show First 20 Lines • Show All 70 Lines • ▼ Show 20 Lines
struct SmallWithPrivate { struct SmallWithPrivate {
private: private:
int i; int i;
}; };
// WIN32: declare dso_local void @"{{.*take_bools_and_chars.*}}" // WIN32: declare dso_local void @"{{.*take_bools_and_chars.*}}"
// WIN32: (<{ i8, [3 x i8], i8, [3 x i8], %struct.SmallWithDtor, // WIN32: (<{ i8, [3 x i8], i8, [3 x i8], %struct.SmallWithDtor,
// WIN32: i8, [3 x i8], i8, [3 x i8], i32, i8, [3 x i8] }>* inalloca) // WIN32: i8, [3 x i8], i8, [3 x i8], i32, i8, [3 x i8] }>*
// WIN32: inalloca(<{ i8, [3 x i8], i8, [3 x i8], %struct.SmallWithDtor,
// WIN32: i8, [3 x i8], i8, [3 x i8], i32, i8, [3 x i8] }>))
void take_bools_and_chars(char a, char b, SmallWithDtor c, char d, bool e, int f, bool g); void take_bools_and_chars(char a, char b, SmallWithDtor c, char d, bool e, int f, bool g);
void call_bools_and_chars() { void call_bools_and_chars() {
take_bools_and_chars('A', 'B', SmallWithDtor(), 'D', true, 13, false); take_bools_and_chars('A', 'B', SmallWithDtor(), 'D', true, 13, false);
} }
// Returning structs that fit into a register. // Returning structs that fit into a register.
Small small_return() { return Small(); } Small small_return() { return Small(); }
// LINUX-LABEL: define void @_Z12small_returnv(%struct.Small* noalias sret %agg.result) // LINUX-LABEL: define void @_Z12small_returnv(%struct.Small* noalias sret %agg.result)
▲ Show 20 Lines • Show All 70 Lines • ▼ Show 20 Lines
void packed_arg(Packed s) {} void packed_arg(Packed s) {}
// LINUX-LABEL: define void @_Z10packed_arg6Packed(%struct.Packed* byval(%struct.Packed) align 4 %s) // LINUX-LABEL: define void @_Z10packed_arg6Packed(%struct.Packed* byval(%struct.Packed) align 4 %s)
// WIN32: define dso_local void @"?packed_arg@@YAXUPacked@@@Z"(%struct.Packed* byval(%struct.Packed) align 4 %s) // WIN32: define dso_local void @"?packed_arg@@YAXUPacked@@@Z"(%struct.Packed* byval(%struct.Packed) align 4 %s)
// WIN64: define dso_local void @"?packed_arg@@YAXUPacked@@@Z"(%struct.Packed* %s) // WIN64: define dso_local void @"?packed_arg@@YAXUPacked@@@Z"(%struct.Packed* %s)
// Test that dtors are invoked in the callee. // Test that dtors are invoked in the callee.
void small_arg_with_dtor(SmallWithDtor s) {} void small_arg_with_dtor(SmallWithDtor s) {}
// WIN32: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(<{ %struct.SmallWithDtor }>* inalloca %0) {{.*}} { // WIN32: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(<{ %struct.SmallWithDtor }>* inalloca(<{ %struct.SmallWithDtor }>) %0) {{.*}} {
// WIN32: call x86_thiscallcc void @"??1SmallWithDtor@@QAE@XZ" // WIN32: call x86_thiscallcc void @"??1SmallWithDtor@@QAE@XZ"
// WIN32: } // WIN32: }
// WIN64: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i32 %s.coerce) {{.*}} { // WIN64: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i32 %s.coerce) {{.*}} {
// WIN64: call void @"??1SmallWithDtor@@QEAA@XZ" // WIN64: call void @"??1SmallWithDtor@@QEAA@XZ"
// WIN64: } // WIN64: }
// WOA64: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i64 %s.coerce) {{.*}} { // WOA64: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i64 %s.coerce) {{.*}} {
// WOA64: call void @"??1SmallWithDtor@@QEAA@XZ"(%struct.SmallWithDtor* %s) // WOA64: call void @"??1SmallWithDtor@@QEAA@XZ"(%struct.SmallWithDtor* %s)
// WOA64: } // WOA64: }
▲ Show 20 Lines • Show All 60 Lines • ▼ Show 20 Lines
// WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ" // WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ"
// WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ" // WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ"
// WIN32: call void @"?takes_two_by_val_with_dtor@@YAXUSmallWithDtor@@0@Z" // WIN32: call void @"?takes_two_by_val_with_dtor@@YAXUSmallWithDtor@@0@Z"
// WIN32-NOT: call x86_thiscallcc void @"??1SmallWithDtor@@QAE@XZ" // WIN32-NOT: call x86_thiscallcc void @"??1SmallWithDtor@@QAE@XZ"
// WIN32: } // WIN32: }
void small_arg_with_vftable(SmallWithVftable s) {} void small_arg_with_vftable(SmallWithVftable s) {}
// LINUX-LABEL: define void @_Z22small_arg_with_vftable16SmallWithVftable(%struct.SmallWithVftable* %s) // LINUX-LABEL: define void @_Z22small_arg_with_vftable16SmallWithVftable(%struct.SmallWithVftable* %s)
// WIN32: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(<{ %struct.SmallWithVftable }>* inalloca %0) // WIN32: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(<{ %struct.SmallWithVftable }>* inalloca(<{ %struct.SmallWithVftable }>) %0)
// WIN64: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(%struct.SmallWithVftable* %s) // WIN64: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(%struct.SmallWithVftable* %s)
// WOA64: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(%struct.SmallWithVftable* %s) // WOA64: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(%struct.SmallWithVftable* %s)
void medium_arg_with_copy_ctor(MediumWithCopyCtor s) {} void medium_arg_with_copy_ctor(MediumWithCopyCtor s) {}
// LINUX-LABEL: define void @_Z25medium_arg_with_copy_ctor18MediumWithCopyCtor(%struct.MediumWithCopyCtor* %s) // LINUX-LABEL: define void @_Z25medium_arg_with_copy_ctor18MediumWithCopyCtor(%struct.MediumWithCopyCtor* %s)
// WIN32: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(<{ %struct.MediumWithCopyCtor }>* inalloca %0) // WIN32: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(<{ %struct.MediumWithCopyCtor }>* inalloca(<{ %struct.MediumWithCopyCtor }>) %0)
// WIN64: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s) // WIN64: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s)
// WOA: define dso_local arm_aapcs_vfpcc void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s) // WOA: define dso_local arm_aapcs_vfpcc void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s)
// WOA64: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s) // WOA64: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s)
void big_arg(Big s) {} void big_arg(Big s) {}
// LINUX-LABEL: define void @_Z7big_arg3Big(%struct.Big* byval(%struct.Big) align 4 %s) // LINUX-LABEL: define void @_Z7big_arg3Big(%struct.Big* byval(%struct.Big) align 4 %s)
// WIN32: define dso_local void @"?big_arg@@YAXUBig@@@Z"(%struct.Big* byval(%struct.Big) align 4 %s) // WIN32: define dso_local void @"?big_arg@@YAXUBig@@@Z"(%struct.Big* byval(%struct.Big) align 4 %s)
// WIN64: define dso_local void @"?big_arg@@YAXUBig@@@Z"(%struct.Big* %s) // WIN64: define dso_local void @"?big_arg@@YAXUBig@@@Z"(%struct.Big* %s)
▲ Show 20 Lines • Show All 84 Lines • ▼ Show 20 Lines
} }
struct X { struct X {
X(); X();
~X(); ~X();
}; };
void g(X) { void g(X) {
} }
// WIN32: define dso_local void @"?g@@YAXUX@@@Z"(<{ %struct.X, [3 x i8] }>* inalloca %0) {{.*}} { // WIN32: define dso_local void @"?g@@YAXUX@@@Z"(<{ %struct.X, [3 x i8] }>* inalloca(<{ %struct.X, [3 x i8] }>) %0) {{.*}} {
// WIN32: call x86_thiscallcc void @"??1X@@QAE@XZ"(%struct.X* {{.*}}) // WIN32: call x86_thiscallcc void @"??1X@@QAE@XZ"(%struct.X* {{.*}})
// WIN32: } // WIN32: }
void f() { void f() {
g(X()); g(X());
} }
// WIN32: define dso_local void @"?f@@YAXXZ"() {{.*}} { // WIN32: define dso_local void @"?f@@YAXXZ"() {{.*}} {
// WIN32-NOT: call {{.*}} @"??1X@@QAE@XZ" // WIN32-NOT: call {{.*}} @"??1X@@QAE@XZ"
// WIN32: } // WIN32: }
Show All 18 Linesvoid bar() {
int c = foo(NonTrivial(), b); int c = foo(NonTrivial(), b);
} }
// WIN32-LABEL: define dso_local void @"?bar@test2@@YAXXZ"() {{.*}} { // WIN32-LABEL: define dso_local void @"?bar@test2@@YAXXZ"() {{.*}} {
// WIN32: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty:<{ %"struct.test2::NonTrivial", %"struct.test2::POD" }>]] // WIN32: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty:<{ %"struct.test2::NonTrivial", %"struct.test2::POD" }>]]
// WIN32: getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1 // WIN32: getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1
// WIN32: call void @llvm.memcpy // WIN32: call void @llvm.memcpy
// WIN32: getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0 // WIN32: getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
// WIN32: call x86_thiscallcc %"struct.test2::NonTrivial"* @"??0NonTrivial@test2@@QAE@XZ" // WIN32: call x86_thiscallcc %"struct.test2::NonTrivial"* @"??0NonTrivial@test2@@QAE@XZ"
// WIN32: call i32 @"?foo@test2@@YAHUNonTrivial@1@UPOD@1@@Z"([[argmem_ty]]* inalloca %argmem) // WIN32: call i32 @"?foo@test2@@YAHUNonTrivial@1@UPOD@1@@Z"([[argmem_ty]]* inalloca([[argmem_ty]]) %argmem)
// WIN32: ret void // WIN32: ret void
// WIN32: } // WIN32: }
} }
namespace test3 { namespace test3 {
// Check that we padded the inalloca struct to a multiple of 4. // Check that we padded the inalloca struct to a multiple of 4.
struct NonTrivial { struct NonTrivial {
NonTrivial(); NonTrivial();
NonTrivial(const NonTrivial &o); NonTrivial(const NonTrivial &o);
~NonTrivial(); ~NonTrivial();
int a; int a;
}; };
void foo(NonTrivial a, bool b) { } void foo(NonTrivial a, bool b) { }
// WIN32-LABEL: define dso_local void @"?foo@test3@@YAXUNonTrivial@1@_N@Z"(<{ %"struct.test3::NonTrivial", i8, [3 x i8] }>* inalloca %0) // WIN32-LABEL: define dso_local void @"?foo@test3@@YAXUNonTrivial@1@_N@Z"(<{ %"struct.test3::NonTrivial", i8, [3 x i8] }>* inalloca(<{ %"struct.test3::NonTrivial", i8, [3 x i8] }>) %0)
} }
// We would crash here because the later definition of ForwardDeclare1 results // We would crash here because the later definition of ForwardDeclare1 results
// in a different IR type for the value we want to store. However, the alloca's // in a different IR type for the value we want to store. However, the alloca's
// type will use the argument type selected by fn1. // type will use the argument type selected by fn1.
struct ForwardDeclare1; struct ForwardDeclare1;
Show All 9 Lines
// WIN32: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty]] // WIN32: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty]]
// WIN32: %[[gep1:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1 // WIN32: %[[gep1:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1
// WIN32: %[[bc1:[^ ]*]] = bitcast %struct.SmallWithDtor* %[[gep1]] to i8* // WIN32: %[[bc1:[^ ]*]] = bitcast %struct.SmallWithDtor* %[[gep1]] to i8*
// WIN32: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %[[bc1]], i8* align 4 {{.*}}, i32 4, i1 false) // WIN32: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %[[bc1]], i8* align 4 {{.*}}, i32 4, i1 false)
// WIN32: %[[a2:[^ ]*]] = load void [[dst_ty]], void [[dst_ty]]* %[[a1]], align 4 // WIN32: %[[a2:[^ ]*]] = load void [[dst_ty]], void [[dst_ty]]* %[[a1]], align 4
// WIN32: %[[gep2:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0 // WIN32: %[[gep2:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
// WIN32: %[[addr:[^ ]*]] = bitcast {}** %[[gep2]] to void [[dst_ty]]* // WIN32: %[[addr:[^ ]*]] = bitcast {}** %[[gep2]] to void [[dst_ty]]*
// WIN32: store void [[dst_ty]] %[[a2]], void [[dst_ty]]* %[[addr]], align 4 // WIN32: store void [[dst_ty]] %[[a2]], void [[dst_ty]]* %[[addr]], align 4
// WIN32: call void @"?fn1@@YAXP6AXUForwardDeclare1@@@ZUSmallWithDtor@@@Z"([[argmem_ty]]* inalloca %[[argmem]]) // WIN32: call void @"?fn1@@YAXP6AXUForwardDeclare1@@@ZUSmallWithDtor@@@Z"([[argmem_ty]]* inalloca([[argmem_ty]]) %[[argmem]])
namespace pr30293 { namespace pr30293 {
// Virtual methods living in a secondary vtable take i8* as their 'this' // Virtual methods living in a secondary vtable take i8* as their 'this'
// parameter because the 'this' parameter on entry points to the secondary // parameter because the 'this' parameter on entry points to the secondary
// vptr. We used to have a bug where we didn't apply this rule consistently, // vptr. We used to have a bug where we didn't apply this rule consistently,
// and it would cause assertion failures when used with inalloca. // and it would cause assertion failures when used with inalloca.
struct A { struct A {
virtual void f(); virtual void f();
}; };
struct B { struct B {
virtual void __cdecl h(SmallWithDtor); virtual void __cdecl h(SmallWithDtor);
}; };
struct C final : A, B { struct C final : A, B {
void g(); void g();
void __cdecl h(SmallWithDtor); void __cdecl h(SmallWithDtor);
void f(); void f();
}; };
void C::g() { return h(SmallWithDtor()); } void C::g() { return h(SmallWithDtor()); }
// WIN32-LABEL: define dso_local x86_thiscallcc void @"?g@C@pr30293@@QAEXXZ"(%"struct.pr30293::C"* %this) // WIN32-LABEL: define dso_local x86_thiscallcc void @"?g@C@pr30293@@QAEXXZ"(%"struct.pr30293::C"* %this)
// WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ" // WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ"
// WIN32: call void @"?h@C@pr30293@@UAAXUSmallWithDtor@@@Z"(<{ i8*, %struct.SmallWithDtor }>* inalloca %{{[^,)]*}}) // WIN32: call void @"?h@C@pr30293@@UAAXUSmallWithDtor@@@Z"(<{ i8*, %struct.SmallWithDtor }>* inalloca(<{ i8*, %struct.SmallWithDtor }>) %{{[^,)]*}})
// WIN32: declare dso_local void @"?h@C@pr30293@@UAAXUSmallWithDtor@@@Z"(<{ i8*, %struct.SmallWithDtor }>* inalloca) // WIN32: declare dso_local void @"?h@C@pr30293@@UAAXUSmallWithDtor@@@Z"(<{ i8*, %struct.SmallWithDtor }>* inalloca(<{ i8*, %struct.SmallWithDtor }>))
// WIN64-LABEL: define dso_local void @"?g@C@pr30293@@QEAAXXZ"(%"struct.pr30293::C"* %this) // WIN64-LABEL: define dso_local void @"?g@C@pr30293@@QEAAXXZ"(%"struct.pr30293::C"* %this)
// WIN64: declare dso_local void @"?h@C@pr30293@@UEAAXUSmallWithDtor@@@Z"(i8*, i32) // WIN64: declare dso_local void @"?h@C@pr30293@@UEAAXUSmallWithDtor@@@Z"(i8*, i32)
} }

clang/test/CodeGenCXX/microsoft-abi-vmemptr-conflicts.cpp

Show First 20 Lines • Show All 88 Lines • ▼ Show 20 Linesvoid f(C *c) {
Big b; Big b;
(c->*(&C::a))(); (c->*(&C::a))();
((c->*(&C::b))(b)); ((c->*(&C::b))(b));
} }
} }
// CHECK-LABEL: define dso_local void @"?f@cdecl_inalloca@@YAXPAUC@1@@Z"(%"struct.cdecl_inalloca::C"* %c) // CHECK-LABEL: define dso_local void @"?f@cdecl_inalloca@@YAXPAUC@1@@Z"(%"struct.cdecl_inalloca::C"* %c)
// CHECK: call void bitcast (void (%"struct.cdecl_inalloca::C"*, ...)* @"??_9C@cdecl_inalloca@@$BA@AA" to void (%"struct.cdecl_inalloca::C"*)*)(%"struct.cdecl_inalloca::C"* %{{.*}}) // CHECK: call void bitcast (void (%"struct.cdecl_inalloca::C"*, ...)* @"??_9C@cdecl_inalloca@@$BA@AA" to void (%"struct.cdecl_inalloca::C"*)*)(%"struct.cdecl_inalloca::C"* %{{.*}})
// CHECK: call void bitcast (void (%"struct.cdecl_inalloca::C"*, ...)* @"??_9C@cdecl_inalloca@@$BA@AA" to void (<{ %"struct.cdecl_inalloca::C"*, %"struct.cdecl_inalloca::Big" }>*)*)(<{ %"struct.cdecl_inalloca::C"*, %"struct.cdecl_inalloca::Big" }>* inalloca %{{.*}}) // CHECK: call void bitcast (void (%"struct.cdecl_inalloca::C"*, ...)* @"??_9C@cdecl_inalloca@@$BA@AA" to void (<{ %"struct.cdecl_inalloca::C"*, %"struct.cdecl_inalloca::Big" }>*)*)(<{ %"struct.cdecl_inalloca::C"*, %"struct.cdecl_inalloca::Big" }>* inalloca(<{ %"struct.cdecl_inalloca::C"*, %"struct.cdecl_inalloca::Big" }>) %{{.*}})
// CHECK-LABEL: define linkonce_odr void @"??_9C@cdecl_inalloca@@$BA@AA"(%"struct.cdecl_inalloca::C"* %this, ...) {{.*}} comdat // CHECK-LABEL: define linkonce_odr void @"??_9C@cdecl_inalloca@@$BA@AA"(%"struct.cdecl_inalloca::C"* %this, ...) {{.*}} comdat
// CHECK: musttail call void (%"struct.cdecl_inalloca::C"*, ...) %{{.*}}(%"struct.cdecl_inalloca::C"* %{{.*}}, ...) // CHECK: musttail call void (%"struct.cdecl_inalloca::C"*, ...) %{{.*}}(%"struct.cdecl_inalloca::C"* %{{.*}}, ...)
// CHECK-NEXT: ret void // CHECK-NEXT: ret void

clang/test/CodeGenCXX/microsoft-abi-vtables-multiple-nonvirtual-inheritance-this-adjustment.cpp

Show First 20 Lines • Show All 183 Lines • ▼ Show 20 Linesstruct C final : A, B {
void __cdecl g(NonTrivial) override; void __cdecl g(NonTrivial) override;
}; };
C *whatsthis; C *whatsthis;
void C::f() { g(NonTrivial()); } void C::f() { g(NonTrivial()); }
void C::g(NonTrivial o) { void C::g(NonTrivial o) {
whatsthis = this; whatsthis = this;
} }
// BITCODE-LABEL: define dso_local void @"?g@C@pr30293@@UAAXUNonTrivial@2@@Z"(<{ i8*, %"struct.pr30293::NonTrivial" }>* inalloca %0) // BITCODE-LABEL: define dso_local void @"?g@C@pr30293@@UAAXUNonTrivial@2@@Z"(<{ i8*, %"struct.pr30293::NonTrivial" }>* inalloca(<{ i8*, %"struct.pr30293::NonTrivial" }>) %0)
// BITCODE: %[[thisaddr:[^ ]*]] = getelementptr inbounds <{ i8*, %"struct.pr30293::NonTrivial" }>, <{ i8*, %"struct.pr30293::NonTrivial" }>* {{.*}}, i32 0, i32 0 // BITCODE: %[[thisaddr:[^ ]*]] = getelementptr inbounds <{ i8*, %"struct.pr30293::NonTrivial" }>, <{ i8*, %"struct.pr30293::NonTrivial" }>* {{.*}}, i32 0, i32 0
// BITCODE: %[[thisaddr1:[^ ]*]] = bitcast i8** %[[thisaddr]] to %"struct.pr30293::C"** // BITCODE: %[[thisaddr1:[^ ]*]] = bitcast i8** %[[thisaddr]] to %"struct.pr30293::C"**
// BITCODE: %[[this1:[^ ]*]] = load %"struct.pr30293::C"*, %"struct.pr30293::C"** %[[thisaddr1]], align 4 // BITCODE: %[[this1:[^ ]*]] = load %"struct.pr30293::C"*, %"struct.pr30293::C"** %[[thisaddr1]], align 4
// BITCODE: %[[this2:[^ ]*]] = bitcast %"struct.pr30293::C"* %[[this1]] to i8* // BITCODE: %[[this2:[^ ]*]] = bitcast %"struct.pr30293::C"* %[[this1]] to i8*
// BITCODE: %[[this3:[^ ]*]] = getelementptr inbounds i8, i8* %[[this2]], i32 -4 // BITCODE: %[[this3:[^ ]*]] = getelementptr inbounds i8, i8* %[[this2]], i32 -4
// BITCODE: %[[this4:[^ ]*]] = bitcast i8* %[[this3]] to %"struct.pr30293::C"* // BITCODE: %[[this4:[^ ]*]] = bitcast i8* %[[this3]] to %"struct.pr30293::C"*
// BITCODE: store %"struct.pr30293::C"* %[[this4]], %"struct.pr30293::C"** @"?whatsthis@pr30293@@3PAUC@1@A", align 4 // BITCODE: store %"struct.pr30293::C"* %[[this4]], %"struct.pr30293::C"** @"?whatsthis@pr30293@@3PAUC@1@A", align 4
} }

clang/test/CodeGenCXX/vararg-non-pod-ms-compat.cpp

// RUN: %clang_cc1 -Wno-error=non-pod-varargs -triple i686-pc-win32 -fms-compatibility -emit-llvm -o - %s | FileCheck %s -check-prefix=X86 -check-prefix=CHECK // RUN: %clang_cc1 -Wno-error=non-pod-varargs -triple i686-pc-win32 -fms-compatibility -emit-llvm -o - %s | FileCheck %s -check-prefix=X86 -check-prefix=CHECK
// RUN: %clang_cc1 -Wno-error=non-pod-varargs -triple x86_64-pc-win32 -fms-compatibility -emit-llvm -o - %s | FileCheck %s -check-prefix=X64 -check-prefix=CHECK // RUN: %clang_cc1 -Wno-error=non-pod-varargs -triple x86_64-pc-win32 -fms-compatibility -emit-llvm -o - %s | FileCheck %s -check-prefix=X64 -check-prefix=CHECK
struct X { struct X {
X(); X();
~X(); ~X();
int data; int data;
}; };
void vararg(...); void vararg(...);
void test(X x) { void test(X x) {
// CHECK-LABEL: define dso_local void @"?test@@YAXUX@@@Z" // CHECK-LABEL: define dso_local void @"?test@@YAXUX@@@Z"
// X86: %[[argmem:[^ ]*]] = alloca inalloca <{ %struct.X }> // X86: %[[argmem:[^ ]*]] = alloca inalloca <{ %struct.X }>
// X86: call void (<{ %struct.X }>*, ...) bitcast (void (...)* @"?vararg@@YAXZZ" to void (<{ %struct.X }>*, ...)*)(<{ %struct.X }>* inalloca %[[argmem]]) // X86: call void (<{ %struct.X }>*, ...) bitcast (void (...)* @"?vararg@@YAXZZ" to void (<{ %struct.X }>*, ...)*)(<{ %struct.X }>* inalloca(<{ %struct.X }>) %[[argmem]])
// X64: alloca %struct.X // X64: alloca %struct.X
// X64: %[[agg:[^ ]*]] = alloca %struct.X // X64: %[[agg:[^ ]*]] = alloca %struct.X
// X64: %[[valptr:[^ ]*]] = getelementptr inbounds %struct.X, %struct.X* %[[agg]], i32 0, i32 0 // X64: %[[valptr:[^ ]*]] = getelementptr inbounds %struct.X, %struct.X* %[[agg]], i32 0, i32 0
// X64: %[[val:[^ ]*]] = load i32, i32* %[[valptr]] // X64: %[[val:[^ ]*]] = load i32, i32* %[[valptr]]
// X64: call void (...) @"?vararg@@YAXZZ"(i32 %[[val]]) // X64: call void (...) @"?vararg@@YAXZZ"(i32 %[[val]])
// CHECK-NOT: llvm.trap // CHECK-NOT: llvm.trap
vararg(x); vararg(x);
// CHECK: ret void // CHECK: ret void
} }

clang/test/CodeGenObjCXX/arc-indirect.mm

Show All 9 Lines
@interface C @interface C
@end @end
@implementation C @implementation C
- (void)object:(id)obj struct:(S)s { - (void)object:(id)obj struct:(S)s {
} }
@end @end
// CHECK-GNUSTEP: define internal void @_i_C__object_struct_(<{ %0*, i8*, i8*, %struct.S, [3 x i8] }>* inalloca %0) // CHECK-GNUSTEP: define internal void @_i_C__object_struct_(<{ %0*, i8*, i8*, %struct.S, [3 x i8] }>* inalloca(<{ %0*, i8*, i8*, %struct.S, [3 x i8] }>) %0)
// CHECK-DARWIN: define internal void @"\01-[C object:struct:]"(<{ %0*, i8*, i8*, %struct.S, [3 x i8] }>* inalloca %0) // CHECK-DARWIN: define internal void @"\01-[C object:struct:]"(<{ %0*, i8*, i8*, %struct.S, [3 x i8] }>* inalloca(<{ %0*, i8*, i8*, %struct.S, [3 x i8] }>) %0)
// CHECK: %obj = getelementptr inbounds <{ %0*, i8*, i8*, %struct.S, [3 x i8] }>, <{ %0*, i8*, i8*, %struct.S, [3 x i8] }>* %0, i32 0, i32 2 // CHECK: %obj = getelementptr inbounds <{ %0*, i8*, i8*, %struct.S, [3 x i8] }>, <{ %0*, i8*, i8*, %struct.S, [3 x i8] }>* %0, i32 0, i32 2
// CHECK: %[[INSTANCE:[0-9]+]] = load i8*, i8** %obj, align 4 // CHECK: %[[INSTANCE:[0-9]+]] = load i8*, i8** %obj, align 4
// CHECK: call void @llvm.objc.storeStrong(i8** %obj, i8* %[[INSTANCE]]) // CHECK: call void @llvm.objc.storeStrong(i8** %obj, i8* %[[INSTANCE]])

clang/test/CodeGenObjCXX/microsoft-abi-arc-param-order.mm

// RUN: %clang_cc1 -mconstructor-aliases -fobjc-arc -triple i686-pc-win32 -emit-llvm -o - %s | FileCheck %s // RUN: %clang_cc1 -mconstructor-aliases -fobjc-arc -triple i686-pc-win32 -emit-llvm -o - %s | FileCheck %s
struct A { struct A {
A(); A();
A(const A &); A(const A &);
~A(); ~A();
int a; int a;
}; };
// Verify that we destruct things from left to right in the MS C++ ABI: a, b, c, d. // Verify that we destruct things from left to right in the MS C++ ABI: a, b, c, d.
// //
// CHECK-LABEL: define dso_local void @"?test_arc_order@@YAXUA@@PAUobjc_object@@01@Z" // CHECK-LABEL: define dso_local void @"?test_arc_order@@YAXUA@@PAUobjc_object@@01@Z"
// CHECK: (<{ %struct.A, i8*, %struct.A, i8* }>* inalloca %0) // CHECK: (<{ %struct.A, i8*, %struct.A, i8* }>* inalloca(<{ %struct.A, i8*, %struct.A, i8* }>) %0)
void test_arc_order(A a, id __attribute__((ns_consumed)) b , A c, id __attribute__((ns_consumed)) d) { void test_arc_order(A a, id __attribute__((ns_consumed)) b , A c, id __attribute__((ns_consumed)) d) {
// CHECK: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %{{.*}}) // CHECK: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %{{.*}})
// CHECK: call void @llvm.objc.storeStrong(i8** %{{.*}}, i8* null) // CHECK: call void @llvm.objc.storeStrong(i8** %{{.*}}, i8* null)
// CHECK: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %{{.*}}) // CHECK: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* %{{.*}})
// CHECK: call void @llvm.objc.storeStrong(i8** %{{.*}}, i8* null) // CHECK: call void @llvm.objc.storeStrong(i8** %{{.*}}, i8* null)
// CHECK: ret void // CHECK: ret void
} }

llvm/include/llvm/CodeGen/TargetCallingConv.h

Show All 36 Lines private:
unsigned IsInAlloca : 1; ///< Passed with inalloca unsigned IsInAlloca : 1; ///< Passed with inalloca
unsigned IsSplitEnd : 1; ///< Last part of a split unsigned IsSplitEnd : 1; ///< Last part of a split
unsigned IsSwiftSelf : 1; ///< Swift self parameter unsigned IsSwiftSelf : 1; ///< Swift self parameter
unsigned IsSwiftError : 1; ///< Swift error parameter unsigned IsSwiftError : 1; ///< Swift error parameter
unsigned IsCFGuardTarget : 1; ///< Control Flow Guard target unsigned IsCFGuardTarget : 1; ///< Control Flow Guard target
unsigned IsHva : 1; ///< HVA field for unsigned IsHva : 1; ///< HVA field for
unsigned IsHvaStart : 1; ///< HVA structure start unsigned IsHvaStart : 1; ///< HVA structure start
unsigned IsSecArgPass : 1; ///< Second argument unsigned IsSecArgPass : 1; ///< Second argument
unsigned ByValAlign : 4; ///< Log 2 of byval alignment unsigned Alignment : 4; ///< Log 2 of byval alignment
unsigned OrigAlign : 5; ///< Log 2 of original alignment unsigned OrigAlign : 5; ///< Log 2 of original alignment
unsigned IsInConsecutiveRegsLast : 1; unsigned IsInConsecutiveRegsLast : 1;
unsigned IsInConsecutiveRegs : 1; unsigned IsInConsecutiveRegs : 1;
unsigned IsCopyElisionCandidate : 1; ///< Argument copy elision candidate unsigned IsCopyElisionCandidate : 1; ///< Argument copy elision candidate
unsigned IsPointer : 1; unsigned IsPointer : 1;
unsigned ByValSize; ///< Byval struct size unsigned Size; ///< struct size from byval or inalloca
unsigned PointerAddrSpace; ///< Address space of pointer argument unsigned PointerAddrSpace; ///< Address space of pointer argument
public: public:
ArgFlagsTy() ArgFlagsTy()
: IsZExt(0), IsSExt(0), IsInReg(0), IsSRet(0), IsByVal(0), IsNest(0), : IsZExt(0), IsSExt(0), IsInReg(0), IsSRet(0), IsByVal(0), IsNest(0),
IsReturned(0), IsSplit(0), IsInAlloca(0), IsSplitEnd(0), IsReturned(0), IsSplit(0), IsInAlloca(0), IsSplitEnd(0),
IsSwiftSelf(0), IsSwiftError(0), IsCFGuardTarget(0), IsHva(0), IsSwiftSelf(0), IsSwiftError(0), IsCFGuardTarget(0), IsHva(0),
IsHvaStart(0), IsSecArgPass(0), ByValAlign(0), OrigAlign(0), IsHvaStart(0), IsSecArgPass(0), Alignment(0), OrigAlign(0),
IsInConsecutiveRegsLast(0), IsInConsecutiveRegs(0), IsInConsecutiveRegsLast(0), IsInConsecutiveRegs(0),
IsCopyElisionCandidate(0), IsPointer(0), ByValSize(0), IsCopyElisionCandidate(0), IsPointer(0), Size(0),
PointerAddrSpace(0) { PointerAddrSpace(0) {
static_assert(sizeof(*this) == 3 * sizeof(unsigned), "flags are too big"); static_assert(sizeof(*this) == 3 * sizeof(unsigned), "flags are too big");
} }
bool isZExt() const { return IsZExt; } bool isZExt() const { return IsZExt; }
void setZExt() { IsZExt = 1; } void setZExt() { IsZExt = 1; }
bool isSExt() const { return IsSExt; } bool isSExt() const { return IsSExt; }
▲ Show 20 Lines • Show All 48 Lines • ▼ Show 20 Lines public:
void setSplitEnd() { IsSplitEnd = 1; } void setSplitEnd() { IsSplitEnd = 1; }
bool isCopyElisionCandidate() const { return IsCopyElisionCandidate; } bool isCopyElisionCandidate() const { return IsCopyElisionCandidate; }
void setCopyElisionCandidate() { IsCopyElisionCandidate = 1; } void setCopyElisionCandidate() { IsCopyElisionCandidate = 1; }
bool isPointer() const { return IsPointer; } bool isPointer() const { return IsPointer; }
void setPointer() { IsPointer = 1; } void setPointer() { IsPointer = 1; }
unsigned getByValAlign() const { unsigned getAlign() const {
MaybeAlign A = decodeMaybeAlign(ByValAlign); MaybeAlign A = decodeMaybeAlign(Alignment);
return A ? A->value() : 0; return A ? A->value() : 0;
} }
void setByValAlign(Align A) { void setAlign(Align A) {
ByValAlign = encode(A); Alignment = encode(A);
assert(getByValAlign() == A.value() && "bitfield overflow"); assert(getAlign() == A.value() && "bitfield overflow");
} }
unsigned getOrigAlign() const { unsigned getOrigAlign() const {
MaybeAlign A = decodeMaybeAlign(OrigAlign); MaybeAlign A = decodeMaybeAlign(OrigAlign);
return A ? A->value() : 0; return A ? A->value() : 0;
} }
void setOrigAlign(Align A) { void setOrigAlign(Align A) {
OrigAlign = encode(A); OrigAlign = encode(A);
assert(getOrigAlign() == A.value() && "bitfield overflow"); assert(getOrigAlign() == A.value() && "bitfield overflow");
} }
unsigned getByValSize() const { return ByValSize; } unsigned getSize() const { return Size; }
void setByValSize(unsigned S) { ByValSize = S; } void setSize(unsigned S) { Size = S; }
unsigned getPointerAddrSpace() const { return PointerAddrSpace; } unsigned getPointerAddrSpace() const { return PointerAddrSpace; }
void setPointerAddrSpace(unsigned AS) { PointerAddrSpace = AS; } void setPointerAddrSpace(unsigned AS) { PointerAddrSpace = AS; }
}; };
/// InputArg - This struct carries flags and type information about a /// InputArg - This struct carries flags and type information about a
/// single incoming (formal) argument or incoming (from the perspective /// single incoming (formal) argument or incoming (from the perspective
/// of the caller) return value virtual register. /// of the caller) return value virtual register.
▲ Show 20 Lines • Show All 69 Lines • Show Last 20 Lines

llvm/include/llvm/CodeGen/TargetLowering.h

Show First 20 Lines • Show All 186 Lines • ▼ Show 20 Lines public:
bool IsNest : 1; bool IsNest : 1;
bool IsByVal : 1; bool IsByVal : 1;
bool IsInAlloca : 1; bool IsInAlloca : 1;
bool IsReturned : 1; bool IsReturned : 1;
bool IsSwiftSelf : 1; bool IsSwiftSelf : 1;
bool IsSwiftError : 1; bool IsSwiftError : 1;
bool IsCFGuardTarget : 1; bool IsCFGuardTarget : 1;
uint16_t Alignment = 0; uint16_t Alignment = 0;
Type *ByValType = nullptr;
// For type embedded in byval or inalloca attribute.
Type *AttrTy = nullptr;
ArgListEntry() ArgListEntry()
: IsSExt(false), IsZExt(false), IsInReg(false), IsSRet(false), : IsSExt(false), IsZExt(false), IsInReg(false), IsSRet(false),
IsNest(false), IsByVal(false), IsInAlloca(false), IsReturned(false), IsNest(false), IsByVal(false), IsInAlloca(false), IsReturned(false),
IsSwiftSelf(false), IsSwiftError(false), IsCFGuardTarget(false) {} IsSwiftSelf(false), IsSwiftError(false), IsCFGuardTarget(false) {}
void setAttributes(const CallBase *Call, unsigned ArgIdx); void setAttributes(const CallBase *Call, unsigned ArgIdx);
▲ Show 20 Lines • Show All 1,062 Lines • ▼ Show 20 Lines#include "llvm/IR/ConstrainedOps.def"
MVT getSimpleValueType(const DataLayout &DL, Type *Ty, MVT getSimpleValueType(const DataLayout &DL, Type *Ty,
bool AllowUnknown = false) const { bool AllowUnknown = false) const {
return getValueType(DL, Ty, AllowUnknown).getSimpleVT(); return getValueType(DL, Ty, AllowUnknown).getSimpleVT();
} }
/// Return the desired alignment for ByVal or InAlloca aggregate function /// Return the desired alignment for ByVal or InAlloca aggregate function
/// arguments in the caller parameter area. This is the actual alignment, not /// arguments in the caller parameter area. This is the actual alignment, not
/// its logarithm. /// its logarithm.
virtual unsigned getByValTypeAlignment(Type *Ty, const DataLayout &DL) const; virtual unsigned getAttrTypeAlignment(Type *Ty, const DataLayout &DL) const;
/// Return the type of registers that this ValueType will eventually require. /// Return the type of registers that this ValueType will eventually require.
MVT getRegisterType(MVT VT) const { MVT getRegisterType(MVT VT) const {
assert((unsigned)VT.SimpleTy < array_lengthof(RegisterTypeForVT)); assert((unsigned)VT.SimpleTy < array_lengthof(RegisterTypeForVT));
return RegisterTypeForVT[VT.SimpleTy]; return RegisterTypeForVT[VT.SimpleTy];
} }
/// Return the type of registers that this ValueType will eventually require. /// Return the type of registers that this ValueType will eventually require.
▲ Show 20 Lines • Show All 3,026 Lines • Show Last 20 Lines

llvm/include/llvm/IR/Argument.h

Show First 20 Lines • Show All 80 Lines • ▼ Show 20 Linespublic:
unsigned getParamAlignment() const; unsigned getParamAlignment() const;
/// If this is a byval or inalloca argument, return its alignment. /// If this is a byval or inalloca argument, return its alignment.
MaybeAlign getParamAlign() const; MaybeAlign getParamAlign() const;
/// If this is a byval argument, return its type. /// If this is a byval argument, return its type.
Type *getParamByValType() const; Type *getParamByValType() const;
/// If this is a byval argument, return its type.
Type *getParamInAllocaType() const;
/// Return true if this argument has the nest attribute. /// Return true if this argument has the nest attribute.
bool hasNestAttr() const; bool hasNestAttr() const;
/// Return true if this argument has the noalias attribute. /// Return true if this argument has the noalias attribute.
bool hasNoAliasAttr() const; bool hasNoAliasAttr() const;
/// Return true if this argument has the nocapture attribute. /// Return true if this argument has the nocapture attribute.
bool hasNoCaptureAttr() const; bool hasNoCaptureAttr() const;
▲ Show 20 Lines • Show All 46 Lines • Show Last 20 Lines

llvm/include/llvm/IR/Attributes.h

Show First 20 Lines • Show All 99 Lines • ▼ Show 20 Linespublic:
static Attribute getWithDereferenceableBytes(LLVMContext &Context, static Attribute getWithDereferenceableBytes(LLVMContext &Context,
uint64_t Bytes); uint64_t Bytes);
static Attribute getWithDereferenceableOrNullBytes(LLVMContext &Context, static Attribute getWithDereferenceableOrNullBytes(LLVMContext &Context,
uint64_t Bytes); uint64_t Bytes);
static Attribute getWithAllocSizeArgs(LLVMContext &Context, static Attribute getWithAllocSizeArgs(LLVMContext &Context,
unsigned ElemSizeArg, unsigned ElemSizeArg,
const Optional<unsigned> &NumElemsArg); const Optional<unsigned> &NumElemsArg);
static Attribute getWithByValType(LLVMContext &Context, Type *Ty); static Attribute getWithByValType(LLVMContext &Context, Type *Ty);
static Attribute getWithInAllocaType(LLVMContext &Context, Type *Ty);
//===--------------------------------------------------------------------===// //===--------------------------------------------------------------------===//
// Attribute Accessors // Attribute Accessors
//===--------------------------------------------------------------------===// //===--------------------------------------------------------------------===//
/// Return true if the attribute is an Attribute::AttrKind type. /// Return true if the attribute is an Attribute::AttrKind type.
bool isEnumAttribute() const; bool isEnumAttribute() const;
▲ Show 20 Lines • Show All 169 Lines • ▼ Show 20 Linespublic:
/// Return the target-dependent attribute object. /// Return the target-dependent attribute object.
Attribute getAttribute(StringRef Kind) const; Attribute getAttribute(StringRef Kind) const;
MaybeAlign getAlignment() const; MaybeAlign getAlignment() const;
MaybeAlign getStackAlignment() const; MaybeAlign getStackAlignment() const;
uint64_t getDereferenceableBytes() const; uint64_t getDereferenceableBytes() const;
uint64_t getDereferenceableOrNullBytes() const; uint64_t getDereferenceableOrNullBytes() const;
Type *getByValType() const; Type *getByValType() const;
Type *getInAllocaType() const;
std::pair<unsigned, Optional<unsigned>> getAllocSizeArgs() const; std::pair<unsigned, Optional<unsigned>> getAllocSizeArgs() const;
std::string getAsString(bool InAttrGrp = false) const; std::string getAsString(bool InAttrGrp = false) const;
using iterator = const Attribute *; using iterator = const Attribute *;
iterator begin() const; iterator begin() const;
iterator end() const; iterator end() const;
#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
▲ Show 20 Lines • Show All 306 Lines • ▼ Show 20 Linespublic:
MaybeAlign getRetAlignment() const; MaybeAlign getRetAlignment() const;
/// Return the alignment for the specified function parameter. /// Return the alignment for the specified function parameter.
MaybeAlign getParamAlignment(unsigned ArgNo) const; MaybeAlign getParamAlignment(unsigned ArgNo) const;
/// Return the byval type for the specified function parameter. /// Return the byval type for the specified function parameter.
Type *getParamByValType(unsigned ArgNo) const; Type *getParamByValType(unsigned ArgNo) const;
/// Return the inalloca type for the specified function parameter.
Type *getParamInAllocaType(unsigned ArgNo) const;
/// Get the stack alignment. /// Get the stack alignment.
MaybeAlign getStackAlignment(unsigned Index) const; MaybeAlign getStackAlignment(unsigned Index) const;
/// Get the number of dereferenceable bytes (or zero if unknown). /// Get the number of dereferenceable bytes (or zero if unknown).
uint64_t getDereferenceableBytes(unsigned Index) const; uint64_t getDereferenceableBytes(unsigned Index) const;
/// Get the number of dereferenceable bytes (or zero if unknown) of an /// Get the number of dereferenceable bytes (or zero if unknown) of an
/// arg. /// arg.
▲ Show 20 Lines • Show All 84 Lines • ▼ Show 20 Linesclass AttrBuilder {
std::bitset<Attribute::EndAttrKinds> Attrs; std::bitset<Attribute::EndAttrKinds> Attrs;
std::map<std::string, std::string, std::less<>> TargetDepAttrs; std::map<std::string, std::string, std::less<>> TargetDepAttrs;
MaybeAlign Alignment; MaybeAlign Alignment;
MaybeAlign StackAlignment; MaybeAlign StackAlignment;
uint64_t DerefBytes = 0; uint64_t DerefBytes = 0;
uint64_t DerefOrNullBytes = 0; uint64_t DerefOrNullBytes = 0;
uint64_t AllocSizeArgs = 0; uint64_t AllocSizeArgs = 0;
Type *ByValType = nullptr; Type *ByValType = nullptr;
Type *InAllocaType = nullptr;
public: public:
AttrBuilder() = default; AttrBuilder() = default;
AttrBuilder(const Attribute &A) { AttrBuilder(const Attribute &A) {
addAttribute(A); addAttribute(A);
} }
▲ Show 20 Lines • Show All 62 Lines • ▼ Show 20 Linespublic:
/// Retrieve the number of dereferenceable_or_null bytes, if the /// Retrieve the number of dereferenceable_or_null bytes, if the
/// dereferenceable_or_null attribute exists (zero is returned otherwise). /// dereferenceable_or_null attribute exists (zero is returned otherwise).
uint64_t getDereferenceableOrNullBytes() const { return DerefOrNullBytes; } uint64_t getDereferenceableOrNullBytes() const { return DerefOrNullBytes; }
/// Retrieve the byval type. /// Retrieve the byval type.
Type *getByValType() const { return ByValType; } Type *getByValType() const { return ByValType; }
/// Retrieve the inalloca type.
Type *getInAllocaType() const { return InAllocaType; }
/// Retrieve the allocsize args, if the allocsize attribute exists. If it /// Retrieve the allocsize args, if the allocsize attribute exists. If it
/// doesn't exist, pair(0, 0) is returned. /// doesn't exist, pair(0, 0) is returned.
std::pair<unsigned, Optional<unsigned>> getAllocSizeArgs() const; std::pair<unsigned, Optional<unsigned>> getAllocSizeArgs() const;
/// This turns an alignment into the form used internally in Attribute. /// This turns an alignment into the form used internally in Attribute.
/// This call has no effect if Align is not set. /// This call has no effect if Align is not set.
AttrBuilder &addAlignmentAttr(MaybeAlign Align); AttrBuilder &addAlignmentAttr(MaybeAlign Align);
Show All 27 Linespublic:
/// This turns one (or two) ints into the form used internally in Attribute. /// This turns one (or two) ints into the form used internally in Attribute.
AttrBuilder &addAllocSizeAttr(unsigned ElemSizeArg, AttrBuilder &addAllocSizeAttr(unsigned ElemSizeArg,
const Optional<unsigned> &NumElemsArg); const Optional<unsigned> &NumElemsArg);
/// This turns a byval type into the form used internally in Attribute. /// This turns a byval type into the form used internally in Attribute.
AttrBuilder &addByValAttr(Type *Ty); AttrBuilder &addByValAttr(Type *Ty);
/// This turns a inalloca type into the form used internally in Attribute.
AttrBuilder &addInAllocaAttr(Type *Ty);
/// Add an allocsize attribute, using the representation returned by /// Add an allocsize attribute, using the representation returned by
/// Attribute.getIntValue(). /// Attribute.getIntValue().
AttrBuilder &addAllocSizeAttrFromRawRepr(uint64_t RawAllocSizeRepr); AttrBuilder &addAllocSizeAttrFromRawRepr(uint64_t RawAllocSizeRepr);
/// Return true if the builder contains no target-independent /// Return true if the builder contains no target-independent
/// attributes. /// attributes.
bool empty() const { return Attrs.none(); } bool empty() const { return Attrs.none(); }
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines

llvm/include/llvm/IR/CallSite.h

Show First 20 Lines • Show All 414 Lines • ▼ Show 20 Lines unsigned getParamAlignment(unsigned ArgNo) const {
CALLSITE_DELEGATE_GETTER(getParamAlignment(ArgNo)); CALLSITE_DELEGATE_GETTER(getParamAlignment(ArgNo));
} }
/// Extract the byval type for a call or parameter (nullptr=unknown). /// Extract the byval type for a call or parameter (nullptr=unknown).
Type *getParamByValType(unsigned ArgNo) const { Type *getParamByValType(unsigned ArgNo) const {
CALLSITE_DELEGATE_GETTER(getParamByValType(ArgNo)); CALLSITE_DELEGATE_GETTER(getParamByValType(ArgNo));
} }
/// Extract the byval type for a call or parameter (nullptr=unknown).
Type *getParamInAllocaType(unsigned ArgNo) const {
CALLSITE_DELEGATE_GETTER(getParamInAllocaType(ArgNo));
}
/// Extract the number of dereferenceable bytes for a call or parameter /// Extract the number of dereferenceable bytes for a call or parameter
/// (0=unknown). /// (0=unknown).
uint64_t getDereferenceableBytes(unsigned i) const { uint64_t getDereferenceableBytes(unsigned i) const {
CALLSITE_DELEGATE_GETTER(getDereferenceableBytes(i)); CALLSITE_DELEGATE_GETTER(getDereferenceableBytes(i));
} }
/// Extract the number of dereferenceable_or_null bytes for a call or /// Extract the number of dereferenceable_or_null bytes for a call or
/// parameter (0=unknown). /// parameter (0=unknown).
▲ Show 20 Lines • Show All 496 Lines • Show Last 20 Lines

llvm/include/llvm/IR/Function.h

Show First 20 Lines • Show All 447 Lines • ▼ Show 20 Linespublic:
} }
/// Extract the byval type for a parameter. /// Extract the byval type for a parameter.
Type *getParamByValType(unsigned ArgNo) const { Type *getParamByValType(unsigned ArgNo) const {
Type *Ty = AttributeSets.getParamByValType(ArgNo); Type *Ty = AttributeSets.getParamByValType(ArgNo);
return Ty ? Ty : (arg_begin() + ArgNo)->getType()->getPointerElementType(); return Ty ? Ty : (arg_begin() + ArgNo)->getType()->getPointerElementType();
} }
/// Extract the inalloca type for a parameter.
Type *getParamInAllocaType(unsigned ArgNo) const {
Type *Ty = AttributeSets.getParamInAllocaType(ArgNo);
return Ty ? Ty : (arg_begin() + ArgNo)->getType()->getPointerElementType();
}
/// Extract the number of dereferenceable bytes for a call or /// Extract the number of dereferenceable bytes for a call or
/// parameter (0=unknown). /// parameter (0=unknown).
/// @param i AttributeList index, referring to a return value or argument. /// @param i AttributeList index, referring to a return value or argument.
uint64_t getDereferenceableBytes(unsigned i) const { uint64_t getDereferenceableBytes(unsigned i) const {
return AttributeSets.getDereferenceableBytes(i); return AttributeSets.getDereferenceableBytes(i);
} }
/// Extract the number of dereferenceable bytes for a parameter. /// Extract the number of dereferenceable bytes for a parameter.
▲ Show 20 Lines • Show All 408 Lines • Show Last 20 Lines

llvm/include/llvm/IR/InstrTypes.h

Show First 20 Lines • Show All 1,610 Lines • ▼ Show 20 Linespublic:
} }
/// Extract the byval type for a call or parameter. /// Extract the byval type for a call or parameter.
Type *getParamByValType(unsigned ArgNo) const { Type *getParamByValType(unsigned ArgNo) const {
Type *Ty = Attrs.getParamByValType(ArgNo); Type *Ty = Attrs.getParamByValType(ArgNo);
return Ty ? Ty : getArgOperand(ArgNo)->getType()->getPointerElementType(); return Ty ? Ty : getArgOperand(ArgNo)->getType()->getPointerElementType();
} }
/// Extract the inalloca type for a call or parameter.
Type *getParamInAllocaType(unsigned ArgNo) const {
Type *Ty = Attrs.getParamInAllocaType(ArgNo);
return Ty ? Ty : getArgOperand(ArgNo)->getType()->getPointerElementType();
}
/// Extract the number of dereferenceable bytes for a call or /// Extract the number of dereferenceable bytes for a call or
/// parameter (0=unknown). /// parameter (0=unknown).
uint64_t getDereferenceableBytes(unsigned i) const { uint64_t getDereferenceableBytes(unsigned i) const {
return Attrs.getDereferenceableBytes(i); return Attrs.getDereferenceableBytes(i);
} }
/// Extract the number of dereferenceable_or_null bytes for a call or /// Extract the number of dereferenceable_or_null bytes for a call or
/// parameter (0=unknown). /// parameter (0=unknown).
▲ Show 20 Lines • Show All 602 Lines • Show Last 20 Lines

llvm/lib/AsmParser/LLParser.h

Show First 20 Lines • Show All 333 Lines • ▼ Show 20 Lines private:
bool ParseStandaloneMetadata(); bool ParseStandaloneMetadata();
bool ParseNamedMetadata(); bool ParseNamedMetadata();
bool ParseMDString(MDString *&Result); bool ParseMDString(MDString *&Result);
bool ParseMDNodeID(MDNode *&Result); bool ParseMDNodeID(MDNode *&Result);
bool ParseUnnamedAttrGrp(); bool ParseUnnamedAttrGrp();
bool ParseFnAttributeValuePairs(AttrBuilder &B, bool ParseFnAttributeValuePairs(AttrBuilder &B,
std::vector<unsigned> &FwdRefAttrGrps, std::vector<unsigned> &FwdRefAttrGrps,
bool inAttrGrp, LocTy &BuiltinLoc); bool inAttrGrp, LocTy &BuiltinLoc);
bool ParseByValWithOptionalType(Type *&Result); bool ParseAttrWithOptionalType(Type *&Result);
// Module Summary Index Parsing. // Module Summary Index Parsing.
bool SkipModuleSummaryEntry(); bool SkipModuleSummaryEntry();
bool ParseSummaryEntry(); bool ParseSummaryEntry();
bool ParseModuleEntry(unsigned ID); bool ParseModuleEntry(unsigned ID);
bool ParseModuleReference(StringRef &ModulePath); bool ParseModuleReference(StringRef &ModulePath);
bool ParseGVReference(ValueInfo &VI, unsigned &GVId); bool ParseGVReference(ValueInfo &VI, unsigned &GVId);
bool ParseGVEntry(unsigned ID); bool ParseGVEntry(unsigned ID);
▲ Show 20 Lines • Show All 263 Lines • Show Last 20 Lines

llvm/lib/AsmParser/LLParser.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 1,606 Lines • ▼ Show 20 Lines case lltok::kw_align: {
MaybeAlign Alignment; MaybeAlign Alignment;
if (ParseOptionalAlignment(Alignment)) if (ParseOptionalAlignment(Alignment))
return true; return true;
B.addAlignmentAttr(Alignment); B.addAlignmentAttr(Alignment);
continue; continue;
} }
case lltok::kw_byval: { case lltok::kw_byval: {
Type *Ty; Type *Ty;
if (ParseByValWithOptionalType(Ty)) if (ParseAttrWithOptionalType(Ty))
return true; return true;
B.addByValAttr(Ty); B.addByValAttr(Ty);
continue; continue;
} }
case lltok::kw_dereferenceable: { case lltok::kw_dereferenceable: {
uint64_t Bytes; uint64_t Bytes;
if (ParseOptionalDerefAttrBytes(lltok::kw_dereferenceable, Bytes)) if (ParseOptionalDerefAttrBytes(lltok::kw_dereferenceable, Bytes))
return true; return true;
B.addDereferenceableAttr(Bytes); B.addDereferenceableAttr(Bytes);
continue; continue;
} }
case lltok::kw_dereferenceable_or_null: { case lltok::kw_dereferenceable_or_null: {
uint64_t Bytes; uint64_t Bytes;
if (ParseOptionalDerefAttrBytes(lltok::kw_dereferenceable_or_null, Bytes)) if (ParseOptionalDerefAttrBytes(lltok::kw_dereferenceable_or_null, Bytes))
return true; return true;
B.addDereferenceableOrNullAttr(Bytes); B.addDereferenceableOrNullAttr(Bytes);
continue; continue;
} }
case lltok::kw_inalloca: B.addAttribute(Attribute::InAlloca); break; case lltok::kw_inalloca: {
Type *Ty;
if (ParseAttrWithOptionalType(Ty))
return true;
B.addInAllocaAttr(Ty);
continue;
}
case lltok::kw_inreg: B.addAttribute(Attribute::InReg); break; case lltok::kw_inreg: B.addAttribute(Attribute::InReg); break;
case lltok::kw_nest: B.addAttribute(Attribute::Nest); break; case lltok::kw_nest: B.addAttribute(Attribute::Nest); break;
case lltok::kw_noalias: B.addAttribute(Attribute::NoAlias); break; case lltok::kw_noalias: B.addAttribute(Attribute::NoAlias); break;
case lltok::kw_nocapture: B.addAttribute(Attribute::NoCapture); break; case lltok::kw_nocapture: B.addAttribute(Attribute::NoCapture); break;
case lltok::kw_nofree: B.addAttribute(Attribute::NoFree); break; case lltok::kw_nofree: B.addAttribute(Attribute::NoFree); break;
case lltok::kw_nonnull: B.addAttribute(Attribute::NonNull); break; case lltok::kw_nonnull: B.addAttribute(Attribute::NonNull); break;
case lltok::kw_readnone: B.addAttribute(Attribute::ReadNone); break; case lltok::kw_readnone: B.addAttribute(Attribute::ReadNone); break;
case lltok::kw_readonly: B.addAttribute(Attribute::ReadOnly); break; case lltok::kw_readonly: B.addAttribute(Attribute::ReadOnly); break;
▲ Show 20 Lines • Show All 835 Lines • ▼ Show 20 Linesbool LLParser::ParseParameterList(SmallVectorImpl<ParamInfo> &ArgList,
if (IsMustTailCall && InVarArgsFunc) if (IsMustTailCall && InVarArgsFunc)
return TokError("expected '...' at end of argument list for musttail call " return TokError("expected '...' at end of argument list for musttail call "
"in varargs function"); "in varargs function");
Lex.Lex(); // Lex the ')'. Lex.Lex(); // Lex the ')'.
return false; return false;
} }
/// ParseByValWithOptionalType /// ParseAttrWithOptionalType
/// ::= byval /// ::= byval
/// ::= inalloca
/// ::= byval(<ty>) /// ::= byval(<ty>)
bool LLParser::ParseByValWithOptionalType(Type *&Result) { /// ::= inalloca(<ty>)
bool LLParser::ParseAttrWithOptionalType(Type *&Result) {
Result = nullptr; Result = nullptr;
if (!EatIfPresent(lltok::kw_byval))
return true; assert(Lex.getKind() == lltok::kw_byval || Lex.getKind() ==lltok::kw_inalloca);
Lex.Lex();
if (!EatIfPresent(lltok::lparen)) if (!EatIfPresent(lltok::lparen))
return false; return false;
if (ParseType(Result)) if (ParseType(Result))
return true; return true;
if (!EatIfPresent(lltok::rparen)) if (!EatIfPresent(lltok::rparen))
return Error(Lex.getLoc(), "expected ')'"); return Error(Lex.getLoc(), "expected ')'");
return false; return false;
} }
▲ Show 20 Lines • Show All 6,406 Lines • Show Last 20 Lines

llvm/lib/Bitcode/Reader/BitcodeReader.cpp

Show First 20 Lines • Show All 709 Lines • ▼ Show 20 Lines Value *getValueSigned(SmallVectorImpl<uint64_t> &Record, unsigned Slot,
if (Slot == Record.size()) return nullptr; if (Slot == Record.size()) return nullptr;
unsigned ValNo = (unsigned)decodeSignRotatedValue(Record[Slot]); unsigned ValNo = (unsigned)decodeSignRotatedValue(Record[Slot]);
// Adjust the ValNo, if it was encoded relative to the InstNum. // Adjust the ValNo, if it was encoded relative to the InstNum.
if (UseRelativeIDs) if (UseRelativeIDs)
ValNo = InstNum - ValNo; ValNo = InstNum - ValNo;
return getFnValueByID(ValNo, Ty); return getFnValueByID(ValNo, Ty);
} }
/// Upgrades old-style typeless byval attributes by adding the corresponding /// Upgrades old-style typeless byval and inalloca attributes by adding the
/// argument's pointee type. /// corresponding argument's pointee type.
void propagateByValTypes(CallBase *CB, ArrayRef<Type *> ArgsFullTys); void propagateAttributeTypes(CallBase *CB, ArrayRef<Type *> ArgsFullTys);
/// Converts alignment exponent (i.e. power of two (or zero)) to the /// Converts alignment exponent (i.e. power of two (or zero)) to the
/// corresponding alignment to use. If alignment is too large, returns /// corresponding alignment to use. If alignment is too large, returns
/// a corresponding error code. /// a corresponding error code.
Error parseAlignmentValue(uint64_t Exponent, MaybeAlign &Alignment); Error parseAlignmentValue(uint64_t Exponent, MaybeAlign &Alignment);
Error parseAttrKind(uint64_t Code, Attribute::AttrKind *Kind); Error parseAttrKind(uint64_t Code, Attribute::AttrKind *Kind);
Error parseModule(uint64_t ResumeBit, bool ShouldLazyLoadMetadata = false); Error parseModule(uint64_t ResumeBit, bool ShouldLazyLoadMetadata = false);
▲ Show 20 Lines • Show All 876 Lines • ▼ Show 20 Lines case bitc::PARAMATTR_GRP_CODE_ENTRY: { // ENTRY: [grpid, idx, a0, a1, ...]
AttrBuilder B; AttrBuilder B;
for (unsigned i = 2, e = Record.size(); i != e; ++i) { for (unsigned i = 2, e = Record.size(); i != e; ++i) {
if (Record[i] == 0) { // Enum attribute if (Record[i] == 0) { // Enum attribute
Attribute::AttrKind Kind; Attribute::AttrKind Kind;
if (Error Err = parseAttrKind(Record[++i], &Kind)) if (Error Err = parseAttrKind(Record[++i], &Kind))
return Err; return Err;
// Upgrade old-style byval attribute to one with a type, even if it's // Upgrade old-style byval and inalloca attributes to one with a type,
// nullptr. We will have to insert the real type when we associate // even if it's nullptr. We will have to insert the real type when we
// this AttributeList with a function. // associate this AttributeList with a function.
if (Kind == Attribute::ByVal) if (Kind == Attribute::ByVal)
B.addByValAttr(nullptr); B.addByValAttr(nullptr);
else if (Kind == Attribute::InAlloca)
B.addInAllocaAttr(nullptr);
B.addAttribute(Kind); B.addAttribute(Kind);
} else if (Record[i] == 1) { // Integer attribute } else if (Record[i] == 1) { // Integer attribute
Attribute::AttrKind Kind; Attribute::AttrKind Kind;
if (Error Err = parseAttrKind(Record[++i], &Kind)) if (Error Err = parseAttrKind(Record[++i], &Kind))
return Err; return Err;
if (Kind == Attribute::Alignment) if (Kind == Attribute::Alignment)
B.addAlignmentAttr(Record[++i]); B.addAlignmentAttr(Record[++i]);
Show All 27 Lines case bitc::PARAMATTR_GRP_CODE_ENTRY: { // ENTRY: [grpid, idx, a0, a1, ...]
assert((Record[i] == 5 || Record[i] == 6) && assert((Record[i] == 5 || Record[i] == 6) &&
"Invalid attribute group entry"); "Invalid attribute group entry");
bool HasType = Record[i] == 6; bool HasType = Record[i] == 6;
Attribute::AttrKind Kind; Attribute::AttrKind Kind;
if (Error Err = parseAttrKind(Record[++i], &Kind)) if (Error Err = parseAttrKind(Record[++i], &Kind))
return Err; return Err;
if (Kind == Attribute::ByVal) if (Kind == Attribute::ByVal)
B.addByValAttr(HasType ? getTypeByID(Record[++i]) : nullptr); B.addByValAttr(HasType ? getTypeByID(Record[++i]) : nullptr);
else if (Kind == Attribute::InAlloca)
B.addInAllocaAttr(HasType ? getTypeByID(Record[++i]) : nullptr);
} }
} }
UpgradeFramePointerAttributes(B); UpgradeFramePointerAttributes(B);
MAttributeGroups[GrpID] = AttributeList::get(Context, Idx, B); MAttributeGroups[GrpID] = AttributeList::get(Context, Idx, B);
break; break;
} }
} }
▲ Show 20 Lines • Show All 1,558 Lines • ▼ Show 20 LinesError BitcodeReader::parseFunctionRecord(ArrayRef<uint64_t> Record) {
FunctionTypes[Func] = cast<FunctionType>(FullFTy); FunctionTypes[Func] = cast<FunctionType>(FullFTy);
Func->setCallingConv(CC); Func->setCallingConv(CC);
bool isProto = Record[2]; bool isProto = Record[2];
uint64_t RawLinkage = Record[3]; uint64_t RawLinkage = Record[3];
Func->setLinkage(getDecodedLinkage(RawLinkage)); Func->setLinkage(getDecodedLinkage(RawLinkage));
Func->setAttributes(getAttributes(Record[4])); Func->setAttributes(getAttributes(Record[4]));
// Upgrade any old-style byval without a type by propagating the argument's // Upgrade any old-style byval and inalloca without a type by propagating the
// pointee type. There should be no opaque pointers where the byval type is // argument's pointee type. There should be no opaque pointers where the byval
// implicit. // type is implicit.
for (unsigned i = 0; i != Func->arg_size(); ++i) { for (unsigned i = 0; i != Func->arg_size(); ++i) {
if (!Func->hasParamAttribute(i, Attribute::ByVal)) if (Func->hasParamAttribute(i, Attribute::ByVal)) {
continue;
Type *PTy = cast<FunctionType>(FullFTy)->getParamType(i); Type *PTy = cast<FunctionType>(FullFTy)->getParamType(i);
Func->removeParamAttr(i, Attribute::ByVal); Func->removeParamAttr(i, Attribute::ByVal);
Func->addParamAttr(i, Attribute::getWithByValType( Func->addParamAttr(i, Attribute::getWithByValType(
Context, getPointerElementFlatType(PTy))); Context, getPointerElementFlatType(PTy)));
} }
if (Func->hasParamAttribute(i, Attribute::InAlloca)) {
Type *PTy = cast<FunctionType>(FullFTy)->getParamType(i);
Func->removeParamAttr(i, Attribute::InAlloca);
Func->addParamAttr(i, Attribute::getWithInAllocaType(
Context, getPointerElementFlatType(PTy)));
}
}
MaybeAlign Alignment; MaybeAlign Alignment;
if (Error Err = parseAlignmentValue(Record[5], Alignment)) if (Error Err = parseAlignmentValue(Record[5], Alignment))
return Err; return Err;
Func->setAlignment(Alignment); Func->setAlignment(Alignment);
if (Record[6]) { if (Record[6]) {
if (Record[6] - 1 >= SectionTable.size()) if (Record[6] - 1 >= SectionTable.size())
return error("Invalid ID"); return error("Invalid ID");
Func->setSection(SectionTable[Record[6] - 1]); Func->setSection(SectionTable[Record[6] - 1]);
▲ Show 20 Lines • Show All 418 Lines • ▼ Show 20 LinesError BitcodeReader::typeCheckLoadStoreInst(Type *ValType, Type *PtrType) {
if (ValType && ValType != ElemType) if (ValType && ValType != ElemType)
return error("Explicit load/store type does not match pointee " return error("Explicit load/store type does not match pointee "
"type of pointer operand"); "type of pointer operand");
if (!PointerType::isLoadableOrStorableType(ElemType)) if (!PointerType::isLoadableOrStorableType(ElemType))
return error("Cannot load/store from pointer"); return error("Cannot load/store from pointer");
return Error::success(); return Error::success();
} }
void BitcodeReader::propagateByValTypes(CallBase *CB, void BitcodeReader::propagateAttributeTypes(CallBase *CB,
ArrayRef<Type *> ArgsFullTys) { ArrayRef<Type *> ArgsFullTys) {
for (unsigned i = 0; i != CB->arg_size(); ++i) { for (unsigned i = 0; i != CB->arg_size(); ++i) {
if (!CB->paramHasAttr(i, Attribute::ByVal)) if (CB->paramHasAttr(i, Attribute::ByVal)) {
continue;
CB->removeParamAttr(i, Attribute::ByVal); CB->removeParamAttr(i, Attribute::ByVal);
CB->addParamAttr( CB->addParamAttr(i,
i, Attribute::getWithByValType( Attribute::getWithByValType(
Context, getPointerElementFlatType(ArgsFullTys[i]))); Context, getPointerElementFlatType(ArgsFullTys[i])));
} }
if (CB->paramHasAttr(i, Attribute::InAlloca)) {
CB->removeParamAttr(i, Attribute::InAlloca);
CB->addParamAttr(i,
Attribute::getWithInAllocaType(
Context, getPointerElementFlatType(ArgsFullTys[i])));
}
}
} }
/// Lazily parse the specified function body block. /// Lazily parse the specified function body block.
Error BitcodeReader::parseFunctionBody(Function *F) { Error BitcodeReader::parseFunctionBody(Function *F) {
if (Error Err = Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID)) if (Error Err = Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID))
return Err; return Err;
// Unexpected unresolved metadata when parsing function. // Unexpected unresolved metadata when parsing function.
▲ Show 20 Lines • Show All 832 Lines • ▼ Show 20 Lines case bitc::FUNC_CODE_INST_INVOKE: {
I = InvokeInst::Create(FTy, Callee, NormalBB, UnwindBB, Ops, I = InvokeInst::Create(FTy, Callee, NormalBB, UnwindBB, Ops,
OperandBundles); OperandBundles);
FullTy = FullFTy->getReturnType(); FullTy = FullFTy->getReturnType();
OperandBundles.clear(); OperandBundles.clear();
InstructionList.push_back(I); InstructionList.push_back(I);
cast<InvokeInst>(I)->setCallingConv( cast<InvokeInst>(I)->setCallingConv(
static_cast<CallingConv::ID>(CallingConv::MaxID & CCInfo)); static_cast<CallingConv::ID>(CallingConv::MaxID & CCInfo));
cast<InvokeInst>(I)->setAttributes(PAL); cast<InvokeInst>(I)->setAttributes(PAL);
propagateByValTypes(cast<CallBase>(I), ArgsFullTys); propagateAttributeTypes(cast<CallBase>(I), ArgsFullTys);
break; break;
} }
case bitc::FUNC_CODE_INST_RESUME: { // RESUME: [opval] case bitc::FUNC_CODE_INST_RESUME: { // RESUME: [opval]
unsigned Idx = 0; unsigned Idx = 0;
Value *Val = nullptr; Value *Val = nullptr;
if (getValueTypePair(Record, Idx, NextValueNo, Val)) if (getValueTypePair(Record, Idx, NextValueNo, Val))
return error("Invalid record"); return error("Invalid record");
▲ Show 20 Lines • Show All 521 Lines • ▼ Show 20 Lines case bitc::FUNC_CODE_INST_CALL: {
if (CCInfo & 1 << bitc::CALL_TAIL) if (CCInfo & 1 << bitc::CALL_TAIL)
TCK = CallInst::TCK_Tail; TCK = CallInst::TCK_Tail;
if (CCInfo & (1 << bitc::CALL_MUSTTAIL)) if (CCInfo & (1 << bitc::CALL_MUSTTAIL))
TCK = CallInst::TCK_MustTail; TCK = CallInst::TCK_MustTail;
if (CCInfo & (1 << bitc::CALL_NOTAIL)) if (CCInfo & (1 << bitc::CALL_NOTAIL))
TCK = CallInst::TCK_NoTail; TCK = CallInst::TCK_NoTail;
cast<CallInst>(I)->setTailCallKind(TCK); cast<CallInst>(I)->setTailCallKind(TCK);
cast<CallInst>(I)->setAttributes(PAL); cast<CallInst>(I)->setAttributes(PAL);
propagateByValTypes(cast<CallBase>(I), ArgsFullTys); propagateAttributeTypes(cast<CallBase>(I), ArgsFullTys);
if (FMF.any()) { if (FMF.any()) {
if (!isa<FPMathOperator>(I)) if (!isa<FPMathOperator>(I))
return error("Fast-math-flags specified for call without " return error("Fast-math-flags specified for call without "
"floating-point scalar or vector return type"); "floating-point scalar or vector return type");
I->setFastMathFlags(FMF); I->setFastMathFlags(FMF);
} }
break; break;
} }
▲ Show 20 Lines • Show All 1,654 Lines • Show Last 20 Lines

llvm/lib/Bitcode/Writer/ValueEnumerator.cpp

Show First 20 Lines • Show All 947 Lines • ▼ Show 20 Linesvoid ValueEnumerator::incorporateFunction(const Function &F) {
// LocalAsMetadata. // LocalAsMetadata.
incorporateFunctionMetadata(F); incorporateFunctionMetadata(F);
// Adding function arguments to the value table. // Adding function arguments to the value table.
for (const auto &I : F.args()) { for (const auto &I : F.args()) {
EnumerateValue(&I); EnumerateValue(&I);
if (I.hasAttribute(Attribute::ByVal)) if (I.hasAttribute(Attribute::ByVal))
EnumerateType(I.getParamByValType()); EnumerateType(I.getParamByValType());
if (I.hasAttribute(Attribute::InAlloca))
EnumerateType(I.getParamInAllocaType());
} }
FirstFuncConstantID = Values.size(); FirstFuncConstantID = Values.size();
// Add all function-level constants to the value table. // Add all function-level constants to the value table.
for (const BasicBlock &BB : F) { for (const BasicBlock &BB : F) {
for (const Instruction &I : BB) for (const Instruction &I : BB)
for (const Use &OI : I.operands()) { for (const Use &OI : I.operands()) {
if ((isa<Constant>(OI) && !isa<GlobalValue>(OI)) || isa<InlineAsm>(OI)) if ((isa<Constant>(OI) && !isa<GlobalValue>(OI)) || isa<InlineAsm>(OI))
▲ Show 20 Lines • Show All 78 Lines • Show Last 20 Lines

llvm/lib/CodeGen/CallingConvLower.cpp

Show All 38 Lines
/// Allocate space on the stack large enough to pass an argument by value. /// Allocate space on the stack large enough to pass an argument by value.
/// The size and alignment information of the argument is encoded in /// The size and alignment information of the argument is encoded in
/// its parameter attribute. /// its parameter attribute.
void CCState::HandleByVal(unsigned ValNo, MVT ValVT, MVT LocVT, void CCState::HandleByVal(unsigned ValNo, MVT ValVT, MVT LocVT,
CCValAssign::LocInfo LocInfo, int MinSize, CCValAssign::LocInfo LocInfo, int MinSize,
int MinAlignment, ISD::ArgFlagsTy ArgFlags) { int MinAlignment, ISD::ArgFlagsTy ArgFlags) {
Align MinAlign(MinAlignment); Align MinAlign(MinAlignment);
Align Alignment(ArgFlags.getByValAlign()); Align Alignment(ArgFlags.getAlign());
unsigned Size = ArgFlags.getByValSize(); unsigned Size = ArgFlags.getSize();
if (MinSize > (int)Size) if (MinSize > (int)Size)
Size = MinSize; Size = MinSize;
if (MinAlign > Alignment) if (MinAlign > Alignment)
Alignment = MinAlign; Alignment = MinAlign;
ensureMaxAlignment(Alignment); ensureMaxAlignment(Alignment);
MF.getSubtarget().getTargetLowering()->HandleByVal(this, Size, MF.getSubtarget().getTargetLowering()->HandleByVal(this, Size,
Alignment.value()); Alignment.value());
Size = unsigned(alignTo(Size, MinAlign)); Size = unsigned(alignTo(Size, MinAlign));
▲ Show 20 Lines • Show All 237 Lines • Show Last 20 Lines

llvm/lib/CodeGen/GlobalISel/CallLowering.cpp

Show First 20 Lines • Show All 95 Lines • ▼ Show 20 Lines if (Attrs.hasAttribute(OpIdx, Attribute::ByVal))
Flags.setByVal(); Flags.setByVal();
if (Attrs.hasAttribute(OpIdx, Attribute::InAlloca)) if (Attrs.hasAttribute(OpIdx, Attribute::InAlloca))
Flags.setInAlloca(); Flags.setInAlloca();
if (Flags.isByVal() || Flags.isInAlloca()) { if (Flags.isByVal() || Flags.isInAlloca()) {
Type *ElementTy = cast<PointerType>(Arg.Ty)->getElementType(); Type *ElementTy = cast<PointerType>(Arg.Ty)->getElementType();
auto Ty = Attrs.getAttribute(OpIdx, Attribute::ByVal).getValueAsType(); auto Ty = Attrs.getAttribute(OpIdx, Attribute::ByVal).getValueAsType();
Flags.setByValSize(DL.getTypeAllocSize(Ty ? Ty : ElementTy)); Flags.setSize(DL.getTypeAllocSize(Ty ? Ty : ElementTy));
// For ByVal, alignment should be passed from FE. BE will guess if // For ByVal, alignment should be passed from FE. BE will guess if
// this info is not there but there are cases it cannot get right. // this info is not there but there are cases it cannot get right.
unsigned FrameAlign; unsigned FrameAlign;
if (FuncInfo.getParamAlignment(OpIdx - 2)) if (FuncInfo.getParamAlignment(OpIdx - 2))
FrameAlign = FuncInfo.getParamAlignment(OpIdx - 2); FrameAlign = FuncInfo.getParamAlignment(OpIdx - 2);
else else
FrameAlign = getTLI()->getByValTypeAlignment(ElementTy, DL); FrameAlign = getTLI()->getAttrTypeAlignment(ElementTy, DL);
Flags.setByValAlign(Align(FrameAlign)); Flags.setAlign(Align(FrameAlign));
} }
if (Attrs.hasAttribute(OpIdx, Attribute::Nest)) if (Attrs.hasAttribute(OpIdx, Attribute::Nest))
Flags.setNest(); Flags.setNest();
Flags.setOrigAlign(Align(DL.getABITypeAlignment(Arg.Ty))); Flags.setOrigAlign(Align(DL.getABITypeAlignment(Arg.Ty)));
} }
template void template void
CallLowering::setArgFlags<Function>(CallLowering::ArgInfo &Arg, unsigned OpIdx, CallLowering::setArgFlags<Function>(CallLowering::ArgInfo &Arg, unsigned OpIdx,
▲ Show 20 Lines • Show All 367 Lines • Show Last 20 Lines

llvm/lib/CodeGen/SelectionDAG/FastISel.cpp

Show First 20 Lines • Show All 1,201 Lines • ▼ Show 20 Lines if (Arg.IsInAlloca) {
// inalloca to more targets, we'll have to add custom inalloca handling in // inalloca to more targets, we'll have to add custom inalloca handling in
// the various CC lowering callbacks. // the various CC lowering callbacks.
Flags.setByVal(); Flags.setByVal();
} }
if (Arg.IsByVal || Arg.IsInAlloca) { if (Arg.IsByVal || Arg.IsInAlloca) {
PointerType *Ty = cast<PointerType>(Arg.Ty); PointerType *Ty = cast<PointerType>(Arg.Ty);
Type *ElementTy = Ty->getElementType(); Type *ElementTy = Ty->getElementType();
unsigned FrameSize = unsigned FrameSize =
DL.getTypeAllocSize(Arg.ByValType ? Arg.ByValType : ElementTy); DL.getTypeAllocSize(Arg.AttrTy ? Arg.AttrTy : ElementTy);
// For ByVal, alignment should come from FE. BE will guess if this info // For ByVal, alignment should come from FE. BE will guess if this info
// is not there, but there are cases it cannot get right. // is not there, but there are cases it cannot get right.
unsigned FrameAlign = Arg.Alignment; unsigned FrameAlign = Arg.Alignment;
if (!FrameAlign) if (!FrameAlign)
FrameAlign = TLI.getByValTypeAlignment(ElementTy, DL); FrameAlign = TLI.getAttrTypeAlignment(ElementTy, DL);
Flags.setByValSize(FrameSize); Flags.setSize(FrameSize);
Flags.setByValAlign(Align(FrameAlign)); Flags.setAlign(Align(FrameAlign));
} }
if (Arg.IsNest) if (Arg.IsNest)
Flags.setNest(); Flags.setNest();
if (NeedsRegBlock) if (NeedsRegBlock)
Flags.setInConsecutiveRegs(); Flags.setInConsecutiveRegs();
Flags.setOrigAlign(Align(DL.getABITypeAlignment(Arg.Ty))); Flags.setOrigAlign(Align(DL.getABITypeAlignment(Arg.Ty)));
CLI.OutVals.push_back(Arg.Val); CLI.OutVals.push_back(Arg.Val);
▲ Show 20 Lines • Show All 1,254 Lines • Show Last 20 Lines

llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 9,193 Lines • ▼ Show 20 Lines for (unsigned Value = 0, NumValues = ValueVTs.size(); Value != NumValues;
// inalloca to more targets, we'll have to add custom inalloca handling // inalloca to more targets, we'll have to add custom inalloca handling
// in the various CC lowering callbacks. // in the various CC lowering callbacks.
Flags.setByVal(); Flags.setByVal();
} }
if (Args[i].IsByVal || Args[i].IsInAlloca) { if (Args[i].IsByVal || Args[i].IsInAlloca) {
PointerType *Ty = cast<PointerType>(Args[i].Ty); PointerType *Ty = cast<PointerType>(Args[i].Ty);
Type *ElementTy = Ty->getElementType(); Type *ElementTy = Ty->getElementType();
unsigned FrameSize = DL.getTypeAllocSize( unsigned FrameSize =
Args[i].ByValType ? Args[i].ByValType : ElementTy); DL.getTypeAllocSize(Args[i].AttrTy ? Args[i].AttrTy : ElementTy);
Flags.setByValSize(FrameSize); Flags.setSize(FrameSize);
// info is not there but there are cases it cannot get right. // info is not there but there are cases it cannot get right.
unsigned FrameAlign; unsigned FrameAlign;
if (Args[i].Alignment) if (Args[i].Alignment)
FrameAlign = Args[i].Alignment; FrameAlign = Args[i].Alignment;
else else
FrameAlign = getByValTypeAlignment(ElementTy, DL); FrameAlign = getAttrTypeAlignment(ElementTy, DL);
Flags.setByValAlign(Align(FrameAlign)); Flags.setAlign(Align(FrameAlign));
} }
if (Args[i].IsNest) if (Args[i].IsNest)
Flags.setNest(); Flags.setNest();
if (NeedsRegBlock) if (NeedsRegBlock)
Flags.setInConsecutiveRegs(); Flags.setInConsecutiveRegs();
Flags.setOrigAlign(OriginalAlignment); Flags.setOrigAlign(OriginalAlignment);
MVT PartVT = getRegisterTypeForCallingConv(CLI.RetTy->getContext(), MVT PartVT = getRegisterTypeForCallingConv(CLI.RetTy->getContext(),
▲ Show 20 Lines • Show All 483 Lines • ▼ Show 20 Lines for (unsigned Value = 0, NumValues = ValueVTs.size();
} }
if (Flags.isByVal() || Flags.isInAlloca()) { if (Flags.isByVal() || Flags.isInAlloca()) {
Type *ElementTy = Arg.getParamByValType(); Type *ElementTy = Arg.getParamByValType();
// For ByVal, size and alignment should be passed from FE. BE will // For ByVal, size and alignment should be passed from FE. BE will
// guess if this info is not there but there are cases it cannot get // guess if this info is not there but there are cases it cannot get
// right. // right.
unsigned FrameSize = DL.getTypeAllocSize(Arg.getParamByValType()); unsigned FrameSize = DL.getTypeAllocSize(Arg.getParamByValType());
Flags.setByValSize(FrameSize); Flags.setSize(FrameSize);
unsigned FrameAlign; unsigned FrameAlign;
if (Arg.getParamAlignment()) if (Arg.getParamAlignment())
FrameAlign = Arg.getParamAlignment(); FrameAlign = Arg.getParamAlignment();
else else
FrameAlign = TLI->getByValTypeAlignment(ElementTy, DL); FrameAlign = TLI->getAttrTypeAlignment(ElementTy, DL);
Flags.setByValAlign(Align(FrameAlign)); Flags.setAlign(Align(FrameAlign));
} }
if (Arg.hasAttribute(Attribute::Nest)) if (Arg.hasAttribute(Attribute::Nest))
Flags.setNest(); Flags.setNest();
if (NeedsRegBlock) if (NeedsRegBlock)
Flags.setInConsecutiveRegs(); Flags.setInConsecutiveRegs();
Flags.setOrigAlign(OriginalAlignment); Flags.setOrigAlign(OriginalAlignment);
if (ArgCopyElisionCandidates.count(&Arg)) if (ArgCopyElisionCandidates.count(&Arg))
Flags.setCopyElisionCandidate(); Flags.setCopyElisionCandidate();
▲ Show 20 Lines • Show All 888 Lines • Show Last 20 Lines

llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 109 Lines • ▼ Show 20 Linesvoid TargetLoweringBase::ArgListEntry::setAttributes(const CallBase *Call,
IsSRet = Call->paramHasAttr(ArgIdx, Attribute::StructRet); IsSRet = Call->paramHasAttr(ArgIdx, Attribute::StructRet);
IsNest = Call->paramHasAttr(ArgIdx, Attribute::Nest); IsNest = Call->paramHasAttr(ArgIdx, Attribute::Nest);
IsByVal = Call->paramHasAttr(ArgIdx, Attribute::ByVal); IsByVal = Call->paramHasAttr(ArgIdx, Attribute::ByVal);
IsInAlloca = Call->paramHasAttr(ArgIdx, Attribute::InAlloca); IsInAlloca = Call->paramHasAttr(ArgIdx, Attribute::InAlloca);
IsReturned = Call->paramHasAttr(ArgIdx, Attribute::Returned); IsReturned = Call->paramHasAttr(ArgIdx, Attribute::Returned);
IsSwiftSelf = Call->paramHasAttr(ArgIdx, Attribute::SwiftSelf); IsSwiftSelf = Call->paramHasAttr(ArgIdx, Attribute::SwiftSelf);
IsSwiftError = Call->paramHasAttr(ArgIdx, Attribute::SwiftError); IsSwiftError = Call->paramHasAttr(ArgIdx, Attribute::SwiftError);
Alignment = Call->getParamAlignment(ArgIdx); Alignment = Call->getParamAlignment(ArgIdx);
ByValType = nullptr; AttrTy = nullptr;
if (Call->paramHasAttr(ArgIdx, Attribute::ByVal)) if (Call->paramHasAttr(ArgIdx, Attribute::ByVal))
ByValType = Call->getParamByValType(ArgIdx); AttrTy = Call->getParamByValType(ArgIdx);
else if (Call->paramHasAttr(ArgIdx, Attribute::InAlloca))
AttrTy = Call->getParamInAllocaType(ArgIdx);
} }
/// Generate a libcall taking the given operands as arguments and returning a /// Generate a libcall taking the given operands as arguments and returning a
/// result of type RetVT. /// result of type RetVT.
std::pair<SDValue, SDValue> std::pair<SDValue, SDValue>
TargetLowering::makeLibCall(SelectionDAG &DAG, RTLIB::Libcall LC, EVT RetVT, TargetLowering::makeLibCall(SelectionDAG &DAG, RTLIB::Libcall LC, EVT RetVT,
ArrayRef<SDValue> Ops, ArrayRef<SDValue> Ops,
MakeLibCallOptions CallOptions, MakeLibCallOptions CallOptions,
▲ Show 20 Lines • Show All 7,533 Lines • Show Last 20 Lines

llvm/lib/CodeGen/TargetLoweringBase.cpp

Show First 20 Lines • Show All 1,506 Lines • ▼ Show 20 Lines for (unsigned j = 0, f = NumValues; j != f; ++j) {
else if (attr.hasAttribute(AttributeList::ReturnIndex, Attribute::ZExt)) else if (attr.hasAttribute(AttributeList::ReturnIndex, Attribute::ZExt))
Flags.setZExt(); Flags.setZExt();
for (unsigned i = 0; i < NumParts; ++i) for (unsigned i = 0; i < NumParts; ++i)
Outs.push_back(ISD::OutputArg(Flags, PartVT, VT, /*isfixed=*/true, 0, 0)); Outs.push_back(ISD::OutputArg(Flags, PartVT, VT, /*isfixed=*/true, 0, 0));
} }
} }
/// getByValTypeAlignment - Return the desired alignment for ByVal aggregate /// getTypeAlignment - Return the desired alignment for ByVal aggregate
/// function arguments in the caller parameter area. This is the actual /// function arguments in the caller parameter area. This is the actual
/// alignment, not its logarithm. /// alignment, not its logarithm.
unsigned TargetLoweringBase::getByValTypeAlignment(Type *Ty, unsigned TargetLoweringBase::getAttrTypeAlignment(Type *Ty,
const DataLayout &DL) const { const DataLayout &DL) const {
return DL.getABITypeAlignment(Ty); return DL.getABITypeAlignment(Ty);
} }
bool TargetLoweringBase::allowsMemoryAccessForAlignment( bool TargetLoweringBase::allowsMemoryAccessForAlignment(
LLVMContext &Context, const DataLayout &DL, EVT VT, unsigned AddrSpace, LLVMContext &Context, const DataLayout &DL, EVT VT, unsigned AddrSpace,
unsigned Alignment, MachineMemOperand::Flags Flags, bool *Fast) const { unsigned Alignment, MachineMemOperand::Flags Flags, bool *Fast) const {
// Check if the specified alignment is sufficient based on the data layout. // Check if the specified alignment is sufficient based on the data layout.
// TODO: While using the data layout works in practice, a better solution // TODO: While using the data layout works in practice, a better solution
▲ Show 20 Lines • Show All 480 Lines • Show Last 20 Lines

llvm/lib/IR/AsmWriter.cpp

Show First 20 Lines • Show All 4,134 Lines • ▼ Show 20 Lines
} }
void AssemblyWriter::writeAttribute(const Attribute &Attr, bool InAttrGroup) { void AssemblyWriter::writeAttribute(const Attribute &Attr, bool InAttrGroup) {
if (!Attr.isTypeAttribute()) { if (!Attr.isTypeAttribute()) {
Out << Attr.getAsString(InAttrGroup); Out << Attr.getAsString(InAttrGroup);
return; return;
} }
assert(Attr.hasAttribute(Attribute::ByVal) && "unexpected type attr"); assert((Attr.hasAttribute(Attribute::ByVal) ||
Attr.hasAttribute(Attribute::InAlloca)) &&
"unexpected type attr");
Out << "byval"; Out << (Attr.hasAttribute(Attribute::ByVal) ? "byval" : "inalloca");
if (Type *Ty = Attr.getValueAsType()) { if (Type *Ty = Attr.getValueAsType()) {
Out << '('; Out << '(';
TypePrinter.print(Ty, Out); TypePrinter.print(Ty, Out);
Out << ')'; Out << ')';
} }
} }
void AssemblyWriter::writeAttributeSet(const AttributeSet &AttrSet, void AssemblyWriter::writeAttributeSet(const AttributeSet &AttrSet,
▲ Show 20 Lines • Show All 344 Lines • Show Last 20 Lines

llvm/lib/IR/AttributeImpl.h

Show First 20 Lines • Show All 209 Lines • ▼ Show 20 Linespublic:
MaybeAlign getAlignment() const; MaybeAlign getAlignment() const;
MaybeAlign getStackAlignment() const; MaybeAlign getStackAlignment() const;
uint64_t getDereferenceableBytes() const; uint64_t getDereferenceableBytes() const;
uint64_t getDereferenceableOrNullBytes() const; uint64_t getDereferenceableOrNullBytes() const;
std::pair<unsigned, Optional<unsigned>> getAllocSizeArgs() const; std::pair<unsigned, Optional<unsigned>> getAllocSizeArgs() const;
std::string getAsString(bool InAttrGrp) const; std::string getAsString(bool InAttrGrp) const;
Type *getByValType() const; Type *getByValType() const;
Type *getInAllocaType() const;
using iterator = const Attribute *; using iterator = const Attribute *;
iterator begin() const { return getTrailingObjects<Attribute>(); } iterator begin() const { return getTrailingObjects<Attribute>(); }
iterator end() const { return begin() + NumAttrs; } iterator end() const { return begin() + NumAttrs; }
void Profile(FoldingSetNodeID &ID) const { void Profile(FoldingSetNodeID &ID) const {
Profile(ID, makeArrayRef(begin(), end())); Profile(ID, makeArrayRef(begin(), end()));
▲ Show 20 Lines • Show All 61 Lines • Show Last 20 Lines

llvm/lib/IR/Attributes.cpp

Show First 20 Lines • Show All 78 Lines • ▼ Show 20 Lines
Attribute Attribute::get(LLVMContext &Context, Attribute::AttrKind Kind, Attribute Attribute::get(LLVMContext &Context, Attribute::AttrKind Kind,
uint64_t Val) { uint64_t Val) {
LLVMContextImpl *pImpl = Context.pImpl; LLVMContextImpl *pImpl = Context.pImpl;
FoldingSetNodeID ID; FoldingSetNodeID ID;
ID.AddInteger(Kind); ID.AddInteger(Kind);
if (Val) ID.AddInteger(Val); if (Val) ID.AddInteger(Val);
assert(Kind != InAlloca);
void *InsertPoint; void *InsertPoint;
AttributeImpl *PA = pImpl->AttrsSet.FindNodeOrInsertPos(ID, InsertPoint); AttributeImpl *PA = pImpl->AttrsSet.FindNodeOrInsertPos(ID, InsertPoint);
if (!PA) { if (!PA) {
// If we didn't find any existing attributes of the same shape then create a // If we didn't find any existing attributes of the same shape then create a
// new one and insert it. // new one and insert it.
if (!Val) if (!Val)
PA = new EnumAttributeImpl(Kind); PA = new EnumAttributeImpl(Kind);
▲ Show 20 Lines • Show All 68 Lines • ▼ Show 20 LinesAttribute Attribute::getWithDereferenceableOrNullBytes(LLVMContext &Context,
assert(Bytes && "Bytes must be non-zero."); assert(Bytes && "Bytes must be non-zero.");
return get(Context, DereferenceableOrNull, Bytes); return get(Context, DereferenceableOrNull, Bytes);
} }
Attribute Attribute::getWithByValType(LLVMContext &Context, Type *Ty) { Attribute Attribute::getWithByValType(LLVMContext &Context, Type *Ty) {
return get(Context, ByVal, Ty); return get(Context, ByVal, Ty);
} }
Attribute Attribute::getWithInAllocaType(LLVMContext &Context, Type *Ty) {
return get(Context, InAlloca, Ty);
}
Attribute Attribute
Attribute::getWithAllocSizeArgs(LLVMContext &Context, unsigned ElemSizeArg, Attribute::getWithAllocSizeArgs(LLVMContext &Context, unsigned ElemSizeArg,
const Optional<unsigned> &NumElemsArg) { const Optional<unsigned> &NumElemsArg) {
assert(!(ElemSizeArg == 0 && NumElemsArg && *NumElemsArg == 0) && assert(!(ElemSizeArg == 0 && NumElemsArg && *NumElemsArg == 0) &&
"Invalid allocsize arguments -- given allocsize(0, 0)"); "Invalid allocsize arguments -- given allocsize(0, 0)");
return get(Context, AllocSize, packAllocSizeArgs(ElemSizeArg, NumElemsArg)); return get(Context, AllocSize, packAllocSizeArgs(ElemSizeArg, NumElemsArg));
} }
▲ Show 20 Lines • Show All 114 Lines • ▼ Show 20 Linesstd::string Attribute::getAsString(bool InAttrGrp) const {
if (hasAttribute(Attribute::SwiftError)) if (hasAttribute(Attribute::SwiftError))
return "swifterror"; return "swifterror";
if (hasAttribute(Attribute::SwiftSelf)) if (hasAttribute(Attribute::SwiftSelf))
return "swiftself"; return "swiftself";
if (hasAttribute(Attribute::InaccessibleMemOnly)) if (hasAttribute(Attribute::InaccessibleMemOnly))
return "inaccessiblememonly"; return "inaccessiblememonly";
if (hasAttribute(Attribute::InaccessibleMemOrArgMemOnly)) if (hasAttribute(Attribute::InaccessibleMemOrArgMemOnly))
return "inaccessiblemem_or_argmemonly"; return "inaccessiblemem_or_argmemonly";
if (hasAttribute(Attribute::InAlloca))
return "inalloca";
if (hasAttribute(Attribute::InlineHint)) if (hasAttribute(Attribute::InlineHint))
return "inlinehint"; return "inlinehint";
if (hasAttribute(Attribute::InReg)) if (hasAttribute(Attribute::InReg))
return "inreg"; return "inreg";
if (hasAttribute(Attribute::JumpTable)) if (hasAttribute(Attribute::JumpTable))
return "jumptable"; return "jumptable";
if (hasAttribute(Attribute::MinSize)) if (hasAttribute(Attribute::MinSize))
return "minsize"; return "minsize";
▲ Show 20 Lines • Show All 90 Lines • ▼ Show 20 Lines if (Type *Ty = getValueAsType()) {
Result += '('; Result += '(';
Ty->print(OS, false, true); Ty->print(OS, false, true);
OS.flush(); OS.flush();
Result += ')'; Result += ')';
} }
return Result; return Result;
} }
if (hasAttribute(Attribute::InAlloca)) {
std::string Result;
Result += "inalloca";
if (Type *Ty = getValueAsType()) {
raw_string_ostream OS(Result);
Result += '(';
Ty->print(OS, false, true);
OS.flush();
Result += ')';
}
return Result;
}
// FIXME: These should be output like this: // FIXME: These should be output like this:
// //
// align=4 // align=4
// alignstack=8 // alignstack=8
// //
if (hasAttribute(Attribute::Alignment)) { if (hasAttribute(Attribute::Alignment)) {
std::string Result; std::string Result;
Result += "align"; Result += "align";
▲ Show 20 Lines • Show All 265 Lines • ▼ Show 20 Lines
uint64_t AttributeSet::getDereferenceableOrNullBytes() const { uint64_t AttributeSet::getDereferenceableOrNullBytes() const {
return SetNode ? SetNode->getDereferenceableOrNullBytes() : 0; return SetNode ? SetNode->getDereferenceableOrNullBytes() : 0;
} }
Type *AttributeSet::getByValType() const { Type *AttributeSet::getByValType() const {
return SetNode ? SetNode->getByValType() : nullptr; return SetNode ? SetNode->getByValType() : nullptr;
} }
Type *AttributeSet::getInAllocaType() const {
return SetNode ? SetNode->getInAllocaType() : nullptr;
}
std::pair<unsigned, Optional<unsigned>> AttributeSet::getAllocSizeArgs() const { std::pair<unsigned, Optional<unsigned>> AttributeSet::getAllocSizeArgs() const {
return SetNode ? SetNode->getAllocSizeArgs() return SetNode ? SetNode->getAllocSizeArgs()
: std::pair<unsigned, Optional<unsigned>>(0, 0); : std::pair<unsigned, Optional<unsigned>>(0, 0);
} }
std::string AttributeSet::getAsString(bool InAttrGrp) const { std::string AttributeSet::getAsString(bool InAttrGrp) const {
return SetNode ? SetNode->getAsString(InAttrGrp) : ""; return SetNode ? SetNode->getAsString(InAttrGrp) : "";
} }
▲ Show 20 Lines • Show All 75 Lines • ▼ Show 20 Lines for (Attribute::AttrKind Kind = Attribute::None;
if (!B.contains(Kind)) if (!B.contains(Kind))
continue; continue;
Attribute Attr; Attribute Attr;
switch (Kind) { switch (Kind) {
case Attribute::ByVal: case Attribute::ByVal:
Attr = Attribute::getWithByValType(C, B.getByValType()); Attr = Attribute::getWithByValType(C, B.getByValType());
break; break;
case Attribute::InAlloca:
Attr = Attribute::getWithInAllocaType(C, B.getInAllocaType());
break;
case Attribute::Alignment: case Attribute::Alignment:
assert(B.getAlignment() && "Alignment must be set"); assert(B.getAlignment() && "Alignment must be set");
Attr = Attribute::getWithAlignment(C, *B.getAlignment()); Attr = Attribute::getWithAlignment(C, *B.getAlignment());
break; break;
case Attribute::StackAlignment: case Attribute::StackAlignment:
assert(B.getStackAlignment() && "StackAlignment must be set"); assert(B.getStackAlignment() && "StackAlignment must be set");
Attr = Attribute::getWithStackAlignment(C, *B.getStackAlignment()); Attr = Attribute::getWithStackAlignment(C, *B.getStackAlignment());
break; break;
▲ Show 20 Lines • Show All 62 Lines • ▼ Show 20 Lines
Type *AttributeSetNode::getByValType() const { Type *AttributeSetNode::getByValType() const {
for (const auto &I : *this) for (const auto &I : *this)
if (I.hasAttribute(Attribute::ByVal)) if (I.hasAttribute(Attribute::ByVal))
return I.getValueAsType(); return I.getValueAsType();
return 0; return 0;
} }
Type *AttributeSetNode::getInAllocaType() const {
for (const auto &I : *this)
if (I.hasAttribute(Attribute::InAlloca))
return I.getValueAsType();
return 0;
dblaikieUnsubmitted
Not Done
ReplyInline Actions

Probably use nullptr, rather than 0 here.

dblaikie: Probably use nullptr, rather than 0 here.
}
uint64_t AttributeSetNode::getDereferenceableBytes() const { uint64_t AttributeSetNode::getDereferenceableBytes() const {
for (const auto &I : *this) for (const auto &I : *this)
if (I.hasAttribute(Attribute::Dereferenceable)) if (I.hasAttribute(Attribute::Dereferenceable))
return I.getDereferenceableBytes(); return I.getDereferenceableBytes();
return 0; return 0;
} }
uint64_t AttributeSetNode::getDereferenceableOrNullBytes() const { uint64_t AttributeSetNode::getDereferenceableOrNullBytes() const {
▲ Show 20 Lines • Show All 488 Lines • ▼ Show 20 Lines
MaybeAlign AttributeList::getParamAlignment(unsigned ArgNo) const { MaybeAlign AttributeList::getParamAlignment(unsigned ArgNo) const {
return getAttributes(ArgNo + FirstArgIndex).getAlignment(); return getAttributes(ArgNo + FirstArgIndex).getAlignment();
} }
Type *AttributeList::getParamByValType(unsigned Index) const { Type *AttributeList::getParamByValType(unsigned Index) const {
return getAttributes(Index+FirstArgIndex).getByValType(); return getAttributes(Index+FirstArgIndex).getByValType();
} }
Type *AttributeList::getParamInAllocaType(unsigned Index) const {
return getAttributes(Index+FirstArgIndex).getInAllocaType();
}
MaybeAlign AttributeList::getStackAlignment(unsigned Index) const { MaybeAlign AttributeList::getStackAlignment(unsigned Index) const {
return getAttributes(Index).getStackAlignment(); return getAttributes(Index).getStackAlignment();
} }
uint64_t AttributeList::getDereferenceableBytes(unsigned Index) const { uint64_t AttributeList::getDereferenceableBytes(unsigned Index) const {
return getAttributes(Index).getDereferenceableBytes(); return getAttributes(Index).getDereferenceableBytes();
} }
▲ Show 20 Lines • Show All 65 Lines • ▼ Show 20 Lines
void AttrBuilder::clear() { void AttrBuilder::clear() {
Attrs.reset(); Attrs.reset();
TargetDepAttrs.clear(); TargetDepAttrs.clear();
Alignment.reset(); Alignment.reset();
StackAlignment.reset(); StackAlignment.reset();
DerefBytes = DerefOrNullBytes = 0; DerefBytes = DerefOrNullBytes = 0;
AllocSizeArgs = 0; AllocSizeArgs = 0;
ByValType = nullptr; ByValType = nullptr;
InAllocaType = nullptr;
} }
AttrBuilder &AttrBuilder::addAttribute(Attribute::AttrKind Val) { AttrBuilder &AttrBuilder::addAttribute(Attribute::AttrKind Val) {
assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!"); assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!");
assert(Val != Attribute::Alignment && Val != Attribute::StackAlignment && assert(Val != Attribute::Alignment && Val != Attribute::StackAlignment &&
Val != Attribute::Dereferenceable && Val != Attribute::AllocSize && Val != Attribute::Dereferenceable && Val != Attribute::AllocSize &&
"Adding integer attribute without adding a value!"); "Adding integer attribute without adding a value!");
Attrs[Val] = true; Attrs[Val] = true;
Show All 10 LinesAttrBuilder &AttrBuilder::addAttribute(Attribute Attr) {
Attrs[Kind] = true; Attrs[Kind] = true;
if (Kind == Attribute::Alignment) if (Kind == Attribute::Alignment)
Alignment = Attr.getAlignment(); Alignment = Attr.getAlignment();
else if (Kind == Attribute::StackAlignment) else if (Kind == Attribute::StackAlignment)
StackAlignment = Attr.getStackAlignment(); StackAlignment = Attr.getStackAlignment();
else if (Kind == Attribute::ByVal) else if (Kind == Attribute::ByVal)
ByValType = Attr.getValueAsType(); ByValType = Attr.getValueAsType();
else if (Kind == Attribute::InAlloca)
InAllocaType = Attr.getValueAsType();
else if (Kind == Attribute::Dereferenceable) else if (Kind == Attribute::Dereferenceable)
DerefBytes = Attr.getDereferenceableBytes(); DerefBytes = Attr.getDereferenceableBytes();
else if (Kind == Attribute::DereferenceableOrNull) else if (Kind == Attribute::DereferenceableOrNull)
DerefOrNullBytes = Attr.getDereferenceableOrNullBytes(); DerefOrNullBytes = Attr.getDereferenceableOrNullBytes();
else if (Kind == Attribute::AllocSize) else if (Kind == Attribute::AllocSize)
AllocSizeArgs = Attr.getValueAsInt(); AllocSizeArgs = Attr.getValueAsInt();
return *this; return *this;
} }
AttrBuilder &AttrBuilder::addAttribute(StringRef A, StringRef V) { AttrBuilder &AttrBuilder::addAttribute(StringRef A, StringRef V) {
TargetDepAttrs[A] = V; TargetDepAttrs[A] = V;
return *this; return *this;
} }
AttrBuilder &AttrBuilder::removeAttribute(Attribute::AttrKind Val) { AttrBuilder &AttrBuilder::removeAttribute(Attribute::AttrKind Val) {
assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!"); assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!");
Attrs[Val] = false; Attrs[Val] = false;
if (Val == Attribute::Alignment) if (Val == Attribute::Alignment)
Alignment.reset(); Alignment.reset();
else if (Val == Attribute::StackAlignment) else if (Val == Attribute::StackAlignment)
StackAlignment.reset(); StackAlignment.reset();
else if (Val == Attribute::ByVal) else if (Val == Attribute::ByVal)
ByValType = nullptr; ByValType = nullptr;
else if (Val == Attribute::InAlloca)
InAllocaType = nullptr;
else if (Val == Attribute::Dereferenceable) else if (Val == Attribute::Dereferenceable)
DerefBytes = 0; DerefBytes = 0;
else if (Val == Attribute::DereferenceableOrNull) else if (Val == Attribute::DereferenceableOrNull)
DerefOrNullBytes = 0; DerefOrNullBytes = 0;
else if (Val == Attribute::AllocSize) else if (Val == Attribute::AllocSize)
AllocSizeArgs = 0; AllocSizeArgs = 0;
return *this; return *this;
▲ Show 20 Lines • Show All 72 Lines • ▼ Show 20 Lines
} }
AttrBuilder &AttrBuilder::addByValAttr(Type *Ty) { AttrBuilder &AttrBuilder::addByValAttr(Type *Ty) {
Attrs[Attribute::ByVal] = true; Attrs[Attribute::ByVal] = true;
ByValType = Ty; ByValType = Ty;
return *this; return *this;
} }
AttrBuilder &AttrBuilder::addInAllocaAttr(Type *Ty) {
Attrs[Attribute::InAlloca] = true;
InAllocaType = Ty;
return *this;
}
AttrBuilder &AttrBuilder::merge(const AttrBuilder &B) { AttrBuilder &AttrBuilder::merge(const AttrBuilder &B) {
// FIXME: What if both have alignments, but they don't match?! // FIXME: What if both have alignments, but they don't match?!
if (!Alignment) if (!Alignment)
Alignment = B.Alignment; Alignment = B.Alignment;
if (!StackAlignment) if (!StackAlignment)
StackAlignment = B.StackAlignment; StackAlignment = B.StackAlignment;
if (!DerefBytes) if (!DerefBytes)
DerefBytes = B.DerefBytes; DerefBytes = B.DerefBytes;
if (!DerefOrNullBytes) if (!DerefOrNullBytes)
DerefOrNullBytes = B.DerefOrNullBytes; DerefOrNullBytes = B.DerefOrNullBytes;
if (!AllocSizeArgs) if (!AllocSizeArgs)
AllocSizeArgs = B.AllocSizeArgs; AllocSizeArgs = B.AllocSizeArgs;
if (!ByValType) if (!ByValType)
ByValType = B.ByValType; ByValType = B.ByValType;
if (!InAllocaType)
InAllocaType = B.InAllocaType;
Attrs |= B.Attrs; Attrs |= B.Attrs;
for (auto I : B.td_attrs()) for (auto I : B.td_attrs())
TargetDepAttrs[I.first] = I.second; TargetDepAttrs[I.first] = I.second;
return *this; return *this;
} }
Show All 12 Lines if (B.DerefOrNullBytes)
DerefOrNullBytes = 0; DerefOrNullBytes = 0;
if (B.AllocSizeArgs) if (B.AllocSizeArgs)
AllocSizeArgs = 0; AllocSizeArgs = 0;
if (B.ByValType) if (B.ByValType)
ByValType = nullptr; ByValType = nullptr;
if (B.InAllocaType)
InAllocaType = nullptr;
Attrs &= ~B.Attrs; Attrs &= ~B.Attrs;
for (auto I : B.td_attrs()) for (auto I : B.td_attrs())
TargetDepAttrs.erase(I.first); TargetDepAttrs.erase(I.first);
return *this; return *this;
} }
▲ Show 20 Lines • Show All 43 Lines • ▼ Show 20 Lines if (Attrs != B.Attrs)
return false; return false;
for (td_const_iterator I = TargetDepAttrs.begin(), for (td_const_iterator I = TargetDepAttrs.begin(),
E = TargetDepAttrs.end(); I != E; ++I) E = TargetDepAttrs.end(); I != E; ++I)
if (B.TargetDepAttrs.find(I->first) == B.TargetDepAttrs.end()) if (B.TargetDepAttrs.find(I->first) == B.TargetDepAttrs.end())
return false; return false;
return Alignment == B.Alignment && StackAlignment == B.StackAlignment && return Alignment == B.Alignment && StackAlignment == B.StackAlignment &&
DerefBytes == B.DerefBytes && ByValType == B.ByValType; DerefBytes == B.DerefBytes && ByValType == B.ByValType &&
InAllocaType == B.InAllocaType;
} }
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
// AttributeFuncs Function Defintions // AttributeFuncs Function Defintions
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
/// Which attributes cannot be applied to a type. /// Which attributes cannot be applied to a type.
AttrBuilder AttributeFuncs::typeIncompatible(Type *Ty) { AttrBuilder AttributeFuncs::typeIncompatible(Type *Ty) {
▲ Show 20 Lines • Show All 163 Lines • Show Last 20 Lines

llvm/lib/IR/Core.cpp

Show First 20 Lines • Show All 141 Lines • ▼ Show 20 LinesLLVMAttributeRef LLVMCreateEnumAttribute(LLVMContextRef C, unsigned KindID,
uint64_t Val) { uint64_t Val) {
auto &Ctx = *unwrap(C); auto &Ctx = *unwrap(C);
auto AttrKind = (Attribute::AttrKind)KindID; auto AttrKind = (Attribute::AttrKind)KindID;
if (AttrKind == Attribute::AttrKind::ByVal) { if (AttrKind == Attribute::AttrKind::ByVal) {
// After r362128, byval attributes need to have a type attribute. Provide a // After r362128, byval attributes need to have a type attribute. Provide a
// NULL one until a proper API is added for this. // NULL one until a proper API is added for this.
return wrap(Attribute::getWithByValType(Ctx, NULL)); return wrap(Attribute::getWithByValType(Ctx, NULL));
} }
if (AttrKind == Attribute::AttrKind::InAlloca) {
// Similarly inalloca for now.
return wrap(Attribute::getWithInAllocaType(Ctx, NULL));
}
dblaikieUnsubmitted
Not Done
ReplyInline Actions

could drop the else-after-returns here, but I realize it's consistent with existing style, so maybe better in a separate pre/post patch

dblaikie: could drop the else-after-returns here, but I realize it's consistent with existing style, so…
return wrap(Attribute::get(Ctx, AttrKind, Val)); return wrap(Attribute::get(Ctx, AttrKind, Val));
} }
unsigned LLVMGetEnumAttributeKind(LLVMAttributeRef A) { unsigned LLVMGetEnumAttributeKind(LLVMAttributeRef A) {
return unwrap(A).getKindAsEnum(); return unwrap(A).getKindAsEnum();
} }
uint64_t LLVMGetEnumAttributeValue(LLVMAttributeRef A) { uint64_t LLVMGetEnumAttributeValue(LLVMAttributeRef A) {
▲ Show 20 Lines • Show All 3,954 Lines • Show Last 20 Lines

llvm/lib/IR/Function.cpp

Show First 20 Lines • Show All 130 Lines • ▼ Show 20 LinesMaybeAlign Argument::getParamAlign() const {
return getParent()->getParamAlign(getArgNo()); return getParent()->getParamAlign(getArgNo());
} }
Type *Argument::getParamByValType() const { Type *Argument::getParamByValType() const {
assert(getType()->isPointerTy() && "Only pointers have byval types"); assert(getType()->isPointerTy() && "Only pointers have byval types");
return getParent()->getParamByValType(getArgNo()); return getParent()->getParamByValType(getArgNo());
} }
Type *Argument::getParamInAllocaType() const {
assert(getType()->isPointerTy() && "Only pointers have byval types");
return getParent()->getParamInAllocaType(getArgNo());
}
uint64_t Argument::getDereferenceableBytes() const { uint64_t Argument::getDereferenceableBytes() const {
assert(getType()->isPointerTy() && assert(getType()->isPointerTy() &&
"Only pointers have dereferenceable bytes"); "Only pointers have dereferenceable bytes");
return getParent()->getParamDereferenceableBytes(getArgNo()); return getParent()->getParamDereferenceableBytes(getArgNo());
} }
uint64_t Argument::getDereferenceableOrNullBytes() const { uint64_t Argument::getDereferenceableOrNullBytes() const {
assert(getType()->isPointerTy() && assert(getType()->isPointerTy() &&
▲ Show 20 Lines • Show All 1,490 Lines • Show Last 20 Lines

llvm/lib/IR/Verifier.cpp

Show First 20 Lines • Show All 1,648 Lines • ▼ Show 20 Lines Assert(!(Attrs.hasAttribute(Attribute::NoInline) &&
"'noinline and alwaysinline' are incompatible!", "'noinline and alwaysinline' are incompatible!",
V); V);
if (Attrs.hasAttribute(Attribute::ByVal) && Attrs.getByValType()) { if (Attrs.hasAttribute(Attribute::ByVal) && Attrs.getByValType()) {
Assert(Attrs.getByValType() == cast<PointerType>(Ty)->getElementType(), Assert(Attrs.getByValType() == cast<PointerType>(Ty)->getElementType(),
"Attribute 'byval' type does not match parameter!", V); "Attribute 'byval' type does not match parameter!", V);
} }
if (Attrs.hasAttribute(Attribute::InAlloca) && Attrs.getInAllocaType()) {
Assert(Attrs.getInAllocaType() == cast<PointerType>(Ty)->getElementType(),
"Attribute 'inalloca' type does not match parameter!", V);
}
AttrBuilder IncompatibleAttrs = AttributeFuncs::typeIncompatible(Ty); AttrBuilder IncompatibleAttrs = AttributeFuncs::typeIncompatible(Ty);
Assert(!AttrBuilder(Attrs).overlaps(IncompatibleAttrs), Assert(!AttrBuilder(Attrs).overlaps(IncompatibleAttrs),
"Wrong types for attribute: " + "Wrong types for attribute: " +
AttributeSet::get(Context, IncompatibleAttrs).getAsString(), AttributeSet::get(Context, IncompatibleAttrs).getAsString(),
V); V);
if (PointerType *PTy = dyn_cast<PointerType>(Ty)) { if (PointerType *PTy = dyn_cast<PointerType>(Ty)) {
SmallPtrSet<Type*, 4> Visited; SmallPtrSet<Type*, 4> Visited;
▲ Show 20 Lines • Show All 3,880 Lines • Show Last 20 Lines

llvm/lib/Linker/IRMover.cpp

Show First 20 Lines • Show All 639 Lines • ▼ Show 20 Lines if (Attrs.hasAttribute(i, Attribute::ByVal)) {
Type *Ty = Attrs.getAttribute(i, Attribute::ByVal).getValueAsType(); Type *Ty = Attrs.getAttribute(i, Attribute::ByVal).getValueAsType();
if (!Ty) if (!Ty)
continue; continue;
Attrs = Attrs.removeAttribute(C, i, Attribute::ByVal); Attrs = Attrs.removeAttribute(C, i, Attribute::ByVal);
Attrs = Attrs.addAttribute( Attrs = Attrs.addAttribute(
C, i, Attribute::getWithByValType(C, TypeMap.get(Ty))); C, i, Attribute::getWithByValType(C, TypeMap.get(Ty)));
} }
if (Attrs.hasAttribute(i, Attribute::InAlloca)) {
Type *Ty = Attrs.getAttribute(i, Attribute::InAlloca).getValueAsType();
if (!Ty)
continue;
Attrs = Attrs.removeAttribute(C, i, Attribute::InAlloca);
Attrs = Attrs.addAttribute(
C, i, Attribute::getWithInAllocaType(C, TypeMap.get(Ty)));
}
} }
return Attrs; return Attrs;
} }
/// Link the function in the source module into the destination module if /// Link the function in the source module into the destination module if
/// needed, setting up mapping information. /// needed, setting up mapping information.
Function *IRLinker::copyFunctionProto(const Function *SF) { Function *IRLinker::copyFunctionProto(const Function *SF) {
// If there is no linkage to be performed or we are linking from the source, // If there is no linkage to be performed or we are linking from the source,
▲ Show 20 Lines • Show All 911 Lines • Show Last 20 Lines

llvm/lib/Target/AArch64/AArch64ISelLowering.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 3,309 Lines • ▼ Show 20 LinesSDValue AArch64TargetLowering::LowerFormalArguments(
SmallVector<SDValue, 16> ArgValues; SmallVector<SDValue, 16> ArgValues;
for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) { for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
CCValAssign &VA = ArgLocs[i]; CCValAssign &VA = ArgLocs[i];
if (Ins[i].Flags.isByVal()) { if (Ins[i].Flags.isByVal()) {
// Byval is used for HFAs in the PCS, but the system should work in a // Byval is used for HFAs in the PCS, but the system should work in a
// non-compliant manner for larger structs. // non-compliant manner for larger structs.
EVT PtrVT = getPointerTy(DAG.getDataLayout()); EVT PtrVT = getPointerTy(DAG.getDataLayout());
int Size = Ins[i].Flags.getByValSize(); int Size = Ins[i].Flags.getSize();
unsigned NumRegs = (Size + 7) / 8; unsigned NumRegs = (Size + 7) / 8;
// FIXME: This works on big-endian for composite byvals, which are the common // FIXME: This works on big-endian for composite byvals, which are the common
// case. It should also work for fundamental types too. // case. It should also work for fundamental types too.
unsigned FrameIdx = unsigned FrameIdx =
MFI.CreateFixedObject(8 * NumRegs, VA.getLocMemOffset(), false); MFI.CreateFixedObject(8 * NumRegs, VA.getLocMemOffset(), false);
SDValue FrameIdxN = DAG.getFrameIndex(FrameIdx, PtrVT); SDValue FrameIdxN = DAG.getFrameIndex(FrameIdx, PtrVT);
InVals.push_back(FrameIdxN); InVals.push_back(FrameIdxN);
▲ Show 20 Lines • Show All 746 Lines • ▼ Show 20 Lines if (VA.isRegLoc()) {
assert(VA.isMemLoc()); assert(VA.isMemLoc());
SDValue DstAddr; SDValue DstAddr;
MachinePointerInfo DstInfo; MachinePointerInfo DstInfo;
// FIXME: This works on big-endian for composite byvals, which are the // FIXME: This works on big-endian for composite byvals, which are the
// common case. It should also work for fundamental types too. // common case. It should also work for fundamental types too.
uint32_t BEAlign = 0; uint32_t BEAlign = 0;
unsigned OpSize = Flags.isByVal() ? Flags.getByValSize() * 8 unsigned OpSize = Flags.isByVal() ? Flags.getSize() * 8
: VA.getValVT().getSizeInBits(); : VA.getValVT().getSizeInBits();
OpSize = (OpSize + 7) / 8; OpSize = (OpSize + 7) / 8;
if (!Subtarget->isLittleEndian() && !Flags.isByVal() && if (!Subtarget->isLittleEndian() && !Flags.isByVal() &&
!Flags.isInConsecutiveRegs()) { !Flags.isInConsecutiveRegs()) {
if (OpSize < 8) if (OpSize < 8)
BEAlign = 8 - OpSize; BEAlign = 8 - OpSize;
} }
unsigned LocMemOffset = VA.getLocMemOffset(); unsigned LocMemOffset = VA.getLocMemOffset();
Show All 18 Lines if (VA.isRegLoc()) {
DstAddr = DAG.getNode(ISD::ADD, DL, PtrVT, StackPtr, PtrOff); DstAddr = DAG.getNode(ISD::ADD, DL, PtrVT, StackPtr, PtrOff);
DstInfo = MachinePointerInfo::getStack(DAG.getMachineFunction(), DstInfo = MachinePointerInfo::getStack(DAG.getMachineFunction(),
LocMemOffset); LocMemOffset);
} }
if (Outs[i].Flags.isByVal()) { if (Outs[i].Flags.isByVal()) {
SDValue SizeNode = SDValue SizeNode =
DAG.getConstant(Outs[i].Flags.getByValSize(), DL, MVT::i64); DAG.getConstant(Outs[i].Flags.getSize(), DL, MVT::i64);
SDValue Cpy = DAG.getMemcpy( SDValue Cpy = DAG.getMemcpy(
Chain, DL, DstAddr, Arg, SizeNode, Outs[i].Flags.getByValAlign(), Chain, DL, DstAddr, Arg, SizeNode, Outs[i].Flags.getAlign(),
/*isVol = */ false, /*AlwaysInline = */ false, /*isVol = */ false, /*AlwaysInline = */ false,
/*isTailCall = */ false, /*isTailCall = */ false,
DstInfo, MachinePointerInfo()); DstInfo, MachinePointerInfo());
MemOpChains.push_back(Cpy); MemOpChains.push_back(Cpy);
} else { } else {
// Since we pass i1/i8/i16 as i1/i8/i16 on stack and Arg is already // Since we pass i1/i8/i16 as i1/i8/i16 on stack and Arg is already
// promoted to a legal register type i32, we should truncate Arg back to // promoted to a legal register type i32, we should truncate Arg back to
▲ Show 20 Lines • Show All 9,069 Lines • Show Last 20 Lines

llvm/lib/Target/AMDGPU/SIISelLowering.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 1,511 Lines • ▼ Show 20 Lines
SDValue SITargetLowering::lowerStackParameter(SelectionDAG &DAG, CCValAssign &VA, SDValue SITargetLowering::lowerStackParameter(SelectionDAG &DAG, CCValAssign &VA,
const SDLoc &SL, SDValue Chain, const SDLoc &SL, SDValue Chain,
const ISD::InputArg &Arg) const { const ISD::InputArg &Arg) const {
MachineFunction &MF = DAG.getMachineFunction(); MachineFunction &MF = DAG.getMachineFunction();
MachineFrameInfo &MFI = MF.getFrameInfo(); MachineFrameInfo &MFI = MF.getFrameInfo();
if (Arg.Flags.isByVal()) { if (Arg.Flags.isByVal()) {
unsigned Size = Arg.Flags.getByValSize(); unsigned Size = Arg.Flags.getSize();
int FrameIdx = MFI.CreateFixedObject(Size, VA.getLocMemOffset(), false); int FrameIdx = MFI.CreateFixedObject(Size, VA.getLocMemOffset(), false);
return DAG.getFrameIndex(FrameIdx, MVT::i32); return DAG.getFrameIndex(FrameIdx, MVT::i32);
} }
unsigned ArgOffset = VA.getLocMemOffset(); unsigned ArgOffset = VA.getLocMemOffset();
unsigned ArgSize = VA.getValVT().getStoreSize(); unsigned ArgSize = VA.getValVT().getStoreSize();
int FI = MFI.CreateFixedObject(ArgSize, ArgOffset, true); int FI = MFI.CreateFixedObject(ArgSize, ArgOffset, true);
▲ Show 20 Lines • Show All 1,298 Lines • ▼ Show 20 Lines if (VA.isRegLoc()) {
int32_t Offset = LocMemOffset; int32_t Offset = LocMemOffset;
SDValue PtrOff = DAG.getConstant(Offset, DL, PtrVT); SDValue PtrOff = DAG.getConstant(Offset, DL, PtrVT);
MaybeAlign Alignment; MaybeAlign Alignment;
if (IsTailCall) { if (IsTailCall) {
ISD::ArgFlagsTy Flags = Outs[i].Flags; ISD::ArgFlagsTy Flags = Outs[i].Flags;
unsigned OpSize = Flags.isByVal() ? unsigned OpSize = Flags.isByVal() ?
Flags.getByValSize() : VA.getValVT().getStoreSize(); Flags.getSize() : VA.getValVT().getStoreSize();
// FIXME: We can have better than the minimum byval required alignment. // FIXME: We can have better than the minimum byval required alignment.
Alignment = Alignment =
Flags.isByVal() Flags.isByVal()
? MaybeAlign(Flags.getByValAlign()) ? MaybeAlign(Flags.getAlign())
: commonAlignment(Subtarget->getStackAlignment(), Offset); : commonAlignment(Subtarget->getStackAlignment(), Offset);
Offset = Offset + FPDiff; Offset = Offset + FPDiff;
int FI = MFI.CreateFixedObject(OpSize, Offset, true); int FI = MFI.CreateFixedObject(OpSize, Offset, true);
DstAddr = DAG.getFrameIndex(FI, PtrVT); DstAddr = DAG.getFrameIndex(FI, PtrVT);
DstInfo = MachinePointerInfo::getFixedStack(MF, FI); DstInfo = MachinePointerInfo::getFixedStack(MF, FI);
Show All 9 Lines if (VA.isRegLoc()) {
DstAddr = PtrOff; DstAddr = PtrOff;
DstInfo = MachinePointerInfo::getStack(MF, LocMemOffset); DstInfo = MachinePointerInfo::getStack(MF, LocMemOffset);
Alignment = Alignment =
commonAlignment(Subtarget->getStackAlignment(), LocMemOffset); commonAlignment(Subtarget->getStackAlignment(), LocMemOffset);
} }
if (Outs[i].Flags.isByVal()) { if (Outs[i].Flags.isByVal()) {
SDValue SizeNode = SDValue SizeNode =
DAG.getConstant(Outs[i].Flags.getByValSize(), DL, MVT::i32); DAG.getConstant(Outs[i].Flags.getSize(), DL, MVT::i32);
SDValue Cpy = DAG.getMemcpy( SDValue Cpy = DAG.getMemcpy(
Chain, DL, DstAddr, Arg, SizeNode, Outs[i].Flags.getByValAlign(), Chain, DL, DstAddr, Arg, SizeNode, Outs[i].Flags.getAlign(),
/*isVol = */ false, /*AlwaysInline = */ true, /*isVol = */ false, /*AlwaysInline = */ true,
/*isTailCall = */ false, DstInfo, /*isTailCall = */ false, DstInfo,
MachinePointerInfo(AMDGPUAS::PRIVATE_ADDRESS)); MachinePointerInfo(AMDGPUAS::PRIVATE_ADDRESS));
MemOpChains.push_back(Cpy); MemOpChains.push_back(Cpy);
} else { } else {
SDValue Store = DAG.getStore(Chain, DL, Arg, DstAddr, DstInfo, SDValue Store = DAG.getStore(Chain, DL, Arg, DstAddr, DstInfo,
Alignment ? Alignment->value() : 0); Alignment ? Alignment->value() : 0);
▲ Show 20 Lines • Show All 8,223 Lines • Show Last 20 Lines

llvm/lib/Target/ARM/ARMISelLowering.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 2,248 Lines • ▼ Show 20 Lines if (VA.needsCustom()) {
// If parameter size outsides register area, "offset" value // If parameter size outsides register area, "offset" value
// helps us to calculate stack slot for remained part properly. // helps us to calculate stack slot for remained part properly.
offset = RegEnd - RegBegin; offset = RegEnd - RegBegin;
CCInfo.nextInRegsParam(); CCInfo.nextInRegsParam();
} }
if (Flags.getByValSize() > 4*offset) { if (Flags.getSize() > 4*offset) {
auto PtrVT = getPointerTy(DAG.getDataLayout()); auto PtrVT = getPointerTy(DAG.getDataLayout());
unsigned LocMemOffset = VA.getLocMemOffset(); unsigned LocMemOffset = VA.getLocMemOffset();
SDValue StkPtrOff = DAG.getIntPtrConstant(LocMemOffset, dl); SDValue StkPtrOff = DAG.getIntPtrConstant(LocMemOffset, dl);
SDValue Dst = DAG.getNode(ISD::ADD, dl, PtrVT, StackPtr, StkPtrOff); SDValue Dst = DAG.getNode(ISD::ADD, dl, PtrVT, StackPtr, StkPtrOff);
SDValue SrcOffset = DAG.getIntPtrConstant(4*offset, dl); SDValue SrcOffset = DAG.getIntPtrConstant(4*offset, dl);
SDValue Src = DAG.getNode(ISD::ADD, dl, PtrVT, Arg, SrcOffset); SDValue Src = DAG.getNode(ISD::ADD, dl, PtrVT, Arg, SrcOffset);
SDValue SizeNode = DAG.getConstant(Flags.getByValSize() - 4*offset, dl, SDValue SizeNode = DAG.getConstant(Flags.getSize() - 4*offset, dl,
MVT::i32); MVT::i32);
SDValue AlignNode = DAG.getConstant(Flags.getByValAlign(), dl, SDValue AlignNode = DAG.getConstant(Flags.getAlign(), dl,
MVT::i32); MVT::i32);
SDVTList VTs = DAG.getVTList(MVT::Other, MVT::Glue); SDVTList VTs = DAG.getVTList(MVT::Other, MVT::Glue);
SDValue Ops[] = { Chain, Dst, Src, SizeNode, AlignNode}; SDValue Ops[] = { Chain, Dst, Src, SizeNode, AlignNode};
MemOpChains.push_back(DAG.getNode(ARMISD::COPY_STRUCT_BYVAL, dl, VTs, MemOpChains.push_back(DAG.getNode(ARMISD::COPY_STRUCT_BYVAL, dl, VTs,
Ops)); Ops));
} }
} else if (!isTailCall) { } else if (!isTailCall) {
▲ Show 20 Lines • Show All 1,871 Lines • ▼ Show 20 Lines if (VA.isRegLoc()) {
// a tail call. // a tail call.
if (Flags.isByVal()) { if (Flags.isByVal()) {
assert(Ins[index].isOrigArg() && assert(Ins[index].isOrigArg() &&
"Byval arguments cannot be implicit"); "Byval arguments cannot be implicit");
unsigned CurByValIndex = CCInfo.getInRegsParamsProcessed(); unsigned CurByValIndex = CCInfo.getInRegsParamsProcessed();
int FrameIndex = StoreByValRegs( int FrameIndex = StoreByValRegs(
CCInfo, DAG, dl, Chain, &*CurOrigArg, CurByValIndex, CCInfo, DAG, dl, Chain, &*CurOrigArg, CurByValIndex,
VA.getLocMemOffset(), Flags.getByValSize()); VA.getLocMemOffset(), Flags.getSize());
InVals.push_back(DAG.getFrameIndex(FrameIndex, PtrVT)); InVals.push_back(DAG.getFrameIndex(FrameIndex, PtrVT));
CCInfo.nextInRegsParam(); CCInfo.nextInRegsParam();
} else { } else {
unsigned FIOffset = VA.getLocMemOffset(); unsigned FIOffset = VA.getLocMemOffset();
int FI = MFI.CreateFixedObject(VA.getLocVT().getSizeInBits()/8, int FI = MFI.CreateFixedObject(VA.getLocVT().getSizeInBits()/8,
FIOffset, true); FIOffset, true);
// Create load nodes to retrieve arguments from the stack. // Create load nodes to retrieve arguments from the stack.
▲ Show 20 Lines • Show All 9,991 Lines • Show Last 20 Lines

llvm/lib/Target/Hexagon/HexagonISelLowering.cpp

Show First 20 Lines • Show All 160 Lines • ▼ Show 20 Lines
/// CreateCopyOfByValArgument - Make a copy of an aggregate at address specified /// CreateCopyOfByValArgument - Make a copy of an aggregate at address specified
/// by "Src" to address "Dst" of size "Size". Alignment information is /// by "Src" to address "Dst" of size "Size". Alignment information is
/// specified by the specific parameter attribute. The copy will be passed as /// specified by the specific parameter attribute. The copy will be passed as
/// a byval function parameter. Sometimes what we are copying is the end of a /// a byval function parameter. Sometimes what we are copying is the end of a
/// larger object, the part that does not fit in registers. /// larger object, the part that does not fit in registers.
static SDValue CreateCopyOfByValArgument(SDValue Src, SDValue Dst, static SDValue CreateCopyOfByValArgument(SDValue Src, SDValue Dst,
SDValue Chain, ISD::ArgFlagsTy Flags, SDValue Chain, ISD::ArgFlagsTy Flags,
SelectionDAG &DAG, const SDLoc &dl) { SelectionDAG &DAG, const SDLoc &dl) {
SDValue SizeNode = DAG.getConstant(Flags.getByValSize(), dl, MVT::i32); SDValue SizeNode = DAG.getConstant(Flags.getSize(), dl, MVT::i32);
return DAG.getMemcpy(Chain, dl, Dst, Src, SizeNode, Flags.getByValAlign(), return DAG.getMemcpy(Chain, dl, Dst, Src, SizeNode, Flags.getAlign(),
/*isVolatile=*/false, /*AlwaysInline=*/false, /*isVolatile=*/false, /*AlwaysInline=*/false,
/*isTailCall=*/false, /*isTailCall=*/false,
MachinePointerInfo(), MachinePointerInfo()); MachinePointerInfo(), MachinePointerInfo());
} }
bool bool
HexagonTargetLowering::CanLowerReturn( HexagonTargetLowering::CanLowerReturn(
CallingConv::ID CallConv, MachineFunction &MF, bool IsVarArg, CallingConv::ID CallConv, MachineFunction &MF, bool IsVarArg,
▲ Show 20 Lines • Show All 594 Lines • ▼ Show 20 Lines for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
CCValAssign &VA = ArgLocs[i]; CCValAssign &VA = ArgLocs[i];
ISD::ArgFlagsTy Flags = Ins[i].Flags; ISD::ArgFlagsTy Flags = Ins[i].Flags;
bool ByVal = Flags.isByVal(); bool ByVal = Flags.isByVal();
// Arguments passed in registers: // Arguments passed in registers:
// 1. 32- and 64-bit values and HVX vectors are passed directly, // 1. 32- and 64-bit values and HVX vectors are passed directly,
// 2. Large structs are passed via an address, and the address is // 2. Large structs are passed via an address, and the address is
// passed in a register. // passed in a register.
if (VA.isRegLoc() && ByVal && Flags.getByValSize() <= 8) if (VA.isRegLoc() && ByVal && Flags.getSize() <= 8)
llvm_unreachable("ByValSize must be bigger than 8 bytes"); llvm_unreachable("ByValSize must be bigger than 8 bytes");
bool InReg = VA.isRegLoc() && bool InReg = VA.isRegLoc() && (!ByVal || (ByVal && Flags.getSize() > 8));
(!ByVal || (ByVal && Flags.getByValSize() > 8));
if (InReg) { if (InReg) {
MVT RegVT = VA.getLocVT(); MVT RegVT = VA.getLocVT();
if (VA.getLocInfo() == CCValAssign::BCvt) if (VA.getLocInfo() == CCValAssign::BCvt)
RegVT = VA.getValVT(); RegVT = VA.getValVT();
const TargetRegisterClass *RC = getRegClassFor(RegVT); const TargetRegisterClass *RC = getRegClassFor(RegVT);
Register VReg = MRI.createVirtualRegister(RC); Register VReg = MRI.createVirtualRegister(RC);
Show All 18 Lines#endif
InVals.push_back(Copy); InVals.push_back(Copy);
MRI.addLiveIn(VA.getLocReg(), VReg); MRI.addLiveIn(VA.getLocReg(), VReg);
} else { } else {
assert(VA.isMemLoc() && "Argument should be passed in memory"); assert(VA.isMemLoc() && "Argument should be passed in memory");
// If it's a byval parameter, then we need to compute the // If it's a byval parameter, then we need to compute the
// "real" size, not the size of the pointer. // "real" size, not the size of the pointer.
unsigned ObjSize = Flags.isByVal() unsigned ObjSize = Flags.isByVal()
? Flags.getByValSize() ? Flags.getSize()
: VA.getLocVT().getStoreSizeInBits() / 8; : VA.getLocVT().getStoreSizeInBits() / 8;
// Create the frame index object for this incoming parameter. // Create the frame index object for this incoming parameter.
int Offset = HEXAGON_LRFP_SIZE + VA.getLocMemOffset(); int Offset = HEXAGON_LRFP_SIZE + VA.getLocMemOffset();
int FI = MFI.CreateFixedObject(ObjSize, Offset, true); int FI = MFI.CreateFixedObject(ObjSize, Offset, true);
SDValue FIN = DAG.getFrameIndex(FI, MVT::i32); SDValue FIN = DAG.getFrameIndex(FI, MVT::i32);
if (Flags.isByVal()) { if (Flags.isByVal()) {
// If it's a pass-by-value aggregate, then do not dereference the stack // If it's a pass-by-value aggregate, then do not dereference the stack
▲ Show 20 Lines • Show All 2,536 Lines • Show Last 20 Lines

llvm/lib/Target/Lanai/LanaiISelLowering.cpp

Show First 20 Lines • Show All 626 Lines • ▼ Show 20 LinesSDValue LanaiTargetLowering::LowerCCCCallTo(
// Create local copies for byval args. // Create local copies for byval args.
SmallVector<SDValue, 8> ByValArgs; SmallVector<SDValue, 8> ByValArgs;
for (unsigned I = 0, E = Outs.size(); I != E; ++I) { for (unsigned I = 0, E = Outs.size(); I != E; ++I) {
ISD::ArgFlagsTy Flags = Outs[I].Flags; ISD::ArgFlagsTy Flags = Outs[I].Flags;
if (!Flags.isByVal()) if (!Flags.isByVal())
continue; continue;
SDValue Arg = OutVals[I]; SDValue Arg = OutVals[I];
unsigned Size = Flags.getByValSize(); unsigned Size = Flags.getSize();
unsigned Align = Flags.getByValAlign(); unsigned Align = Flags.getAlign();
int FI = MFI.CreateStackObject(Size, Align, false); int FI = MFI.CreateStackObject(Size, Align, false);
SDValue FIPtr = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout())); SDValue FIPtr = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout()));
SDValue SizeNode = DAG.getConstant(Size, DL, MVT::i32); SDValue SizeNode = DAG.getConstant(Size, DL, MVT::i32);
Chain = DAG.getMemcpy(Chain, DL, FIPtr, Arg, SizeNode, Align, Chain = DAG.getMemcpy(Chain, DL, FIPtr, Arg, SizeNode, Align,
/*IsVolatile=*/false, /*IsVolatile=*/false,
/*AlwaysInline=*/false, /*AlwaysInline=*/false,
▲ Show 20 Lines • Show All 863 Lines • Show Last 20 Lines

llvm/lib/Target/MSP430/MSP430ISelLowering.cpp

Show First 20 Lines • Show All 672 Lines • ▼ Show 20 Lines#endif
} else { } else {
// Sanity check // Sanity check
assert(VA.isMemLoc()); assert(VA.isMemLoc());
SDValue InVal; SDValue InVal;
ISD::ArgFlagsTy Flags = Ins[i].Flags; ISD::ArgFlagsTy Flags = Ins[i].Flags;
if (Flags.isByVal()) { if (Flags.isByVal()) {
int FI = MFI.CreateFixedObject(Flags.getByValSize(), int FI = MFI.CreateFixedObject(Flags.getSize(),
VA.getLocMemOffset(), true); VA.getLocMemOffset(), true);
InVal = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout())); InVal = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout()));
} else { } else {
// Load the argument to a virtual register // Load the argument to a virtual register
unsigned ObjSize = VA.getLocVT().getSizeInBits()/8; unsigned ObjSize = VA.getLocVT().getSizeInBits()/8;
if (ObjSize > 2) { if (ObjSize > 2) {
errs() << "LowerFormalArguments Unhandled argument type: " errs() << "LowerFormalArguments Unhandled argument type: "
<< EVT(VA.getLocVT()).getEVTString() << EVT(VA.getLocVT()).getEVTString()
▲ Show 20 Lines • Show All 167 Lines • ▼ Show 20 Lines if (VA.isRegLoc()) {
SDValue PtrOff = SDValue PtrOff =
DAG.getNode(ISD::ADD, dl, PtrVT, StackPtr, DAG.getNode(ISD::ADD, dl, PtrVT, StackPtr,
DAG.getIntPtrConstant(VA.getLocMemOffset(), dl)); DAG.getIntPtrConstant(VA.getLocMemOffset(), dl));
SDValue MemOp; SDValue MemOp;
ISD::ArgFlagsTy Flags = Outs[i].Flags; ISD::ArgFlagsTy Flags = Outs[i].Flags;
if (Flags.isByVal()) { if (Flags.isByVal()) {
SDValue SizeNode = DAG.getConstant(Flags.getByValSize(), dl, MVT::i16); SDValue SizeNode = DAG.getConstant(Flags.getSize(), dl, MVT::i16);
MemOp = DAG.getMemcpy(Chain, dl, PtrOff, Arg, SizeNode, MemOp = DAG.getMemcpy(Chain, dl, PtrOff, Arg, SizeNode,
Flags.getByValAlign(), Flags.getAlign(),
/*isVolatile*/false, /*isVolatile*/false,
/*AlwaysInline=*/true, /*AlwaysInline=*/true,
/*isTailCall=*/false, /*isTailCall=*/false,
MachinePointerInfo(), MachinePointerInfo(),
MachinePointerInfo()); MachinePointerInfo());
} else { } else {
MemOp = DAG.getStore(Chain, dl, Arg, PtrOff, MachinePointerInfo()); MemOp = DAG.getStore(Chain, dl, Arg, PtrOff, MachinePointerInfo());
} }
▲ Show 20 Lines • Show All 749 Lines • Show Last 20 Lines

llvm/lib/Target/Mips/MipsISelLowering.cpp

Show First 20 Lines • Show All 3,248 Lines • ▼ Show 20 Lines for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
bool UseUpperBits = false; bool UseUpperBits = false;
// ByVal Arg. // ByVal Arg.
if (Flags.isByVal()) { if (Flags.isByVal()) {
unsigned FirstByValReg, LastByValReg; unsigned FirstByValReg, LastByValReg;
unsigned ByValIdx = CCInfo.getInRegsParamsProcessed(); unsigned ByValIdx = CCInfo.getInRegsParamsProcessed();
CCInfo.getInRegsParamInfo(ByValIdx, FirstByValReg, LastByValReg); CCInfo.getInRegsParamInfo(ByValIdx, FirstByValReg, LastByValReg);
assert(Flags.getByValSize() && assert(Flags.getSize() &&
"ByVal args of size 0 should have been ignored by front-end."); "ByVal args of size 0 should have been ignored by front-end.");
assert(ByValIdx < CCInfo.getInRegsParamsCount()); assert(ByValIdx < CCInfo.getInRegsParamsCount());
assert(!IsTailCall && assert(!IsTailCall &&
"Do not tail-call optimize if there is a byval argument."); "Do not tail-call optimize if there is a byval argument.");
passByValArg(Chain, DL, RegsToPass, MemOpChains, StackPtr, MFI, DAG, Arg, passByValArg(Chain, DL, RegsToPass, MemOpChains, StackPtr, MFI, DAG, Arg,
FirstByValReg, LastByValReg, Flags, Subtarget.isLittle(), FirstByValReg, LastByValReg, Flags, Subtarget.isLittle(),
VA); VA);
CCInfo.nextInRegsParam(); CCInfo.nextInRegsParam();
▲ Show 20 Lines • Show All 356 Lines • ▼ Show 20 Lines for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
bool IsRegLoc = VA.isRegLoc(); bool IsRegLoc = VA.isRegLoc();
if (Flags.isByVal()) { if (Flags.isByVal()) {
assert(Ins[i].isOrigArg() && "Byval arguments cannot be implicit"); assert(Ins[i].isOrigArg() && "Byval arguments cannot be implicit");
unsigned FirstByValReg, LastByValReg; unsigned FirstByValReg, LastByValReg;
unsigned ByValIdx = CCInfo.getInRegsParamsProcessed(); unsigned ByValIdx = CCInfo.getInRegsParamsProcessed();
CCInfo.getInRegsParamInfo(ByValIdx, FirstByValReg, LastByValReg); CCInfo.getInRegsParamInfo(ByValIdx, FirstByValReg, LastByValReg);
assert(Flags.getByValSize() && assert(Flags.getSize() &&
"ByVal args of size 0 should have been ignored by front-end."); "ByVal args of size 0 should have been ignored by front-end.");
assert(ByValIdx < CCInfo.getInRegsParamsCount()); assert(ByValIdx < CCInfo.getInRegsParamsCount());
copyByValRegs(Chain, DL, OutChains, DAG, Flags, InVals, &*FuncArg, copyByValRegs(Chain, DL, OutChains, DAG, Flags, InVals, &*FuncArg,
FirstByValReg, LastByValReg, VA, CCInfo); FirstByValReg, LastByValReg, VA, CCInfo);
CCInfo.nextInRegsParam(); CCInfo.nextInRegsParam();
continue; continue;
} }
▲ Show 20 Lines • Show All 658 Lines • ▼ Show 20 Linesvoid MipsTargetLowering::copyByValRegs(
SmallVectorImpl<SDValue> &InVals, const Argument *FuncArg, SmallVectorImpl<SDValue> &InVals, const Argument *FuncArg,
unsigned FirstReg, unsigned LastReg, const CCValAssign &VA, unsigned FirstReg, unsigned LastReg, const CCValAssign &VA,
MipsCCState &State) const { MipsCCState &State) const {
MachineFunction &MF = DAG.getMachineFunction(); MachineFunction &MF = DAG.getMachineFunction();
MachineFrameInfo &MFI = MF.getFrameInfo(); MachineFrameInfo &MFI = MF.getFrameInfo();
unsigned GPRSizeInBytes = Subtarget.getGPRSizeInBytes(); unsigned GPRSizeInBytes = Subtarget.getGPRSizeInBytes();
unsigned NumRegs = LastReg - FirstReg; unsigned NumRegs = LastReg - FirstReg;
unsigned RegAreaSize = NumRegs * GPRSizeInBytes; unsigned RegAreaSize = NumRegs * GPRSizeInBytes;
unsigned FrameObjSize = std::max(Flags.getByValSize(), RegAreaSize); unsigned FrameObjSize = std::max(Flags.getSize(), RegAreaSize);
int FrameObjOffset; int FrameObjOffset;
ArrayRef<MCPhysReg> ByValArgRegs = ABI.GetByValArgRegs(); ArrayRef<MCPhysReg> ByValArgRegs = ABI.GetByValArgRegs();
if (RegAreaSize) if (RegAreaSize)
FrameObjOffset = FrameObjOffset =
(int)ABI.GetCalleeAllocdArgSizeInBytes(State.getCallingConv()) - (int)ABI.GetCalleeAllocdArgSizeInBytes(State.getCallingConv()) -
(int)((ByValArgRegs.size() - FirstReg) * GPRSizeInBytes); (int)((ByValArgRegs.size() - FirstReg) * GPRSizeInBytes);
else else
Show All 32 Lines
// Copy byVal arg to registers and stack. // Copy byVal arg to registers and stack.
void MipsTargetLowering::passByValArg( void MipsTargetLowering::passByValArg(
SDValue Chain, const SDLoc &DL, SDValue Chain, const SDLoc &DL,
std::deque<std::pair<unsigned, SDValue>> &RegsToPass, std::deque<std::pair<unsigned, SDValue>> &RegsToPass,
SmallVectorImpl<SDValue> &MemOpChains, SDValue StackPtr, SmallVectorImpl<SDValue> &MemOpChains, SDValue StackPtr,
MachineFrameInfo &MFI, SelectionDAG &DAG, SDValue Arg, unsigned FirstReg, MachineFrameInfo &MFI, SelectionDAG &DAG, SDValue Arg, unsigned FirstReg,
unsigned LastReg, const ISD::ArgFlagsTy &Flags, bool isLittle, unsigned LastReg, const ISD::ArgFlagsTy &Flags, bool isLittle,
const CCValAssign &VA) const { const CCValAssign &VA) const {
unsigned ByValSizeInBytes = Flags.getByValSize(); unsigned ByValSizeInBytes = Flags.getSize();
unsigned OffsetInBytes = 0; // From beginning of struct unsigned OffsetInBytes = 0; // From beginning of struct
unsigned RegSizeInBytes = Subtarget.getGPRSizeInBytes(); unsigned RegSizeInBytes = Subtarget.getGPRSizeInBytes();
unsigned Alignment = std::min(Flags.getByValAlign(), RegSizeInBytes); unsigned Alignment = std::min(Flags.getAlign(), RegSizeInBytes);
EVT PtrTy = getPointerTy(DAG.getDataLayout()), EVT PtrTy = getPointerTy(DAG.getDataLayout()),
RegTy = MVT::getIntegerVT(RegSizeInBytes * 8); RegTy = MVT::getIntegerVT(RegSizeInBytes * 8);
unsigned NumRegs = LastReg - FirstReg; unsigned NumRegs = LastReg - FirstReg;
if (NumRegs) { if (NumRegs) {
ArrayRef<MCPhysReg> ArgRegs = ABI.GetByValArgRegs(); ArrayRef<MCPhysReg> ArgRegs = ABI.GetByValArgRegs();
bool LeftoverBytes = (NumRegs * RegSizeInBytes > ByValSizeInBytes); bool LeftoverBytes = (NumRegs * RegSizeInBytes > ByValSizeInBytes);
unsigned I = 0; unsigned I = 0;
▲ Show 20 Lines • Show All 345 Lines • Show Last 20 Lines

llvm/lib/Target/NVPTX/NVPTXISelLowering.cpp

Show First 20 Lines • Show All 1,352 Lines • ▼ Show 20 Lines if (!Outs[OIdx].Flags.isByVal()) {
O << ".param .b" << sz << " "; O << ".param .b" << sz << " ";
O << "_"; O << "_";
continue; continue;
} }
auto *PTy = dyn_cast<PointerType>(Ty); auto *PTy = dyn_cast<PointerType>(Ty);
assert(PTy && "Param with byval attribute should be a pointer type"); assert(PTy && "Param with byval attribute should be a pointer type");
Type *ETy = PTy->getElementType(); Type *ETy = PTy->getElementType();
unsigned align = Outs[OIdx].Flags.getByValAlign(); unsigned align = Outs[OIdx].Flags.getAlign();
unsigned sz = DL.getTypeAllocSize(ETy); unsigned sz = DL.getTypeAllocSize(ETy);
O << ".param .align " << align << " .b8 "; O << ".param .align " << align << " .b8 ";
O << "_"; O << "_";
O << "[" << sz << "]"; O << "[" << sz << "]";
} }
O << ");"; O << ");";
return O.str(); return O.str();
} }
▲ Show 20 Lines • Show All 208 Lines • ▼ Show 20 Lines for (unsigned i = 0, e = Args.size(); i != e; ++i, ++OIdx) {
// ByVal arguments // ByVal arguments
SmallVector<EVT, 16> VTs; SmallVector<EVT, 16> VTs;
SmallVector<uint64_t, 16> Offsets; SmallVector<uint64_t, 16> Offsets;
auto *PTy = dyn_cast<PointerType>(Args[i].Ty); auto *PTy = dyn_cast<PointerType>(Args[i].Ty);
assert(PTy && "Type of a byval parameter should be pointer"); assert(PTy && "Type of a byval parameter should be pointer");
ComputePTXValueVTs(*this, DL, PTy->getElementType(), VTs, &Offsets, 0); ComputePTXValueVTs(*this, DL, PTy->getElementType(), VTs, &Offsets, 0);
// declare .param .align <align> .b8 .param<n>[<size>]; // declare .param .align <align> .b8 .param<n>[<size>];
unsigned sz = Outs[OIdx].Flags.getByValSize(); unsigned sz = Outs[OIdx].Flags.getSize();
SDVTList DeclareParamVTs = DAG.getVTList(MVT::Other, MVT::Glue); SDVTList DeclareParamVTs = DAG.getVTList(MVT::Other, MVT::Glue);
unsigned ArgAlign = Outs[OIdx].Flags.getByValAlign(); unsigned ArgAlign = Outs[OIdx].Flags.getAlign();
// The ByValAlign in the Outs[OIdx].Flags is alway set at this point, // The ByValAlign in the Outs[OIdx].Flags is alway set at this point,
// so we don't need to worry about natural alignment or not. // so we don't need to worry about natural alignment or not.
// See TargetLowering::LowerCallTo(). // See TargetLowering::LowerCallTo().
// Enforce minumum alignment of 4 to work around ptxas miscompile // Enforce minumum alignment of 4 to work around ptxas miscompile
// for sm_50+. See corresponding alignment adjustment in // for sm_50+. See corresponding alignment adjustment in
// emitFunctionParamList() for details. // emitFunctionParamList() for details.
if (ArgAlign < 4) if (ArgAlign < 4)
▲ Show 20 Lines • Show All 3,472 Lines • Show Last 20 Lines

llvm/lib/Target/PowerPC/PPCISelLowering.h

Show First 20 Lines • Show All 799 Lines • ▼ Show 20 Lines public:
/// The operand object must already have been set up with the operand type. /// The operand object must already have been set up with the operand type.
ConstraintWeight getSingleConstraintMatchWeight( ConstraintWeight getSingleConstraintMatchWeight(
AsmOperandInfo &info, const char *constraint) const override; AsmOperandInfo &info, const char *constraint) const override;
std::pair<unsigned, const TargetRegisterClass *> std::pair<unsigned, const TargetRegisterClass *>
getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
StringRef Constraint, MVT VT) const override; StringRef Constraint, MVT VT) const override;
/// getByValTypeAlignment - Return the desired alignment for ByVal aggregate /// getAttrTypeAlignment - Return the desired alignment for ByVal aggregate
/// function arguments in the caller parameter area. This is the actual /// function arguments in the caller parameter area. This is the actual
/// alignment, not its logarithm. /// alignment, not its logarithm.
unsigned getByValTypeAlignment(Type *Ty, unsigned getAttrTypeAlignment(Type *Ty,
const DataLayout &DL) const override; const DataLayout &DL) const override;
/// LowerAsmOperandForConstraint - Lower the specified operand into the Ops /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops
/// vector. If it is invalid, don't add anything to Ops. /// vector. If it is invalid, don't add anything to Ops.
void LowerAsmOperandForConstraint(SDValue Op, void LowerAsmOperandForConstraint(SDValue Op,
std::string &Constraint, std::string &Constraint,
std::vector<SDValue> &Ops, std::vector<SDValue> &Ops,
SelectionDAG &DAG) const override; SelectionDAG &DAG) const override;
▲ Show 20 Lines • Show All 443 Lines • Show Last 20 Lines

llvm/lib/Target/PowerPC/PPCISelLowering.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 1,276 Lines • ▼ Show 20 Lines if (Subtarget.getCPUDirective() == PPC::DIR_E500mc ||
MaxStoresPerMemmove = 128; MaxStoresPerMemmove = 128;
MaxLoadsPerMemcmp = 128; MaxLoadsPerMemcmp = 128;
} else { } else {
MaxLoadsPerMemcmp = 8; MaxLoadsPerMemcmp = 8;
MaxLoadsPerMemcmpOptSize = 4; MaxLoadsPerMemcmpOptSize = 4;
} }
} }
/// getMaxByValAlign - Helper for getByValTypeAlignment to determine /// getMaxByValAlign - Helper for getAttrTypeAlignment to determine
/// the desired ByVal argument alignment. /// the desired ByVal argument alignment.
static void getMaxByValAlign(Type *Ty, unsigned &MaxAlign, static void getMaxByValAlign(Type *Ty, unsigned &MaxAlign,
unsigned MaxMaxAlign) { unsigned MaxMaxAlign) {
if (MaxAlign == MaxMaxAlign) if (MaxAlign == MaxMaxAlign)
return; return;
if (VectorType *VTy = dyn_cast<VectorType>(Ty)) { if (VectorType *VTy = dyn_cast<VectorType>(Ty)) {
if (MaxMaxAlign >= 32 && VTy->getBitWidth() >= 256) if (MaxMaxAlign >= 32 && VTy->getBitWidth() >= 256)
MaxAlign = 32; MaxAlign = 32;
Show All 13 Lines for (auto *EltTy : STy->elements()) {
if (MaxAlign == MaxMaxAlign) if (MaxAlign == MaxMaxAlign)
break; break;
} }
} }
} }
/// getByValTypeAlignment - Return the desired alignment for ByVal aggregate /// getByValTypeAlignment - Return the desired alignment for ByVal aggregate
/// function arguments in the caller parameter area. /// function arguments in the caller parameter area.
unsigned PPCTargetLowering::getByValTypeAlignment(Type *Ty, unsigned PPCTargetLowering::getAttrTypeAlignment(Type *Ty,
const DataLayout &DL) const { const DataLayout &DL) const {
// Darwin passes everything on 4 byte boundary. // Darwin passes everything on 4 byte boundary.
if (Subtarget.isDarwin()) if (Subtarget.isDarwin())
return 4; return 4;
// 16byte and wider vectors are passed on 16byte boundary. // 16byte and wider vectors are passed on 16byte boundary.
// The rest is 8 on PPC64 and 4 on PPC32 boundary. // The rest is 8 on PPC64 and 4 on PPC32 boundary.
unsigned Align = Subtarget.isPPC64() ? 8 : 4; unsigned Align = Subtarget.isPPC64() ? 8 : 4;
if (Subtarget.hasAltivec() || Subtarget.hasQPX()) if (Subtarget.hasAltivec() || Subtarget.hasQPX())
▲ Show 20 Lines • Show All 1,998 Lines • ▼ Show 20 Linesstatic const MCPhysReg QFPR[] = {
PPC::QF8, PPC::QF9, PPC::QF10, PPC::QF11, PPC::QF12, PPC::QF13}; PPC::QF8, PPC::QF9, PPC::QF10, PPC::QF11, PPC::QF12, PPC::QF13};
/// CalculateStackSlotSize - Calculates the size reserved for this argument on /// CalculateStackSlotSize - Calculates the size reserved for this argument on
/// the stack. /// the stack.
static unsigned CalculateStackSlotSize(EVT ArgVT, ISD::ArgFlagsTy Flags, static unsigned CalculateStackSlotSize(EVT ArgVT, ISD::ArgFlagsTy Flags,
unsigned PtrByteSize) { unsigned PtrByteSize) {
unsigned ArgSize = ArgVT.getStoreSize(); unsigned ArgSize = ArgVT.getStoreSize();
if (Flags.isByVal()) if (Flags.isByVal())
ArgSize = Flags.getByValSize(); ArgSize = Flags.getSize();
// Round up to multiples of the pointer size, except for array members, // Round up to multiples of the pointer size, except for array members,
// which are always packed. // which are always packed.
if (!Flags.isInConsecutiveRegs()) if (!Flags.isInConsecutiveRegs())
ArgSize = ((ArgSize + PtrByteSize - 1)/PtrByteSize) * PtrByteSize; ArgSize = ((ArgSize + PtrByteSize - 1)/PtrByteSize) * PtrByteSize;
return ArgSize; return ArgSize;
} }
Show All 13 Lines if (ArgVT == MVT::v4f32 || ArgVT == MVT::v4i32 ||
Align = 16; Align = 16;
// QPX vector types stored in double-precision are padded to a 32 byte // QPX vector types stored in double-precision are padded to a 32 byte
// boundary. // boundary.
else if (ArgVT == MVT::v4f64 || ArgVT == MVT::v4i1) else if (ArgVT == MVT::v4f64 || ArgVT == MVT::v4i1)
Align = 32; Align = 32;
// ByVal parameters are aligned as requested. // ByVal parameters are aligned as requested.
if (Flags.isByVal()) { if (Flags.isByVal()) {
unsigned BVAlign = Flags.getByValAlign(); unsigned BVAlign = Flags.getAlign();
if (BVAlign > PtrByteSize) { if (BVAlign > PtrByteSize) {
if (BVAlign % PtrByteSize != 0) if (BVAlign % PtrByteSize != 0)
llvm_unreachable( llvm_unreachable(
"ByVal alignment is not a multiple of the pointer size"); "ByVal alignment is not a multiple of the pointer size");
Align = BVAlign; Align = BVAlign;
} }
} }
▲ Show 20 Lines • Show All 471 Lines • ▼ Show 20 Lines for (unsigned ArgNo = 0, e = Ins.size(); ArgNo != e; ++ArgNo) {
// We do not have to keep everything in memory. // We do not have to keep everything in memory.
if (Flags.isByVal()) { if (Flags.isByVal()) {
assert(Ins[ArgNo].isOrigArg() && "Byval arguments cannot be implicit"); assert(Ins[ArgNo].isOrigArg() && "Byval arguments cannot be implicit");
if (CallConv == CallingConv::Fast) if (CallConv == CallingConv::Fast)
ComputeArgOffset(); ComputeArgOffset();
// ObjSize is the true size, ArgSize rounded up to multiple of registers. // ObjSize is the true size, ArgSize rounded up to multiple of registers.
ObjSize = Flags.getByValSize(); ObjSize = Flags.getSize();
ArgSize = ((ObjSize + PtrByteSize - 1)/PtrByteSize) * PtrByteSize; ArgSize = ((ObjSize + PtrByteSize - 1)/PtrByteSize) * PtrByteSize;
// Empty aggregate parameters do not take up registers. Examples: // Empty aggregate parameters do not take up registers. Examples:
// struct { } a; // struct { } a;
// union { } b; // union { } b;
// int c[0]; // int c[0];
// etc. However, we have to provide a place-holder in InVals, so // etc. However, we have to provide a place-holder in InVals, so
// pretend we have an 8-byte item at the current address for that // pretend we have an 8-byte item at the current address for that
// purpose. // purpose.
▲ Show 20 Lines • Show All 345 Lines • ▼ Show 20 LinesSDValue PPCTargetLowering::LowerFormalArguments_Darwin(
if (!isVarArg && !isPPC64) { if (!isVarArg && !isPPC64) {
for (unsigned ArgNo = 0, e = Ins.size(); ArgNo != e; for (unsigned ArgNo = 0, e = Ins.size(); ArgNo != e;
++ArgNo) { ++ArgNo) {
EVT ObjectVT = Ins[ArgNo].VT; EVT ObjectVT = Ins[ArgNo].VT;
ISD::ArgFlagsTy Flags = Ins[ArgNo].Flags; ISD::ArgFlagsTy Flags = Ins[ArgNo].Flags;
if (Flags.isByVal()) { if (Flags.isByVal()) {
// ObjSize is the true size, ArgSize rounded up to multiple of regs. // ObjSize is the true size, ArgSize rounded up to multiple of regs.
unsigned ObjSize = Flags.getByValSize(); unsigned ObjSize = Flags.getSize();
unsigned ArgSize = unsigned ArgSize =
((ObjSize + PtrByteSize - 1)/PtrByteSize) * PtrByteSize; ((ObjSize + PtrByteSize - 1)/PtrByteSize) * PtrByteSize;
VecArgOffset += ArgSize; VecArgOffset += ArgSize;
continue; continue;
} }
switch(ObjectVT.getSimpleVT().SimpleTy) { switch(ObjectVT.getSimpleVT().SimpleTy) {
default: llvm_unreachable("Unhandled argument type!"); default: llvm_unreachable("Unhandled argument type!");
▲ Show 20 Lines • Show All 59 Lines • ▼ Show 20 Lines if (ObjectVT==MVT::v4f32 || ObjectVT==MVT::v4i32 ||
PtrByteSize); PtrByteSize);
// FIXME the codegen can be much improved in some cases. // FIXME the codegen can be much improved in some cases.
// We do not have to keep everything in memory. // We do not have to keep everything in memory.
if (Flags.isByVal()) { if (Flags.isByVal()) {
assert(Ins[ArgNo].isOrigArg() && "Byval arguments cannot be implicit"); assert(Ins[ArgNo].isOrigArg() && "Byval arguments cannot be implicit");
// ObjSize is the true size, ArgSize rounded up to multiple of registers. // ObjSize is the true size, ArgSize rounded up to multiple of registers.
ObjSize = Flags.getByValSize(); ObjSize = Flags.getSize();
ArgSize = ((ObjSize + PtrByteSize - 1)/PtrByteSize) * PtrByteSize; ArgSize = ((ObjSize + PtrByteSize - 1)/PtrByteSize) * PtrByteSize;
// Objects of size 1 and 2 are right justified, everything else is // Objects of size 1 and 2 are right justified, everything else is
// left justified. This means the memory address is adjusted forwards. // left justified. This means the memory address is adjusted forwards.
if (ObjSize==1 || ObjSize==2) { if (ObjSize==1 || ObjSize==2) {
CurArgOffset = CurArgOffset + (4 - ObjSize); CurArgOffset = CurArgOffset + (4 - ObjSize);
} }
// The value of the object is its address. // The value of the object is its address.
int FI = MFI.CreateFixedObject(ObjSize, CurArgOffset, false, true); int FI = MFI.CreateFixedObject(ObjSize, CurArgOffset, false, true);
▲ Show 20 Lines • Show All 624 Lines • ▼ Show 20 Lines
/// by "Src" to address "Dst" of size "Size". Alignment information is /// by "Src" to address "Dst" of size "Size". Alignment information is
/// specified by the specific parameter attribute. The copy will be passed as /// specified by the specific parameter attribute. The copy will be passed as
/// a byval function parameter. /// a byval function parameter.
/// Sometimes what we are copying is the end of a larger object, the part that /// Sometimes what we are copying is the end of a larger object, the part that
/// does not fit in registers. /// does not fit in registers.
static SDValue CreateCopyOfByValArgument(SDValue Src, SDValue Dst, static SDValue CreateCopyOfByValArgument(SDValue Src, SDValue Dst,
SDValue Chain, ISD::ArgFlagsTy Flags, SDValue Chain, ISD::ArgFlagsTy Flags,
SelectionDAG &DAG, const SDLoc &dl) { SelectionDAG &DAG, const SDLoc &dl) {
SDValue SizeNode = DAG.getConstant(Flags.getByValSize(), dl, MVT::i32); SDValue SizeNode = DAG.getConstant(Flags.getSize(), dl, MVT::i32);
return DAG.getMemcpy(Chain, dl, Dst, Src, SizeNode, Flags.getByValAlign(), return DAG.getMemcpy(Chain, dl, Dst, Src, SizeNode, Flags.getAlign(),
false, false, false, MachinePointerInfo(), false, false, false, MachinePointerInfo(),
MachinePointerInfo()); MachinePointerInfo());
} }
/// LowerMemOpCallTo - Store the argument to the stack or remember it in case of /// LowerMemOpCallTo - Store the argument to the stack or remember it in case of
/// tail calls. /// tail calls.
static void LowerMemOpCallTo( static void LowerMemOpCallTo(
SelectionDAG &DAG, MachineFunction &MF, SDValue Chain, SDValue Arg, SelectionDAG &DAG, MachineFunction &MF, SDValue Chain, SDValue Arg,
▲ Show 20 Lines • Show All 929 Lines • ▼ Show 20 Lines for (unsigned i = 0; i != NumOps; ++i) {
EVT ArgVT = Outs[i].VT; EVT ArgVT = Outs[i].VT;
EVT OrigVT = Outs[i].ArgVT; EVT OrigVT = Outs[i].ArgVT;
if (Flags.isNest()) if (Flags.isNest())
continue; continue;
if (CallConv == CallingConv::Fast) { if (CallConv == CallingConv::Fast) {
if (Flags.isByVal()) { if (Flags.isByVal()) {
NumGPRsUsed += (Flags.getByValSize()+7)/8; NumGPRsUsed += (Flags.getSize()+7)/8;
if (NumGPRsUsed > NumGPRs) if (NumGPRsUsed > NumGPRs)
HasParameterArea = true; HasParameterArea = true;
} else { } else {
switch (ArgVT.getSimpleVT().SimpleTy) { switch (ArgVT.getSimpleVT().SimpleTy) {
default: llvm_unreachable("Unexpected ValueType for argument!"); default: llvm_unreachable("Unexpected ValueType for argument!");
case MVT::i1: case MVT::i1:
case MVT::i32: case MVT::i32:
case MVT::i64: case MVT::i64:
▲ Show 20 Lines • Show All 144 Lines • ▼ Show 20 Lines for (unsigned i = 0; i != NumOps; ++i) {
// Note: "by value" is code for passing a structure by value, not // Note: "by value" is code for passing a structure by value, not
// basic types. // basic types.
if (Flags.isByVal()) { if (Flags.isByVal()) {
// Note: Size includes alignment padding, so // Note: Size includes alignment padding, so
// struct x { short a; char b; } // struct x { short a; char b; }
// will have Size = 4. With #pragma pack(1), it will have Size = 3. // will have Size = 4. With #pragma pack(1), it will have Size = 3.
// These are the proper values we need for right-justifying the // These are the proper values we need for right-justifying the
// aggregate in a parameter register. // aggregate in a parameter register.
unsigned Size = Flags.getByValSize(); unsigned Size = Flags.getSize();
// An empty aggregate parameter takes up no storage and no // An empty aggregate parameter takes up no storage and no
// registers. // registers.
if (Size == 0) if (Size == 0)
continue; continue;
if (CallConv == CallingConv::Fast) if (CallConv == CallingConv::Fast)
ComputePtrOff(); ComputePtrOff();
▲ Show 20 Lines • Show All 541 Lines • ▼ Show 20 Lines if (isPPC64 && Arg.getValueType() == MVT::i32) {
unsigned ExtOp = Flags.isSExt() ? ISD::SIGN_EXTEND : ISD::ZERO_EXTEND; unsigned ExtOp = Flags.isSExt() ? ISD::SIGN_EXTEND : ISD::ZERO_EXTEND;
Arg = DAG.getNode(ExtOp, dl, MVT::i64, Arg); Arg = DAG.getNode(ExtOp, dl, MVT::i64, Arg);
} }
// FIXME memcpy is used way more than necessary. Correctness first. // FIXME memcpy is used way more than necessary. Correctness first.
// Note: "by value" is code for passing a structure by value, not // Note: "by value" is code for passing a structure by value, not
// basic types. // basic types.
if (Flags.isByVal()) { if (Flags.isByVal()) {
unsigned Size = Flags.getByValSize(); unsigned Size = Flags.getSize();
// Very small objects are passed right-justified. Everything else is // Very small objects are passed right-justified. Everything else is
// passed left-justified. // passed left-justified.
if (Size==1 || Size==2) { if (Size==1 || Size==2) {
EVT VT = (Size==1) ? MVT::i8 : MVT::i16; EVT VT = (Size==1) ? MVT::i8 : MVT::i16;
if (GPR_idx != NumGPRs) { if (GPR_idx != NumGPRs) {
SDValue Load = DAG.getExtLoad(ISD::EXTLOAD, dl, PtrVT, Chain, Arg, SDValue Load = DAG.getExtLoad(ISD::EXTLOAD, dl, PtrVT, Chain, Arg,
MachinePointerInfo(), VT); MachinePointerInfo(), VT);
MemOpChains.push_back(Load.getValue(1)); MemOpChains.push_back(Load.getValue(1));
▲ Show 20 Lines • Show All 9,255 Lines • Show Last 20 Lines

llvm/lib/Target/RISCV/RISCVISelLowering.cpp

Show First 20 Lines • Show All 2,119 Lines • ▼ Show 20 LinesSDValue RISCVTargetLowering::LowerCall(CallLoweringInfo &CLI,
// Create local copies for byval args // Create local copies for byval args
SmallVector<SDValue, 8> ByValArgs; SmallVector<SDValue, 8> ByValArgs;
for (unsigned i = 0, e = Outs.size(); i != e; ++i) { for (unsigned i = 0, e = Outs.size(); i != e; ++i) {
ISD::ArgFlagsTy Flags = Outs[i].Flags; ISD::ArgFlagsTy Flags = Outs[i].Flags;
if (!Flags.isByVal()) if (!Flags.isByVal())
continue; continue;
SDValue Arg = OutVals[i]; SDValue Arg = OutVals[i];
unsigned Size = Flags.getByValSize(); unsigned Size = Flags.getSize();
unsigned Align = Flags.getByValAlign(); unsigned Align = Flags.getAlign();
int FI = MF.getFrameInfo().CreateStackObject(Size, Align, /*isSS=*/false); int FI = MF.getFrameInfo().CreateStackObject(Size, Align, /*isSS=*/false);
SDValue FIPtr = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout())); SDValue FIPtr = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout()));
SDValue SizeNode = DAG.getConstant(Size, DL, XLenVT); SDValue SizeNode = DAG.getConstant(Size, DL, XLenVT);
Chain = DAG.getMemcpy(Chain, DL, FIPtr, Arg, SizeNode, Align, Chain = DAG.getMemcpy(Chain, DL, FIPtr, Arg, SizeNode, Align,
/*IsVolatile=*/false, /*IsVolatile=*/false,
/*AlwaysInline=*/false, /*AlwaysInline=*/false,
▲ Show 20 Lines • Show All 772 Lines • Show Last 20 Lines

llvm/lib/Target/Sparc/SparcISelLowering.cpp

Show First 20 Lines • Show All 746 Lines • ▼ Show 20 LinesSparcTargetLowering::LowerCall_32(TargetLowering::CallLoweringInfo &CLI,
// Create local copies for byval args. // Create local copies for byval args.
SmallVector<SDValue, 8> ByValArgs; SmallVector<SDValue, 8> ByValArgs;
for (unsigned i = 0, e = Outs.size(); i != e; ++i) { for (unsigned i = 0, e = Outs.size(); i != e; ++i) {
ISD::ArgFlagsTy Flags = Outs[i].Flags; ISD::ArgFlagsTy Flags = Outs[i].Flags;
if (!Flags.isByVal()) if (!Flags.isByVal())
continue; continue;
SDValue Arg = OutVals[i]; SDValue Arg = OutVals[i];
unsigned Size = Flags.getByValSize(); unsigned Size = Flags.getSize();
unsigned Align = Flags.getByValAlign(); unsigned Align = Flags.getAlign();
if (Size > 0U) { if (Size > 0U) {
int FI = MFI.CreateStackObject(Size, Align, false); int FI = MFI.CreateStackObject(Size, Align, false);
SDValue FIPtr = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout())); SDValue FIPtr = DAG.getFrameIndex(FI, getPointerTy(DAG.getDataLayout()));
SDValue SizeNode = DAG.getConstant(Size, dl, MVT::i32); SDValue SizeNode = DAG.getConstant(Size, dl, MVT::i32);
Chain = DAG.getMemcpy(Chain, dl, FIPtr, Arg, SizeNode, Align, Chain = DAG.getMemcpy(Chain, dl, FIPtr, Arg, SizeNode, Align,
false, // isVolatile, false, // isVolatile,
▲ Show 20 Lines • Show All 2,655 Lines • Show Last 20 Lines

llvm/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp

Show First 20 Lines • Show All 723 Lines • ▼ Show 20 Lines for (unsigned I = 0; I < Outs.size(); ++I) {
if (Out.Flags.isNest()) if (Out.Flags.isNest())
fail(DL, DAG, "WebAssembly hasn't implemented nest arguments"); fail(DL, DAG, "WebAssembly hasn't implemented nest arguments");
if (Out.Flags.isInAlloca()) if (Out.Flags.isInAlloca())
fail(DL, DAG, "WebAssembly hasn't implemented inalloca arguments"); fail(DL, DAG, "WebAssembly hasn't implemented inalloca arguments");
if (Out.Flags.isInConsecutiveRegs()) if (Out.Flags.isInConsecutiveRegs())
fail(DL, DAG, "WebAssembly hasn't implemented cons regs arguments"); fail(DL, DAG, "WebAssembly hasn't implemented cons regs arguments");
if (Out.Flags.isInConsecutiveRegsLast()) if (Out.Flags.isInConsecutiveRegsLast())
fail(DL, DAG, "WebAssembly hasn't implemented cons regs last arguments"); fail(DL, DAG, "WebAssembly hasn't implemented cons regs last arguments");
if (Out.Flags.isByVal() && Out.Flags.getByValSize() != 0) { if (Out.Flags.isByVal() && Out.Flags.getSize() != 0) {
auto &MFI = MF.getFrameInfo(); auto &MFI = MF.getFrameInfo();
int FI = MFI.CreateStackObject(Out.Flags.getByValSize(), int FI = MFI.CreateStackObject(Out.Flags.getSize(), Out.Flags.getAlign(),
Out.Flags.getByValAlign(),
/*isSS=*/false); /*isSS=*/false);
SDValue SizeNode = SDValue SizeNode = DAG.getConstant(Out.Flags.getSize(), DL, MVT::i32);
DAG.getConstant(Out.Flags.getByValSize(), DL, MVT::i32);
SDValue FINode = DAG.getFrameIndex(FI, getPointerTy(Layout)); SDValue FINode = DAG.getFrameIndex(FI, getPointerTy(Layout));
Chain = DAG.getMemcpy( Chain = DAG.getMemcpy(
Chain, DL, FINode, OutVal, SizeNode, Out.Flags.getByValAlign(), Chain, DL, FINode, OutVal, SizeNode, Out.Flags.getAlign(),
/*isVolatile*/ false, /*AlwaysInline=*/false, /*isVolatile*/ false, /*AlwaysInline=*/false,
/*isTailCall*/ false, MachinePointerInfo(), MachinePointerInfo()); /*isTailCall*/ false, MachinePointerInfo(), MachinePointerInfo());
OutVal = FINode; OutVal = FINode;
} }
// Count the number of fixed args *after* legalization. // Count the number of fixed args *after* legalization.
NumFixedArgs += Out.IsFixed; NumFixedArgs += Out.IsFixed;
} }
▲ Show 20 Lines • Show All 849 Lines • Show Last 20 Lines

llvm/lib/Target/X86/X86FastISel.cpp

Show First 20 Lines • Show All 3,418 Lines • ▼ Show 20 Lines if (VA.isRegLoc()) {
ISD::ArgFlagsTy Flags = OutFlags[VA.getValNo()]; ISD::ArgFlagsTy Flags = OutFlags[VA.getValNo()];
unsigned Alignment = DL.getABITypeAlignment(ArgVal->getType()); unsigned Alignment = DL.getABITypeAlignment(ArgVal->getType());
MachineMemOperand *MMO = FuncInfo.MF->getMachineMemOperand( MachineMemOperand *MMO = FuncInfo.MF->getMachineMemOperand(
MachinePointerInfo::getStack(*FuncInfo.MF, LocMemOffset), MachinePointerInfo::getStack(*FuncInfo.MF, LocMemOffset),
MachineMemOperand::MOStore, ArgVT.getStoreSize(), Alignment); MachineMemOperand::MOStore, ArgVT.getStoreSize(), Alignment);
if (Flags.isByVal()) { if (Flags.isByVal()) {
X86AddressMode SrcAM; X86AddressMode SrcAM;
SrcAM.Base.Reg = ArgReg; SrcAM.Base.Reg = ArgReg;
if (!TryEmitSmallMemcpy(AM, SrcAM, Flags.getByValSize())) if (!TryEmitSmallMemcpy(AM, SrcAM, Flags.getSize()))
return false; return false;
} else if (isa<ConstantInt>(ArgVal) || isa<ConstantPointerNull>(ArgVal)) { } else if (isa<ConstantInt>(ArgVal) || isa<ConstantPointerNull>(ArgVal)) {
// If this is a really simple value, emit this with the Value* version // If this is a really simple value, emit this with the Value* version
// of X86FastEmitStore. If it isn't simple, we don't want to do this, // of X86FastEmitStore. If it isn't simple, we don't want to do this,
// as it can cause us to reevaluate the argument. // as it can cause us to reevaluate the argument.
if (!X86FastEmitStore(ArgVT, ArgVal, AM, MMO)) if (!X86FastEmitStore(ArgVT, ArgVal, AM, MMO))
return false; return false;
} else { } else {
▲ Show 20 Lines • Show All 578 Lines • Show Last 20 Lines

llvm/lib/Target/X86/X86ISelLowering.h

Show First 20 Lines • Show All 747 Lines • ▼ Show 20 Lines public:
const MCExpr * const MCExpr *
getPICJumpTableRelocBaseExpr(const MachineFunction *MF, getPICJumpTableRelocBaseExpr(const MachineFunction *MF,
unsigned JTI, MCContext &Ctx) const override; unsigned JTI, MCContext &Ctx) const override;
/// Return the desired alignment for ByVal aggregate /// Return the desired alignment for ByVal aggregate
/// function arguments in the caller parameter area. For X86, aggregates /// function arguments in the caller parameter area. For X86, aggregates
/// that contains are placed at 16-byte boundaries while the rest are at /// that contains are placed at 16-byte boundaries while the rest are at
/// 4-byte boundaries. /// 4-byte boundaries.
unsigned getByValTypeAlignment(Type *Ty, unsigned getAttrTypeAlignment(Type *Ty,
const DataLayout &DL) const override; const DataLayout &DL) const override;
/// Returns the target specific optimal type for load /// Returns the target specific optimal type for load
/// and store operations as a result of memset, memcpy, and memmove /// and store operations as a result of memset, memcpy, and memmove
/// lowering. If DstAlign is zero that means it's safe to destination /// lowering. If DstAlign is zero that means it's safe to destination
/// alignment can satisfy any constraint. Similarly if SrcAlign is zero it /// alignment can satisfy any constraint. Similarly if SrcAlign is zero it
/// means there isn't a need to check it against alignment requirement, /// means there isn't a need to check it against alignment requirement,
/// probably because the source does not need to be loaded. If 'IsMemset' is /// probably because the source does not need to be loaded. If 'IsMemset' is
/// true, that means it's expanding a memset. If 'ZeroMemset' is true, that /// true, that means it's expanding a memset. If 'ZeroMemset' is true, that
▲ Show 20 Lines • Show All 954 Lines • Show Last 20 Lines

llvm/lib/Target/X86/X86ISelLowering.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 2,215 Lines • ▼ Show 20 Lines if (VectorType *VTy = dyn_cast<VectorType>(Ty)) {
} }
} }
} }
/// Return the desired alignment for ByVal aggregate /// Return the desired alignment for ByVal aggregate
/// function arguments in the caller parameter area. For X86, aggregates /// function arguments in the caller parameter area. For X86, aggregates
/// that contain SSE vectors are placed at 16-byte boundaries while the rest /// that contain SSE vectors are placed at 16-byte boundaries while the rest
/// are at 4-byte boundaries. /// are at 4-byte boundaries.
unsigned X86TargetLowering::getByValTypeAlignment(Type *Ty, unsigned X86TargetLowering::getAttrTypeAlignment(Type *Ty,
const DataLayout &DL) const { const DataLayout &DL) const {
if (Subtarget.is64Bit()) { if (Subtarget.is64Bit()) {
// Max of 8 and alignment of type. // Max of 8 and alignment of type.
unsigned TyAlign = DL.getABITypeAlignment(Ty); unsigned TyAlign = DL.getABITypeAlignment(Ty);
if (TyAlign > 8) if (TyAlign > 8)
return TyAlign; return TyAlign;
return 8; return 8;
} }
▲ Show 20 Lines • Show All 891 Lines • ▼ Show 20 Lines
} }
/// Make a copy of an aggregate at address specified by "Src" to address /// Make a copy of an aggregate at address specified by "Src" to address
/// "Dst" with size and alignment information specified by the specific /// "Dst" with size and alignment information specified by the specific
/// parameter attribute. The copy will be passed as a byval function parameter. /// parameter attribute. The copy will be passed as a byval function parameter.
static SDValue CreateCopyOfByValArgument(SDValue Src, SDValue Dst, static SDValue CreateCopyOfByValArgument(SDValue Src, SDValue Dst,
SDValue Chain, ISD::ArgFlagsTy Flags, SDValue Chain, ISD::ArgFlagsTy Flags,
SelectionDAG &DAG, const SDLoc &dl) { SelectionDAG &DAG, const SDLoc &dl) {
SDValue SizeNode = DAG.getConstant(Flags.getByValSize(), dl, MVT::i32); SDValue SizeNode = DAG.getConstant(Flags.getSize(), dl, MVT::i32);
return DAG.getMemcpy(Chain, dl, Dst, Src, SizeNode, Flags.getByValAlign(), return DAG.getMemcpy(Chain, dl, Dst, Src, SizeNode, Flags.getAlign(),
/*isVolatile*/false, /*AlwaysInline=*/true, /*isVolatile*/false, /*AlwaysInline=*/true,
/*isTailCall*/false, /*isTailCall*/false,
MachinePointerInfo(), MachinePointerInfo()); MachinePointerInfo(), MachinePointerInfo());
} }
/// Return true if the calling convention is one that we can guarantee TCO for. /// Return true if the calling convention is one that we can guarantee TCO for.
static bool canGuaranteeTCO(CallingConv::ID CC) { static bool canGuaranteeTCO(CallingConv::ID CC) {
return (CC == CallingConv::Fast || CC == CallingConv::GHC || return (CC == CallingConv::Fast || CC == CallingConv::GHC ||
▲ Show 20 Lines • Show All 65 Lines • ▼ Show 20 LinesX86TargetLowering::LowerMemArgument(SDValue Chain, CallingConv::ID CallConv,
else else
ValVT = VA.getValVT(); ValVT = VA.getValVT();
// FIXME: For now, all byval parameter objects are marked mutable. This can be // FIXME: For now, all byval parameter objects are marked mutable. This can be
// changed with more analysis. // changed with more analysis.
// In case of tail call optimization mark all arguments mutable. Since they // In case of tail call optimization mark all arguments mutable. Since they
// could be overwritten by lowering of arguments in case of a tail call. // could be overwritten by lowering of arguments in case of a tail call.
if (Flags.isByVal()) { if (Flags.isByVal()) {
unsigned Bytes = Flags.getByValSize(); unsigned Bytes = Flags.getSize();
if (Bytes == 0) Bytes = 1; // Don't create zero-sized stack objects. if (Bytes == 0) Bytes = 1; // Don't create zero-sized stack objects.
// FIXME: For now, all byval parameter objects are marked as aliasing. This // FIXME: For now, all byval parameter objects are marked as aliasing. This
// can be improved with deeper analysis. // can be improved with deeper analysis.
int FI = MFI.CreateFixedObject(Bytes, VA.getLocMemOffset(), isImmutable, int FI = MFI.CreateFixedObject(Bytes, VA.getLocMemOffset(), isImmutable,
/*isAliased=*/true); /*isAliased=*/true);
return DAG.getFrameIndex(FI, PtrVT); return DAG.getFrameIndex(FI, PtrVT);
} }
▲ Show 20 Lines • Show All 736 Lines • ▼ Show 20 Lines case CCValAssign::BCvt:
Arg = DAG.getBitcast(RegVT, Arg); Arg = DAG.getBitcast(RegVT, Arg);
break; break;
case CCValAssign::Indirect: { case CCValAssign::Indirect: {
if (isByVal) { if (isByVal) {
// Memcpy the argument to a temporary stack slot to prevent // Memcpy the argument to a temporary stack slot to prevent
// the caller from seeing any modifications the callee may make // the caller from seeing any modifications the callee may make
// as guaranteed by the `byval` attribute. // as guaranteed by the `byval` attribute.
int FrameIdx = MF.getFrameInfo().CreateStackObject( int FrameIdx = MF.getFrameInfo().CreateStackObject(
Flags.getByValSize(), std::max(16, (int)Flags.getByValAlign()), Flags.getSize(), std::max(16, (int)Flags.getAlign()), false);
false);
SDValue StackSlot = SDValue StackSlot =
DAG.getFrameIndex(FrameIdx, getPointerTy(DAG.getDataLayout())); DAG.getFrameIndex(FrameIdx, getPointerTy(DAG.getDataLayout()));
Chain = Chain =
CreateCopyOfByValArgument(Arg, StackSlot, Chain, Flags, DAG, dl); CreateCopyOfByValArgument(Arg, StackSlot, Chain, Flags, DAG, dl);
// From now on treat this as a regular pointer // From now on treat this as a regular pointer
Arg = StackSlot; Arg = StackSlot;
isByVal = false; isByVal = false;
} else { } else {
▲ Show 20 Lines • Show All 424 Lines • ▼ Show 20 Lines if (!Flags.isByVal()) {
if (!TII->isLoadFromStackSlot(*Def, FI)) if (!TII->isLoadFromStackSlot(*Def, FI))
return false; return false;
} else { } else {
unsigned Opcode = Def->getOpcode(); unsigned Opcode = Def->getOpcode();
if ((Opcode == X86::LEA32r || Opcode == X86::LEA64r || if ((Opcode == X86::LEA32r || Opcode == X86::LEA64r ||
Opcode == X86::LEA64_32r) && Opcode == X86::LEA64_32r) &&
Def->getOperand(1).isFI()) { Def->getOperand(1).isFI()) {
FI = Def->getOperand(1).getIndex(); FI = Def->getOperand(1).getIndex();
Bytes = Flags.getByValSize(); Bytes = Flags.getSize();
} else } else
return false; return false;
} }
} else if (LoadSDNode *Ld = dyn_cast<LoadSDNode>(Arg)) { } else if (LoadSDNode *Ld = dyn_cast<LoadSDNode>(Arg)) {
if (Flags.isByVal()) if (Flags.isByVal())
// ByVal argument is passed in as a pointer but it's now being // ByVal argument is passed in as a pointer but it's now being
// dereferenced. e.g. // dereferenced. e.g.
// define @foo(%struct.X* %A) { // define @foo(%struct.X* %A) {
// tail call @bar(%struct.X* byval %A) // tail call @bar(%struct.X* byval %A)
// } // }
return false; return false;
SDValue Ptr = Ld->getBasePtr(); SDValue Ptr = Ld->getBasePtr();
FrameIndexSDNode *FINode = dyn_cast<FrameIndexSDNode>(Ptr); FrameIndexSDNode *FINode = dyn_cast<FrameIndexSDNode>(Ptr);
if (!FINode) if (!FINode)
return false; return false;
FI = FINode->getIndex(); FI = FINode->getIndex();
} else if (Arg.getOpcode() == ISD::FrameIndex && Flags.isByVal()) { } else if (Arg.getOpcode() == ISD::FrameIndex && Flags.isByVal()) {
FrameIndexSDNode *FINode = cast<FrameIndexSDNode>(Arg); FrameIndexSDNode *FINode = cast<FrameIndexSDNode>(Arg);
FI = FINode->getIndex(); FI = FINode->getIndex();
Bytes = Flags.getByValSize(); Bytes = Flags.getSize();
} else } else
return false; return false;
assert(FI != INT_MAX); assert(FI != INT_MAX);
if (!MFI.isFixedObjectIndex(FI)) if (!MFI.isFixedObjectIndex(FI))
return false; return false;
if (Offset != MFI.getObjectOffset(FI)) if (Offset != MFI.getObjectOffset(FI))
▲ Show 20 Lines • Show All 9,991 Lines • Show Last 20 Lines

llvm/lib/Target/XCore/XCoreISelLowering.cpp

Show First 20 Lines • Show All 1,383 Lines • ▼ Show 20 Lines#endif
// 3. Memcpy 'byVal' args & push final InVals. // 3. Memcpy 'byVal' args & push final InVals.
// Aggregates passed "byVal" need to be copied by the callee. // Aggregates passed "byVal" need to be copied by the callee.
// The callee will use a pointer to this copy, rather than the original // The callee will use a pointer to this copy, rather than the original
// pointer. // pointer.
for (SmallVectorImpl<ArgDataPair>::const_iterator ArgDI = ArgData.begin(), for (SmallVectorImpl<ArgDataPair>::const_iterator ArgDI = ArgData.begin(),
ArgDE = ArgData.end(); ArgDE = ArgData.end();
ArgDI != ArgDE; ++ArgDI) { ArgDI != ArgDE; ++ArgDI) {
if (ArgDI->Flags.isByVal() && ArgDI->Flags.getByValSize()) { if (ArgDI->Flags.isByVal() && ArgDI->Flags.getSize()) {
unsigned Size = ArgDI->Flags.getByValSize(); unsigned Size = ArgDI->Flags.getSize();
unsigned Align = std::max(StackSlotSize, ArgDI->Flags.getByValAlign()); unsigned Align = std::max(StackSlotSize, ArgDI->Flags.getAlign());
// Create a new object on the stack and copy the pointee into it. // Create a new object on the stack and copy the pointee into it.
int FI = MFI.CreateStackObject(Size, Align, false); int FI = MFI.CreateStackObject(Size, Align, false);
SDValue FIN = DAG.getFrameIndex(FI, MVT::i32); SDValue FIN = DAG.getFrameIndex(FI, MVT::i32);
InVals.push_back(FIN); InVals.push_back(FIN);
MemOps.push_back(DAG.getMemcpy(Chain, dl, FIN, ArgDI->SDV, MemOps.push_back(DAG.getMemcpy(Chain, dl, FIN, ArgDI->SDV,
DAG.getConstant(Size, dl, MVT::i32), DAG.getConstant(Size, dl, MVT::i32),
Align, false, false, false, Align, false, false, false,
MachinePointerInfo(), MachinePointerInfo(),
▲ Show 20 Lines • Show All 539 Lines • Show Last 20 Lines

llvm/lib/Transforms/Utils/ValueMapper.cpp

Show First 20 Lines • Show All 903 Lines • ▼ Show 20 Lines for (unsigned i = 0; i < Attrs.getNumAttrSets(); ++i) {
Type *Ty = Attrs.getAttribute(i, Attribute::ByVal).getValueAsType(); Type *Ty = Attrs.getAttribute(i, Attribute::ByVal).getValueAsType();
if (!Ty) if (!Ty)
continue; continue;
Attrs = Attrs.removeAttribute(C, i, Attribute::ByVal); Attrs = Attrs.removeAttribute(C, i, Attribute::ByVal);
Attrs = Attrs.addAttribute( Attrs = Attrs.addAttribute(
C, i, Attribute::getWithByValType(C, TypeMapper->remapType(Ty))); C, i, Attribute::getWithByValType(C, TypeMapper->remapType(Ty)));
} }
if (Attrs.hasAttribute(i, Attribute::InAlloca)) {
Type *Ty = Attrs.getAttribute(i, Attribute::InAlloca).getValueAsType();
if (!Ty)
continue;
Attrs = Attrs.removeAttribute(C, i, Attribute::InAlloca);
Attrs = Attrs.addAttribute(
C, i, Attribute::getWithInAllocaType(C, TypeMapper->remapType(Ty)));
}
} }
CS.setAttributes(Attrs); CS.setAttributes(Attrs);
return; return;
} }
if (auto *AI = dyn_cast<AllocaInst>(I)) if (auto *AI = dyn_cast<AllocaInst>(I))
AI->setAllocatedType(TypeMapper->remapType(AI->getAllocatedType())); AI->setAllocatedType(TypeMapper->remapType(AI->getAllocatedType()));
if (auto *GEP = dyn_cast<GetElementPtrInst>(I)) { if (auto *GEP = dyn_cast<GetElementPtrInst>(I)) {
GEP->setSourceElementType( GEP->setSourceElementType(
▲ Show 20 Lines • Show All 222 Lines • Show Last 20 Lines

llvm/test/Assembler/inalloca-type-attr.ll

  • This file was added.
; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
; CHECK: define void @foo(i32* inalloca(i32) align 4 %0)
define void @foo(i32* inalloca(i32) align 4 %0) {
ret void
}
; CHECK: define void @bar({ i32*, i8 }* inalloca({ i32*, i8 }) align 4 %0)
define void @bar({i32*, i8}* inalloca({i32*, i8}) align 4 %0) {
ret void
}
define void @caller({ i32*, i8 }* %ptr) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
; CHECK: call void @bar({ i32*, i8 }* inalloca({ i32*, i8 }) %ptr)
; CHECK: invoke void @bar({ i32*, i8 }* inalloca({ i32*, i8 }) %ptr)
call void @bar({i32*, i8}* inalloca %ptr)
invoke void @bar({i32*, i8}* inalloca %ptr) to label %success unwind label %fail
success:
ret void
fail:
landingpad { i8*, i32 } cleanup
ret void
}
; CHECK: declare void @baz([8 x i8]* inalloca([8 x i8]))
%named_type = type [8 x i8]
declare void @baz(%named_type* inalloca(%named_type))
declare i32 @__gxx_personality_v0(...)
%0 = type opaque
; CHECK: define void @anon({ %0* }* inalloca({ %0* }) %arg)
; CHECK: call void @anon_callee({ %0* }* inalloca({ %0* }) %arg)
define void @anon({ %0* }* inalloca({ %0* }) %arg) {
call void @anon_callee({ %0* }* inalloca({ %0* }) %arg)
ret void
}
; CHECK: declare void @anon_callee({ %0* }* inalloca({ %0* }))
declare void @anon_callee({ %0* }* inalloca({ %0* }))

llvm/test/Assembler/invalid-inalloca-type1.ll

  • This file was added.
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
; CHECK: Attribute 'inalloca' type does not match parameter!
declare void @foo(i32* inalloca(i8))

llvm/test/Assembler/invalid-inalloca-type2.ll

  • This file was added.
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
; CHECK: error: void type only allowed for function results
declare void @foo(i32* inalloca(void))

llvm/test/Assembler/invalid-inalloca-type3.ll

  • This file was added.
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
; CHECK: Attributes 'byval' and 'inalloca' do not support unsized types!
declare void @foo(void()* inalloca(void()))

llvm/test/Bitcode/attributes.ll

Show First 20 Lines • Show All 208 Lines • ▼ Show 20 Lines
} }
define void @f35() optnone noinline define void @f35() optnone noinline
; CHECK: define void @f35() #23 ; CHECK: define void @f35() #23
{ {
ret void; ret void;
} }
define void @f36(i8* inalloca %0) { define void @f36(i8* inalloca(i8) %0) {
; CHECK: define void @f36(i8* inalloca %0) { ; CHECK: define void @f36(i8* inalloca(i8) %0) {
ret void ret void
} }
define nonnull i8* @f37(i8* nonnull %a) { define nonnull i8* @f37(i8* nonnull %a) {
; CHECK: define nonnull i8* @f37(i8* nonnull %a) { ; CHECK: define nonnull i8* @f37(i8* nonnull %a) {
ret i8* %a ret i8* %a
} }
▲ Show 20 Lines • Show All 191 Lines • Show Last 20 Lines

llvm/test/Bitcode/compatibility-3.6.ll

Show First 20 Lines • Show All 400 Lines • ▼ Show 20 Lines
; CHECK: declare void @f.param.zeroext(i8 zeroext) ; CHECK: declare void @f.param.zeroext(i8 zeroext)
declare void @f.param.signext(i8 signext) declare void @f.param.signext(i8 signext)
; CHECK: declare void @f.param.signext(i8 signext) ; CHECK: declare void @f.param.signext(i8 signext)
declare void @f.param.inreg(i8 inreg) declare void @f.param.inreg(i8 inreg)
; CHECK: declare void @f.param.inreg(i8 inreg) ; CHECK: declare void @f.param.inreg(i8 inreg)
declare void @f.param.byval({ i8, i8 }* byval) declare void @f.param.byval({ i8, i8 }* byval)
; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 })) ; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 }))
declare void @f.param.inalloca(i8* inalloca) declare void @f.param.inalloca(i8* inalloca)
; CHECK: declare void @f.param.inalloca(i8* inalloca) ; CHECK: declare void @f.param.inalloca(i8* inalloca(i8))
declare void @f.param.sret(i8* sret) declare void @f.param.sret(i8* sret)
; CHECK: declare void @f.param.sret(i8* sret) ; CHECK: declare void @f.param.sret(i8* sret)
declare void @f.param.noalias(i8* noalias) declare void @f.param.noalias(i8* noalias)
; CHECK: declare void @f.param.noalias(i8* noalias) ; CHECK: declare void @f.param.noalias(i8* noalias)
declare void @f.param.nocapture(i8* nocapture) declare void @f.param.nocapture(i8* nocapture)
; CHECK: declare void @f.param.nocapture(i8* nocapture) ; CHECK: declare void @f.param.nocapture(i8* nocapture)
declare void @f.param.nest(i8* nest) declare void @f.param.nest(i8* nest)
; CHECK: declare void @f.param.nest(i8* nest) ; CHECK: declare void @f.param.nest(i8* nest)
▲ Show 20 Lines • Show All 570 Lines • ▼ Show 20 Linesexit:
tail call ghccc nonnull i32* @f.nonnull() minsize tail call ghccc nonnull i32* @f.nonnull() minsize
; CHECK: tail call ghccc nonnull i32* @f.nonnull() #6 ; CHECK: tail call ghccc nonnull i32* @f.nonnull() #6
ret void ret void
} }
define void @instructions.call_musttail(i8* inalloca %val) { define void @instructions.call_musttail(i8* inalloca %val) {
musttail call void @f.param.inalloca(i8* inalloca %val) musttail call void @f.param.inalloca(i8* inalloca %val)
; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val) ; CHECK: musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
ret void ret void
} }
declare void @llvm.donothing() nounwind readnone declare void @llvm.donothing() nounwind readnone
declare i32 @personality_handler() declare i32 @personality_handler()
▲ Show 20 Lines • Show All 205 Lines • Show Last 20 Lines

llvm/test/Bitcode/compatibility-3.7.ll

Show First 20 Lines • Show All 406 Lines • ▼ Show 20 Lines
; CHECK: declare void @f.param.zeroext(i8 zeroext) ; CHECK: declare void @f.param.zeroext(i8 zeroext)
declare void @f.param.signext(i8 signext) declare void @f.param.signext(i8 signext)
; CHECK: declare void @f.param.signext(i8 signext) ; CHECK: declare void @f.param.signext(i8 signext)
declare void @f.param.inreg(i8 inreg) declare void @f.param.inreg(i8 inreg)
; CHECK: declare void @f.param.inreg(i8 inreg) ; CHECK: declare void @f.param.inreg(i8 inreg)
declare void @f.param.byval({ i8, i8 }* byval) declare void @f.param.byval({ i8, i8 }* byval)
; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 })) ; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 }))
declare void @f.param.inalloca(i8* inalloca) declare void @f.param.inalloca(i8* inalloca)
; CHECK: declare void @f.param.inalloca(i8* inalloca) ; CHECK: declare void @f.param.inalloca(i8* inalloca(i8))
declare void @f.param.sret(i8* sret) declare void @f.param.sret(i8* sret)
; CHECK: declare void @f.param.sret(i8* sret) ; CHECK: declare void @f.param.sret(i8* sret)
declare void @f.param.noalias(i8* noalias) declare void @f.param.noalias(i8* noalias)
; CHECK: declare void @f.param.noalias(i8* noalias) ; CHECK: declare void @f.param.noalias(i8* noalias)
declare void @f.param.nocapture(i8* nocapture) declare void @f.param.nocapture(i8* nocapture)
; CHECK: declare void @f.param.nocapture(i8* nocapture) ; CHECK: declare void @f.param.nocapture(i8* nocapture)
declare void @f.param.nest(i8* nest) declare void @f.param.nest(i8* nest)
; CHECK: declare void @f.param.nest(i8* nest) ; CHECK: declare void @f.param.nest(i8* nest)
▲ Show 20 Lines • Show All 605 Lines • ▼ Show 20 Linesexit:
tail call ghccc nonnull i32* @f.nonnull() minsize tail call ghccc nonnull i32* @f.nonnull() minsize
; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7 ; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7
ret void ret void
} }
define void @instructions.call_musttail(i8* inalloca %val) { define void @instructions.call_musttail(i8* inalloca %val) {
musttail call void @f.param.inalloca(i8* inalloca %val) musttail call void @f.param.inalloca(i8* inalloca %val)
; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val) ; CHECK: musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
ret void ret void
} }
define void @instructions.landingpad() personality i32 -2 { define void @instructions.landingpad() personality i32 -2 {
invoke void @llvm.donothing() to label %proceed unwind label %catch1 invoke void @llvm.donothing() to label %proceed unwind label %catch1
invoke void @llvm.donothing() to label %proceed unwind label %catch2 invoke void @llvm.donothing() to label %proceed unwind label %catch2
invoke void @llvm.donothing() to label %proceed unwind label %catch3 invoke void @llvm.donothing() to label %proceed unwind label %catch3
▲ Show 20 Lines • Show All 237 Lines • Show Last 20 Lines

llvm/test/Bitcode/compatibility-3.8.ll

Show First 20 Lines • Show All 431 Lines • ▼ Show 20 Lines
; CHECK: declare void @f.param.zeroext(i8 zeroext) ; CHECK: declare void @f.param.zeroext(i8 zeroext)
declare void @f.param.signext(i8 signext) declare void @f.param.signext(i8 signext)
; CHECK: declare void @f.param.signext(i8 signext) ; CHECK: declare void @f.param.signext(i8 signext)
declare void @f.param.inreg(i8 inreg) declare void @f.param.inreg(i8 inreg)
; CHECK: declare void @f.param.inreg(i8 inreg) ; CHECK: declare void @f.param.inreg(i8 inreg)
declare void @f.param.byval({ i8, i8 }* byval) declare void @f.param.byval({ i8, i8 }* byval)
; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 })) ; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 }))
declare void @f.param.inalloca(i8* inalloca) declare void @f.param.inalloca(i8* inalloca)
; CHECK: declare void @f.param.inalloca(i8* inalloca) ; CHECK: declare void @f.param.inalloca(i8* inalloca(i8))
declare void @f.param.sret(i8* sret) declare void @f.param.sret(i8* sret)
; CHECK: declare void @f.param.sret(i8* sret) ; CHECK: declare void @f.param.sret(i8* sret)
declare void @f.param.noalias(i8* noalias) declare void @f.param.noalias(i8* noalias)
; CHECK: declare void @f.param.noalias(i8* noalias) ; CHECK: declare void @f.param.noalias(i8* noalias)
declare void @f.param.nocapture(i8* nocapture) declare void @f.param.nocapture(i8* nocapture)
; CHECK: declare void @f.param.nocapture(i8* nocapture) ; CHECK: declare void @f.param.nocapture(i8* nocapture)
declare void @f.param.nest(i8* nest) declare void @f.param.nest(i8* nest)
; CHECK: declare void @f.param.nest(i8* nest) ; CHECK: declare void @f.param.nest(i8* nest)
▲ Show 20 Lines • Show All 728 Lines • ▼ Show 20 Linesexit:
tail call ghccc nonnull i32* @f.nonnull() minsize tail call ghccc nonnull i32* @f.nonnull() minsize
; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7 ; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7
ret void ret void
} }
define void @instructions.call_musttail(i8* inalloca %val) { define void @instructions.call_musttail(i8* inalloca %val) {
musttail call void @f.param.inalloca(i8* inalloca %val) musttail call void @f.param.inalloca(i8* inalloca %val)
; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val) ; CHECK: musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
ret void ret void
} }
define void @instructions.call_notail() { define void @instructions.call_notail() {
notail call void @f1() notail call void @f1()
; CHECK: notail call void @f1() ; CHECK: notail call void @f1()
▲ Show 20 Lines • Show All 399 Lines • Show Last 20 Lines

llvm/test/Bitcode/compatibility-3.9.ll

Show First 20 Lines • Show All 500 Lines • ▼ Show 20 Lines
; CHECK: declare void @f.param.zeroext(i8 zeroext) ; CHECK: declare void @f.param.zeroext(i8 zeroext)
declare void @f.param.signext(i8 signext) declare void @f.param.signext(i8 signext)
; CHECK: declare void @f.param.signext(i8 signext) ; CHECK: declare void @f.param.signext(i8 signext)
declare void @f.param.inreg(i8 inreg) declare void @f.param.inreg(i8 inreg)
; CHECK: declare void @f.param.inreg(i8 inreg) ; CHECK: declare void @f.param.inreg(i8 inreg)
declare void @f.param.byval({ i8, i8 }* byval) declare void @f.param.byval({ i8, i8 }* byval)
; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 })) ; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 }))
declare void @f.param.inalloca(i8* inalloca) declare void @f.param.inalloca(i8* inalloca)
; CHECK: declare void @f.param.inalloca(i8* inalloca) ; CHECK: declare void @f.param.inalloca(i8* inalloca(i8))
declare void @f.param.sret(i8* sret) declare void @f.param.sret(i8* sret)
; CHECK: declare void @f.param.sret(i8* sret) ; CHECK: declare void @f.param.sret(i8* sret)
declare void @f.param.noalias(i8* noalias) declare void @f.param.noalias(i8* noalias)
; CHECK: declare void @f.param.noalias(i8* noalias) ; CHECK: declare void @f.param.noalias(i8* noalias)
declare void @f.param.nocapture(i8* nocapture) declare void @f.param.nocapture(i8* nocapture)
; CHECK: declare void @f.param.nocapture(i8* nocapture) ; CHECK: declare void @f.param.nocapture(i8* nocapture)
declare void @f.param.nest(i8* nest) declare void @f.param.nest(i8* nest)
; CHECK: declare void @f.param.nest(i8* nest) ; CHECK: declare void @f.param.nest(i8* nest)
▲ Show 20 Lines • Show All 730 Lines • ▼ Show 20 Linesexit:
tail call ghccc nonnull i32* @f.nonnull() minsize tail call ghccc nonnull i32* @f.nonnull() minsize
; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7 ; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7
ret void ret void
} }
define void @instructions.call_musttail(i8* inalloca %val) { define void @instructions.call_musttail(i8* inalloca %val) {
musttail call void @f.param.inalloca(i8* inalloca %val) musttail call void @f.param.inalloca(i8* inalloca %val)
; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val) ; CHECK: musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
ret void ret void
} }
define void @instructions.call_notail() { define void @instructions.call_notail() {
notail call void @f1() notail call void @f1()
; CHECK: notail call void @f1() ; CHECK: notail call void @f1()
▲ Show 20 Lines • Show All 402 Lines • Show Last 20 Lines

llvm/test/Bitcode/compatibility-4.0.ll

Show First 20 Lines • Show All 500 Lines • ▼ Show 20 Lines
; CHECK: declare void @f.param.zeroext(i8 zeroext) ; CHECK: declare void @f.param.zeroext(i8 zeroext)
declare void @f.param.signext(i8 signext) declare void @f.param.signext(i8 signext)
; CHECK: declare void @f.param.signext(i8 signext) ; CHECK: declare void @f.param.signext(i8 signext)
declare void @f.param.inreg(i8 inreg) declare void @f.param.inreg(i8 inreg)
; CHECK: declare void @f.param.inreg(i8 inreg) ; CHECK: declare void @f.param.inreg(i8 inreg)
declare void @f.param.byval({ i8, i8 }* byval) declare void @f.param.byval({ i8, i8 }* byval)
; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 })) ; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 }))
declare void @f.param.inalloca(i8* inalloca) declare void @f.param.inalloca(i8* inalloca)
; CHECK: declare void @f.param.inalloca(i8* inalloca) ; CHECK: declare void @f.param.inalloca(i8* inalloca(i8))
declare void @f.param.sret(i8* sret) declare void @f.param.sret(i8* sret)
; CHECK: declare void @f.param.sret(i8* sret) ; CHECK: declare void @f.param.sret(i8* sret)
declare void @f.param.noalias(i8* noalias) declare void @f.param.noalias(i8* noalias)
; CHECK: declare void @f.param.noalias(i8* noalias) ; CHECK: declare void @f.param.noalias(i8* noalias)
declare void @f.param.nocapture(i8* nocapture) declare void @f.param.nocapture(i8* nocapture)
; CHECK: declare void @f.param.nocapture(i8* nocapture) ; CHECK: declare void @f.param.nocapture(i8* nocapture)
declare void @f.param.nest(i8* nest) declare void @f.param.nest(i8* nest)
; CHECK: declare void @f.param.nest(i8* nest) ; CHECK: declare void @f.param.nest(i8* nest)
▲ Show 20 Lines • Show All 730 Lines • ▼ Show 20 Linesexit:
tail call ghccc nonnull i32* @f.nonnull() minsize tail call ghccc nonnull i32* @f.nonnull() minsize
; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7 ; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7
ret void ret void
} }
define void @instructions.call_musttail(i8* inalloca %val) { define void @instructions.call_musttail(i8* inalloca %val) {
musttail call void @f.param.inalloca(i8* inalloca %val) musttail call void @f.param.inalloca(i8* inalloca %val)
; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val) ; CHECK: musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
ret void ret void
} }
define void @instructions.call_notail() { define void @instructions.call_notail() {
notail call void @f1() notail call void @f1()
; CHECK: notail call void @f1() ; CHECK: notail call void @f1()
▲ Show 20 Lines • Show All 427 Lines • Show Last 20 Lines

llvm/test/Bitcode/compatibility-5.0.ll

Show First 20 Lines • Show All 504 Lines • ▼ Show 20 Lines
; CHECK: declare void @f.param.zeroext(i8 zeroext) ; CHECK: declare void @f.param.zeroext(i8 zeroext)
declare void @f.param.signext(i8 signext) declare void @f.param.signext(i8 signext)
; CHECK: declare void @f.param.signext(i8 signext) ; CHECK: declare void @f.param.signext(i8 signext)
declare void @f.param.inreg(i8 inreg) declare void @f.param.inreg(i8 inreg)
; CHECK: declare void @f.param.inreg(i8 inreg) ; CHECK: declare void @f.param.inreg(i8 inreg)
declare void @f.param.byval({ i8, i8 }* byval) declare void @f.param.byval({ i8, i8 }* byval)
; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 })) ; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 }))
declare void @f.param.inalloca(i8* inalloca) declare void @f.param.inalloca(i8* inalloca)
; CHECK: declare void @f.param.inalloca(i8* inalloca) ; CHECK: declare void @f.param.inalloca(i8* inalloca(i8))
declare void @f.param.sret(i8* sret) declare void @f.param.sret(i8* sret)
; CHECK: declare void @f.param.sret(i8* sret) ; CHECK: declare void @f.param.sret(i8* sret)
declare void @f.param.noalias(i8* noalias) declare void @f.param.noalias(i8* noalias)
; CHECK: declare void @f.param.noalias(i8* noalias) ; CHECK: declare void @f.param.noalias(i8* noalias)
declare void @f.param.nocapture(i8* nocapture) declare void @f.param.nocapture(i8* nocapture)
; CHECK: declare void @f.param.nocapture(i8* nocapture) ; CHECK: declare void @f.param.nocapture(i8* nocapture)
declare void @f.param.nest(i8* nest) declare void @f.param.nest(i8* nest)
; CHECK: declare void @f.param.nest(i8* nest) ; CHECK: declare void @f.param.nest(i8* nest)
▲ Show 20 Lines • Show All 736 Lines • ▼ Show 20 Linesexit:
tail call ghccc nonnull i32* @f.nonnull() minsize tail call ghccc nonnull i32* @f.nonnull() minsize
; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7 ; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7
ret void ret void
} }
define void @instructions.call_musttail(i8* inalloca %val) { define void @instructions.call_musttail(i8* inalloca %val) {
musttail call void @f.param.inalloca(i8* inalloca %val) musttail call void @f.param.inalloca(i8* inalloca %val)
; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val) ; CHECK: musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
ret void ret void
} }
define void @instructions.call_notail() { define void @instructions.call_notail() {
notail call void @f1() notail call void @f1()
; CHECK: notail call void @f1() ; CHECK: notail call void @f1()
▲ Show 20 Lines • Show All 432 Lines • Show Last 20 Lines

llvm/test/Bitcode/compatibility-6.0.ll

Show First 20 Lines • Show All 511 Lines • ▼ Show 20 Lines
; CHECK: declare void @f.param.zeroext(i8 zeroext) ; CHECK: declare void @f.param.zeroext(i8 zeroext)
declare void @f.param.signext(i8 signext) declare void @f.param.signext(i8 signext)
; CHECK: declare void @f.param.signext(i8 signext) ; CHECK: declare void @f.param.signext(i8 signext)
declare void @f.param.inreg(i8 inreg) declare void @f.param.inreg(i8 inreg)
; CHECK: declare void @f.param.inreg(i8 inreg) ; CHECK: declare void @f.param.inreg(i8 inreg)
declare void @f.param.byval({ i8, i8 }* byval) declare void @f.param.byval({ i8, i8 }* byval)
; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 })) ; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 }))
declare void @f.param.inalloca(i8* inalloca) declare void @f.param.inalloca(i8* inalloca)
; CHECK: declare void @f.param.inalloca(i8* inalloca) ; CHECK: declare void @f.param.inalloca(i8* inalloca(i8))
declare void @f.param.sret(i8* sret) declare void @f.param.sret(i8* sret)
; CHECK: declare void @f.param.sret(i8* sret) ; CHECK: declare void @f.param.sret(i8* sret)
declare void @f.param.noalias(i8* noalias) declare void @f.param.noalias(i8* noalias)
; CHECK: declare void @f.param.noalias(i8* noalias) ; CHECK: declare void @f.param.noalias(i8* noalias)
declare void @f.param.nocapture(i8* nocapture) declare void @f.param.nocapture(i8* nocapture)
; CHECK: declare void @f.param.nocapture(i8* nocapture) ; CHECK: declare void @f.param.nocapture(i8* nocapture)
declare void @f.param.nest(i8* nest) declare void @f.param.nest(i8* nest)
; CHECK: declare void @f.param.nest(i8* nest) ; CHECK: declare void @f.param.nest(i8* nest)
▲ Show 20 Lines • Show All 740 Lines • ▼ Show 20 Linesexit:
tail call ghccc nonnull i32* @f.nonnull() minsize tail call ghccc nonnull i32* @f.nonnull() minsize
; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7 ; CHECK: tail call ghccc nonnull i32* @f.nonnull() #7
ret void ret void
} }
define void @instructions.call_musttail(i8* inalloca %val) { define void @instructions.call_musttail(i8* inalloca %val) {
musttail call void @f.param.inalloca(i8* inalloca %val) musttail call void @f.param.inalloca(i8* inalloca %val)
; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val) ; CHECK: musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
ret void ret void
} }
define void @instructions.call_notail() { define void @instructions.call_notail() {
notail call void @f1() notail call void @f1()
; CHECK: notail call void @f1() ; CHECK: notail call void @f1()
▲ Show 20 Lines • Show All 432 Lines • Show Last 20 Lines

llvm/test/Bitcode/compatibility.ll

Show First 20 Lines • Show All 524 Lines • ▼ Show 20 Lines
declare void @f.param.zeroext(i8 zeroext) declare void @f.param.zeroext(i8 zeroext)
; CHECK: declare void @f.param.zeroext(i8 zeroext) ; CHECK: declare void @f.param.zeroext(i8 zeroext)
declare void @f.param.signext(i8 signext) declare void @f.param.signext(i8 signext)
; CHECK: declare void @f.param.signext(i8 signext) ; CHECK: declare void @f.param.signext(i8 signext)
declare void @f.param.inreg(i8 inreg) declare void @f.param.inreg(i8 inreg)
; CHECK: declare void @f.param.inreg(i8 inreg) ; CHECK: declare void @f.param.inreg(i8 inreg)
declare void @f.param.byval({ i8, i8 }* byval) declare void @f.param.byval({ i8, i8 }* byval)
; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 })) ; CHECK: declare void @f.param.byval({ i8, i8 }* byval({ i8, i8 }))
declare void @f.param.inalloca(i8* inalloca) declare void @f.param.inalloca(i8* inalloca(i8))
; CHECK: declare void @f.param.inalloca(i8* inalloca) ; CHECK: declare void @f.param.inalloca(i8* inalloca(i8))
declare void @f.param.sret(i8* sret) declare void @f.param.sret(i8* sret)
; CHECK: declare void @f.param.sret(i8* sret) ; CHECK: declare void @f.param.sret(i8* sret)
declare void @f.param.noalias(i8* noalias) declare void @f.param.noalias(i8* noalias)
; CHECK: declare void @f.param.noalias(i8* noalias) ; CHECK: declare void @f.param.noalias(i8* noalias)
declare void @f.param.nocapture(i8* nocapture) declare void @f.param.nocapture(i8* nocapture)
; CHECK: declare void @f.param.nocapture(i8* nocapture) ; CHECK: declare void @f.param.nocapture(i8* nocapture)
declare void @f.param.nest(i8* nest) declare void @f.param.nest(i8* nest)
; CHECK: declare void @f.param.nest(i8* nest) ; CHECK: declare void @f.param.nest(i8* nest)
▲ Show 20 Lines • Show All 914 Lines • ▼ Show 20 Linesexit:
; CHECK: freeze half %fop1 ; CHECK: freeze half %fop1
freeze <2 x i32> %vop freeze <2 x i32> %vop
; CHECK: freeze <2 x i32> %vop ; CHECK: freeze <2 x i32> %vop
freeze i8* %pop freeze i8* %pop
; CHECK: freeze i8* %pop ; CHECK: freeze i8* %pop
ret void ret void
} }
define void @instructions.call_musttail(i8* inalloca %val) { define void @instructions.call_musttail(i8* inalloca(i8) %val) {
musttail call void @f.param.inalloca(i8* inalloca %val) musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val) ; CHECK: musttail call void @f.param.inalloca(i8* inalloca(i8) %val)
ret void ret void
} }
define void @instructions.call_notail() { define void @instructions.call_notail() {
notail call void @f1() notail call void @f1()
; CHECK: notail call void @f1() ; CHECK: notail call void @f1()
▲ Show 20 Lines • Show All 452 Lines • Show Last 20 Lines

llvm/test/Bitcode/inalloca.ll

; RUN: llvm-as < %s | llvm-dis | FileCheck %s ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
; RUN: verify-uselistorder < %s ; RUN: verify-uselistorder < %s
; inalloca should roundtrip. ; inalloca should roundtrip.
define void @foo(i32* inalloca %args) { define void @foo(i32* inalloca(i32) %args) {
ret void ret void
} }
; CHECK-LABEL: define void @foo(i32* inalloca %args) ; CHECK-LABEL: define void @foo(i32* inalloca(i32) %args)
define void @bar() { define void @bar() {
; Use the maximum alignment, since we stuff our bit with alignment. ; Use the maximum alignment, since we stuff our bit with alignment.
%args = alloca inalloca i32, align 536870912 %args = alloca inalloca i32, align 536870912
call void @foo(i32* inalloca %args) call void @foo(i32* inalloca(i32) %args)
ret void ret void
} }
; CHECK-LABEL: define void @bar() { ; CHECK-LABEL: define void @bar() {
; CHECK: %args = alloca inalloca i32, align 536870912 ; CHECK: %args = alloca inalloca i32, align 536870912
; CHECK: call void @foo(i32* inalloca %args) ; CHECK: call void @foo(i32* inalloca(i32) %args)

llvm/test/Transforms/Attributor/ArgumentPromotion/inalloca.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt -S -passes=attributor -aa-pipeline='basic-aa' -attributor-disable=false -attributor-max-iterations-verify -attributor-max-iterations=2 < %s | FileCheck %s --check-prefixes=ATTRIBUTOR ; RUN: opt -S -passes=attributor -aa-pipeline='basic-aa' -attributor-disable=false -attributor-max-iterations-verify -attributor-max-iterations=2 < %s | FileCheck %s --check-prefixes=ATTRIBUTOR
; RUN: opt -S -passes='globalopt,attributor' -aa-pipeline='basic-aa' -attributor-disable=false -attributor-max-iterations-verify -attributor-max-iterations=2 < %s | FileCheck %s --check-prefixes=GLOBALOPT_ATTRIBUTOR ; RUN: opt -S -passes='globalopt,attributor' -aa-pipeline='basic-aa' -attributor-disable=false -attributor-max-iterations-verify -attributor-max-iterations=2 < %s | FileCheck %s --check-prefixes=GLOBALOPT_ATTRIBUTOR
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
%struct.ss = type { i32, i32 } %struct.ss = type { i32, i32 }
; Argpromote + sroa should change this to passing the two integers by value. ; Argpromote + sroa should change this to passing the two integers by value.
define internal i32 @f(%struct.ss* inalloca %s) { define internal i32 @f(%struct.ss* inalloca(%struct.ss) %s) {
; ATTRIBUTOR-LABEL: define {{[^@]+}}@f ; ATTRIBUTOR-LABEL: define {{[^@]+}}@f
; ATTRIBUTOR-SAME: (%struct.ss* inalloca noalias nocapture nofree nonnull align 4 dereferenceable(8) [[S:%.*]]) ; ATTRIBUTOR-SAME: (%struct.ss* noalias nocapture nofree nonnull inalloca(%struct.ss) align 4 dereferenceable(8) [[S:%.*]])
; ATTRIBUTOR-NEXT: entry: ; ATTRIBUTOR-NEXT: entry:
; ATTRIBUTOR-NEXT: [[F0:%.*]] = getelementptr [[STRUCT_SS:%.*]], %struct.ss* [[S]], i32 0, i32 0 ; ATTRIBUTOR-NEXT: [[F0:%.*]] = getelementptr [[STRUCT_SS:%.*]], %struct.ss* [[S]], i32 0, i32 0
; ATTRIBUTOR-NEXT: [[F1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1 ; ATTRIBUTOR-NEXT: [[F1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
; ATTRIBUTOR-NEXT: [[A:%.*]] = load i32, i32* [[F0]], align 4 ; ATTRIBUTOR-NEXT: [[A:%.*]] = load i32, i32* [[F0]], align 4
; ATTRIBUTOR-NEXT: [[B:%.*]] = load i32, i32* [[F1]], align 4 ; ATTRIBUTOR-NEXT: [[B:%.*]] = load i32, i32* [[F1]], align 4
; ATTRIBUTOR-NEXT: [[R:%.*]] = add i32 [[A]], [[B]] ; ATTRIBUTOR-NEXT: [[R:%.*]] = add i32 [[A]], [[B]]
; ATTRIBUTOR-NEXT: ret i32 [[R]] ; ATTRIBUTOR-NEXT: ret i32 [[R]]
; ;
Show All 19 Lines
define i32 @main() { define i32 @main() {
; ATTRIBUTOR-LABEL: define {{[^@]+}}@main() ; ATTRIBUTOR-LABEL: define {{[^@]+}}@main()
; ATTRIBUTOR-NEXT: entry: ; ATTRIBUTOR-NEXT: entry:
; ATTRIBUTOR-NEXT: [[S:%.*]] = alloca inalloca [[STRUCT_SS:%.*]] ; ATTRIBUTOR-NEXT: [[S:%.*]] = alloca inalloca [[STRUCT_SS:%.*]]
; ATTRIBUTOR-NEXT: [[F0:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 0 ; ATTRIBUTOR-NEXT: [[F0:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 0
; ATTRIBUTOR-NEXT: [[F1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1 ; ATTRIBUTOR-NEXT: [[F1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
; ATTRIBUTOR-NEXT: store i32 1, i32* [[F0]], align 4 ; ATTRIBUTOR-NEXT: store i32 1, i32* [[F0]], align 4
; ATTRIBUTOR-NEXT: store i32 2, i32* [[F1]], align 4 ; ATTRIBUTOR-NEXT: store i32 2, i32* [[F1]], align 4
; ATTRIBUTOR-NEXT: [[R:%.*]] = call i32 @f(%struct.ss* inalloca noalias nocapture nofree nonnull align 4 dereferenceable(8) [[S]]) ; ATTRIBUTOR-NEXT: [[R:%.*]] = call i32 @f(%struct.ss* noalias nocapture nofree nonnull inalloca(%struct.ss) align 4 dereferenceable(8) [[S]])
; ATTRIBUTOR-NEXT: ret i32 [[R]] ; ATTRIBUTOR-NEXT: ret i32 [[R]]
; ;
; GLOBALOPT_ATTRIBUTOR-LABEL: define {{[^@]+}}@main() local_unnamed_addr ; GLOBALOPT_ATTRIBUTOR-LABEL: define {{[^@]+}}@main() local_unnamed_addr
; GLOBALOPT_ATTRIBUTOR-NEXT: entry: ; GLOBALOPT_ATTRIBUTOR-NEXT: entry:
; GLOBALOPT_ATTRIBUTOR-NEXT: [[S:%.*]] = alloca inalloca [[STRUCT_SS:%.*]] ; GLOBALOPT_ATTRIBUTOR-NEXT: [[S:%.*]] = alloca inalloca [[STRUCT_SS:%.*]]
; GLOBALOPT_ATTRIBUTOR-NEXT: [[F0:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 0 ; GLOBALOPT_ATTRIBUTOR-NEXT: [[F0:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 0
; GLOBALOPT_ATTRIBUTOR-NEXT: [[F1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1 ; GLOBALOPT_ATTRIBUTOR-NEXT: [[F1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
; GLOBALOPT_ATTRIBUTOR-NEXT: store i32 1, i32* [[F0]], align 4 ; GLOBALOPT_ATTRIBUTOR-NEXT: store i32 1, i32* [[F0]], align 4
; GLOBALOPT_ATTRIBUTOR-NEXT: store i32 2, i32* [[F1]], align 4 ; GLOBALOPT_ATTRIBUTOR-NEXT: store i32 2, i32* [[F1]], align 4
; GLOBALOPT_ATTRIBUTOR-NEXT: [[R:%.*]] = call fastcc i32 @f(%struct.ss* noalias nocapture nofree nonnull readonly align 4 dereferenceable(8) [[S]]) ; GLOBALOPT_ATTRIBUTOR-NEXT: [[R:%.*]] = call fastcc i32 @f(%struct.ss* noalias nocapture nofree nonnull readonly align 4 dereferenceable(8) [[S]])
; GLOBALOPT_ATTRIBUTOR-NEXT: ret i32 [[R]] ; GLOBALOPT_ATTRIBUTOR-NEXT: ret i32 [[R]]
; ;
entry: entry:
%S = alloca inalloca %struct.ss %S = alloca inalloca %struct.ss
%f0 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 0 %f0 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 0
%f1 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 1 %f1 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 1
store i32 1, i32* %f0, align 4 store i32 1, i32* %f0, align 4
store i32 2, i32* %f1, align 4 store i32 2, i32* %f1, align 4
%r = call i32 @f(%struct.ss* inalloca %S) %r = call i32 @f(%struct.ss* inalloca(%struct.ss) %S)
ret i32 %r ret i32 %r
} }
; Argpromote can't promote %a because of the icmp use. ; Argpromote can't promote %a because of the icmp use.
define internal i1 @g(%struct.ss* %a, %struct.ss* inalloca %b) nounwind { define internal i1 @g(%struct.ss* %a, %struct.ss* inalloca(%struct.ss) %b) nounwind {
entry: entry:
%c = icmp eq %struct.ss* %a, %b %c = icmp eq %struct.ss* %a, %b
ret i1 %c ret i1 %c
} }
define i32 @test() { define i32 @test() {
; ATTRIBUTOR-LABEL: define {{[^@]+}}@test() ; ATTRIBUTOR-LABEL: define {{[^@]+}}@test()
; ATTRIBUTOR-NEXT: entry: ; ATTRIBUTOR-NEXT: entry:
; ATTRIBUTOR-NEXT: ret i32 0 ; ATTRIBUTOR-NEXT: ret i32 0
; ;
; GLOBALOPT_ATTRIBUTOR-LABEL: define {{[^@]+}}@test() local_unnamed_addr ; GLOBALOPT_ATTRIBUTOR-LABEL: define {{[^@]+}}@test() local_unnamed_addr
; GLOBALOPT_ATTRIBUTOR-NEXT: entry: ; GLOBALOPT_ATTRIBUTOR-NEXT: entry:
; GLOBALOPT_ATTRIBUTOR-NEXT: ret i32 0 ; GLOBALOPT_ATTRIBUTOR-NEXT: ret i32 0
; ;
entry: entry:
%S = alloca inalloca %struct.ss %S = alloca inalloca %struct.ss
%c = call i1 @g(%struct.ss* %S, %struct.ss* inalloca %S) %c = call i1 @g(%struct.ss* %S, %struct.ss* inalloca(%struct.ss) %S)
ret i32 0 ret i32 0
} }

llvm/test/Transforms/Attributor/readattrs.ll

Show First 20 Lines • Show All 45 Lines • ▼ Show 20 Lines
; ATTRIBUTOR: define void @test6_2(i8** nocapture nonnull writeonly dereferenceable(8) %p, i8* %q) ; ATTRIBUTOR: define void @test6_2(i8** nocapture nonnull writeonly dereferenceable(8) %p, i8* %q)
; This is not a missed optz'n. ; This is not a missed optz'n.
define void @test6_2(i8** %p, i8* %q) { define void @test6_2(i8** %p, i8* %q) {
store i8* %q, i8** %p store i8* %q, i8** %p
call void @test6_1() call void @test6_1()
ret void ret void
} }
; ATTRIBUTOR: define void @test7_1(i32* inalloca nocapture nofree writeonly %a) ; ATTRIBUTOR: define void @test7_1(i32* nocapture nofree writeonly inalloca(i32) %a)
; inalloca parameters are always considered written ; inalloca parameters are always considered written
define void @test7_1(i32* inalloca %a) { define void @test7_1(i32* inalloca(i32) %a) {
ret void ret void
} }
; ATTRIBUTOR: define i32* @test8_1(i32* nofree readnone returned %p) ; ATTRIBUTOR: define i32* @test8_1(i32* nofree readnone returned %p)
define i32* @test8_1(i32* %p) { define i32* @test8_1(i32* %p) {
entry: entry:
ret i32* %p ret i32* %p
} }
▲ Show 20 Lines • Show All 133 Lines • Show Last 20 Lines

llvm/test/Transforms/Attributor/value-simplify.ll

Show First 20 Lines • Show All 195 Lines • ▼ Show 20 Lines;
%r = call i32 @ipccp3i(i32 7) %r = call i32 @ipccp3i(i32 7)
ret i32 %r ret i32 %r
} }
; UTC_ARGS: --turn on ; UTC_ARGS: --turn on
; Do not touch complicated arguments (for now) ; Do not touch complicated arguments (for now)
%struct.X = type { i8* } %struct.X = type { i8* }
define internal i32* @test_inalloca(i32* inalloca %a) { define internal i32* @test_inalloca(i32* inalloca(i32) %a) {
; CHECK-LABEL: define {{[^@]+}}@test_inalloca ; CHECK-LABEL: define {{[^@]+}}@test_inalloca
; CHECK-SAME: (i32* inalloca noalias nofree returned writeonly [[A:%.*]]) ; CHECK-SAME: (i32* noalias nofree returned writeonly inalloca(i32) [[A:%.*]])
; CHECK-NEXT: ret i32* [[A]] ; CHECK-NEXT: ret i32* [[A]]
; ;
ret i32* %a ret i32* %a
} }
define i32* @complicated_args_inalloca() { define i32* @complicated_args_inalloca() {
; CHECK-LABEL: define {{[^@]+}}@complicated_args_inalloca() ; CHECK-LABEL: define {{[^@]+}}@complicated_args_inalloca()
; CHECK-NEXT: [[CALL:%.*]] = call i32* @test_inalloca(i32* noalias nofree writeonly null) ; CHECK-NEXT: [[CALL:%.*]] = call i32* @test_inalloca(i32* noalias nofree writeonly null)
; CHECK-NEXT: ret i32* [[CALL]] ; CHECK-NEXT: ret i32* [[CALL]]
▲ Show 20 Lines • Show All 111 Lines • Show Last 20 Lines

llvm/test/Transforms/FunctionAttrs/readattrs.ll

Show First 20 Lines • Show All 44 Lines • ▼ Show 20 Lines
; CHECK: define void @test6_2(i8** nocapture %p, i8* %q) ; CHECK: define void @test6_2(i8** nocapture %p, i8* %q)
; This is not a missed optz'n. ; This is not a missed optz'n.
define void @test6_2(i8** %p, i8* %q) { define void @test6_2(i8** %p, i8* %q) {
store i8* %q, i8** %p store i8* %q, i8** %p
call void @test6_1() call void @test6_1()
ret void ret void
} }
; CHECK: define void @test7_1(i32* inalloca nocapture %a) ; CHECK: define void @test7_1(i32* nocapture inalloca(i32) %a)
; inalloca parameters are always considered written ; inalloca parameters are always considered written
define void @test7_1(i32* inalloca %a) { define void @test7_1(i32* inalloca(i32) %a) {
ret void ret void
} }
; CHECK: define i32* @test8_1(i32* readnone returned %p) ; CHECK: define i32* @test8_1(i32* readnone returned %p)
define i32* @test8_1(i32* %p) { define i32* @test8_1(i32* %p) {
entry: entry:
ret i32* %p ret i32* %p
} }
▲ Show 20 Lines • Show All 83 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/stacksaverestore.ll

Show First 20 Lines • Show All 66 Lines • ▼ Show 20 Lines
; CHECK: alloca i8 ; CHECK: alloca i8
; CHECK-NOT: stacksave ; CHECK-NOT: stacksave
; CHECK: call void @bar( ; CHECK: call void @bar(
; CHECK-NEXT: call void @llvm.stackrestore(i8* %tmp) ; CHECK-NEXT: call void @llvm.stackrestore(i8* %tmp)
; CHECK: ret void ; CHECK: ret void
declare void @bar(i32, i8*, i8*, i8*, i8*, i32) declare void @bar(i32, i8*, i8*, i8*, i8*, i32)
declare void @inalloca_callee(i32* inalloca) declare void @inalloca_callee(i32* inalloca(i32))
define void @test3(i32 %c) { define void @test3(i32 %c) {
entry: entry:
br label %loop br label %loop
loop: loop:
%i = phi i32 [0, %entry], [%i1, %loop] %i = phi i32 [0, %entry], [%i1, %loop]
%save1 = call i8* @llvm.stacksave() %save1 = call i8* @llvm.stacksave()
%argmem = alloca inalloca i32 %argmem = alloca inalloca i32
store i32 0, i32* %argmem store i32 0, i32* %argmem
call void @inalloca_callee(i32* inalloca %argmem) call void @inalloca_callee(i32* inalloca(i32) %argmem)
; This restore cannot be deleted, the restore below does not make it dead. ; This restore cannot be deleted, the restore below does not make it dead.
call void @llvm.stackrestore(i8* %save1) call void @llvm.stackrestore(i8* %save1)
; FIXME: We should be able to remove this save/restore pair, but we don't. ; FIXME: We should be able to remove this save/restore pair, but we don't.
%save2 = call i8* @llvm.stacksave() %save2 = call i8* @llvm.stacksave()
store i32 0, i32* @glob store i32 0, i32* @glob
call void @llvm.stackrestore(i8* %save2) call void @llvm.stackrestore(i8* %save2)
%i1 = add i32 1, %i %i1 = add i32 1, %i
%done = icmp eq i32 %i1, %c %done = icmp eq i32 %i1, %c
br i1 %done, label %loop, label %return br i1 %done, label %loop, label %return
return: return:
ret void ret void
} }
; CHECK-LABEL: define void @test3( ; CHECK-LABEL: define void @test3(
; CHECK: loop: ; CHECK: loop:
; CHECK: %i = phi i32 [ 0, %entry ], [ %i1, %loop ] ; CHECK: %i = phi i32 [ 0, %entry ], [ %i1, %loop ]
; CHECK: %save1 = call i8* @llvm.stacksave() ; CHECK: %save1 = call i8* @llvm.stacksave()
; CHECK: %argmem = alloca inalloca i32 ; CHECK: %argmem = alloca inalloca i32
; CHECK: store i32 0, i32* %argmem ; CHECK: store i32 0, i32* %argmem
; CHECK: call void @inalloca_callee(i32* inalloca {{.*}} %argmem) ; CHECK: call void @inalloca_callee(i32* {{.*}} inalloca(i32) %argmem)
; CHECK: call void @llvm.stackrestore(i8* %save1) ; CHECK: call void @llvm.stackrestore(i8* %save1)
; CHECK: br i1 %done, label %loop, label %return ; CHECK: br i1 %done, label %loop, label %return
; CHECK: ret void ; CHECK: ret void

llvm/unittests/IR/AttributesTest.cpp

Show First 20 Lines • Show All 178 Lines • ▼ Show 20 LinesTEST(Attributes, StringRepresentation) {
Attribute A = Attribute::getWithByValType(C, Ty); Attribute A = Attribute::getWithByValType(C, Ty);
EXPECT_EQ(A.getAsString(), "byval(%mystruct)"); EXPECT_EQ(A.getAsString(), "byval(%mystruct)");
A = Attribute::getWithByValType(C, nullptr); A = Attribute::getWithByValType(C, nullptr);
EXPECT_EQ(A.getAsString(), "byval"); EXPECT_EQ(A.getAsString(), "byval");
A = Attribute::getWithByValType(C, Type::getInt32Ty(C)); A = Attribute::getWithByValType(C, Type::getInt32Ty(C));
EXPECT_EQ(A.getAsString(), "byval(i32)"); EXPECT_EQ(A.getAsString(), "byval(i32)");
// or inalloca(%mystruct = { i32 })
A = Attribute::getWithInAllocaType(C, Ty);
EXPECT_EQ(A.getAsString(), "inalloca(%mystruct)");
A = Attribute::getWithInAllocaType(C, nullptr);
EXPECT_EQ(A.getAsString(), "inalloca");
A = Attribute::getWithInAllocaType(C, Type::getInt32Ty(C));
EXPECT_EQ(A.getAsString(), "inalloca(i32)");
} }
} // end anonymous namespace } // end anonymous namespace