This is an archive of the discontinued LLVM Phabricator instance.

Paths

Table of Contentst

-
include/clang/
-
clang/
-
Driver/
-
Options.td
-
Frontend/
-
CodeGenOptions.h
-
CodeGenOptions.def
-
lib/
-
CodeGen/
-
CodeGenAction.cpp
-
CodeGenTypes.cpp
-
Frontend/
-
CompilerInvocation.cpp
-
test/
-
CodeGenCXX/
-
apple-kext-indirect-call.cpp
-
apple-kext-indirect-virtual-dtor-call.cpp
-
captured-statements.cpp
-
const-init-cxx11.cpp
-
constructor-init.cpp
-
ctor-dtor-alias.cpp
-
cxx0x-initializer-stdinitializerlist.cpp
-
debug-info-template.cpp
-
dllexport-pr26549.cpp
-
dllexport.cpp
-
dllimport.cpp
-
float128-declarations.cpp
-
float16-declarations.cpp
-
mangle-abi-tag.cpp
-
mangle-ms-templates-memptrs-2.cpp
-
microsoft-abi-extern-template.cpp
-
microsoft-abi-vftables.cpp
-
ms-property.cpp
-
noinline-template.cpp
-
pr29160.cpp
-
static-init-3.cpp
-
template-anonymous-types.cpp
-
template-instantiation.cpp
-
template-linkage.cpp
-
value-init.cpp
-
virtual-base-destructor-call.cpp
-
CodeGenCoroutines/
-
coro-await.cpp
-
CodeGenObjCXX/
-
arc-cxx11-init-list.mm
-
property-lvalue-capture.mm
-
OpenMP/
-
declare_reduction_codegen.cpp
-
target_codegen.cpp
-
target_parallel_codegen.cpp
-
target_simd_codegen.cpp
-
target_teams_codegen.cpp

Differential D40567

Always show template parameters in IR type names
AbandonedPublic

Authored by sepavloff on Nov 28 2017, 10:10 AM.

Download Raw Diff

Details

Reviewers

rsmith
rjmccall
rnk

Summary

If a module contains opaque type and another one contains definition
of equivalent type in sense of C++, llvm-link merges these types.
In this procedure it can rely only on type name. An issue arises if
the type is a class template specialization. See the example.

File 1

template<typename T> struct ABC;
ABC<int> *var_1;

File 2

template<typename T> struct ABC {
  T *f;
};
extern ABC<int> var_1;
ABC<int*> var_2;

llvm-link produces module:

%struct.ABC = type { i32** }
@var_1 = global %struct.ABC* null, align 8
@var_2 = global %struct.ABC zeroinitializer, align 8

Incomplete type ABC<int> from the first module becomes ABC<int*>. It
happens because structure types obtained from template specialization
share the same type name and differ from each other only by version
suffixes, in the example the types are named as ABC and ABC.0.
llvm-link cannot correctly merge these types.

This change enables template arguments in class template specializations.
Clang already prints them in class context, now they will appear in the
class name itself.

Diff Detail

Build Status

Buildable 12561
Build 12561: arc lint + arc unit

Event Timeline

sepavloff created this revision.Nov 28 2017, 10:10 AM

Herald added subscribers: JDevlieghere, eraman. · View Herald TranscriptNov 28 2017, 10:10 AM

sepavloff mentioned this in D40508: Replace long type names in IR with hashes.Nov 28 2017, 10:20 AM

What actual problem is this solving? These IR type names exist only for the convenience of humans reading the IR, and making them long (potentially extremely long) by including template arguments seems likely to hinder that more than it helps.

In D40567#940025, @rsmith wrote:

What actual problem is this solving? These IR type names exist only for the convenience of humans reading the IR, and making them long (potentially extremely long) by including template arguments seems likely to hinder that more than it helps.

There is a case when IR type names are essential. If llvm-link sees opaque type in one TU, it tries to merge it with its definition in another TU. The type name is used to identify proper definition. All template specializations share the same name, so llvm-link has to choose random type, which results in incorrect IR. Such IR prevents from some whole-program analyses. This problem cannot be solved by llvm-link, as some information is already lost.

Possible IR bloating due to long type names is indeed an issue. D40508 tries to solve it by replacing long type name or part of it by SHA1 hash. Type names become shorter and still are usable for type identification across different TUs. Template arguments are added to the type names only if compilation produces IR (including embedded IR in LTO), machine code generation is not affected.

If adding template arguments in all cases is not appropriate, probably it makes sense to have an option, something like '--precise-ir', that would turn this generation on? It could be used in the cases when accurate type information in IR is required.

Consider a bit more complicated example.

File common.h

#ifndef COMMON_H
#define COMMON_H
struct Alarm { };
struct Info { };
template<typename T> struct Handler;
#endif

File use-1.cpp

#include "common.h"
Handler<Info> *info;
void set(Handler<Info> *e) { info = e; }

File use-2.cpp

#include "common.h"
Handler<Alarm> *alarm;
void set(Handler<Alarm> *e) { alarm = e; }

File defs.h

#ifndef DEFS_H
#define DEFS_H
template<> struct Handler<Info> { int val; };
template<> struct Handler<Alarm> { char val; };
void set(Handler<Info> *);
void set(Handler<Alarm> *);
#endif

File main.cpp

#include "common.h"
#include "defs.h"
void init() {
  Handler<Info> i;
  set(&i);
  Handler<Alarm> a;
  set(&a);
}

Process these files with commands:

clang -c -emit-llvm use-1.cpp -o use-1.cpp.bc
clang -c -emit-llvm use-2.cpp -o use-2.cpp.bc
clang -c -emit-llvm main.cpp -o main.cpp.bc
llvm-link use-1.cpp.bc use-2.cpp.bc main.cpp.bc -S -o test.ll

The resulting IR file has deficiencies:

The types of the global variables info and alarm are the same:

%struct.Event = type { i32 }
%struct.Event.0 = type { i8 }
@info = global %struct.Event* null, align 8
@alarm = global %struct.Event* null, align 8

The signatures of the set functions are the same:

define void @_Z4fireP5EventI4InfoE(%struct.Event* %e) #0 {
…
}

define void @_Z4fireP5EventI5AlarmE(%struct.Event* %e) #0 {
…
}

The call to set(Handler<Alarm> *) is augmented by a bitcast to 'fix' its type:

define void @_Z4fireP5EventI5AlarmE(%struct.Event* %e) #0 {
…
call void bitcast (void (%struct.Event*)* @_Z4fireP5EventI5AlarmE to void (%struct.Event.0*)*)(%struct.Event.0* %a)
…
}

The IR created by llvm-link is distorted. Although code generation (in LTO compilation) might be unaffected by this distortions, other applications of IR linking suffer from it. It does not allow to implement some checks, validation techniques and optimizations.

Updated patch

old type names are generated always if --ir-type-names is not specified,
added new value of --ir-type-names, none, to suppress type names,
value of --ir-type-names is stored in module properties.

Harbormaster completed remote builds in B12820: Diff 125761.Dec 6 2017, 10:11 AM

In D40567#943747, @sepavloff wrote:

Although code generation (in LTO compilation) might be unaffected by this distortions, other applications of IR linking suffer from it. It does not allow to implement some checks, validation techniques and optimizations.

Any system trying to use IR type names to deduce information about source-level types is simply wrong. We simply don't provide the sort of guarantees you seem to be looking for here. We don't even guarantee to consistently use the same IR type for the same source type within a single translation unit. IR type names exist only for the benefit of humans reading the IR.

kosarev added a subscriber: kosarev.Dec 23 2017, 1:59 PM

The feedback here, in D40508 and in the mail list (http://lists.llvm.org/pipermail/llvm-dev/2017-December/119585.html) demonstrates that this is a wrong direction.
Part of this patch is used in D43805, which implements in some sense an opposite approach, - using nameless llvm types.

Revision Contents

Path

Size

include/

clang/

Driver/

Options.td

4 lines

Frontend/

CodeGenOptions.h

12 lines

CodeGenOptions.def

5 lines

lib/

CodeGen/

CodeGenAction.cpp

11 lines

CodeGenTypes.cpp

8 lines

Frontend/

CompilerInvocation.cpp

13 lines

test/

CodeGenCXX/

apple-kext-indirect-call.cpp

8 lines

apple-kext-indirect-virtual-dtor-call.cpp

10 lines

captured-statements.cpp

4 lines

const-init-cxx11.cpp

2 lines

constructor-init.cpp

2 lines

ctor-dtor-alias.cpp

2 lines

cxx0x-initializer-stdinitializerlist.cpp

8 lines

debug-info-template.cpp

4 lines

dllexport-pr26549.cpp

2 lines

dllexport.cpp

14 lines

dllimport.cpp

4 lines

float128-declarations.cpp

6 lines

float16-declarations.cpp

6 lines

mangle-abi-tag.cpp

2 lines

mangle-ms-templates-memptrs-2.cpp

2 lines

microsoft-abi-extern-template.cpp

10 lines

microsoft-abi-vftables.cpp

4 lines

ms-property.cpp

34 lines

noinline-template.cpp

2 lines

pr29160.cpp

2 lines

static-init-3.cpp

4 lines

template-anonymous-types.cpp

8 lines

template-instantiation.cpp

2 lines

template-linkage.cpp

2 lines

value-init.cpp

2 lines

virtual-base-destructor-call.cpp

12 lines

CodeGenCoroutines/

coro-await.cpp

4 lines

CodeGenObjCXX/

arc-cxx11-init-list.mm

6 lines

property-lvalue-capture.mm

4 lines

OpenMP/

declare_reduction_codegen.cpp

4 lines

target_codegen.cpp

4 lines

target_parallel_codegen.cpp

2 lines

target_simd_codegen.cpp

2 lines

target_teams_codegen.cpp

2 lines

Diff 124600

include/clang/Driver/Options.td

Show First 20 Lines • Show All 1,655 Lines • ▼ Show 20 Lines	def iframeworkwithsysroot : JoinedOrSeparate<["-"], "iframeworkwithsysroot">,
MetaVarName<"<directory>">, Flags<[CC1Option]>;		MetaVarName<"<directory>">, Flags<[CC1Option]>;
def imacros : JoinedOrSeparate<["-", "--"], "imacros">, Group<clang_i_Group>, Flags<[CC1Option]>,		def imacros : JoinedOrSeparate<["-", "--"], "imacros">, Group<clang_i_Group>, Flags<[CC1Option]>,
HelpText<"Include macros from file before parsing">, MetaVarName<"<file>">;		HelpText<"Include macros from file before parsing">, MetaVarName<"<file>">;
def image__base : Separate<["-"], "image_base">;		def image__base : Separate<["-"], "image_base">;
def include_ : JoinedOrSeparate<["-", "--"], "include">, Group<clang_i_Group>, EnumName<"include">,		def include_ : JoinedOrSeparate<["-", "--"], "include">, Group<clang_i_Group>, EnumName<"include">,
MetaVarName<"<file>">, HelpText<"Include file before parsing">, Flags<[CC1Option]>;		MetaVarName<"<file>">, HelpText<"Include file before parsing">, Flags<[CC1Option]>;
def include_pch : Separate<["-"], "include-pch">, Group<clang_i_Group>, Flags<[CC1Option]>,		def include_pch : Separate<["-"], "include-pch">, Group<clang_i_Group>, Flags<[CC1Option]>,
HelpText<"Include precompiled header file">, MetaVarName<"<file>">;		HelpText<"Include precompiled header file">, MetaVarName<"<file>">;
		def ir_type_names_EQ : Joined<["--"], "ir-type-names=">,
		Flags<[CC1Option, HelpHidden]>,
		HelpText<"Encoding of IR type names (option: terse, full)">,
		Values<"terse,full">;
def relocatable_pch : Flag<["-", "--"], "relocatable-pch">, Flags<[CC1Option]>,		def relocatable_pch : Flag<["-", "--"], "relocatable-pch">, Flags<[CC1Option]>,
HelpText<"Whether to build a relocatable precompiled header">;		HelpText<"Whether to build a relocatable precompiled header">;
def verify_pch : Flag<["-"], "verify-pch">, Group<Action_Group>, Flags<[CC1Option]>,		def verify_pch : Flag<["-"], "verify-pch">, Group<Action_Group>, Flags<[CC1Option]>,
HelpText<"Load and verify that a pre-compiled header file is not stale">;		HelpText<"Load and verify that a pre-compiled header file is not stale">;
def init : Separate<["-"], "init">;		def init : Separate<["-"], "init">;
def install__name : Separate<["-"], "install_name">;		def install__name : Separate<["-"], "install_name">;
def iprefix : JoinedOrSeparate<["-"], "iprefix">, Group<clang_i_Group>, Flags<[CC1Option]>,		def iprefix : JoinedOrSeparate<["-"], "iprefix">, Group<clang_i_Group>, Flags<[CC1Option]>,
HelpText<"Set the -iwithprefix/-iwithprefixbefore prefix">, MetaVarName<"<dir>">;		HelpText<"Set the -iwithprefix/-iwithprefixbefore prefix">, MetaVarName<"<dir>">;
▲ Show 20 Lines • Show All 1,078 Lines • Show Last 20 Lines

include/clang/Frontend/CodeGenOptions.h

Show First 20 Lines • Show All 100 Lines • ▼ Show 20 Lines	public:

enum EmbedBitcodeKind {		enum EmbedBitcodeKind {
Embed_Off, // No embedded bitcode.		Embed_Off, // No embedded bitcode.
Embed_All, // Embed both bitcode and commandline in the output.		Embed_All, // Embed both bitcode and commandline in the output.
Embed_Bitcode, // Embed just the bitcode in the output.		Embed_Bitcode, // Embed just the bitcode in the output.
Embed_Marker // Embed a marker as a placeholder for bitcode.		Embed_Marker // Embed a marker as a placeholder for bitcode.
};		};

		/// Describes what kind of names should be specified for LLVM IR objects.
		///
		/// For example, LLVM structure types corresponding to template class
		/// specializations may be assigned names with template arguments (as
		/// "struct.Foo<int>") or name with only version suffix (as "Foo.123").
		///
		enum class IRNameKind {
		Unspecified, ///< No special option was passed.
		Terse, ///< Only minimal name.
		Full, ///< Full names (with template parameters).
		};

/// The code model to use (-mcmodel).		/// The code model to use (-mcmodel).
std::string CodeModel;		std::string CodeModel;

/// The filename with path we use for coverage data files. The runtime		/// The filename with path we use for coverage data files. The runtime
/// allows further manipulation with the GCOV_PREFIX and GCOV_PREFIX_STRIP		/// allows further manipulation with the GCOV_PREFIX and GCOV_PREFIX_STRIP
/// environment variables.		/// environment variables.
std::string CoverageDataFile;		std::string CoverageDataFile;

▲ Show 20 Lines • Show All 182 Lines • Show Last 20 Lines

include/clang/Frontend/CodeGenOptions.def

Show First 20 Lines • Show All 65 Lines • ▼ Show 20 Lines	CODEGENOPT(EmitDeclMetadata , 1, 0) ///< Emit special metadata indicating what
///< Only useful when running CodeGen as a		///< Only useful when running CodeGen as a
///< subroutine.		///< subroutine.
CODEGENOPT(EmitGcovArcs , 1, 0) ///< Emit coverage data files, aka. GCDA.		CODEGENOPT(EmitGcovArcs , 1, 0) ///< Emit coverage data files, aka. GCDA.
CODEGENOPT(EmitGcovNotes , 1, 0) ///< Emit coverage "notes" files, aka GCNO.		CODEGENOPT(EmitGcovNotes , 1, 0) ///< Emit coverage "notes" files, aka GCNO.
CODEGENOPT(EmitOpenCLArgMetadata , 1, 0) ///< Emit OpenCL kernel arg metadata.		CODEGENOPT(EmitOpenCLArgMetadata , 1, 0) ///< Emit OpenCL kernel arg metadata.
CODEGENOPT(EmulatedTLS , 1, 0) ///< Set when -femulated-tls is enabled.		CODEGENOPT(EmulatedTLS , 1, 0) ///< Set when -femulated-tls is enabled.
/// \brief Embed Bitcode mode (off/all/bitcode/marker).		/// \brief Embed Bitcode mode (off/all/bitcode/marker).
ENUM_CODEGENOPT(EmbedBitcode, EmbedBitcodeKind, 2, Embed_Off)		ENUM_CODEGENOPT(EmbedBitcode, EmbedBitcodeKind, 2, Embed_Off)

		/// What kind of names should be specified for LLVM IR objects.
		/// \see CodeGenOptions::IRNameKind.
		ENUM_CODEGENOPT(IRTypeNames, IRNameKind, 4, IRNameKind::Unspecified)

CODEGENOPT(ForbidGuardVariables , 1, 0) ///< Issue errors if C++ guard variables		CODEGENOPT(ForbidGuardVariables , 1, 0) ///< Issue errors if C++ guard variables
///< are required.		///< are required.
CODEGENOPT(FunctionSections , 1, 0) ///< Set when -ffunction-sections is enabled.		CODEGENOPT(FunctionSections , 1, 0) ///< Set when -ffunction-sections is enabled.
CODEGENOPT(InstrumentFunctions , 1, 0) ///< Set when -finstrument-functions is		CODEGENOPT(InstrumentFunctions , 1, 0) ///< Set when -finstrument-functions is
///< enabled.		///< enabled.
CODEGENOPT(InstrumentFunctionsAfterInlining , 1, 0) ///< Set when		CODEGENOPT(InstrumentFunctionsAfterInlining , 1, 0) ///< Set when
///< -finstrument-functions-after-inlining is enabled.		///< -finstrument-functions-after-inlining is enabled.
CODEGENOPT(InstrumentFunctionEntryBare , 1, 0) ///< Set when		CODEGENOPT(InstrumentFunctionEntryBare , 1, 0) ///< Set when
▲ Show 20 Lines • Show All 229 Lines • Show Last 20 Lines

lib/CodeGen/CodeGenAction.cpp

Show First 20 Lines • Show All 878 Lines • ▼ Show 20 Lines	CodeGenAction::CreateASTConsumer(CompilerInstance &CI, StringRef InFile) {
CoverageSourceInfo *CoverageInfo = nullptr;		CoverageSourceInfo *CoverageInfo = nullptr;
// Add the preprocessor callback only when the coverage mapping is generated.		// Add the preprocessor callback only when the coverage mapping is generated.
if (CI.getCodeGenOpts().CoverageMapping) {		if (CI.getCodeGenOpts().CoverageMapping) {
CoverageInfo = new CoverageSourceInfo;		CoverageInfo = new CoverageSourceInfo;
CI.getPreprocessor().addPPCallbacks(		CI.getPreprocessor().addPPCallbacks(
std::unique_ptr<PPCallbacks>(CoverageInfo));		std::unique_ptr<PPCallbacks>(CoverageInfo));
}		}

		// If IR representation can be used in linking, types in it must have
		// full names.
		if (CI.getCodeGenOpts().getIRTypeNames()
		== CodeGenOptions::IRNameKind::Unspecified &&
		(BA == Backend_EmitBC \|\|
		BA == Backend_EmitLL \|\|
		(BA == Backend_EmitObj &&
		CI.getCodeGenOpts().getEmbedBitcode() != CodeGenOptions::Embed_Off) \|\|
		!LinkModules.empty()))
		CI.getCodeGenOpts().setIRTypeNames(CodeGenOptions::IRNameKind::Full);

std::unique_ptr<BackendConsumer> Result(new BackendConsumer(		std::unique_ptr<BackendConsumer> Result(new BackendConsumer(
BA, CI.getDiagnostics(), CI.getHeaderSearchOpts(),		BA, CI.getDiagnostics(), CI.getHeaderSearchOpts(),
CI.getPreprocessorOpts(), CI.getCodeGenOpts(), CI.getTargetOpts(),		CI.getPreprocessorOpts(), CI.getCodeGenOpts(), CI.getTargetOpts(),
CI.getLangOpts(), CI.getFrontendOpts().ShowTimers, InFile,		CI.getLangOpts(), CI.getFrontendOpts().ShowTimers, InFile,
std::move(LinkModules), std::move(OS), *VMContext, CoverageInfo));		std::move(LinkModules), std::move(OS), *VMContext, CoverageInfo));
BEConsumer = Result.get();		BEConsumer = Result.get();

// Enable generating macro debug info only when debug info is not disabled and		// Enable generating macro debug info only when debug info is not disabled and
▲ Show 20 Lines • Show All 164 Lines • Show Last 20 Lines

lib/CodeGen/CodeGenTypes.cpp

	Show First 20 Lines • Show All 48 Lines • ▼ Show 20 Lines
	}			}

	void CodeGenTypes::addRecordTypeName(const RecordDecl *RD,			void CodeGenTypes::addRecordTypeName(const RecordDecl *RD,
	llvm::StructType *Ty,			llvm::StructType *Ty,
	StringRef suffix) {			StringRef suffix) {
	SmallString<256> TypeName;			SmallString<256> TypeName;
	llvm::raw_svector_ostream OS(TypeName);			llvm::raw_svector_ostream OS(TypeName);
	OS << RD->getKindName() << '.';			OS << RD->getKindName() << '.';

	// Name the codegen type after the typedef name			// Name the codegen type after the typedef name
	// if there is no tag type name available			// if there is no tag type name available
	if (RD->getIdentifier()) {			if (RD->getIdentifier()) {
	// FIXME: We should not have to check for a null decl context here.			// FIXME: We should not have to check for a null decl context here.
	// Right now we do it because the implicit Obj-C decls don't have one.			// Right now we do it because the implicit Obj-C decls don't have one.
	if (RD->getDeclContext())			if (RD->getDeclContext())
	RD->printQualifiedName(OS);			RD->printQualifiedName(OS);
	else			else
	RD->printName(OS);			RD->printName(OS);
				if (getCodeGenOpts().getIRTypeNames() == CodeGenOptions::IRNameKind::Full)
				if (auto *Spec = dyn_cast<ClassTemplateSpecializationDecl>(RD)) {
				const TemplateArgumentList &TemplateArgs = Spec->getTemplateArgs();
				TemplateSpecializationType::PrintTemplateArgumentList(
				OS, TemplateArgs.asArray(), RD->getASTContext().getPrintingPolicy());
				}
	} else if (const TypedefNameDecl *TDD = RD->getTypedefNameForAnonDecl()) {			} else if (const TypedefNameDecl *TDD = RD->getTypedefNameForAnonDecl()) {
	// FIXME: We should not have to check for a null decl context here.			// FIXME: We should not have to check for a null decl context here.
	// Right now we do it because the implicit Obj-C decls don't have one.			// Right now we do it because the implicit Obj-C decls don't have one.
	if (TDD->getDeclContext())			if (TDD->getDeclContext())
	TDD->printQualifiedName(OS);			TDD->printQualifiedName(OS);
	else			else
	TDD->printName(OS);			TDD->printName(OS);
	} else			} else
	▲ Show 20 Lines • Show All 710 Lines • Show Last 20 Lines

lib/Frontend/CompilerInvocation.cpp

Show First 20 Lines • Show All 772 Lines • ▼ Show 20 Lines	for (const auto &A : Args) {
StringRef ArgStr(arg);		StringRef ArgStr(arg);
Opts.CmdArgs.insert(Opts.CmdArgs.end(), ArgStr.begin(), ArgStr.end());		Opts.CmdArgs.insert(Opts.CmdArgs.end(), ArgStr.begin(), ArgStr.end());
// using \00 to seperate each commandline options.		// using \00 to seperate each commandline options.
Opts.CmdArgs.push_back('\0');		Opts.CmdArgs.push_back('\0');
}		}
}		}
}		}

		if (Arg *A = Args.getLastArg(OPT_ir_type_names_EQ)) {
		StringRef Name = A->getValue();
		auto Info = llvm::StringSwitch<CodeGenOptions::IRNameKind>(Name)
		.Case("terse", CodeGenOptions::IRNameKind::Terse)
		.Case("full", CodeGenOptions::IRNameKind::Full)
		.Default(CodeGenOptions::IRNameKind::Unspecified);
		if (Info == CodeGenOptions::IRNameKind::Unspecified) {
		Diags.Report(diag::err_drv_invalid_value) << A->getAsString(Args) << Name;
		Success = false;
		} else
		Opts.setIRTypeNames(Info);
		}

