summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* [Analyzer] Clarify error messages for undefined resultDaniel Marjamaki2017-10-115-64/+99
| | | | | | Differential Revision: https://reviews.llvm.org/D30295 llvm-svn: 315462
* [InstCombine] add baseline tests for D38531; NFCSanjay Patel2017-10-111-1/+103
| | | | llvm-svn: 315461
* [DAGCombiner] convert insertelement of bitcasted vector into shuffleSanjay Patel2017-10-113-51/+77
| | | | | | | | | | | | | | | | Eg: insert v4i32 V, (v2i16 X), 2 --> shuffle v8i16 V', X', {0,1,2,3,8,9,6,7} This is a generalization of the IR fold in D38316 to handle insertion into a non-undef vector. We may want to abandon that one if we can't find value in squashing the more specific pattern sooner. We're using the existing legal shuffle target hook to avoid AVX512 horror with vXi1 shuffles. There may be room for improvement in the shuffle lowering here, but that would be follow-up work. Differential Revision: https://reviews.llvm.org/D38388 llvm-svn: 315460
* [clang-rename] Add more unittest.Haojian Wu2017-10-111-0/+118
| | | | llvm-svn: 315459
* Revert "[dsymutil] Timestmap verification for __swift_ast"Jonas Devlieghere2017-10-117-74/+23
| | | | | | This reverts commit r315456. llvm-svn: 315458
* [TargetLowering] Correctly track NumFixedArgs field of CallLoweringInfoAlex Bradbury2017-10-112-2/+3
| | | | | | | | | | | | | | | | | | | | | The NumFixedArgs field of CallLoweringInfo is used by TargetLowering::LowerCallTo to determine whether a given argument is passed using the vararg calling convention or not (specifically, to set IsFixed for each ISD::OutputArg). Firstly, CallLoweringInfo::setLibCallee and CallLoweringInfo::setCallee both incorrectly set NumFixedArgs based on the _previous_ args list. Secondly, TargetLowering::LowerCallTo failed to increment NumFixedArgs when modifying the argument list so a pointer is passed for the return value. If your backend uses the IsFixed property or directly accesses NumFixedArgs, it is _possible_ this change could result in codegen changes (although the previous behaviour would have been incorrect). No such cases have been identified during code review for any in-tree architecture. Differential Revision: https://reviews.llvm.org/D37898 llvm-svn: 315457
* [dsymutil] Timestmap verification for __swift_astJonas Devlieghere2017-10-117-23/+74
| | | | | | | | | | | | This patch adds timestamp verification for swiftmodule files. - A new flag is provided to allows us to continue testing of the code for embedding the__swift_ast. (git doesn't maintain timestamps) - Adds a new test for fat (arm) binaries. Differential revision: https://reviews.llvm.org/D38686 llvm-svn: 315456
* [RISCV] Fix build after r315327Alex Bradbury2017-10-113-6/+10
| | | | | | | Differential Revision: https://reviews.llvm.org/D38779 Patch by Chih-Mao Chen. llvm-svn: 315455
* [mips] Add missing tests from rL315451Simon Dardis2017-10-114-0/+704
| | | | llvm-svn: 315454
* [OpenCL] Allow function declaration with empty argument list.Alexey Bader2017-10-114-4/+9
| | | | | | | | | | | | | | | | Treat 'f()' as 'f(void)' rather than a function w/o a prototype. Reviewers: Anastasia, yaxunl Reviewed By: Anastasia, yaxunl Subscribers: cfe-commits, echuraev, chapuni Differential Revision: https://reviews.llvm.org/D33681 Re-apply revision 306653. llvm-svn: 315453
* [clang-rename] Don't add prefix qualifiers to the declaration and definition ↵Haojian Wu2017-10-112-40/+59
| | | | | | | | | | | | | | of the renamed symbol. Reviewers: ioeric Reviewed By: ioeric Subscribers: klimek, cfe-commits, arphaman Differential Revision: https://reviews.llvm.org/D38723 llvm-svn: 315452
* [mips] Add support for parsing target specific flags for MIRSimon Dardis2017-10-112-0/+42
| | | | | | | | Reviewers: atanasyan Differential Revision: https://reviews.llvm.org/D38620 llvm-svn: 315451
* llvm/module.modulemap: Create LLVM_MC_TableGen. It is used by llvm-tblgen.NAKAMURA Takumi2017-10-111-0/+10
| | | | llvm-svn: 315450
* llvm/module.modulemap: Move Support_TargetRegistry to let LLVMSupport free ↵NAKAMURA Takumi2017-10-111-6/+7
| | | | | | from MC. llvm-svn: 315449
* [NFC] Fix variables used only for assert in GVNMax Kazantsev2017-10-111-6/+6
| | | | llvm-svn: 315448
* [llvm-rc] Fix spelling in messageSimon Dardis2017-10-111-1/+1
| | | | llvm-svn: 315447
* [TableGen] Tidy up CodeGenSchedule.cppJaved Absar2017-10-111-13/+13
| | | | | | Use range_loop where it simplifies. llvm-svn: 315446
* [Asm] Add debug tracing in table-generated assembly matcherOliver Stannard2017-10-1116-30/+122
| | | | | | | | | | | | | This adds debug tracing to the table-generated assembly instruction matcher, enabled by the -debug-only=asm-matcher option. The changes in the target AsmParsers are to add an MCInstrInfo reference under a consistent name, so that we can use it from table-generated code. This was already being used this way for targets that use deprecation warnings, but 5 targets did not have it, and Hexagon had it under a different name to the other backends. llvm-svn: 315445
* Fix dumping of characters with non-standard sizesPetr Pavlu2017-10-114-93/+176
| | | | | | | | | | | | | | | | * Prevent dumping of characters in DumpDataExtractor() with item_byte_size bigger than 8 bytes. This case is not supported by the code and results in a crash because the code calls DataExtractor::GetMaxU64Bitfield() -> GetMaxU64() that asserts for byte size > 8 bytes. * Teach DataExtractor::GetMaxU64(), GetMaxU32(), GetMaxS64() and GetMaxU64_unchecked() how to handle byte sizes that are not a multiple of 2. This allows DumpDataExtractor() to dump characters and booleans with item_byte_size in the interval of [1, 8] bytes. Values that are not a multiple of 2 would previously result in a crash because they were not handled by GetMaxU64(). llvm-svn: 315444
* [X86] Added tests for TESTM and TESTNM (NFC)Uriel Korach2017-10-114-0/+1148
| | | | | | | | Adding this test files now so after another commit that will add a new pattern for TESTM and TESTNM instructions will show the improvemnts that have been done. Change-Id: If3908b7f91897d764053312365a2bc1de78b291d llvm-svn: 315443
* [ELF] - Fix out of sync comment. NFC.George Rimar2017-10-111-1/+1
| | | | llvm-svn: 315442
* [ELF] - Do not set output section flags except SHF_{ALLOC,WRITE,EXECINSTR}.George Rimar2017-10-113-4/+59
| | | | | | | | | | | | | | | | | | | | | | | This is PR34546. Currently LLD creates output sections even if it has no input sections, but its command contains an assignment. Committed code just assigns the same flag that was used in previous live section. That does not work sometimes. For example if we have following script: .ARM.exidx : { *(.ARM.exidx*) } .foo : { _foo = 0; } } Then first section has SHF_LINK_ORDER flag. But section foo should not. That was a reason of crash in OutputSection::finalize(). LLD tried to calculate Link value, calling front() on empty input sections list. We should only keep access flags and omit all others when creating such sections. Patch fixes the crash observed. Differential revision: https://reviews.llvm.org/D37736 llvm-svn: 315441
* [GVN] Prevent LoadPRE from hoisting across instructions that don't pass ↵Max Kazantsev2017-10-114-0/+258
| | | | | | | | | | | | | | | | | | control flow to successors This patch fixes the miscompile that happens when PRE hoists loads across guards and other instructions that don't always pass control flow to their successors. PRE is now prohibited to hoist across such instructions because there is no guarantee that the load standing after such instruction is still valid before such instruction. For example, a load from under a guard may be invalid before the guard in the following case: int array[LEN]; ... guard(0 <= index && index < LEN); use(array[index]); Differential Revision: https://reviews.llvm.org/D37460 llvm-svn: 315440
* Revert r314955: "Remove PendingBody mechanism for function and ObjC method ↵Daniel Jasper2017-10-115-122/+79
| | | | | | | | | | | deserialization." This is breaking a build of https://github.com/abseil/abseil-cpp and so likely not really NFC. Also reverted subsequent r314956/7. I'll forward reproduction instructions to Richard. llvm-svn: 315439
* [LICM] Disallow sinking of unordered atomic loads into loopsMax Kazantsev2017-10-112-5/+104
| | | | | | | | | | | | | | | | | | | | | | | | Sinking of unordered atomic load into loop must be disallowed because it turns a single load into multiple loads. The relevant section of the documentation is: http://llvm.org/docs/Atomics.html#unordered, specifically the Notes for Optimizers section. Here is the full text of this section: > Notes for optimizers > In terms of the optimizer, this **prohibits any transformation that > transforms a single load into multiple loads**, transforms a store into > multiple stores, narrows a store, or stores a value which would not be > stored otherwise. Some examples of unsafe optimizations are narrowing > an assignment into a bitfield, rematerializing a load, and turning loads > and stores into a memcpy call. Reordering unordered operations is safe, > though, and optimizers should take advantage of that because unordered > operations are common in languages that need them. Patch by Daniil Suchkov! Reviewed By: reames Differential Revision: https://reviews.llvm.org/D38392 llvm-svn: 315438
* [IRCE] Do not process empty safe rangesMax Kazantsev2017-10-113-9/+85
| | | | | | | | | | | | | | | IRCE should not apply when the safe iteration range is proved to be empty. In this case we do unneeded job creating pre/post loops and then never go to the main loop. This patch makes IRCE not apply to empty safe ranges, adds test for this situation and also modifies one of existing tests where it used to happen slightly. Reviewed By: anna Differential Revision: https://reviews.llvm.org/D38577 llvm-svn: 315437
* Do not copy Sections vector.Rui Ueyama2017-10-111-1/+1
| | | | llvm-svn: 315436
* Reorder.NAKAMURA Takumi2017-10-111-1/+1
| | | | llvm-svn: 315435
* Split LinkerScript::computeInputSections into two functions.Rui Ueyama2017-10-112-33/+37
| | | | llvm-svn: 315434
* Swap parameters of getSymbolValue.Rui Ueyama2017-10-113-8/+8
| | | | | | | | | Usually, a function that does symbol lookup takes symbol name as its first argument. Also, if a function takes a source location hint, it is usually the last parameter. So the previous parameter order was counter-intuitive. llvm-svn: 315433
* Do not handle DefinedCommon in linker scripts.Rui Ueyama2017-10-111-6/+4
| | | | | | | | Because of r314495, DefinedCommon symbols cannot reach to getSymbolValue function. When they reach the fucntion, they have already been converted to DefinedRegular symbols. llvm-svn: 315432
* Rename BytesDataCommand -> ByteCommand.Rui Ueyama2017-10-114-13/+12
| | | | llvm-svn: 315431
* Inline LinkerScript::process.Rui Ueyama2017-10-111-43/+45
| | | | | | "process" was not a good name because everything can be named it. llvm-svn: 315430
* [GVN] Don't replace constants with constants.Davide Italiano2017-10-112-0/+18
| | | | | | | | This fixes PR34908. Patch by Alex Crichton! Differential Revision: https://reviews.llvm.org/D38765 llvm-svn: 315429
* ClangCodeGenTests: Update libdeps in rL315392, +clangAST.NAKAMURA Takumi2017-10-111-0/+1
| | | | llvm-svn: 315428
* Split a loop into two to make it clear that it did two different things.Rui Ueyama2017-10-111-5/+13
| | | | llvm-svn: 315427
* Use more precise type.Rui Ueyama2017-10-114-20/+17
| | | | llvm-svn: 315426
* Remove a static local varaible.Rui Ueyama2017-10-111-8/+6
| | | | | | We should generally avoid static local variables. llvm-svn: 315425
* Avoid a pointer to a pointer to an input section.Rui Ueyama2017-10-111-11/+11
| | | | llvm-svn: 315424
* Add comment.Rui Ueyama2017-10-111-0/+3
| | | | llvm-svn: 315423
* Split decompressAndMergeSection into two separate functions.Rui Ueyama2017-10-114-21/+27
| | | | | | | Even though they are called sequentially, they are separate operations, so it is better to split it. llvm-svn: 315422
* Remove useless cast.Rui Ueyama2017-10-111-3/+2
| | | | llvm-svn: 315421
* Rename filename -> getFilename.Rui Ueyama2017-10-111-3/+3
| | | | llvm-svn: 315420
* Rename Align -> Alignment.Rui Ueyama2017-10-111-2/+2
| | | | llvm-svn: 315419
* Rename CurAddressState -> Ctx.Rui Ueyama2017-10-112-45/+40
| | | | | | | | | We used CurAddressState to capture a dynamic context just like we use lambdas to capture static contexts. So, CurAddressState is used everywhere in LinkerScript.cpp. It is worth a shorter name. llvm-svn: 315418
* Revert "[llvm-objcopy] Add support for --strip-sections to remove all ↵Jake Ehrlich2017-10-114-114/+20
| | | | | | | | section headers leaving only program headers and loadable segment data" This reverts commit rL315412 llvm-svn: 315417
* Make LinkerScript::addSymbol a private member function.Rui Ueyama2017-10-111-2/+2
| | | | llvm-svn: 315416
* Rename processCommands -> processSectionCommands.Rui Ueyama2017-10-114-7/+8
| | | | llvm-svn: 315415
* Inline small functions.Rui Ueyama2017-10-112-20/+8
| | | | llvm-svn: 315414
* WIN32_FIND_DATA -> WIN32_FIND_DATAW.Peter Collingbourne2017-10-111-1/+1
| | | | | | Should fix mingw bot. llvm-svn: 315413
OpenPOWER on IntegriCloud