llvm-project/clang/lib/CodeGen
Akira Hatanaka 642f799b0d [CodeGen][ObjC] Do not call objc_storeStrong when initializing a
constexpr variable.

When compiling a constexpr NSString initialized with an objective-c
string literal, CodeGen emits objc_storeStrong on an uninitialized
alloca, which causes a crash.

This patch folds the code in EmitScalarInit into EmitStoreThroughLValue
and fixes the crash by calling objc_retain on the string instead of
using objc_storeStrong.

rdar://problem/28562009

Differential Revision: https://reviews.llvm.org/D25547

llvm-svn: 284516
2016-10-18 19:05:41 +00:00
..
ABIInfo.h IRGen-level lowering for the Swift calling convention. 2016-04-04 18:33:08 +00:00
Address.h Work around build failure due to GCC 4.8.1 bug. We don't completely understand 2016-02-02 23:11:49 +00:00
BackendUtil.cpp [clang] make reciprocal estimate codegen a function attribute 2016-10-04 20:44:05 +00:00
CGAtomic.cpp [NFC] Header cleanup 2016-07-18 19:02:11 +00:00
CGBlocks.cpp [CodeGen][ObjC] Block captures should inherit the type of the captured 2016-09-16 00:02:06 +00:00
CGBlocks.h [CodeGen][ObjC] Block captures should inherit the type of the captured 2016-09-16 00:02:06 +00:00
CGBuilder.h Remove compile time PreserveName in favor of a runtime cc1 -discard-value-names option 2016-03-13 21:05:23 +00:00
CGBuiltin.cpp Implement __stosb intrinsic as a volatile memset 2016-10-14 17:33:05 +00:00
CGCUDABuiltin.cpp [CUDA] Align kernel launch args correctly when the LLVM type's alignment is different from the clang type's alignment. 2016-07-27 22:36:21 +00:00
CGCUDANV.cpp [CUDA] Place GPU binary into .nv_fatbin section and align it by 8. 2016-08-12 18:44:01 +00:00
CGCUDARuntime.cpp Roll-back r250822. 2015-10-20 13:23:58 +00:00
CGCUDARuntime.h [CUDA] Emit host-side 'shadows' for device-side global variables 2016-03-02 18:28:50 +00:00
CGCXX.cpp Alias must point to a definition 2016-10-02 03:06:36 +00:00
CGCXXABI.cpp Add the `pass_object_size` attribute to clang. 2015-12-02 21:58:08 +00:00
CGCXXABI.h [DebugInfo] Set DISubprogram ThisAdjustment in the MS ABI 2016-07-01 02:41:25 +00:00
CGCall.cpp [CUDA] Mark device functions as nounwind. 2016-10-04 23:41:49 +00:00
CGCall.h Re-commit r282556, reverted in r282564, with a fix to CallArgList::addFrom to 2016-09-28 19:09:10 +00:00
CGClass.cpp When copying an array into a lambda, destroy temporaries from 2016-07-20 21:02:43 +00:00
CGCleanup.cpp [Temporary, Lifetime] Add lifetime marks for temporaries 2016-07-01 21:08:47 +00:00
CGCleanup.h Widen EHScope::ClenupBitFields::FixupDepth to avoid overflowing it (PR23490) 2016-06-22 16:21:14 +00:00
CGCoroutine.cpp [coroutines] Adding builtins for coroutine intrinsics and backendutil support. 2016-10-03 22:44:48 +00:00
CGDebugInfo.cpp ObjectiveC generics: Add ObjCTypeParamType in the type system. 2016-09-13 17:25:08 +00:00
CGDebugInfo.h Cosmetic fix: deleted unnecessary line break in comment. 2016-09-30 06:39:48 +00:00
CGDecl.cpp [CodeGen][ObjC] Do not call objc_storeStrong when initializing a 2016-10-18 19:05:41 +00:00
CGDeclCXX.cpp Clang changes for overloading invariant.start and end intrinsics 2016-07-22 17:50:08 +00:00
CGException.cpp [CUDA] Mark device functions as nounwind. 2016-10-04 23:41:49 +00:00
CGExpr.cpp [CodeGen][ObjC] Do not call objc_storeStrong when initializing a 2016-10-18 19:05:41 +00:00
CGExprAgg.cpp [OpenCL] Generate opaque type for sampler_t and function call for the initializer 2016-07-28 19:26:30 +00:00
CGExprCXX.cpp Re-commit r283722, reverted in r283750, with a fix for a CUDA-specific use of 2016-10-10 18:54:32 +00:00
CGExprComplex.cpp [OpenCL] Generate opaque type for sampler_t and function call for the initializer 2016-07-28 19:26:30 +00:00
CGExprConstant.cpp [CodeGen] Fix an assert in EmitNullConstant. 2016-09-13 22:13:02 +00:00
CGExprScalar.cpp [OpenCL] Fix bug in __builtin_astype causing invalid LLVM cast instructions 2016-10-03 14:41:50 +00:00
CGLoopInfo.cpp [Pragma] Clear loop distribution attribute between loops 2016-08-24 04:31:56 +00:00
CGLoopInfo.h [NFC] Header cleanup 2016-07-18 19:02:11 +00:00
CGObjC.cpp [CodeGen][ObjC] Do not call objc_storeStrong when initializing a 2016-10-18 19:05:41 +00:00
CGObjCGNU.cpp Store FileEntry::Filename as a StringRef instead of raw pointer (NFC) 2016-10-10 22:52:47 +00:00
CGObjCMac.cpp CodeGen: further merge cstring literal construction 2016-09-20 18:38:54 +00:00
CGObjCRuntime.cpp CodeGen: ensure that the runtime calling convention matches 2016-10-13 19:45:08 +00:00
CGObjCRuntime.h Reduce the number of implicit StringRef->std::string conversions by threading StringRef through more APIs. 2016-02-13 13:42:54 +00:00
CGOpenCLRuntime.cpp [OpenCL] Augment pipe built-ins with pipe packet size and alignment. 2016-09-23 14:20:00 +00:00
CGOpenCLRuntime.h [OpenCL] Augment pipe built-ins with pipe packet size and alignment. 2016-09-23 14:20:00 +00:00
CGOpenMPRuntime.cpp Add FIXMEs for MSVC 2013 hacks in r277211. NFC. 2016-08-01 22:12:46 +00:00
CGOpenMPRuntime.h [OpenMP] Codegen for use_device_ptr clause. 2016-07-28 14:23:26 +00:00
CGOpenMPRuntimeNVPTX.cpp [OPENMP] Codegen for teams directive for NVPTX 2016-04-04 15:55:02 +00:00
CGOpenMPRuntimeNVPTX.h [OPENMP] Codegen for teams directive for NVPTX 2016-04-04 15:55:02 +00:00
CGRecordLayout.h Make CodeGen headers self-contained. 2016-02-02 16:05:18 +00:00
CGRecordLayoutBuilder.cpp revert SVN r265702, r265640 2016-04-08 16:52:00 +00:00
CGStmt.cpp Fix a couple of wrong-code bugs in switch-on-constant optimization: 2016-09-16 23:30:39 +00:00
CGStmtOpenMP.cpp [CodeGen][ObjC] Do not call objc_storeStrong when initializing a 2016-10-18 19:05:41 +00:00
CGVTT.cpp Update clang for D20348 2016-06-14 21:02:05 +00:00
CGVTables.cpp Moved unreachable to appease msvc, gcc and clang 2016-09-08 11:03:41 +00:00
CGVTables.h CodeGen: Clean up implementation of vtable initializer builder. NFC. 2016-09-08 01:14:39 +00:00
CGValue.h [Sema] PR26444 fix crash when alignment value is >= 2**16 2016-03-02 06:48:47 +00:00
CMakeLists.txt [coroutines] Adding builtins for coroutine intrinsics and backendutil support. 2016-10-03 22:44:48 +00:00
CodeGenABITypes.cpp Various improvements to the public IRGen interface. 2016-05-18 05:21:18 +00:00
CodeGenAction.cpp Add an option to save the backend-produced YAML optimization record to a file 2016-10-11 00:26:09 +00:00
CodeGenFunction.cpp Fix a couple of wrong-code bugs in switch-on-constant optimization: 2016-09-16 23:30:39 +00:00
CodeGenFunction.h [CodeGen][ObjC] Do not call objc_storeStrong when initializing a 2016-10-18 19:05:41 +00:00
CodeGenModule.cpp Module: emit initializers in submodules when importing the parent module. 2016-10-14 18:55:44 +00:00
CodeGenModule.h Module: emit initializers in submodules when importing the parent module. 2016-10-14 18:55:44 +00:00
CodeGenPGO.cpp [Coverage] Support for C++17 if initializers 2016-10-14 23:38:16 +00:00
CodeGenPGO.h [NFC] Header cleanup 2016-07-18 19:02:11 +00:00
CodeGenTBAA.cpp revert SVN r265702, r265640 2016-04-08 16:52:00 +00:00
CodeGenTBAA.h Make the remaining headers self-contained. 2016-02-02 14:24:21 +00:00
CodeGenTypeCache.h Re-commit [OpenCL] AMDGCN: Fix size_t type 2016-08-19 05:17:25 +00:00
CodeGenTypes.cpp Enable support for __float128 in Clang and enable it on pertinent platforms 2016-05-09 08:52:33 +00:00
CodeGenTypes.h [NFC] Header cleanup 2016-07-18 19:02:11 +00:00
CoverageMappingGen.cpp [Coverage] Support for C++17 if initializers 2016-10-14 23:38:16 +00:00
CoverageMappingGen.h [NFC] Header cleanup 2016-07-18 19:02:11 +00:00
EHScopeStack.h [Temporary, Lifetime] Add lifetime marks for temporaries 2016-07-01 21:08:47 +00:00
ItaniumCXXABI.cpp CodeGen: inherit DLLExport attribute in Windows Itanium 2016-09-30 23:11:05 +00:00
MicrosoftCXXABI.cpp Use unique_ptr for VPtrLocationsMap and VPtrInfoVector. 2016-10-10 16:26:29 +00:00
ModuleBuilder.cpp Various improvements to the public IRGen interface. 2016-05-18 05:21:18 +00:00
ObjectFilePCHContainerOperations.cpp Support object-file-wrapped modules in clang -module-file-info. 2016-08-17 23:13:53 +00:00
README.txt
SanitizerMetadata.cpp Implement no_sanitize_address for global vars 2016-10-14 19:55:09 +00:00
SanitizerMetadata.h Removing LLVM_DELETED_FUNCTION, as MSVC 2012 was the last reason for requiring the macro. NFC; Clang edition. 2015-02-15 22:54:08 +00:00
SwiftCallingConv.cpp Swift Calling Convention: Fix out of bounds access 2016-10-13 19:19:37 +00:00
TargetInfo.cpp Declare WinX86_64ABIInfo to satisfy SwiftABI info 2016-10-12 18:59:24 +00:00
TargetInfo.h [OpenCL] Fix size of image type 2016-08-03 20:38:06 +00:00