Opts.PreserveVec3Type = Args.hasArg(OPT_fpreserve_vec3_type);		Opts.PreserveVec3Type = Args.hasArg(OPT_fpreserve_vec3_type);
Opts.InstrumentFunctions = Args.hasArg(OPT_finstrument_functions);		Opts.InstrumentFunctions = Args.hasArg(OPT_finstrument_functions);
Opts.InstrumentFunctionsAfterInlining =		Opts.InstrumentFunctionsAfterInlining =
Args.hasArg(OPT_finstrument_functions_after_inlining);		Args.hasArg(OPT_finstrument_functions_after_inlining);
Opts.InstrumentFunctionEntryBare =		Opts.InstrumentFunctionEntryBare =
Args.hasArg(OPT_finstrument_function_entry_bare);		Args.hasArg(OPT_finstrument_function_entry_bare);
Opts.XRayInstrumentFunctions = Args.hasArg(OPT_fxray_instrument);		Opts.XRayInstrumentFunctions = Args.hasArg(OPT_fxray_instrument);
Opts.XRayInstructionThreshold =		Opts.XRayInstructionThreshold =
▲ Show 20 Lines • Show All 2,162 Lines • Show Last 20 Lines

test/CodeGenCXX/apple-kext-indirect-call.cpp

// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fapple-kext -emit-llvm -o - %s \| FileCheck %s		// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fapple-kext -emit-llvm -o - %s \| FileCheck %s

// CHECK: @_ZTV5TemplIiE = internal unnamed_addr constant { [5 x i8] } { [5 x i8] [i8* null, i8* bitcast ({ i8, i8 }* @_ZTI5TemplIiE to i8), i8 bitcast (void (%struct.Templ) @_ZN5TemplIiE1fEv to i8), i8 bitcast (void (%struct.Templ) @_ZN5TemplIiE1gEv to i8), i8 null] }		// CHECK: @_ZTV5TemplIiE = internal unnamed_addr constant { [5 x i8] } { [5 x i8] [i8* null, i8* bitcast ({ i8, i8 }* @_ZTI5TemplIiE to i8), i8 bitcast (void (%"struct.Templ<int>") @_ZN5TemplIiE1fEv to i8), i8 bitcast (void (%"struct.Templ<int>") @_ZN5TemplIiE1gEv to i8), i8 null] }

struct Base {		struct Base {
virtual void abc(void) const;		virtual void abc(void) const;
};		};

void Base::abc(void) const {}		void Base::abc(void) const {}

void FUNC(Base* p) {		void FUNC(Base* p) {
Show All 20 Lines	void f(SubTempl<int>* t) {
// to load Templ<int>'s vtable. Hence, Templ<int>::g needs to be		// to load Templ<int>'s vtable. Hence, Templ<int>::g needs to be
// instantiated in this TU, for it's referenced by the vtable.		// instantiated in this TU, for it's referenced by the vtable.
// (This happens only in apple-kext mode; elsewhere virtual calls can always		// (This happens only in apple-kext mode; elsewhere virtual calls can always
// use the vtable pointer off this instead of having to load the vtable		// use the vtable pointer off this instead of having to load the vtable
// symbol.)		// symbol.)
t->Templ::f();		t->Templ::f();
}		}

// CHECK: getelementptr inbounds (void (%struct.Templ), void (%struct.Templ)* bitcast ({ [5 x i8] } @_ZTV5TemplIiE to void (%struct.Templ)*), i64 2)		// CHECK: getelementptr inbounds (void (%"struct.Templ<int>"), void (%"struct.Templ<int>")* bitcast ({ [5 x i8] } @_ZTV5TemplIiE to void (%"struct.Templ<int>")*), i64 2)
// CHECK: define internal void @_ZN5TemplIiE1fEv(%struct.Templ* %this)		// CHECK: define internal void @_ZN5TemplIiE1fEv(%"struct.Templ<int>"* %this)
// CHECK: define internal void @_ZN5TemplIiE1gEv(%struct.Templ* %this)		// CHECK: define internal void @_ZN5TemplIiE1gEv(%"struct.Templ<int>"* %this)

test/CodeGenCXX/apple-kext-indirect-virtual-dtor-call.cpp

// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fapple-kext -fno-rtti -disable-O0-optnone -emit-llvm -o - %s \| FileCheck %s		// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fapple-kext -fno-rtti -disable-O0-optnone -emit-llvm -o - %s \| FileCheck %s

// CHECK: @_ZTV5TemplIiE = internal unnamed_addr constant { [7 x i8] } { [7 x i8] [i8* null, i8* null, i8* bitcast (void (%struct.Templ) @_ZN5TemplIiED1Ev to i8), i8 bitcast (void (%struct.Templ) @_ZN5TemplIiED0Ev to i8), i8 bitcast (void (%struct.Templ) @_ZN5TemplIiE1fEv to i8), i8 bitcast (void (%struct.Templ) @_ZN5TemplIiE1gEv to i8), i8 null] }		// CHECK: @_ZTV5TemplIiE = internal unnamed_addr constant { [7 x i8] } { [7 x i8] [i8* null, i8* null, i8* bitcast (void (%"struct.Templ<int>") @_ZN5TemplIiED1Ev to i8), i8 bitcast (void (%"struct.Templ<int>") @_ZN5TemplIiED0Ev to i8), i8 bitcast (void (%"struct.Templ<int>") @_ZN5TemplIiE1fEv to i8), i8 bitcast (void (%"struct.Templ<int>") @_ZN5TemplIiE1gEv to i8), i8 null] }

struct B1 {		struct B1 {
virtual ~B1();		virtual ~B1();
};		};

B1::~B1() {}		B1::~B1() {}

void DELETE(B1 *pb1) {		void DELETE(B1 *pb1) {
Show All 25 Lines	void f(SubTempl<int>* t) {
// to load Templ<int>'s vtable. Hence, Templ<int>::g needs to be		// to load Templ<int>'s vtable. Hence, Templ<int>::g needs to be
// instantiated in this TU, for it's referenced by the vtable.		// instantiated in this TU, for it's referenced by the vtable.
// (This happens only in apple-kext mode; elsewhere virtual calls can always		// (This happens only in apple-kext mode; elsewhere virtual calls can always
// use the vtable pointer off this instead of having to load the vtable		// use the vtable pointer off this instead of having to load the vtable
// symbol.)		// symbol.)
t->Templ::~Templ();		t->Templ::~Templ();
}		}

// CHECK: getelementptr inbounds (void (%struct.Templ), void (%struct.Templ)* bitcast ({ [7 x i8] } @_ZTV5TemplIiE to void (%struct.Templ)*), i64 2)		// CHECK: getelementptr inbounds (void (%"struct.Templ<int>"), void (%"struct.Templ<int>")* bitcast ({ [7 x i8] } @_ZTV5TemplIiE to void (%"struct.Templ<int>")*), i64 2)
// CHECK: declare void @_ZN5TemplIiED0Ev(%struct.Templ*)		// CHECK: declare void @_ZN5TemplIiED0Ev(%"struct.Templ<int>"*)
// CHECK: define internal void @_ZN5TemplIiE1fEv(%struct.Templ* %this)		// CHECK: define internal void @_ZN5TemplIiE1fEv(%"struct.Templ<int>"* %this)
// CHECK: define internal void @_ZN5TemplIiE1gEv(%struct.Templ* %this)		// CHECK: define internal void @_ZN5TemplIiE1gEv(%"struct.Templ<int>"* %this)

test/CodeGenCXX/captured-statements.cpp

Show First 20 Lines • Show All 139 Lines • ▼ Show 20 Lines	void test_capture_var() {
// CHECK-5-NOT: }		// CHECK-5-NOT: }
// CHECK-5: store i32*		// CHECK-5: store i32*
// CHECK-5: call void @__captured_stmt		// CHECK-5: call void @__captured_stmt
// CHECK-5-NEXT: ret void		// CHECK-5-NEXT: ret void
template_capture_var<int, 201>();		template_capture_var<int, 201>();

// CHECK-5: define {{.*}} void @_ZN3ValIfLi202EE3setEv		// CHECK-5: define {{.*}} void @_ZN3ValIfLi202EE3setEv
// CHECK-5-NOT: }		// CHECK-5-NOT: }
// CHECK-5: store %class.Val*		// CHECK-5: store %"class.Val<float, 202>"*
// CHECK-5: call void @__captured_stmt		// CHECK-5: call void @__captured_stmt
// CHECK-5-NEXT: ret void		// CHECK-5-NEXT: ret void
Val<float, 202> Obj;		Val<float, 202> Obj;
Obj.set();		Obj.set();

// CHECK-5: define {{.*}} void @_ZN3ValIfLi202EE3fooIdLi203EEEvT_		// CHECK-5: define {{.*}} void @_ZN3ValIfLi202EE3fooIdLi203EEEvT_
// CHECK-5-NOT: }		// CHECK-5-NOT: }
// CHECK-5: store %class.Val*		// CHECK-5: store %"class.Val<float, 202>"*
// CHECK-5: store double		// CHECK-5: store double
// CHECK-5: call void @__captured_stmt		// CHECK-5: call void @__captured_stmt
// CHECK-5-NEXT: ret void		// CHECK-5-NEXT: ret void
Obj.foo<double, 203>(1.0);		Obj.foo<double, 203>(1.0);
}		}

template <typename T>		template <typename T>
void template_capture_lambda() {		void template_capture_lambda() {
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

test/CodeGenCXX/const-init-cxx11.cpp

	Show First 20 Lines • Show All 602 Lines • ▼ Show 20 Lines
	};			};

	// CHECK: @_ZGRN34ClassWithStaticConstexprDataMember1X1pE_			// CHECK: @_ZGRN34ClassWithStaticConstexprDataMember1X1pE_
	const char *f() { return &X::p; }			const char *f() { return &X::p; }
	}			}

	// VirtualMembers::TemplateClass::templateMethod() must be defined in this TU,			// VirtualMembers::TemplateClass::templateMethod() must be defined in this TU,
	// not just declared.			// not just declared.
	// CHECK: define linkonce_odr void @_ZN14VirtualMembers13TemplateClassIiE14templateMethodEv(%"struct.VirtualMembers::TemplateClass"* %this)			// CHECK: define linkonce_odr void @_ZN14VirtualMembers13TemplateClassIiE14templateMethodEv(%"struct.VirtualMembers::TemplateClass<int>"* %this)

test/CodeGenCXX/constructor-init.cpp

Show First 20 Lines • Show All 157 Lines • ▼ Show 20 Lines	struct X {
T *start;		T *start;
T *end;		T *end;
};		};

template<typename T> struct X;		template<typename T> struct X;

// Make sure that the instantiated constructor initializes start and		// Make sure that the instantiated constructor initializes start and
// end properly.		// end properly.
// CHECK-LABEL: define linkonce_odr void @_ZN1XIiEC2ERKS0_(%struct.X* %this, %struct.X* dereferenceable({{[0-9]+}}) %other) unnamed_addr		// CHECK-LABEL: define linkonce_odr void @_ZN1XIiEC2ERKS0_(%"struct.X<int>"* %this, %"struct.X<int>"* dereferenceable({{[0-9]+}}) %other) unnamed_addr
// CHECK: {{store.*null}}		// CHECK: {{store.*null}}
// CHECK: {{store.*null}}		// CHECK: {{store.*null}}
// CHECK: ret		// CHECK: ret
template<typename T>		template<typename T>
X<T>::X(const X &other) : start(0), end(0) { }		X<T>::X(const X &other) : start(0), end(0) { }

X<int> get_X(X<int> x) { return x; }		X<int> get_X(X<int> x) { return x; }

▲ Show 20 Lines • Show All 67 Lines • Show Last 20 Lines

test/CodeGenCXX/ctor-dtor-alias.cpp

	Show All 9 Lines

	// RUN: %clang_cc1 %s -triple i686-pc-windows-gnu -emit-llvm -o - -mconstructor-aliases -O1 -disable-llvm-passes \| FileCheck --check-prefix=COFF %s			// RUN: %clang_cc1 %s -triple i686-pc-windows-gnu -emit-llvm -o - -mconstructor-aliases -O1 -disable-llvm-passes \| FileCheck --check-prefix=COFF %s

	namespace test1 {			namespace test1 {
	// Test that we produce the apropriate comdats when creating aliases to			// Test that we produce the apropriate comdats when creating aliases to
	// weak_odr constructors and destructors.			// weak_odr constructors and destructors.

	// CHECK1: @_ZN5test16foobarIvEC1Ev = weak_odr alias void {{.*}} @_ZN5test16foobarIvEC2Ev			// CHECK1: @_ZN5test16foobarIvEC1Ev = weak_odr alias void {{.*}} @_ZN5test16foobarIvEC2Ev
	// CHECK1: @_ZN5test16foobarIvED1Ev = weak_odr alias void (%"struct.test1::foobar"), void (%"struct.test1::foobar")* @_ZN5test16foobarIvED2Ev			// CHECK1: @_ZN5test16foobarIvED1Ev = weak_odr alias void (%"struct.test1::foobar<void>"), void (%"struct.test1::foobar<void>")* @_ZN5test16foobarIvED2Ev
	// CHECK1: define weak_odr void @_ZN5test16foobarIvEC2Ev({{.*}} comdat($_ZN5test16foobarIvEC5Ev)			// CHECK1: define weak_odr void @_ZN5test16foobarIvEC2Ev({{.*}} comdat($_ZN5test16foobarIvEC5Ev)
	// CHECK1: define weak_odr void @_ZN5test16foobarIvED2Ev({{.*}} comdat($_ZN5test16foobarIvED5Ev)			// CHECK1: define weak_odr void @_ZN5test16foobarIvED2Ev({{.*}} comdat($_ZN5test16foobarIvED5Ev)
	// CHECK1: define weak_odr void @_ZN5test16foobarIvED0Ev({{.*}} comdat($_ZN5test16foobarIvED5Ev)			// CHECK1: define weak_odr void @_ZN5test16foobarIvED0Ev({{.*}} comdat($_ZN5test16foobarIvED5Ev)
	// CHECK1-NOT: comdat			// CHECK1-NOT: comdat

	// COFF doesn't support comdats with arbitrary names (C5/D5).			// COFF doesn't support comdats with arbitrary names (C5/D5).
	// COFF: define weak_odr {{.}} void @_ZN5test16foobarIvEC2Ev({{.}} comdat align			// COFF: define weak_odr {{.}} void @_ZN5test16foobarIvEC2Ev({{.}} comdat align
	// COFF: define weak_odr {{.}} void @_ZN5test16foobarIvEC1Ev({{.}} comdat align			// COFF: define weak_odr {{.}} void @_ZN5test16foobarIvEC1Ev({{.}} comdat align
	▲ Show 20 Lines • Show All 222 Lines • Show Last 20 Lines

test/CodeGenCXX/cxx0x-initializer-stdinitializerlist.cpp

Show First 20 Lines • Show All 511 Lines • ▼ Show 20 Lines	namespace B19773010 {

enum E { ENUM_CONSTANT };		enum E { ENUM_CONSTANT };
struct testcase {		struct testcase {
testcase(std::initializer_list<pair<const char *, E>>);		testcase(std::initializer_list<pair<const char *, E>>);
};		};
void f1() {		void f1() {
// CHECK-LABEL: @_ZN9B197730102f1Ev		// CHECK-LABEL: @_ZN9B197730102f1Ev
testcase a{{"", ENUM_CONSTANT}};		testcase a{{"", ENUM_CONSTANT}};
// X86: store %"struct.B19773010::pair"* getelementptr inbounds ([1 x %"struct.B19773010::pair"], [1 x %"struct.B19773010::pair"]* bitcast ([1 x { i8, i32 }] @.ref.tmp{{.}} to [1 x %"struct.B19773010::pair"]), i64 0, i64 0), %"struct.B19773010::pair"** %{{.*}}, align 8		// X86: store %"struct.B19773010::pair<const char , B19773010::E>" getelementptr inbounds ([1 x %"struct.B19773010::pair<const char , B19773010::E>"], [1 x %"struct.B19773010::pair<const char , B19773010::E>"]* bitcast ([1 x { i8, i32 }] @.ref.tmp{{.}} to [1 x %"struct.B19773010::pair<const char , B19773010::E>"]), i64 0, i64 0), %"struct.B19773010::pair<const char , B19773010::E>"** %{{.*}}, align 8
// AMD: store %"struct.B19773010::pair"* getelementptr inbounds ([1 x %"struct.B19773010::pair"], [1 x %"struct.B19773010::pair"]* addrspacecast{{.}} bitcast ([1 x { i8, i32 }] addrspace(2)* @.ref.tmp{{.}} to [1 x %"struct.B19773010::pair"] addrspace(2)){{.}}, i64 0, i64 0), %"struct.B19773010::pair"* %{{.*}}, align 8		// AMD: store %"struct.B19773010::pair<const char , B19773010::E>" getelementptr inbounds ([1 x %"struct.B19773010::pair<const char , B19773010::E>"], [1 x %"struct.B19773010::pair<const char , B19773010::E>"]* addrspacecast{{.}} bitcast ([1 x { i8, i32 }] addrspace(2)* @.ref.tmp{{.}} to [1 x %"struct.B19773010::pair<const char , B19773010::E>"] addrspace(2)){{.}}, i64 0, i64 0), %"struct.B19773010::pair<const char , B19773010::E>"* %{{.*}}, align 8
}		}
void f2() {		void f2() {
// CHECK-LABEL: @_ZN9B197730102f2Ev		// CHECK-LABEL: @_ZN9B197730102f2Ev
// X86: store %"struct.B19773010::pair"* getelementptr inbounds ([1 x %"struct.B19773010::pair"], [1 x %"struct.B19773010::pair"]* bitcast ([1 x { i8, i32 }] @_ZGRZN9B197730102f2EvE1p_ to [1 x %"struct.B19773010::pair"]), i64 0, i64 0), %"struct.B19773010::pair"* getelementptr inbounds ([2 x %"class.std::initializer_list.10"], [2 x %"class.std::initializer_list.10"]* @_ZZN9B197730102f2EvE1p, i64 0, i64 1, i32 0), align 16		// X86: store %"struct.B19773010::pair<const char , B19773010::E>" getelementptr inbounds ([1 x %"struct.B19773010::pair<const char , B19773010::E>"], [1 x %"struct.B19773010::pair<const char , B19773010::E>"]* bitcast ([1 x { i8, i32 }] @_ZGRZN9B197730102f2EvE1p_ to [1 x %"struct.B19773010::pair<const char , B19773010::E>"]), i64 0, i64 0), %"struct.B19773010::pair<const char , B19773010::E>"* getelementptr inbounds ([2 x %"class.std::initializer_list<B19773010::pair<const char , B19773010::E> >"], [2 x %"class.std::initializer_list<B19773010::pair<const char , B19773010::E> >"]* @_ZZN9B197730102f2EvE1p, i64 0, i64 1, i32 0), align 16
// AMD: store %"struct.B19773010::pair"* getelementptr inbounds ([1 x %"struct.B19773010::pair"], [1 x %"struct.B19773010::pair"]* addrspacecast{{.}} bitcast ([1 x { i8, i32 }] addrspace(1)* @_ZGRZN9B197730102f2EvE1p_ to [1 x %"struct.B19773010::pair"] addrspace(1)){{.}}, i64 0, i64 0), %"struct.B19773010::pair"** getelementptr inbounds ([2 x %"class.std::initializer_list.10"], [2 x %"class.std::initializer_list.10"]* addrspacecast{{.}}@_ZZN9B197730102f2EvE1p{{.}}, i64 0, i64 1, i32 0), align 8		// AMD: store %"struct.B19773010::pair<const char , B19773010::E>" getelementptr inbounds ([1 x %"struct.B19773010::pair<const char , B19773010::E>"], [1 x %"struct.B19773010::pair<const char , B19773010::E>"]* addrspacecast{{.}} bitcast ([1 x { i8, i32 }] addrspace(1)* @_ZGRZN9B197730102f2EvE1p_ to [1 x %"struct.B19773010::pair<const char , B19773010::E>"] addrspace(1)){{.}}, i64 0, i64 0), %"struct.B19773010::pair<const char , B19773010::E>"** getelementptr inbounds ([2 x %"class.std::initializer_list<B19773010::pair<const char , B19773010::E> >"], [2 x %"class.std::initializer_list<B19773010::pair<const char , B19773010::E> >"]* addrspacecast{{.}}@_ZZN9B197730102f2EvE1p{{.}}, i64 0, i64 1, i32 0), align 8
static std::initializer_list<pair<const char *, E>> a, p[2] =		static std::initializer_list<pair<const char *, E>> a, p[2] =
{a, {{"", ENUM_CONSTANT}}};		{a, {{"", ENUM_CONSTANT}}};
}		}

void PR22940_helper(const pair<void*, int>&) { }		void PR22940_helper(const pair<void*, int>&) { }
void PR22940() {		void PR22940() {
// CHECK-LABEL: @_ZN9B197730107PR22940Ev		// CHECK-LABEL: @_ZN9B197730107PR22940Ev
// CHECK: call {{.*}} @_ZN9B197730104pairIPviEC{{.}}Ev(		// CHECK: call {{.*}} @_ZN9B197730104pairIPviEC{{.}}Ev(
// CHECK: call {{.*}} @_ZN9B1977301014PR22940_helperERKNS_4pairIPviEE(		// CHECK: call {{.*}} @_ZN9B1977301014PR22940_helperERKNS_4pairIPviEE(
PR22940_helper(pair<void*, int>());		PR22940_helper(pair<void*, int>());
}		}
}		}

test/CodeGenCXX/debug-info-template.cpp

	// RUN: %clang -S -emit-llvm -target x86_64-unknown_unknown -g %s -o - -std=c++11 \| FileCheck %s			// RUN: %clang -S -emit-llvm -target x86_64-unknown_unknown -g %s -o - -std=c++11 \| FileCheck %s

	// CHECK: @tci = global %"struct.TC<unsigned int, 2, &glb, &foo::e, &foo::f, &foo::g, 1, 2, 3>::nested" zeroinitializer, align 1, !dbg [[TCI:![0-9]+]]			// CHECK: @tci = global %"struct.TC<unsigned int, 2, &glb, &foo::e, &foo::f, &foo::g, 1, 2, 3>::nested" zeroinitializer, align 1, !dbg [[TCI:![0-9]+]]
	// CHECK: @tcn = global %struct.TC zeroinitializer, align 1, !dbg [[TCN:![0-9]+]]			// CHECK: @tcn = global %"struct.TC<int, -3, nullptr, nullptr, nullptr, nullptr>" zeroinitializer, align 1, !dbg [[TCN:![0-9]+]]
	// CHECK: @nn = global %struct.NN zeroinitializer, align 1, !dbg [[NN:![0-9]+]]			// CHECK: @nn = global %"struct.NN<tmpl_impl, &glb, &glb>" zeroinitializer, align 1, !dbg [[NN:![0-9]+]]

	// CHECK: !DICompileUnit(			// CHECK: !DICompileUnit(
	// CHECK: [[EMPTY:![0-9]*]] = !{}			// CHECK: [[EMPTY:![0-9]*]] = !{}

	struct foo {			struct foo {
	char pad[8]; // make the member pointer to 'e' a bit more interesting (nonzero)			char pad[8]; // make the member pointer to 'e' a bit more interesting (nonzero)
	int e;			int e;
	void f();			void f();
	▲ Show 20 Lines • Show All 149 Lines • Show Last 20 Lines

test/CodeGenCXX/dllexport-pr26549.cpp

	// RUN: %clang_cc1 %s -fms-extensions -triple x86_64-windows-msvc -emit-llvm -o - \| FileCheck %s			// RUN: %clang_cc1 %s -fms-extensions -triple x86_64-windows-msvc -emit-llvm -o - \| FileCheck %s

	template <typename> struct MessageT { };			template <typename> struct MessageT { };
	extern template struct MessageT<int>;			extern template struct MessageT<int>;

	// CHECK: define weak_odr dllexport {{.}} %struct.MessageT @"\01??4?$MessageT@H@@QEAAAEAU0@AEBU0@@Z"(			// CHECK: define weak_odr dllexport {{.}} %"struct.MessageT<int>" @"\01??4?$MessageT@H@@QEAAAEAU0@AEBU0@@Z"(
	template struct __declspec(dllexport) MessageT<int>;			template struct __declspec(dllexport) MessageT<int>;
	// Previously we crashed when this dllexport was the last thing in the file.			// Previously we crashed when this dllexport was the last thing in the file.
	// DO NOT ADD MORE TESTS AFTER THIS LINE!			// DO NOT ADD MORE TESTS AFTER THIS LINE!

test/CodeGenCXX/dllexport.cpp

	Show First 20 Lines • Show All 558 Lines • ▼ Show 20 Lines
	int useExportedTmplStaticAndFun()			int useExportedTmplStaticAndFun()
	{			{
	return TmplClass<int>::StaticClassVarExpTmplClass + TypeFunTmpl<int>(10);			return TmplClass<int>::StaticClassVarExpTmplClass + TypeFunTmpl<int>(10);
	}			}

	template <typename T> struct __declspec(dllexport) U { void foo() {} };			template <typename T> struct __declspec(dllexport) U { void foo() {} };
	struct __declspec(dllexport) V : public U<int> { };			struct __declspec(dllexport) V : public U<int> { };
	// U<int>'s assignment operator is emitted.			// U<int>'s assignment operator is emitted.
	// M32-DAG: define weak_odr dllexport x86_thiscallcc dereferenceable({{[0-9]+}}) %struct.U* @"\01??4?$U@H@@QAEAAU0@ABU0@@Z"			// M32-DAG: define weak_odr dllexport x86_thiscallcc dereferenceable({{[0-9]+}}) %"struct.U<int>"* @"\01??4?$U@H@@QAEAAU0@ABU0@@Z"

	struct __declspec(dllexport) W { virtual void foo(); };			struct __declspec(dllexport) W { virtual void foo(); };
	void W::foo() {}			void W::foo() {}
	// Default ctor:			// Default ctor:
	// M32-DAG: define weak_odr dllexport x86_thiscallcc %struct.W* @"\01??0W@@QAE@XZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc %struct.W* @"\01??0W@@QAE@XZ"
	// Copy ctor:			// Copy ctor:
	// M32-DAG: define weak_odr dllexport x86_thiscallcc %struct.W* @"\01??0W@@QAE@ABU0@@Z"			// M32-DAG: define weak_odr dllexport x86_thiscallcc %struct.W* @"\01??0W@@QAE@ABU0@@Z"
	// vftable:			// vftable:
	▲ Show 20 Lines • Show All 120 Lines • ▼ Show 20 Lines
	NonExportedBaseClass::~NonExportedBaseClass() {}			NonExportedBaseClass::~NonExportedBaseClass() {}

	struct __declspec(dllexport) ExportedDerivedClass : NonExportedBaseClass {};			struct __declspec(dllexport) ExportedDerivedClass : NonExportedBaseClass {};
	// M32-DAG: weak_odr dllexport x86_thiscallcc void @"\01??1ExportedDerivedClass@@UAE@XZ"			// M32-DAG: weak_odr dllexport x86_thiscallcc void @"\01??1ExportedDerivedClass@@UAE@XZ"

	// Do not assert about generating code for constexpr functions twice during explicit instantiation (PR21718).			// Do not assert about generating code for constexpr functions twice during explicit instantiation (PR21718).
	template <typename T> struct ExplicitInstConstexprMembers {			template <typename T> struct ExplicitInstConstexprMembers {
	// Copy assignment operator			// Copy assignment operator
	// M32-DAG: define weak_odr dllexport x86_thiscallcc dereferenceable(1) %struct.ExplicitInstConstexprMembers* @"\01??4?$ExplicitInstConstexprMembers@X@@QAEAAU0@ABU0@@Z"			// M32-DAG: define weak_odr dllexport x86_thiscallcc dereferenceable(1) %"struct.ExplicitInstConstexprMembers<void>"* @"\01??4?$ExplicitInstConstexprMembers@X@@QAEAAU0@ABU0@@Z"

	constexpr ExplicitInstConstexprMembers() {}			constexpr ExplicitInstConstexprMembers() {}
	// M32-DAG: define weak_odr dllexport x86_thiscallcc %struct.ExplicitInstConstexprMembers* @"\01??0?$ExplicitInstConstexprMembers@X@@QAE@XZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.ExplicitInstConstexprMembers<void>"* @"\01??0?$ExplicitInstConstexprMembers@X@@QAE@XZ"

	ExplicitInstConstexprMembers(const ExplicitInstConstexprMembers&) = default;			ExplicitInstConstexprMembers(const ExplicitInstConstexprMembers&) = default;
	// M32MSVC2013-DAG: define weak_odr dllexport x86_thiscallcc %struct.ExplicitInstConstexprMembers* @"\01??0?$ExplicitInstConstexprMembers@X@@QAE@ABU0@@Z"			// M32MSVC2013-DAG: define weak_odr dllexport x86_thiscallcc %"struct.ExplicitInstConstexprMembers<void>"* @"\01??0?$ExplicitInstConstexprMembers@X@@QAE@ABU0@@Z"

	constexpr int f() const { return 42; }			constexpr int f() const { return 42; }
	// M32-DAG: define weak_odr dllexport x86_thiscallcc i32 @"\01?f@?$ExplicitInstConstexprMembers@X@@QBEHXZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc i32 @"\01?f@?$ExplicitInstConstexprMembers@X@@QBEHXZ"
	};			};
	template struct __declspec(dllexport) ExplicitInstConstexprMembers<void>;			template struct __declspec(dllexport) ExplicitInstConstexprMembers<void>;

	template <typename T> struct ExplicitInstantiationDeclTemplate { void f() {} };			template <typename T> struct ExplicitInstantiationDeclTemplate { void f() {} };
	extern template struct __declspec(dllexport) ExplicitInstantiationDeclTemplate<int>;			extern template struct __declspec(dllexport) ExplicitInstantiationDeclTemplate<int>;
	USEMEMFUNC(ExplicitInstantiationDeclTemplate<int>, f);			USEMEMFUNC(ExplicitInstantiationDeclTemplate<int>, f);
	// M32-DAG: {{declare\|define available_externally}} x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclTemplate@H@@QAEXXZ"			// M32-DAG: {{declare\|define available_externally}} x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclTemplate@H@@QAEXXZ"

	template <typename T> struct __declspec(dllexport) ExplicitInstantiationDeclExportedTemplate { void f() {} };			template <typename T> struct __declspec(dllexport) ExplicitInstantiationDeclExportedTemplate { void f() {} };
	extern template struct ExplicitInstantiationDeclExportedTemplate<int>;			extern template struct ExplicitInstantiationDeclExportedTemplate<int>;
	USEMEMFUNC(ExplicitInstantiationDeclExportedTemplate<int>, f);			USEMEMFUNC(ExplicitInstantiationDeclExportedTemplate<int>, f);
	// M32-DAG: {{declare\|define available_externally}} x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclExportedTemplate@H@@QAEXXZ"			// M32-DAG: {{declare\|define available_externally}} x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclExportedTemplate@H@@QAEXXZ"

	template <typename T> struct ExplicitInstantiationDeclExportedDefTemplate { void f() {} ExplicitInstantiationDeclExportedDefTemplate() {} };			template <typename T> struct ExplicitInstantiationDeclExportedDefTemplate { void f() {} ExplicitInstantiationDeclExportedDefTemplate() {} };
	extern template struct ExplicitInstantiationDeclExportedDefTemplate<int>;			extern template struct ExplicitInstantiationDeclExportedDefTemplate<int>;
	template struct __declspec(dllexport) ExplicitInstantiationDeclExportedDefTemplate<int>;			template struct __declspec(dllexport) ExplicitInstantiationDeclExportedDefTemplate<int>;
	USEMEMFUNC(ExplicitInstantiationDeclExportedDefTemplate<int>, f);			USEMEMFUNC(ExplicitInstantiationDeclExportedDefTemplate<int>, f);
	// M32-DAG: define weak_odr dllexport x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclExportedDefTemplate@H@@QAEXXZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclExportedDefTemplate@H@@QAEXXZ"
	// M32-DAG: define weak_odr dllexport x86_thiscallcc %struct.ExplicitInstantiationDeclExportedDefTemplate* @"\01??0?$ExplicitInstantiationDeclExportedDefTemplate@H@@QAE@XZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.ExplicitInstantiationDeclExportedDefTemplate<int>"* @"\01??0?$ExplicitInstantiationDeclExportedDefTemplate@H@@QAE@XZ"
	// G32-DAG: define weak_odr x86_thiscallcc void @_ZN44ExplicitInstantiationDeclExportedDefTemplateIiE1fEv			// G32-DAG: define weak_odr x86_thiscallcc void @_ZN44ExplicitInstantiationDeclExportedDefTemplateIiE1fEv

	template <typename T> struct ImplicitInstantiationExportedExplicitInstantiationDefTemplate { virtual void f() {} };			template <typename T> struct ImplicitInstantiationExportedExplicitInstantiationDefTemplate { virtual void f() {} };
	ImplicitInstantiationExportedExplicitInstantiationDefTemplate<int> ImplicitInstantiationExportedExplicitInstantiationDefTemplateInstance;			ImplicitInstantiationExportedExplicitInstantiationDefTemplate<int> ImplicitInstantiationExportedExplicitInstantiationDefTemplateInstance;
	template struct __declspec(dllexport) ImplicitInstantiationExportedExplicitInstantiationDefTemplate<int>;			template struct __declspec(dllexport) ImplicitInstantiationExportedExplicitInstantiationDefTemplate<int>;
	USEMEMFUNC(ImplicitInstantiationExportedExplicitInstantiationDefTemplate<int>, f);			USEMEMFUNC(ImplicitInstantiationExportedExplicitInstantiationDefTemplate<int>, f);
	// M32-DAG: define weak_odr dllexport x86_thiscallcc void @"\01?f@?$ImplicitInstantiationExportedExplicitInstantiationDefTemplate@H@@UAEXXZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc void @"\01?f@?$ImplicitInstantiationExportedExplicitInstantiationDefTemplate@H@@UAEXXZ"
	// G32-DAG: define weak_odr x86_thiscallcc void @_ZN61ImplicitInstantiationExportedExplicitInstantiationDefTemplateIiE1fEv			// G32-DAG: define weak_odr x86_thiscallcc void @_ZN61ImplicitInstantiationExportedExplicitInstantiationDefTemplateIiE1fEv
	Show All 34 Lines
	// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.InClassInits::S"* @"\01??0S@InClassInits@@QAE@XZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.InClassInits::S"* @"\01??0S@InClassInits@@QAE@XZ"

	// dllexport an already instantiated class template.			// dllexport an already instantiated class template.
	template <typename T> struct Base {			template <typename T> struct Base {
	int x = 42;			int x = 42;
	};			};
	Base<int> base;			Base<int> base;
	struct __declspec(dllexport) T : Base<int> { };			struct __declspec(dllexport) T : Base<int> { };
	// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.InClassInits::Base"* @"\01??0?$Base@H@InClassInits@@QAE@XZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.InClassInits::Base<int>"* @"\01??0?$Base@H@InClassInits@@QAE@XZ"

	struct A { A(int); };			struct A { A(int); };
	struct __declspec(dllexport) U {			struct __declspec(dllexport) U {
	// Class with both default constructor closure and in-class initializer.			// Class with both default constructor closure and in-class initializer.
	U(A = 0) {}			U(A = 0) {}
	int x = 0;			int x = 0;
	};			};
	// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.InClassInits::U"* @"\01??0U@InClassInits@@QAE@UA@1@@Z"			// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.InClassInits::U"* @"\01??0U@InClassInits@@QAE@UA@1@@Z"

	struct Evil {			struct Evil {
	template <typename T> struct Base {			template <typename T> struct Base {
	int x = 0;			int x = 0;
	};			};
	struct S : Base<int> {};			struct S : Base<int> {};
	// The already instantiated Base<int> becomes dllexported below, but the			// The already instantiated Base<int> becomes dllexported below, but the
	// in-class initializer for Base<>::x still hasn't been parsed, so emitting			// in-class initializer for Base<>::x still hasn't been parsed, so emitting
	// the default ctor must still be delayed.			// the default ctor must still be delayed.
	struct __declspec(dllexport) T : Base<int> {};			struct __declspec(dllexport) T : Base<int> {};
	};			};
	// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.InClassInits::Evil::Base"* @"\01??0?$Base@H@Evil@InClassInits@@QAE@XZ"			// M32-DAG: define weak_odr dllexport x86_thiscallcc %"struct.InClassInits::Evil::Base<int>"* @"\01??0?$Base@H@Evil@InClassInits@@QAE@XZ"

	template <typename T> struct Foo {};			template <typename T> struct Foo {};
	template <typename T> struct Bar {			template <typename T> struct Bar {
	Bar<T> &operator=(Foo<T>) {}			Bar<T> &operator=(Foo<T>) {}
	};			};
	struct __declspec(dllexport) Baz {			struct __declspec(dllexport) Baz {
	Bar<int> n;			Bar<int> n;
	};			};
	▲ Show 20 Lines • Show All 174 Lines • Show Last 20 Lines

test/CodeGenCXX/dllimport.cpp

	Show First 20 Lines • Show All 814 Lines • ▼ Show 20 Lines
	// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc void @"\01?f@?$ExplicitlyInstantiatedWithDifferentAttr@H@@QAEXXZ"			// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc void @"\01?f@?$ExplicitlyInstantiatedWithDifferentAttr@H@@QAEXXZ"

	template <typename T> struct ExplicitInstantiationDeclImportedDefTemplate { void f() {} ExplicitInstantiationDeclImportedDefTemplate() {}};			template <typename T> struct ExplicitInstantiationDeclImportedDefTemplate { void f() {} ExplicitInstantiationDeclImportedDefTemplate() {}};
	extern template struct ExplicitInstantiationDeclImportedDefTemplate<int>;			extern template struct ExplicitInstantiationDeclImportedDefTemplate<int>;
	template struct __declspec(dllimport) ExplicitInstantiationDeclImportedDefTemplate<int>;			template struct __declspec(dllimport) ExplicitInstantiationDeclImportedDefTemplate<int>;
	USECLASS(ExplicitInstantiationDeclImportedDefTemplate<int>);			USECLASS(ExplicitInstantiationDeclImportedDefTemplate<int>);
	USEMEMFUNC(ExplicitInstantiationDeclImportedDefTemplate<int>, f);			USEMEMFUNC(ExplicitInstantiationDeclImportedDefTemplate<int>, f);
	// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclImportedDefTemplate@H@@QAEXXZ"			// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclImportedDefTemplate@H@@QAEXXZ"
	// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc %struct.ExplicitInstantiationDeclImportedDefTemplate* @"\01??0?$ExplicitInstantiationDeclImportedDefTemplate@H@@QAE@XZ"			// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc %"struct.ExplicitInstantiationDeclImportedDefTemplate<int>"* @"\01??0?$ExplicitInstantiationDeclImportedDefTemplate@H@@QAE@XZ"
	// G32-DAG: define weak_odr x86_thiscallcc void @_ZN44ExplicitInstantiationDeclImportedDefTemplateIiE1fEv			// G32-DAG: define weak_odr x86_thiscallcc void @_ZN44ExplicitInstantiationDeclImportedDefTemplateIiE1fEv

	template <typename T> struct __declspec(dllimport) ExplicitInstantiationDeclExportedDefImportedTemplate { void f() {} ExplicitInstantiationDeclExportedDefImportedTemplate() {} };			template <typename T> struct __declspec(dllimport) ExplicitInstantiationDeclExportedDefImportedTemplate { void f() {} ExplicitInstantiationDeclExportedDefImportedTemplate() {} };
	extern template struct __declspec(dllimport) ExplicitInstantiationDeclExportedDefImportedTemplate <int>;			extern template struct __declspec(dllimport) ExplicitInstantiationDeclExportedDefImportedTemplate <int>;
	template struct __declspec(dllexport) ExplicitInstantiationDeclExportedDefImportedTemplate<int>;			template struct __declspec(dllexport) ExplicitInstantiationDeclExportedDefImportedTemplate<int>;
	USECLASS(ExplicitInstantiationDeclExportedDefImportedTemplate<int>);			USECLASS(ExplicitInstantiationDeclExportedDefImportedTemplate<int>);
	USEMEMFUNC(ExplicitInstantiationDeclExportedDefImportedTemplate<int>, f);			USEMEMFUNC(ExplicitInstantiationDeclExportedDefImportedTemplate<int>, f);
	// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclExportedDefImportedTemplate@H@@QAEXXZ"			// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc void @"\01?f@?$ExplicitInstantiationDeclExportedDefImportedTemplate@H@@QAEXXZ"
	// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc %struct.ExplicitInstantiationDeclExportedDefImportedTemplate* @"\01??0?$ExplicitInstantiationDeclExportedDefImportedTemplate@H@@QAE@XZ"			// M32-DAG: {{declare\|define available_externally}} dllimport x86_thiscallcc %"struct.ExplicitInstantiationDeclExportedDefImportedTemplate<int>"* @"\01??0?$ExplicitInstantiationDeclExportedDefImportedTemplate@H@@QAE@XZ"

	template <typename T> struct PR23770BaseTemplate { void f() {} };			template <typename T> struct PR23770BaseTemplate { void f() {} };
	template <typename T> struct PR23770DerivedTemplate : PR23770BaseTemplate<int> {};			template <typename T> struct PR23770DerivedTemplate : PR23770BaseTemplate<int> {};
	extern template struct PR23770DerivedTemplate<int>;			extern template struct PR23770DerivedTemplate<int>;
	template struct __declspec(dllimport) PR23770DerivedTemplate<int>;			template struct __declspec(dllimport) PR23770DerivedTemplate<int>;
	USEMEMFUNC(PR23770BaseTemplate<int>, f);			USEMEMFUNC(PR23770BaseTemplate<int>, f);
	// M32-DAG: declare dllimport x86_thiscallcc void @"\01?f@?$PR23770BaseTemplate@H@@QAEXXZ"			// M32-DAG: declare dllimport x86_thiscallcc void @"\01?f@?$PR23770BaseTemplate@H@@QAEXXZ"

	▲ Show 20 Lines • Show All 147 Lines • Show Last 20 Lines

test/CodeGenCXX/float128-declarations.cpp

	Show First 20 Lines • Show All 82 Lines • ▼ Show 20 Lines
	// CHECK-DAG: @f1f = global fp128 0xL00000000000000000000000000000000			// CHECK-DAG: @f1f = global fp128 0xL00000000000000000000000000000000
	// CHECK-DAG: @f2f = global fp128 0xL33333333333333334004033333333333			// CHECK-DAG: @f2f = global fp128 0xL33333333333333334004033333333333
	// CHECK-DAG: @arr1f = global [10 x fp128]			// CHECK-DAG: @arr1f = global [10 x fp128]
	// CHECK-DAG: @arr2f = global [3 x fp128] [fp128 0xL3333333333333333BFFF333333333333, fp128 0xL0000000000000000C000800000000000, fp128 0xL0000000000000000C025176592E00000]			// CHECK-DAG: @arr2f = global [3 x fp128] [fp128 0xL3333333333333333BFFF333333333333, fp128 0xL0000000000000000C000800000000000, fp128 0xL0000000000000000C025176592E00000]
	// CHECK-DAG: declare fp128 @_Z6func1fU10__float128(fp128)			// CHECK-DAG: declare fp128 @_Z6func1fU10__float128(fp128)
	// CHECK-DAG: define linkonce_odr void @_ZN2C1C2EU10__float128(%class.C1* %this, fp128 %arg)			// CHECK-DAG: define linkonce_odr void @_ZN2C1C2EU10__float128(%class.C1* %this, fp128 %arg)
	// CHECK-DAG: define linkonce_odr fp128 @_ZN2C16func2cEU10__float128(fp128 %arg)			// CHECK-DAG: define linkonce_odr fp128 @_ZN2C16func2cEU10__float128(fp128 %arg)
	// CHECK-DAG: define linkonce_odr fp128 @_Z6func1tIU10__float128ET_S0_(fp128 %arg)			// CHECK-DAG: define linkonce_odr fp128 @_Z6func1tIU10__float128ET_S0_(fp128 %arg)
	// CHECK-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant %struct.S1 { fp128 0xL00000000000000004006080000000000 }			// CHECK-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant %"struct.S1<__float128>" { fp128 0xL00000000000000004006080000000000 }
	// CHECK-DAG: store fp128 0xLF0AFD0EBFF292DCE42E0B38CDD83F26F, fp128* %f1l, align 16			// CHECK-DAG: store fp128 0xLF0AFD0EBFF292DCE42E0B38CDD83F26F, fp128* %f1l, align 16
	// CHECK-DAG: store fp128 0xL00000000000000008000000000000000, fp128* %f2l, align 16			// CHECK-DAG: store fp128 0xL00000000000000008000000000000000, fp128* %f2l, align 16
	// CHECK-DAG: store fp128 0xLFFFFFFFFFFFFFFFF7FFEFFFFFFFFFFFF, fp128* %f3l, align 16			// CHECK-DAG: store fp128 0xLFFFFFFFFFFFFFFFF7FFEFFFFFFFFFFFF, fp128* %f3l, align 16
	// CHECK-DAG: store fp128 0xL0000000000000000BFFF000000000000, fp128* %f5l, align 16			// CHECK-DAG: store fp128 0xL0000000000000000BFFF000000000000, fp128* %f5l, align 16
	// CHECK-DAG: [[F4L:%[a-z0-9]+]] = load fp128, fp128* %f4l			// CHECK-DAG: [[F4L:%[a-z0-9]+]] = load fp128, fp128* %f4l
	// CHECK-DAG: [[INC:%[a-z0-9]+]] = fadd fp128 [[F4L]], 0xL00000000000000003FFF000000000000			// CHECK-DAG: [[INC:%[a-z0-9]+]] = fadd fp128 [[F4L]], 0xL00000000000000003FFF000000000000
	// CHECK-DAG: store fp128 [[INC]], fp128* %f4l			// CHECK-DAG: store fp128 [[INC]], fp128* %f4l

	// CHECK-X86-DAG: @_ZN12_GLOBAL__N_13f1nE = internal global fp128 0xL00000000000000000000000000000000			// CHECK-X86-DAG: @_ZN12_GLOBAL__N_13f1nE = internal global fp128 0xL00000000000000000000000000000000
	// CHECK-X86-DAG: @_ZN12_GLOBAL__N_13f2nE = internal global fp128 0xL00000000000000004004080000000000			// CHECK-X86-DAG: @_ZN12_GLOBAL__N_13f2nE = internal global fp128 0xL00000000000000004004080000000000
	// CHECK-X86-DAG: @_ZN12_GLOBAL__N_15arr1nE = internal global [10 x fp128]			// CHECK-X86-DAG: @_ZN12_GLOBAL__N_15arr1nE = internal global [10 x fp128]
	// CHECK-X86-DAG: @_ZN12_GLOBAL__N_15arr2nE = internal global [3 x fp128] [fp128 0xL33333333333333333FFF333333333333, fp128 0xL00000000000000004000800000000000, fp128 0xL00000000000000004025176592E00000]			// CHECK-X86-DAG: @_ZN12_GLOBAL__N_15arr2nE = internal global [3 x fp128] [fp128 0xL33333333333333333FFF333333333333, fp128 0xL00000000000000004000800000000000, fp128 0xL00000000000000004025176592E00000]
	// CHECK-X86-DAG: define internal fp128 @_ZN12_GLOBAL__N_16func1nERKg(fp128*			// CHECK-X86-DAG: define internal fp128 @_ZN12_GLOBAL__N_16func1nERKg(fp128*
	// CHECK-X86-DAG: @f1f = global fp128 0xL00000000000000000000000000000000			// CHECK-X86-DAG: @f1f = global fp128 0xL00000000000000000000000000000000
	// CHECK-X86-DAG: @f2f = global fp128 0xL33333333333333334004033333333333			// CHECK-X86-DAG: @f2f = global fp128 0xL33333333333333334004033333333333
	// CHECK-X86-DAG: @arr1f = global [10 x fp128]			// CHECK-X86-DAG: @arr1f = global [10 x fp128]
	// CHECK-X86-DAG: @arr2f = global [3 x fp128] [fp128 0xL3333333333333333BFFF333333333333, fp128 0xL0000000000000000C000800000000000, fp128 0xL0000000000000000C025176592E00000]			// CHECK-X86-DAG: @arr2f = global [3 x fp128] [fp128 0xL3333333333333333BFFF333333333333, fp128 0xL0000000000000000C000800000000000, fp128 0xL0000000000000000C025176592E00000]
	// CHECK-X86-DAG: declare fp128 @_Z6func1fg(fp128)			// CHECK-X86-DAG: declare fp128 @_Z6func1fg(fp128)
	// CHECK-X86-DAG: define linkonce_odr void @_ZN2C1C2Eg(%class.C1* %this, fp128 %arg)			// CHECK-X86-DAG: define linkonce_odr void @_ZN2C1C2Eg(%class.C1* %this, fp128 %arg)
	// CHECK-X86-DAG: define linkonce_odr fp128 @_ZN2C16func2cEg(fp128 %arg)			// CHECK-X86-DAG: define linkonce_odr fp128 @_ZN2C16func2cEg(fp128 %arg)
	// CHECK-X86-DAG: define linkonce_odr fp128 @_Z6func1tIgET_S0_(fp128 %arg)			// CHECK-X86-DAG: define linkonce_odr fp128 @_Z6func1tIgET_S0_(fp128 %arg)
	// CHECK-X86-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant %struct.S1 { fp128 0xL00000000000000004006080000000000 }			// CHECK-X86-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant %"struct.S1<__float128>" { fp128 0xL00000000000000004006080000000000 }
	// CHECK-X86-DAG: store fp128 0xLF0AFD0EBFF292DCE42E0B38CDD83F26F, fp128* %f1l, align 16			// CHECK-X86-DAG: store fp128 0xLF0AFD0EBFF292DCE42E0B38CDD83F26F, fp128* %f1l, align 16
	// CHECK-X86-DAG: store fp128 0xL00000000000000008000000000000000, fp128* %f2l, align 16			// CHECK-X86-DAG: store fp128 0xL00000000000000008000000000000000, fp128* %f2l, align 16
	// CHECK-X86-DAG: store fp128 0xLFFFFFFFFFFFFFFFF7FFEFFFFFFFFFFFF, fp128* %f3l, align 16			// CHECK-X86-DAG: store fp128 0xLFFFFFFFFFFFFFFFF7FFEFFFFFFFFFFFF, fp128* %f3l, align 16
	// CHECK-X86-DAG: store fp128 0xL0000000000000000BFFF000000000000, fp128* %f5l, align 16			// CHECK-X86-DAG: store fp128 0xL0000000000000000BFFF000000000000, fp128* %f5l, align 16
	// CHECK-X86-DAG: [[F4L:%[a-z0-9]+]] = load fp128, fp128* %f4l			// CHECK-X86-DAG: [[F4L:%[a-z0-9]+]] = load fp128, fp128* %f4l
	// CHECK-X86-DAG: [[INC:%[a-z0-9]+]] = fadd fp128 [[F4L]], 0xL00000000000000003FFF000000000000			// CHECK-X86-DAG: [[INC:%[a-z0-9]+]] = fadd fp128 [[F4L]], 0xL00000000000000003FFF000000000000
	// CHECK-X86-DAG: store fp128 [[INC]], fp128* %f4l			// CHECK-X86-DAG: store fp128 [[INC]], fp128* %f4l

	// CHECK-SYSZ-DAG: @_ZN12_GLOBAL__N_13f1nE = internal global fp128 0xL00000000000000000000000000000000			// CHECK-SYSZ-DAG: @_ZN12_GLOBAL__N_13f1nE = internal global fp128 0xL00000000000000000000000000000000
	// CHECK-SYSZ-DAG: @_ZN12_GLOBAL__N_13f2nE = internal global fp128 0xL00000000000000004004080000000000			// CHECK-SYSZ-DAG: @_ZN12_GLOBAL__N_13f2nE = internal global fp128 0xL00000000000000004004080000000000
	// CHECK-SYSZ-DAG: @_ZN12_GLOBAL__N_15arr1nE = internal global [10 x fp128]			// CHECK-SYSZ-DAG: @_ZN12_GLOBAL__N_15arr1nE = internal global [10 x fp128]
	// CHECK-SYSZ-DAG: @_ZN12_GLOBAL__N_15arr2nE = internal global [3 x fp128] [fp128 0xL33333333333333333FFF333333333333, fp128 0xL00000000000000004000800000000000, fp128 0xL00000000000000004025176592E00000]			// CHECK-SYSZ-DAG: @_ZN12_GLOBAL__N_15arr2nE = internal global [3 x fp128] [fp128 0xL33333333333333333FFF333333333333, fp128 0xL00000000000000004000800000000000, fp128 0xL00000000000000004025176592E00000]
	// CHECK-SYSZ-DAG: define internal void @_ZN12_GLOBAL__N_16func1nERKU10__float128(fp128*			// CHECK-SYSZ-DAG: define internal void @_ZN12_GLOBAL__N_16func1nERKU10__float128(fp128*
	// CHECK-SYSZ-DAG: @f1f = global fp128 0xL00000000000000000000000000000000			// CHECK-SYSZ-DAG: @f1f = global fp128 0xL00000000000000000000000000000000
	// CHECK-SYSZ-DAG: @f2f = global fp128 0xL33333333333333334004033333333333			// CHECK-SYSZ-DAG: @f2f = global fp128 0xL33333333333333334004033333333333
	// CHECK-SYSZ-DAG: @arr1f = global [10 x fp128]			// CHECK-SYSZ-DAG: @arr1f = global [10 x fp128]
	// CHECK-SYSZ-DAG: @arr2f = global [3 x fp128] [fp128 0xL3333333333333333BFFF333333333333, fp128 0xL0000000000000000C000800000000000, fp128 0xL0000000000000000C025176592E00000]			// CHECK-SYSZ-DAG: @arr2f = global [3 x fp128] [fp128 0xL3333333333333333BFFF333333333333, fp128 0xL0000000000000000C000800000000000, fp128 0xL0000000000000000C025176592E00000]
	// CHECK-SYSZ-DAG: declare void @_Z6func1fU10__float128(fp128*			// CHECK-SYSZ-DAG: declare void @_Z6func1fU10__float128(fp128*
	// CHECK-SYSZ-DAG: define linkonce_odr void @_ZN2C1C2EU10__float128(%class.C1* %this, fp128*			// CHECK-SYSZ-DAG: define linkonce_odr void @_ZN2C1C2EU10__float128(%class.C1* %this, fp128*
	// CHECK-SYSZ-DAG: define linkonce_odr void @_ZN2C16func2cEU10__float128(fp128*			// CHECK-SYSZ-DAG: define linkonce_odr void @_ZN2C16func2cEU10__float128(fp128*
	// CHECK-SYSZ-DAG: define linkonce_odr void @_Z6func1tIU10__float128ET_S0_(fp128*			// CHECK-SYSZ-DAG: define linkonce_odr void @_Z6func1tIU10__float128ET_S0_(fp128*
	// CHECK-SYSZ-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant %struct.S1 { fp128 0xL00000000000000004006080000000000 }			// CHECK-SYSZ-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant %"struct.S1<__float128>" { fp128 0xL00000000000000004006080000000000 }
	// CHECK-SYSZ-DAG: store fp128 0xLF0AFD0EBFF292DCE42E0B38CDD83F26F, fp128* %f1l, align 16			// CHECK-SYSZ-DAG: store fp128 0xLF0AFD0EBFF292DCE42E0B38CDD83F26F, fp128* %f1l, align 16
	// CHECK-SYSZ-DAG: store fp128 0xL00000000000000008000000000000000, fp128* %f2l, align 16			// CHECK-SYSZ-DAG: store fp128 0xL00000000000000008000000000000000, fp128* %f2l, align 16
	// CHECK-SYSZ-DAG: store fp128 0xLFFFFFFFFFFFFFFFF7FFEFFFFFFFFFFFF, fp128* %f3l, align 16			// CHECK-SYSZ-DAG: store fp128 0xLFFFFFFFFFFFFFFFF7FFEFFFFFFFFFFFF, fp128* %f3l, align 16
	// CHECK-SYSZ-DAG: store fp128 0xL0000000000000000BFFF000000000000, fp128* %f5l, align 16			// CHECK-SYSZ-DAG: store fp128 0xL0000000000000000BFFF000000000000, fp128* %f5l, align 16
	// CHECK-SYSZ-DAG: [[F4L:%[a-z0-9]+]] = load fp128, fp128* %f4l			// CHECK-SYSZ-DAG: [[F4L:%[a-z0-9]+]] = load fp128, fp128* %f4l
	// CHECK-SYSZ-DAG: [[INC:%[a-z0-9]+]] = fadd fp128 [[F4L]], 0xL00000000000000003FFF000000000000			// CHECK-SYSZ-DAG: [[INC:%[a-z0-9]+]] = fadd fp128 [[F4L]], 0xL00000000000000003FFF000000000000
	// CHECK-SYSZ-DAG: store fp128 [[INC]], fp128* %f4l			// CHECK-SYSZ-DAG: store fp128 [[INC]], fp128* %f4l

test/CodeGenCXX/float16-declarations.cpp

Show First 20 Lines • Show All 104 Lines • ▼ Show 20 Lines	// CHECK-DAG: store half 0xH8000, half* %{{.*}}, align 2
_Float16 f3l = 1.000976562;		_Float16 f3l = 1.000976562;
// CHECK-DAG: store half 0xH3C01, half* %{{.*}}, align 2		// CHECK-DAG: store half 0xH3C01, half* %{{.*}}, align 2

C1 c1(f1l);		C1 c1(f1l);
// CHECK-DAG: [[F1L:%[a-z0-9]+]] = load half, half* %{{.*}}, align 2		// CHECK-DAG: [[F1L:%[a-z0-9]+]] = load half, half* %{{.*}}, align 2
// CHECK-DAG: call void @_ZN2C1C2EDF16_(%class.C1* %{{.}}, half %{{.}})		// CHECK-DAG: call void @_ZN2C1C2EDF16_(%class.C1* %{{.}}, half %{{.}})

S1<_Float16> s1 = { 132.f16 };		S1<_Float16> s1 = { 132.f16 };
// CHECK-AARCH64-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant %struct.S1 { half 0xH5820 }, align 2		// CHECK-AARCH64-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant %"struct.S1<_Float16>" { half 0xH5820 }, align 2
// CHECK-X86-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant { i16 } { i16 22560 }, align 2		// CHECK-X86-DAG: @_ZZ4mainE2s1 = private unnamed_addr constant { i16 } { i16 22560 }, align 2
// CHECK-DAG: [[S1:%[0-9]+]] = bitcast %struct.S1* %{{.}} to i8		// CHECK-DAG: [[S1:%[0-9]+]] = bitcast %"struct.S1<_Float16>"* %{{.}} to i8
// CHECK-AARCH64-DAG: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[S1]], i8* bitcast (%struct.S1* @_ZZ4mainE2s1 to i8*), i64 2, i32 2, i1 false)		// CHECK-AARCH64-DAG: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[S1]], i8* bitcast (%"struct.S1<_Float16>"* @_ZZ4mainE2s1 to i8*), i64 2, i32 2, i1 false)
// CHECK-X86-DAG: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %{{.}}, i8 bitcast ({ i16 }* @_ZZ4mainE2s1 to i8*), i64 2, i32 2, i1 false)		// CHECK-X86-DAG: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %{{.}}, i8 bitcast ({ i16 }* @_ZZ4mainE2s1 to i8*), i64 2, i32 2, i1 false)

_Float16 f4l = func1n(f1l) + func1f(f2l) + c1.func1c(f3l) + c1.func2c(f1l) +		_Float16 f4l = func1n(f1l) + func1f(f2l) + c1.func1c(f3l) + c1.func2c(f1l) +
func1t(f1l) + s1.mem2 - f1n + f2n;		func1t(f1l) + s1.mem2 - f1n + f2n;

auto f5l = -1.f16, *f6l = &f2l, f7l = func1t(f3l);		auto f5l = -1.f16, *f6l = &f2l, f7l = func1t(f3l);
// CHECK-DAG: store half 0xHBC00, half* %{{.*}}, align 2		// CHECK-DAG: store half 0xHBC00, half* %{{.*}}, align 2
// CHECK-DAG: store half* %{{.}}, half* %{{.*}}, align 8		// CHECK-DAG: store half* %{{.}}, half* %{{.*}}, align 8
Show All 32 Lines

test/CodeGenCXX/mangle-abi-tag.cpp

Show First 20 Lines • Show All 139 Lines • ▼ Show 20 Lines	struct L {
}		}
};		};
L::foo();		L::foo();
}		}
void f13_test() {		void f13_test() {
f13();		f13();
}		}
// f13()::L::foo[abi:C][abi:D]()		// f13()::L::foo[abi:C][abi:D]()
// CHECK-DAG: define linkonce_odr %struct.E* @_ZZ3f13vEN1L3fooB1CB1DEv(		// CHECK-DAG: define linkonce_odr %"struct.E<int>"* @_ZZ3f13vEN1L3fooB1CB1DEv(