README.txt

IRgen optimization opportunities.

//===---------------------------------------------------------------------===//

The common pattern of
--
short x; // or char, etc
(x == 10)
--
generates an zext/sext of x which can easily be avoided.

//===---------------------------------------------------------------------===//

Bitfields accesses can be shifted to simplify masking and sign
extension. For example, if the bitfield width is 8 and it is
appropriately aligned then is is a lot shorter to just load the char
directly.

//===---------------------------------------------------------------------===//

It may be worth avoiding creation of alloca's for formal arguments
for the common situation where the argument is never written to or has
its address taken. The idea would be to begin generating code by using
the argument directly and if its address is taken or it is stored to
then generate the alloca and patch up the existing code.

In theory, the same optimization could be a win for block local
variables as long as the declaration dominates all statements in the
block.

NOTE: The main case we care about this for is for -O0 -g compile time
performance, and in that scenario we will need to emit the alloca
anyway currently to emit proper debug info. So this is blocked by
being able to emit debug information which refers to an LLVM
temporary, not an alloca.

//===---------------------------------------------------------------------===//

We should try and avoid generating basic blocks which only contain
jumps. At -O0, this penalizes us all the way from IRgen (malloc &
instruction overhead), all the way down through code generation and
assembly time.

On 176.gcc:expr.ll, it looks like over 12% of basic blocks are just
direct branches!

//===---------------------------------------------------------------------===//