// f13()::L::foo[abi:C][abi:D]()::a[abi:A][abi:B]		// f13()::L::foo[abi:C][abi:D]()::a[abi:A][abi:B]
// CHECK-DAG: @_ZZZ3f13vEN1L3fooB1CB1DEvE1aB1AB1B =		// CHECK-DAG: @_ZZZ3f13vEN1L3fooB1CB1DEvE1aB1AB1B =

// guard variable for f13()::L::foo[abi:C][abi:D]()::a[abi:A][abi:B]		// guard variable for f13()::L::foo[abi:C][abi:D]()::a[abi:A][abi:B]
// CHECK-DAG: @_ZGVZZ3f13vEN1L3fooB1CB1DEvE1aB1AB1B =		// CHECK-DAG: @_ZGVZZ3f13vEN1L3fooB1CB1DEvE1aB1AB1B =

struct __attribute__((abi_tag("TAG"))) A14 {		struct __attribute__((abi_tag("TAG"))) A14 {
▲ Show 20 Lines • Show All 78 Lines • Show Last 20 Lines

test/CodeGenCXX/mangle-ms-templates-memptrs-2.cpp

	Show First 20 Lines • Show All 51 Lines • ▼ Show 20 Lines
	struct ClassTemplate {			struct ClassTemplate {
	ClassTemplate() {}			ClassTemplate() {}
	};			};

	template struct ClassTemplate<&MostGeneral::h>;			template struct ClassTemplate<&MostGeneral::h>;

	// Test that we mangle in the vbptr offset, which is 12 here.			// Test that we mangle in the vbptr offset, which is 12 here.
	//			//
	// CHECK: define weak_odr x86_thiscallcc %struct.ClassTemplate* @"\01??0?$ClassTemplate@$J??_9MostGeneral@@$BA@AEA@M@3@@QAE@XZ"			// CHECK: define weak_odr x86_thiscallcc %"struct.ClassTemplate<&MostGeneral::h>"* @"\01??0?$ClassTemplate@$J??_9MostGeneral@@$BA@AEA@M@3@@QAE@XZ"

test/CodeGenCXX/microsoft-abi-extern-template.cpp

	// RUN: %clang_cc1 -fno-rtti-data -O1 -disable-llvm-passes %s -emit-llvm -o - -triple x86_64-windows-msvc \| FileCheck %s			// RUN: %clang_cc1 -fno-rtti-data -O1 -disable-llvm-passes %s -emit-llvm -o - -triple x86_64-windows-msvc \| FileCheck %s

	// Even though Foo<int> has an extern template declaration, we have to emit our			// Even though Foo<int> has an extern template declaration, we have to emit our
	// own copy the vftable when emitting the available externally constructor.			// own copy the vftable when emitting the available externally constructor.

	// CHECK: @"\01??_7?$Foo@H@@6B@" = linkonce_odr unnamed_addr constant { [1 x i8] } { [1 x i8] [			// CHECK: @"\01??_7?$Foo@H@@6B@" = linkonce_odr unnamed_addr constant { [1 x i8] } { [1 x i8] [
	// CHECK-SAME: i8* bitcast (i8* (%struct.Foo, i32) @"\01??_G?$Foo@H@@UEAAPEAXI@Z" to i8*)			// CHECK-SAME: i8* bitcast (i8* (%"struct.Foo<int>", i32) @"\01??_G?$Foo@H@@UEAAPEAXI@Z" to i8*)
	// CHECK-SAME: ] }, comdat			// CHECK-SAME: ] }, comdat

	// CHECK-LABEL: define %struct.Foo* @"\01?f@@YAPEAU?$Foo@H@@XZ"()			// CHECK-LABEL: define %"struct.Foo<int>"* @"\01?f@@YAPEAU?$Foo@H@@XZ"()
	// CHECK: call %struct.Foo* @"\01??0?$Foo@H@@QEAA@XZ"(%struct.Foo* %{{.*}})			// CHECK: call %"struct.Foo<int>"* @"\01??0?$Foo@H@@QEAA@XZ"(%"struct.Foo<int>"* %{{.*}})

	// CHECK: define available_externally %struct.Foo* @"\01??0?$Foo@H@@QEAA@XZ"(%struct.Foo* returned %this)			// CHECK: define available_externally %"struct.Foo<int>"* @"\01??0?$Foo@H@@QEAA@XZ"(%"struct.Foo<int>"* returned %this)
	// CHECK: store {{.*}} @"\01??_7?$Foo@H@@6B@"			// CHECK: store {{.*}} @"\01??_7?$Foo@H@@6B@"

	// CHECK: define linkonce_odr i8* @"\01??_G?$Foo@H@@UEAAPEAXI@Z"(%struct.Foo* %this, i32 %should_call_delete)			// CHECK: define linkonce_odr i8* @"\01??_G?$Foo@H@@UEAAPEAXI@Z"(%"struct.Foo<int>"* %this, i32 %should_call_delete)

	struct Base {			struct Base {
	virtual ~Base();			virtual ~Base();
	};			};
	template <typename T> struct Foo : Base {			template <typename T> struct Foo : Base {
	Foo() {}			Foo() {}
	};			};
	extern template class Foo<int>;			extern template class Foo<int>;
	Foo<int> *f() { return new Foo<int>(); }			Foo<int> *f() { return new Foo<int>(); }

test/CodeGenCXX/microsoft-abi-vftables.cpp

	Show First 20 Lines • Show All 43 Lines • ▼ Show 20 Lines
	struct X {};			struct X {};
	template <class> struct Y : virtual X {			template <class> struct Y : virtual X {
	Y() {}			Y() {}
	virtual ~Y();			virtual ~Y();
	};			};

	extern template class Y<int>;			extern template class Y<int>;
	template Y<int>::Y();			template Y<int>::Y();
	// RTTI-DAG: [[VTABLE_Y:@.]] = private unnamed_addr constant { [2 x i8] } { [2 x i8] [i8 bitcast (%rtti.CompleteObjectLocator* @"\01??_R4?$Y@H@@6B@" to i8), i8 bitcast (i8* (%struct.Y, i32) @"\01??_G?$Y@H@@UAEPAXI@Z" to i8*)] }, comdat($"\01??_7?$Y@H@@6B@")			// RTTI-DAG: [[VTABLE_Y:@.]] = private unnamed_addr constant { [2 x i8] } { [2 x i8] [i8 bitcast (%rtti.CompleteObjectLocator* @"\01??_R4?$Y@H@@6B@" to i8), i8 bitcast (i8* (%"struct.Y<int>", i32) @"\01??_G?$Y@H@@UAEPAXI@Z" to i8*)] }, comdat($"\01??_7?$Y@H@@6B@")
	// RTTI-DAG: @"\01??_7?$Y@H@@6B@" = unnamed_addr alias i8, getelementptr inbounds ({ [2 x i8] }, { [2 x i8] } [[VTABLE_Y]], i32 0, i32 0, i32 1)			// RTTI-DAG: @"\01??_7?$Y@H@@6B@" = unnamed_addr alias i8, getelementptr inbounds ({ [2 x i8] }, { [2 x i8] } [[VTABLE_Y]], i32 0, i32 0, i32 1)

	// NO-RTTI-DAG: @"\01??_7?$Y@H@@6B@" = linkonce_odr unnamed_addr constant { [1 x i8] } { [1 x i8] [i8* bitcast (i8* (%struct.Y, i32) @"\01??_G?$Y@H@@UAEPAXI@Z" to i8*)] }, comdat			// NO-RTTI-DAG: @"\01??_7?$Y@H@@6B@" = linkonce_odr unnamed_addr constant { [1 x i8] } { [1 x i8] [i8* bitcast (i8* (%"struct.Y<int>", i32) @"\01??_G?$Y@H@@UAEPAXI@Z" to i8*)] }, comdat

test/CodeGenCXX/ms-property.cpp

Show First 20 Lines • Show All 52 Lines • ▼ Show 20 Lines	int main(int argc, char **argv) {
Test1 t(argc);		Test1 t(argc);
S *p1 = 0;		S *p1 = 0;
St<float> *p2 = 0;		St<float> *p2 = 0;
// CHECK: call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* %{{.+}}, i32 223, i32 11)		// CHECK: call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* %{{.+}}, i32 223, i32 11)
int j = p1->x[223][11];		int j = p1->x[223][11];
// CHECK: [[J:%.+]] = load i32, i32* %		// CHECK: [[J:%.+]] = load i32, i32* %
// CHECK-NEXT: call void @"\01?PutX@S@@QEAAXHHH@Z"(%class.S* %{{.+}}, i32 23, i32 1, i32 [[J]])		// CHECK-NEXT: call void @"\01?PutX@S@@QEAAXHHH@Z"(%class.S* %{{.+}}, i32 23, i32 1, i32 [[J]])
p1->x[23][1] = j;		p1->x[23][1] = j;
// CHECK: call float @"\01?GetX@?$St@M@@QEAAMMM@Z"(%class.St* %{{.+}}, float 2.230000e+02, float 1.100000e+01)		// CHECK: call float @"\01?GetX@?$St@M@@QEAAMMM@Z"(%"class.St<float>"* %{{.+}}, float 2.230000e+02, float 1.100000e+01)
float j1 = p2->x[223][11];		float j1 = p2->x[223][11];
// CHECK: [[J1:%.+]] = load float, float* %		// CHECK: [[J1:%.+]] = load float, float* %
// CHECK-NEXT: [[CALL:%.+]] = call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%class.St* %{{.+}}, float 2.300000e+01, float 1.000000e+00, float [[J1]])		// CHECK-NEXT: [[CALL:%.+]] = call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%"class.St<float>"* %{{.+}}, float 2.300000e+01, float 1.000000e+00, float [[J1]])
// CHECK-NEXT: [[CONV:%.+]] = fptosi float [[CALL]] to i32		// CHECK-NEXT: [[CONV:%.+]] = fptosi float [[CALL]] to i32
// CHECK-NEXT: store i32 [[CONV]], i32*		// CHECK-NEXT: store i32 [[CONV]], i32*
argc = p2->x[23][1] = j1;		argc = p2->x[23][1] = j1;
// CHECK: [[IDX:%.+]] = call i32 @"\01?idx@@YAHXZ"()		// CHECK: [[IDX:%.+]] = call i32 @"\01?idx@@YAHXZ"()
// CHECK-NEXT: [[CONV:%.+]] = sitofp i32 [[IDX]] to float		// CHECK-NEXT: [[CONV:%.+]] = sitofp i32 [[IDX]] to float
// CHECK-NEXT: [[GET:%.+]] = call float @"\01?GetX@?$St@M@@QEAAMMM@Z"(%class.St* %{{.+}}, float [[CONV]], float 1.000000e+00)		// CHECK-NEXT: [[GET:%.+]] = call float @"\01?GetX@?$St@M@@QEAAMMM@Z"(%"class.St<float>"* %{{.+}}, float [[CONV]], float 1.000000e+00)
// CHECK-NEXT: [[INC:%.+]] = fadd float [[GET]], 1.000000e+00		// CHECK-NEXT: [[INC:%.+]] = fadd float [[GET]], 1.000000e+00
// CHECK-NEXT: [[CONV:%.+]] = sitofp i32 [[IDX]] to float		// CHECK-NEXT: [[CONV:%.+]] = sitofp i32 [[IDX]] to float
// CHECK-NEXT: call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%class.St* %{{.+}}, float [[CONV]], float 1.000000e+00, float [[INC]])		// CHECK-NEXT: call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%"class.St<float>"* %{{.+}}, float [[CONV]], float 1.000000e+00, float [[INC]])
++p2->x[idx()][1];		++p2->x[idx()][1];
// CHECK: call void @"\01??$foo@H@@YAXHH@Z"(i32 %{{.+}}, i32 %{{.+}})		// CHECK: call void @"\01??$foo@H@@YAXHH@Z"(i32 %{{.+}}, i32 %{{.+}})
foo(argc, (int)argv[0][0]);		foo(argc, (int)argv[0][0]);
// CHECK: [[P2:%.+]] = load %class.St, %class.St* %		// CHECK: [[P2:%.+]] = load %"class.St<float>", %"class.St<float>"* %
// CHECK: [[T_X:%.+]] = call i32 @"\01?get_x@Test1@@QEBAHXZ"(%class.Test1* %{{.+}})		// CHECK: [[T_X:%.+]] = call i32 @"\01?get_x@Test1@@QEBAHXZ"(%class.Test1* %{{.+}})
// CHECK: [[P1:%.+]] = load %class.S, %class.S* %		// CHECK: [[P1:%.+]] = load %class.S, %class.S* %
// CHECK: [[P1_X_22_33:%.+]] = call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* [[P1]], i32 22, i32 33)		// CHECK: [[P1_X_22_33:%.+]] = call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* [[P1]], i32 22, i32 33)
// CHECK: [[CAST:%.+]] = sitofp i32 [[P1_X_22_33]] to double		// CHECK: [[CAST:%.+]] = sitofp i32 [[P1_X_22_33]] to double
// CHECK: [[ARGC:%.+]] = load i32, i32* %		// CHECK: [[ARGC:%.+]] = load i32, i32* %
// CHECK: [[CAST2:%.+]] = trunc i32 [[T_X]] to i8		// CHECK: [[CAST2:%.+]] = trunc i32 [[T_X]] to i8
// CHECK: call void @"\01?PutY@?$St@M@@QEAAXDHN@Z"(%class.St* [[P2]], i8 [[CAST2]], i32 [[ARGC]], double [[CAST]])		// CHECK: call void @"\01?PutY@?$St@M@@QEAAXDHN@Z"(%"class.St<float>"* [[P2]], i8 [[CAST2]], i32 [[ARGC]], double [[CAST]])
p2->y[t.X][argc] = p1->x[22][33];		p2->y[t.X][argc] = p1->x[22][33];
// CHECK: [[P2_1:%.+]] = load %class.St, %class.St*		// CHECK: [[P2_1:%.+]] = load %"class.St<float>", %"class.St<float>"*
// CHECK: [[P2_2:%.+]] = load %class.St, %class.St*		// CHECK: [[P2_2:%.+]] = load %"class.St<float>", %"class.St<float>"*
// CHECK: [[P1:%.+]] = load %class.S, %class.S*		// CHECK: [[P1:%.+]] = load %class.S, %class.S*
// CHECK: [[ARGC:%.+]] = load i32, i32* %		// CHECK: [[ARGC:%.+]] = load i32, i32* %
// CHECK: [[P1_X_ARGC_0:%.+]] = call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* [[P1]], i32 [[ARGC]], i32 0)		// CHECK: [[P1_X_ARGC_0:%.+]] = call i32 @"\01?GetX@S@@QEAAHHH@Z"(%class.S* [[P1]], i32 [[ARGC]], i32 0)
// CHECK: [[CAST:%.+]] = trunc i32 [[P1_X_ARGC_0]] to i8		// CHECK: [[CAST:%.+]] = trunc i32 [[P1_X_ARGC_0]] to i8
// CHECK: [[P2_Y_p1_X_ARGC_0_T:%.+]] = call i8 @"\01?GetY@?$St@M@@QEAADDVTest1@@@Z"(%class.St* [[P2_2]], i8 [[CAST]], %class.Test1* %{{.+}})		// CHECK: [[P2_Y_p1_X_ARGC_0_T:%.+]] = call i8 @"\01?GetY@?$St@M@@QEAADDVTest1@@@Z"(%"class.St<float>"* [[P2_2]], i8 [[CAST]], %class.Test1* %{{.+}})
// CHECK: [[CAST:%.+]] = sitofp i8 [[P2_Y_p1_X_ARGC_0_T]] to float		// CHECK: [[CAST:%.+]] = sitofp i8 [[P2_Y_p1_X_ARGC_0_T]] to float
// CHECK: [[J:%.+]] = load i32, i32* %		// CHECK: [[J:%.+]] = load i32, i32* %
// CHECK: [[CAST1:%.+]] = sitofp i32 [[J]] to float		// CHECK: [[CAST1:%.+]] = sitofp i32 [[J]] to float
// CHECK: [[J:%.+]] = load i32, i32* %		// CHECK: [[J:%.+]] = load i32, i32* %
// CHECK: [[CAST2:%.+]] = sitofp i32 [[J]] to float		// CHECK: [[CAST2:%.+]] = sitofp i32 [[J]] to float
// CHECK: call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%class.St* [[P2_1]], float [[CAST2]], float [[CAST1]], float [[CAST]])		// CHECK: call float @"\01?PutX@?$St@M@@QEAAMMMM@Z"(%"class.St<float>"* [[P2_1]], float [[CAST2]], float [[CAST1]], float [[CAST]])
p2->x[j][j] = p2->y[p1->x[argc][0]][t];		p2->x[j][j] = p2->y[p1->x[argc][0]][t];
// CHECK: [[CALL:%.+]] = call %class.Test1* @"\01?GetTest1@Test1@@SAPEAV1@XZ"()		// CHECK: [[CALL:%.+]] = call %class.Test1* @"\01?GetTest1@Test1@@SAPEAV1@XZ"()
// CHECK-NEXT: call i32 @"\01?get_x@Test1@@QEBAHXZ"(%class.Test1* [[CALL]])		// CHECK-NEXT: call i32 @"\01?get_x@Test1@@QEBAHXZ"(%class.Test1* [[CALL]])
return Test1::GetTest1()->X;		return Test1::GetTest1()->X;
}		}

// CHECK: define linkonce_odr void @"\01??$foo@H@@YAXHH@Z"(i32 %{{.+}}, i32 %{{.+}})		// CHECK: define linkonce_odr void @"\01??$foo@H@@YAXHH@Z"(i32 %{{.+}}, i32 %{{.+}})
// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%class.St{{.+}}* [[BAR:%.+]], i32 %{{.+}} i32 %{{.+}})		// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%"class.St{{.+}}"* [[BAR:%.+]], i32 %{{.+}} i32 %{{.+}})
// CHECK: call i32 @"\01?PutX@?$St@H@@QEAAHHHH@Z"(%class.St{{.+}}* [[BAR]], i32 %{{.+}}, i32 %{{.+}}, i32 %{{.+}})		// CHECK: call i32 @"\01?PutX@?$St@H@@QEAAHHHH@Z"(%"class.St{{.+}}"* [[BAR]], i32 %{{.+}}, i32 %{{.+}}, i32 %{{.+}})
// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%class.St{{.+}}* [[BAR]], i32 %{{.+}} i32 %{{.+}})		// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%"class.St{{.+}}"* [[BAR]], i32 %{{.+}} i32 %{{.+}})
// CHECK: call void @"\01?PutY@?$St@H@@QEAAXDHN@Z"(%class.St{{.+}}* [[BAR]], i8 %{{.+}}, i32 %{{.+}}, double %{{.+}}		// CHECK: call void @"\01?PutY@?$St@H@@QEAAXDHN@Z"(%"class.St{{.+}}"* [[BAR]], i8 %{{.+}}, i32 %{{.+}}, double %{{.+}}
// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%class.St{{.+}}* [[BAR]], i32 %{{.+}} i32 %{{.+}})		// CHECK: call i32 @"\01?GetX@?$St@H@@QEAAHHH@Z"(%"class.St{{.+}}"* [[BAR]], i32 %{{.+}} i32 %{{.+}})
// CHECK: call i8 @"\01?GetY@?$St@H@@QEAADDVTest1@@@Z"(%class.St{{.+}}* [[BAR]], i8 %{{.+}}, %class.Test1* %{{.+}})		// CHECK: call i8 @"\01?GetY@?$St@H@@QEAADDVTest1@@@Z"(%"class.St{{.+}}"* [[BAR]], i8 %{{.+}}, %class.Test1* %{{.+}})
// CHECK: call i32 @"\01?PutX@?$St@H@@QEAAHHHH@Z"(%class.St{{.+}}* [[BAR]], i32 %{{.+}}, i32 %{{.+}}, i32 %{{.+}})		// CHECK: call i32 @"\01?PutX@?$St@H@@QEAAHHHH@Z"(%"class.St{{.+}}"* [[BAR]], i32 %{{.+}}, i32 %{{.+}}, i32 %{{.+}})
#endif //HEADER		#endif //HEADER

test/CodeGenCXX/noinline-template.cpp

	// RUN: %clang_cc1 %s -emit-llvm -triple %itanium_abi_triple -o - \| FileCheck %s			// RUN: %clang_cc1 %s -emit-llvm -triple %itanium_abi_triple -o - \| FileCheck %s

	// This was a problem in Sema, but only shows up as noinline missing			// This was a problem in Sema, but only shows up as noinline missing
	// in CodeGen.			// in CodeGen.

	// CHECK: define linkonce_odr {{.}}void @_ZN6VectorIiE13growStorageByEv(%struct.Vector %this) [[NI:#[0-9]+]]			// CHECK: define linkonce_odr {{.}}void @_ZN6VectorIiE13growStorageByEv(%"struct.Vector<int>" %this) [[NI:#[0-9]+]]

	template <class Ty> struct Vector {			template <class Ty> struct Vector {
	void growStorageBy();			void growStorageBy();
	};			};
	template <class T> __attribute__((noinline)) void Vector<T>::growStorageBy() {			template <class T> __attribute__((noinline)) void Vector<T>::growStorageBy() {
	}			}
	void foo() {			void foo() {
	Vector<int> strs;			Vector<int> strs;
	strs.growStorageBy();			strs.growStorageBy();
	}			}

	// CHECK: attributes [[NI]] = { noinline nounwind{{.*}} }			// CHECK: attributes [[NI]] = { noinline nounwind{{.*}} }

test/CodeGenCXX/pr29160.cpp

	// RUN: %clang_cc1 -std=c++11 -triple i686-linux-gnu %s -o /dev/null -S -emit-llvm			// RUN: %clang_cc1 -std=c++11 -triple i686-linux-gnu %s -o /dev/null -S
	//			//
	// This test's failure mode is running ~forever. (For some value of "forever"			// This test's failure mode is running ~forever. (For some value of "forever"
	// that's greater than 25 minutes on my machine)			// that's greater than 25 minutes on my machine)

	template <typename... Ts>			template <typename... Ts>
	struct Foo {			struct Foo {
	template <typename... T>			template <typename... T>
	static void ignore() {}			static void ignore() {}
	Show All 32 Lines

test/CodeGenCXX/static-init-3.cpp

Show All 10 Lines	struct X1
static void use(T const &) {}		static void use(T const &) {}
static T & get() {		static T & get() {
static X0<T> t;		static X0<T> t;
use(instance);		use(instance);
return static_cast<T &>(t);		return static_cast<T &>(t);
}		}
};		};

// CHECK: @_ZN2X1I2X2I1BEE8instanceE = linkonce_odr global %struct.X2* null, align 8		// CHECK: @_ZN2X1I2X2I1BEE8instanceE = linkonce_odr global %"struct.X2<B>"* null, align 8
// CHECJ: @_ZN2X1I2X2I1AEE8instanceE = linkonce_odr global %struct.X2* null, align 8		// CHECJ: @_ZN2X1I2X2I1AEE8instanceE = linkonce_odr global %"struct.X2<B>"* null, align 8
template<class T> T & X1<T>::instance = X1<T>::get();		template<class T> T & X1<T>::instance = X1<T>::get();

class A { };		class A { };
class B : public A { };		class B : public A { };

template<typename T> struct X2 {};		template<typename T> struct X2 {};
X2< B > bg = X1< X2< B > >::get();		X2< B > bg = X1< X2< B > >::get();
X2< A > ag = X1< X2< A > >::get();		X2< A > ag = X1< X2< A > >::get();

test/CodeGenCXX/template-anonymous-types.cpp

Show All 21 Lines	void test() {
// CHECK-LABEL: define linkonce_odr i32 @_Z1fIN1SUt_EEiT_(i32 %t)		// CHECK-LABEL: define linkonce_odr i32 @_Z1fIN1SUt_EEiT_(i32 %t)
(void)f(S::FOO);		(void)f(S::FOO);
// CHECK-LABEL: define linkonce_odr i32 @_Z1fIN1SUt0_EEiT_(i32 %t)		// CHECK-LABEL: define linkonce_odr i32 @_Z1fIN1SUt0_EEiT_(i32 %t)
(void)f(S::BAR);		(void)f(S::BAR);

// Now check for the class template instantiations.		// Now check for the class template instantiations.
//		//
// BAR's instantiation of X:		// BAR's instantiation of X:
// CHECK-LABEL: define linkonce_odr i32 @_ZN1XIN1SUt_EE1fEv(%struct.X* %this)		// CHECK-LABEL: define linkonce_odr i32 @_ZN1XIN1SUt_EE1fEv(%"struct.X<S::(anonymous enum at {{.}}template-anonymous-types.cpp:4:3)>" %this)
// CHECK-LABEL: define linkonce_odr void @_ZN1XIN1SUt_EEC2ES1_(%struct.X* %this, i32 %t) unnamed_addr		// CHECK-LABEL: define linkonce_odr void @_ZN1XIN1SUt_EEC2ES1_(%"struct.X<S::(anonymous enum at {{.}}template-anonymous-types.cpp:4:3)>" %this, i32 %t) unnamed_addr
//		//
// FOO's instantiation of X:		// FOO's instantiation of X:
// CHECK-LABEL: define linkonce_odr i32 @_ZN1XIN1SUt0_EE1fEv(%struct.X.0* %this)		// CHECK-LABEL: define linkonce_odr i32 @_ZN1XIN1SUt0_EE1fEv(%"struct.X<S::(anonymous enum at {{.}}template-anonymous-types.cpp:5:3)>" %this)
// CHECK-LABEL: define linkonce_odr void @_ZN1XIN1SUt0_EEC2ES1_(%struct.X.0* %this, i32 %t) unnamed_addr		// CHECK-LABEL: define linkonce_odr void @_ZN1XIN1SUt0_EEC2ES1_(%"struct.X<S::(anonymous enum at {{.}}template-anonymous-types.cpp:5:3)>" %this, i32 %t) unnamed_addr
}		}

test/CodeGenCXX/template-instantiation.cpp

	Show All 12 Lines
	// CHECK2-NOT: _ZTVN5test315basic_fstreamXXIcEE			// CHECK2-NOT: _ZTVN5test315basic_fstreamXXIcEE
	// CHECK2-NOT: @_ZTVN5test018stdio_sync_filebufIA1_iEE			// CHECK2-NOT: @_ZTVN5test018stdio_sync_filebufIA1_iEE
	// CHECK2-NOT: @_ZTVN5test018stdio_sync_filebufIA2_iEE			// CHECK2-NOT: @_ZTVN5test018stdio_sync_filebufIA2_iEE
	// CHECK2-NOT: @_ZN7PR100011SIiE3arr2E = linkonce_odr global [3 x i32]A			// CHECK2-NOT: @_ZN7PR100011SIiE3arr2E = linkonce_odr global [3 x i32]A

	// CHECK2-NOT: _ZTVN5test31SIiEE			// CHECK2-NOT: _ZTVN5test31SIiEE
	// CHECK2-NOT: _ZTSN5test31SIiEE			// CHECK2-NOT: _ZTSN5test31SIiEE

	// CHECK-LABEL: define linkonce_odr void @_ZN5test21CIiEC1Ev(%"class.test2::C"* %this) unnamed_addr			// CHECK-LABEL: define linkonce_odr void @_ZN5test21CIiEC1Ev(%"class.test2::C<int>"* %this) unnamed_addr
	// CHECK-LABEL: define linkonce_odr void @_ZN5test21CIiE6foobarIdEEvT_(			// CHECK-LABEL: define linkonce_odr void @_ZN5test21CIiE6foobarIdEEvT_(
	// CHECK-LABEL: define available_externally void @_ZN5test21CIiE6zedbarEd(			// CHECK-LABEL: define available_externally void @_ZN5test21CIiE6zedbarEd(

	// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g1ENS_1SILi1EEE()			// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g1ENS_1SILi1EEE()
	// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g1ENS_1SILi2EEE()			// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g1ENS_1SILi2EEE()
	// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g1ENS_1SILi3EEE()			// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g1ENS_1SILi3EEE()
	// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g2ENS_1SILi1EEE()			// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g2ENS_1SILi1EEE()
	// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g2ENS_1SILi2EEE()			// CHECK-LABEL: define linkonce_odr void @_ZN7PR106662g2ENS_1SILi2EEE()
	▲ Show 20 Lines • Show All 176 Lines • Show Last 20 Lines

test/CodeGenCXX/template-linkage.cpp

Show All 34 Lines	struct X1 : X0<T> {
virtual void blarg();		virtual void blarg();
};		};

template<typename T> void X1<T>::blarg() { }		template<typename T> void X1<T>::blarg() { }

extern template struct X0<char>;		extern template struct X0<char>;
extern template struct X1<char>;		extern template struct X1<char>;

// CHECK-LABEL: define linkonce_odr void @_ZN2X1IcED1Ev(%struct.X1* %this) unnamed_addr		// CHECK-LABEL: define linkonce_odr void @_ZN2X1IcED1Ev(%"struct.X1<char>"* %this) unnamed_addr
void test_X1() {		void test_X1() {
X1<char> i1c;		X1<char> i1c;
}		}

namespace PR14825 {		namespace PR14825 {
struct Outer {		struct Outer {
template <typename T> struct Inner {		template <typename T> struct Inner {
static int member;		static int member;
Show All 13 Lines

test/CodeGenCXX/value-init.cpp

	Show First 20 Lines • Show All 317 Lines • ▼ Show 20 Lines
	// CHECK-LABEL: define {{.*}}@_Z20explicitly_defaultedv			// CHECK-LABEL: define {{.*}}@_Z20explicitly_defaultedv
	int explicitly_defaulted() {			int explicitly_defaulted() {
	struct A { A() = default; int n; };			struct A { A() = default; int n; };
	// CHECK: call void @llvm.memset			// CHECK: call void @llvm.memset
	A a = A();			A a = A();
	return a.n;			return a.n;
	} // CHECK-LABEL: }			} // CHECK-LABEL: }

	// CHECK-LABEL: define linkonce_odr void @_ZN8zeroinit2X3IiEC2Ev(%"struct.zeroinit::X3"* %this) unnamed_addr			// CHECK-LABEL: define linkonce_odr void @_ZN8zeroinit2X3IiEC2Ev(%"struct.zeroinit::X3<int>"* %this) unnamed_addr
	// CHECK: call void @llvm.memset.p0i8.i64			// CHECK: call void @llvm.memset.p0i8.i64
	// CHECK-NEXT: call void @_ZN8zeroinit2X2IiEC2Ev			// CHECK-NEXT: call void @_ZN8zeroinit2X2IiEC2Ev
	// CHECK-NEXT: ret void			// CHECK-NEXT: ret void

test/CodeGenCXX/virtual-base-destructor-call.cpp

	Show All 12 Lines

	basic_iostream<char> res;			basic_iostream<char> res;

	int main() {			int main() {
	}			}

	// basic_iostream's complete dtor calls its base dtor, then its			// basic_iostream's complete dtor calls its base dtor, then its
	// virtual base's dtor.			// virtual base's dtor.
	// CHECK: define linkonce_odr {{.}} @_ZN14basic_iostreamIcED1Ev(%struct.basic_iostream {{.*}}%this) unnamed_addr			// CHECK: define linkonce_odr {{.}} @_ZN14basic_iostreamIcED1Ev(%"struct.basic_iostream<char>" {{.*}}%this) unnamed_addr
	// CHECK: call {{.*}} @_ZN14basic_iostreamIcED2Ev			// CHECK: call {{.*}} @_ZN14basic_iostreamIcED2Ev
	// CHECK: call {{.*}} @_ZN9basic_iosD2Ev			// CHECK: call {{.*}} @_ZN9basic_iosD2Ev

	// basic_istream's complete dtor calls the base dtor,			// basic_istream's complete dtor calls the base dtor,
	// then its virtual base's base dtor.			// then its virtual base's base dtor.
	// CHECK: define linkonce_odr {{.}} @_ZN13basic_istreamIcED1Ev(%struct.basic_istream {{.*}}%this) unnamed_addr			// CHECK: define linkonce_odr {{.}} @_ZN13basic_istreamIcED1Ev(%"struct.basic_istream<char>" {{.*}}%this) unnamed_addr
	// CHECK: call {{.*}} @_ZN13basic_istreamIcED2Ev			// CHECK: call {{.*}} @_ZN13basic_istreamIcED2Ev
	// CHECK: call {{.*}} @_ZN9basic_iosD2Ev			// CHECK: call {{.*}} @_ZN9basic_iosD2Ev

	// basic_istream's deleting dtor calls the complete dtor, then			// basic_istream's deleting dtor calls the complete dtor, then
	// operator delete().			// operator delete().
	// CHECK: define linkonce_odr {{.}} @_ZN13basic_istreamIcED0Ev(%struct.basic_istream {{.*}}%this) unnamed_addr			// CHECK: define linkonce_odr {{.}} @_ZN13basic_istreamIcED0Ev(%"struct.basic_istream<char>" {{.*}}%this) unnamed_addr
	// CHECK: call {{.*}} @_ZN13basic_istreamIcED1Ev			// CHECK: call {{.*}} @_ZN13basic_istreamIcED1Ev
	// CHECK: call {{.*}} @_ZdlPv			// CHECK: call {{.*}} @_ZdlPv

	// basic_iostream's deleting dtor calls its complete dtor, then			// basic_iostream's deleting dtor calls its complete dtor, then
	// operator delete().			// operator delete().
	// CHECK: define linkonce_odr {{.}} @_ZN14basic_iostreamIcED0Ev(%struct.basic_iostream {{.*}}%this) unnamed_addr			// CHECK: define linkonce_odr {{.}} @_ZN14basic_iostreamIcED0Ev(%"struct.basic_iostream<char>" {{.*}}%this) unnamed_addr
	// CHECK: call {{.*}} @_ZN14basic_iostreamIcED1Ev			// CHECK: call {{.*}} @_ZN14basic_iostreamIcED1Ev
	// CHECK: call {{.*}} @_ZdlPv			// CHECK: call {{.*}} @_ZdlPv

	// basic_istream's base dtor is a no-op.			// basic_istream's base dtor is a no-op.
	// CHECK: define linkonce_odr {{.}} @_ZN13basic_istreamIcED2Ev(%struct.basic_istream {{.}}%this, i8* %vtt) unnamed_addr			// CHECK: define linkonce_odr {{.}} @_ZN13basic_istreamIcED2Ev(%"struct.basic_istream<char>" {{.}}%this, i8* %vtt) unnamed_addr
	// CHECK-NOT: call			// CHECK-NOT: call
	// CHECK: }			// CHECK: }

	// basic_iostream's base dtor calls its non-virtual base dtor.			// basic_iostream's base dtor calls its non-virtual base dtor.
	// CHECK: define linkonce_odr {{.}} @_ZN14basic_iostreamIcED2Ev(%struct.basic_iostream {{.}}%this, i8* %vtt) unnamed_addr			// CHECK: define linkonce_odr {{.}} @_ZN14basic_iostreamIcED2Ev(%"struct.basic_iostream<char>" {{.}}%this, i8* %vtt) unnamed_addr
	// CHECK: call {{.*}} @_ZN13basic_istreamIcED2Ev			// CHECK: call {{.*}} @_ZN13basic_istreamIcED2Ev
	// CHECK: }			// CHECK: }

test/CodeGenCoroutines/coro-await.cpp

Show First 20 Lines • Show All 333 Lines • ▼ Show 20 Lines	struct TailCallAwait {
void await_resume();		void await_resume();
};		};

// CHECK-LABEL: @TestTailcall(		// CHECK-LABEL: @TestTailcall(
extern "C" void TestTailcall() {		extern "C" void TestTailcall() {
co_await TailCallAwait{};		co_await TailCallAwait{};

// CHECK: %[[RESULT:.+]] = call i8* @_ZN13TailCallAwait13await_suspendENSt12experimental16coroutine_handleIvEE(%struct.TailCallAwait*		// CHECK: %[[RESULT:.+]] = call i8* @_ZN13TailCallAwait13await_suspendENSt12experimental16coroutine_handleIvEE(%struct.TailCallAwait*
// CHECK: %[[COERCE:.+]] = getelementptr inbounds %"struct.std::experimental::coroutine_handle", %"struct.std::experimental::coroutine_handle"* %[[TMP:.+]], i32 0, i32 0		// CHECK: %[[COERCE:.+]] = getelementptr inbounds %"struct.std::experimental::coroutine_handle<void>", %"struct.std::experimental::coroutine_handle<void>"* %[[TMP:.+]], i32 0, i32 0
// CHECK: store i8* %[[RESULT]], i8** %[[COERCE]]		// CHECK: store i8* %[[RESULT]], i8** %[[COERCE]]
// CHECK: %[[ADDR:.+]] = call i8* @_ZNSt12experimental16coroutine_handleIvE7addressEv(%"struct.std::experimental::coroutine_handle"* %[[TMP]])		// CHECK: %[[ADDR:.+]] = call i8* @_ZNSt12experimental16coroutine_handleIvE7addressEv(%"struct.std::experimental::coroutine_handle<void>"* %[[TMP]])
// CHECK: call void @llvm.coro.resume(i8* %[[ADDR]])		// CHECK: call void @llvm.coro.resume(i8* %[[ADDR]])
}		}

test/CodeGenObjCXX/arc-cxx11-init-list.mm

	Show All 36 Lines
	// CHECK-NEXT: [[CAST:%.]] = bitcast [{{[0-9]+}} x %0]* %{{.}} to i8*			// CHECK-NEXT: [[CAST:%.]] = bitcast [{{[0-9]+}} x %0]* %{{.}} to i8*
	// CHECK-NEXT: store i8* [[INSTANCE]], i8** [[CAST]],			// CHECK-NEXT: store i8* [[INSTANCE]], i8** [[CAST]],
	// CHECK: call void @objc_release(i8* {{.*}})			// CHECK: call void @objc_release(i8* {{.*}})

	std::initializer_list<id> foo1() {			std::initializer_list<id> foo1() {
	return {@"str0", @"str1"};			return {@"str0", @"str1"};
	}			}

	// CHECK: define void @_Z4foo1v(%"class.std::initializer_list.0"* {{.}} %[[AGG_RESULT:.]])			// CHECK: define void @_Z4foo1v(%"class.std::initializer_list<id>"* {{.}} %[[AGG_RESULT:.]])
	// CHECK: %[[BEGIN:.]] = getelementptr inbounds %"class.std::initializer_list.0", %"class.std::initializer_list.0" %[[AGG_RESULT]], i32 0, i32 0			// CHECK: %[[BEGIN:.]] = getelementptr inbounds %"class.std::initializer_list<id>", %"class.std::initializer_list<id>" %[[AGG_RESULT]], i32 0, i32 0
	// CHECK: store i8** getelementptr inbounds ([2 x i8], [2 x i8]* @[[REFTMP]], i32 0, i32 0), i8*** %[[BEGIN]]			// CHECK: store i8** getelementptr inbounds ([2 x i8], [2 x i8]* @[[REFTMP]], i32 0, i32 0), i8*** %[[BEGIN]]
	// CHECK: %[[SIZE:.]] = getelementptr inbounds %"class.std::initializer_list.0", %"class.std::initializer_list.0" %[[AGG_RESULT]], i32 0, i32 1			// CHECK: %[[SIZE:.]] = getelementptr inbounds %"class.std::initializer_list<id>", %"class.std::initializer_list<id>" %[[AGG_RESULT]], i32 0, i32 1
	// CHECK: store i32 2, i32* %[[SIZE]]			// CHECK: store i32 2, i32* %[[SIZE]]
	// CHECK: ret void			// CHECK: ret void

	void external();			void external();

	extern "C" void extended() {			extern "C" void extended() {
	const auto && temporary = { [I new] };			const auto && temporary = { [I new] };
	external();			external();
	Show All 12 Lines

test/CodeGenObjCXX/property-lvalue-capture.mm

	Show All 20 Lines
	- (void)transformFrame:(PAGeometryFrame *)frame {			- (void)transformFrame:(PAGeometryFrame *)frame {
	PAGeometryFrame *result;			PAGeometryFrame *result;
	result.quad = frame.quad;			result.quad = frame.quad;
	}			}
	@end			@end

	// CHECK: [[TWO:%.]] = load i8, i8** @OBJC_SELECTOR_REFERENCES_, align 8, !invariant.load ![[MD_NUM:[0-9]+]]			// CHECK: [[TWO:%.]] = load i8, i8** @OBJC_SELECTOR_REFERENCES_, align 8, !invariant.load ![[MD_NUM:[0-9]+]]
	// CHECK: [[THREE:%.]] = bitcast [[ONET:%.]]* [[ONE:%.]] to i8			// CHECK: [[THREE:%.]] = bitcast [[ONET:%.]]* [[ONE:%.]] to i8
	// CHECK: [[CALL:%.]] = call nonnull %struct.Quad2 bitcast (i8* (i8, i8, ...)* @objc_msgSend to %struct.Quad2* (i8, i8))(i8 [[THREE]], i8* [[TWO]])			// CHECK: [[CALL:%.]] = call nonnull %"struct.Quad2<double>" bitcast (i8* (i8, i8, ...)* @objc_msgSend to %"struct.Quad2<double>"* (i8, i8))(i8 [[THREE]], i8* [[TWO]])
	// CHECK: [[FOUR:%.]] = load i8, i8** @OBJC_SELECTOR_REFERENCES_.2, align 8, !invariant.load ![[MD_NUM]]			// CHECK: [[FOUR:%.]] = load i8, i8** @OBJC_SELECTOR_REFERENCES_.2, align 8, !invariant.load ![[MD_NUM]]
	// CHECK: [[FIVE:%.]] = bitcast [[ONET]] [[ZERO:%.]] to i8			// CHECK: [[FIVE:%.]] = bitcast [[ONET]] [[ZERO:%.]] to i8
	// CHECK: call void bitcast (i8* (i8, i8, ...)* @objc_msgSend to void (i8, i8, %struct.Quad2))(i8* [[FIVE]], i8* [[FOUR]], %struct.Quad2* nonnull [[CALL]])			// CHECK: call void bitcast (i8* (i8, i8, ...)* @objc_msgSend to void (i8, i8, %"struct.Quad2<double>"))(i8* [[FIVE]], i8* [[FOUR]], %"struct.Quad2<double>"* nonnull [[CALL]])


	struct A {			struct A {
	void *ptr;			void *ptr;
	A();			A();
	A(const A &);			A(const A &);
	~A();			~A();
	};			};
	Show All 13 Lines

test/OpenMP/declare_reduction_codegen.cpp

Show First 20 Lines • Show All 147 Lines • ▼ Show 20 Lines	#pragma omp parallel reduction(fun : sss)
// CHECK: call {{.}}void (%ident_t, i32, void (i32, i32, ...), ...) @__kmpc_fork_call({{[^@]}} @{{[^@]*}}[[REGION:@[^ ]+]]		// CHECK: call {{.}}void (%ident_t, i32, void (i32, i32, ...), ...) @__kmpc_fork_call({{[^@]}} @{{[^@]*}}[[REGION:@[^ ]+]]
// CHECK-LABEL: work		// CHECK-LABEL: work
work<A>();		work<A>();
// CHECK-LABEL: foo		// CHECK-LABEL: foo
return foo(15);		return foo(15);
}		}

// CHECK: define internal {{.*}}void [[REGION]](		// CHECK: define internal {{.*}}void [[REGION]](
// CHECK: [[SSS_PRIV:%.+]] = alloca %struct.SSS,		// CHECK: [[SSS_PRIV:%.+]] = alloca %"struct.SSS<int>",
// CHECK: invoke {{.}} @_ZN3SSSIiEC1Ev(%struct.SSS [[SSS_PRIV]])		// CHECK: invoke {{.}} @_ZN3SSSIiEC1Ev(%"struct.SSS<int>" [[SSS_PRIV]])
// CHECK-NOT: {{call \|invoke }}		// CHECK-NOT: {{call \|invoke }}
// CHECK: call {{.*}}i32 @__kmpc_reduce_nowait(		// CHECK: call {{.*}}i32 @__kmpc_reduce_nowait(

// CHECK-LABEL: i32 @{{.+}}foo{{[^(].+}}(i32		// CHECK-LABEL: i32 @{{.+}}foo{{[^(].+}}(i32
// CHECK-LOAD-LABEL: i32 @{{.+}}foo{{[^(].+}}(i32		// CHECK-LOAD-LABEL: i32 @{{.+}}foo{{[^(].+}}(i32

// CHECK-LOAD: define internal {{.}}void @{{[^(]+}}(i32 noalias, i32* noalias)		// CHECK-LOAD: define internal {{.}}void @{{[^(]+}}(i32 noalias, i32* noalias)
// CHECK-LOAD: [[XOR:%.+]] = xor i32		// CHECK-LOAD: [[XOR:%.+]] = xor i32
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

test/OpenMP/target_codegen.cpp

Show First 20 Lines • Show All 313 Lines • ▼ Show 20 Lines	int foo(int n) {
// CHECK-DAG: [[CPADDR8:%.+]] = bitcast i8 [[PADDR8]] to [[TT]]		// CHECK-DAG: [[CPADDR8:%.+]] = bitcast i8 [[PADDR8]] to [[TT]]
// CHECK-DAG: store [[TT]]* %{{.+}}, [[TT]]** [[CBPADDR8]]		// CHECK-DAG: store [[TT]]* %{{.+}}, [[TT]]** [[CBPADDR8]]
// CHECK-DAG: store [[TT]]* %{{.+}}, [[TT]]** [[CPADDR8]]		// CHECK-DAG: store [[TT]]* %{{.+}}, [[TT]]** [[CPADDR8]]
// CHECK-DAG: store i[[SZ]] {{12\|16}}, i[[SZ]]* [[SADDR8]]		// CHECK-DAG: store i[[SZ]] {{12\|16}}, i[[SZ]]* [[SADDR8]]

// CHECK: [[ERROR:%.+]] = icmp ne i32 [[RET]], 0		// CHECK: [[ERROR:%.+]] = icmp ne i32 [[RET]], 0
// CHECK-NEXT: br i1 [[ERROR]], label %[[FAIL:.+]], label %[[END:[^,]+]]		// CHECK-NEXT: br i1 [[ERROR]], label %[[FAIL:.+]], label %[[END:[^,]+]]
// CHECK: [[FAIL]]		// CHECK: [[FAIL]]
// CHECK: call void [[HVT4:@.+]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}})		// CHECK: call void [[HVT4:@.+]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, %"struct.TT<long long, char>"{{[^,]+}})
// CHECK-NEXT: br label %[[END]]		// CHECK-NEXT: br label %[[END]]
// CHECK: [[END]]		// CHECK: [[END]]
// CHECK-NEXT: br label %[[IFEND:.+]]		// CHECK-NEXT: br label %[[IFEND:.+]]
// CHECK: [[IFELSE]]		// CHECK: [[IFELSE]]
// CHECK: call void [[HVT4]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}})		// CHECK: call void [[HVT4]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, %"struct.TT<long long, char>"{{[^,]+}})
// CHECK-NEXT: br label %[[IFEND]]		// CHECK-NEXT: br label %[[IFEND]]

// CHECK: [[IFEND]]		// CHECK: [[IFEND]]
#pragma omp target if(n>20)		#pragma omp target if(n>20)
{		{
a += 1;		a += 1;
b[2] += 1.0;		b[2] += 1.0;
bn[3] += 1.0;		bn[3] += 1.0;
▲ Show 20 Lines • Show All 399 Lines • Show Last 20 Lines

test/OpenMP/target_parallel_codegen.cpp

Show First 20 Lines • Show All 273 Lines • ▼ Show 20 Lines	int foo(int n) {
// CHECK-DAG: [[CBPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]		// CHECK-DAG: [[CBPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]
// CHECK-DAG: [[CPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]		// CHECK-DAG: [[CPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]
// CHECK-DAG: store i[[SZ]] {{12\|16}}, i[[SZ]]* {{%[^,]+}}		// CHECK-DAG: store i[[SZ]] {{12\|16}}, i[[SZ]]* {{%[^,]+}}

// CHECK-NEXT: [[ERROR:%.+]] = icmp ne i32 [[RET]], 0		// CHECK-NEXT: [[ERROR:%.+]] = icmp ne i32 [[RET]], 0
// CHECK-NEXT: br i1 [[ERROR]], label %[[FAIL:[^,]+]], label %[[END:[^,]+]]		// CHECK-NEXT: br i1 [[ERROR]], label %[[FAIL:[^,]+]], label %[[END:[^,]+]]

// CHECK: [[FAIL]]		// CHECK: [[FAIL]]
// CHECK: call void [[HVT4:@.+]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}})		// CHECK: call void [[HVT4:@.+]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, %"struct.TT<long long, char>{{[^,]+}})
// CHECK-NEXT: br label %[[END]]		// CHECK-NEXT: br label %[[END]]
// CHECK: [[END]]		// CHECK: [[END]]
#pragma omp target parallel if(target: n>20)		#pragma omp target parallel if(target: n>20)
{		{
a += 1;		a += 1;
b[2] += 1.0;		b[2] += 1.0;
bn[3] += 1.0;		bn[3] += 1.0;
c[1][2] += 1.0;		c[1][2] += 1.0;
▲ Show 20 Lines • Show All 495 Lines • Show Last 20 Lines

test/OpenMP/target_simd_codegen.cpp

Show First 20 Lines • Show All 286 Lines • ▼ Show 20 Lines	int foo(int n) {
// CHECK-DAG: [[CBPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]		// CHECK-DAG: [[CBPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]
// CHECK-DAG: [[CPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]		// CHECK-DAG: [[CPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]
// CHECK-DAG: store i[[SZ]] {{12\|16}}, i[[SZ]]* {{%[^,]+}}		// CHECK-DAG: store i[[SZ]] {{12\|16}}, i[[SZ]]* {{%[^,]+}}

// CHECK-NEXT: [[ERROR:%.+]] = icmp ne i32 [[RET]], 0		// CHECK-NEXT: [[ERROR:%.+]] = icmp ne i32 [[RET]], 0
// CHECK-NEXT: br i1 [[ERROR]], label %[[FAIL:[^,]+]], label %[[END:[^,]+]]		// CHECK-NEXT: br i1 [[ERROR]], label %[[FAIL:[^,]+]], label %[[END:[^,]+]]

// CHECK: [[FAIL]]		// CHECK: [[FAIL]]
// CHECK: call void [[HVT4:@.+]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}})		// CHECK: call void [[HVT4:@.+]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, %"struct.TT<long long, char>"*{{[^,]+}})
// CHECK-NEXT: br label %[[END]]		// CHECK-NEXT: br label %[[END]]
// CHECK: [[END]]		// CHECK: [[END]]
#pragma omp target simd if(target: n>20)		#pragma omp target simd if(target: n>20)
for (unsigned char it = 'z'; it >= 'a'; it+=-1) {		for (unsigned char it = 'z'; it >= 'a'; it+=-1) {
a += 1;		a += 1;
b[2] += 1.0;		b[2] += 1.0;
bn[3] += 1.0;		bn[3] += 1.0;
c[1][2] += 1.0;		c[1][2] += 1.0;
▲ Show 20 Lines • Show All 372 Lines • Show Last 20 Lines

test/OpenMP/target_teams_codegen.cpp

Show First 20 Lines • Show All 297 Lines • ▼ Show 20 Lines	int foo(int n) {
// CHECK-DAG: [[CBPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]		// CHECK-DAG: [[CBPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]
// CHECK-DAG: [[CPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]		// CHECK-DAG: [[CPADDR8]] = bitcast i8 {{%[^,]+}} to [[TT]]
// CHECK-DAG: store i[[SZ]] {{12\|16}}, i[[SZ]]* {{%[^,]+}}		// CHECK-DAG: store i[[SZ]] {{12\|16}}, i[[SZ]]* {{%[^,]+}}

// CHECK-NEXT: [[ERROR:%.+]] = icmp ne i32 [[RET]], 0		// CHECK-NEXT: [[ERROR:%.+]] = icmp ne i32 [[RET]], 0
// CHECK-NEXT: br i1 [[ERROR]], label %[[FAIL:[^,]+]], label %[[END:[^,]+]]		// CHECK-NEXT: br i1 [[ERROR]], label %[[FAIL:[^,]+]], label %[[END:[^,]+]]

// CHECK: [[FAIL]]		// CHECK: [[FAIL]]
// CHECK: call void [[HVT4:@.+]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}})		// CHECK: call void [[HVT4:@.+]]({{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, {{[^,]+}}, %"struct.TT<long long, char>"{{[^,]+}})
// CHECK-NEXT: br label %[[END]]		// CHECK-NEXT: br label %[[END]]
// CHECK: [[END]]		// CHECK: [[END]]
#pragma omp target teams if(target: n>20)		#pragma omp target teams if(target: n>20)
{		{
a += 1;		a += 1;
b[2] += 1.0;		b[2] += 1.0;
bn[3] += 1.0;		bn[3] += 1.0;
c[1][2] += 1.0;		c[1][2] += 1.0;
▲ Show 20 Lines • Show All 509 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

Always show template parameters in IR type namesAbandonedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 124600

include/clang/Driver/Options.td

include/clang/Frontend/CodeGenOptions.h

include/clang/Frontend/CodeGenOptions.def

lib/CodeGen/CodeGenAction.cpp

lib/CodeGen/CodeGenTypes.cpp

lib/Frontend/CompilerInvocation.cpp

test/CodeGenCXX/apple-kext-indirect-call.cpp

test/CodeGenCXX/apple-kext-indirect-virtual-dtor-call.cpp

test/CodeGenCXX/captured-statements.cpp

test/CodeGenCXX/const-init-cxx11.cpp

test/CodeGenCXX/constructor-init.cpp

test/CodeGenCXX/ctor-dtor-alias.cpp

test/CodeGenCXX/cxx0x-initializer-stdinitializerlist.cpp

test/CodeGenCXX/debug-info-template.cpp

test/CodeGenCXX/dllexport-pr26549.cpp

test/CodeGenCXX/dllexport.cpp

test/CodeGenCXX/dllimport.cpp

test/CodeGenCXX/float128-declarations.cpp

test/CodeGenCXX/float16-declarations.cpp

test/CodeGenCXX/mangle-abi-tag.cpp

test/CodeGenCXX/mangle-ms-templates-memptrs-2.cpp

test/CodeGenCXX/microsoft-abi-extern-template.cpp

test/CodeGenCXX/microsoft-abi-vftables.cpp

test/CodeGenCXX/ms-property.cpp

test/CodeGenCXX/noinline-template.cpp

test/CodeGenCXX/pr29160.cpp

test/CodeGenCXX/static-init-3.cpp

test/CodeGenCXX/template-anonymous-types.cpp

test/CodeGenCXX/template-instantiation.cpp

test/CodeGenCXX/template-linkage.cpp

test/CodeGenCXX/value-init.cpp

test/CodeGenCXX/virtual-base-destructor-call.cpp

test/CodeGenCoroutines/coro-await.cpp

test/CodeGenObjCXX/arc-cxx11-init-list.mm

test/CodeGenObjCXX/property-lvalue-capture.mm

test/OpenMP/declare_reduction_codegen.cpp

test/OpenMP/target_codegen.cpp

test/OpenMP/target_parallel_codegen.cpp

test/OpenMP/target_simd_codegen.cpp

test/OpenMP/target_teams_codegen.cpp

Always show template parameters in IR type names
AbandonedPublic