llvm-project/Transforms at f7f2cd35dc18b59c19b676b52d6e12e4e1f88ea4 - llvm-project - shylie's gitea

shylie/llvm-project

History

Jingyue Wu 33bd53df7f [InstCombine] mark ADD with nuw if no unsigned overflow

Summary:
As a starting step, we only use one simple heuristic: if the sign bits
of both a and b are zero, we can prove "add a, b" do not unsigned
overflow, and thus convert it to "add nuw a, b".

Updated all affected tests and added two new tests (@zero_sign_bit and
@zero_sign_bit2) in AddOverflow.ll

Test Plan: make check-all

Reviewers: eliben, rafael, meheff, chandlerc

Reviewed By: chandlerc

Subscribers: chandlerc, llvm-commits

Differential Revision: http://reviews.llvm.org/D4144

llvm-svn: 211084

2014-06-17 00:42:07 +00:00

..

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

AddDiscriminators

Fix bug 19437 - Only add discriminators for DWARF 4 and above.

2014-04-17 22:33:50 +00:00

ArgumentPromotion

IR: Conservatively verify inalloca arguments

2014-04-30 17:22:00 +00:00

AtomicExpandLoadLinked/ARM

Atomics: make use of the "cmpxchg weak" instruction.

2014-06-13 16:45:52 +00:00

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

ConstantHoisting

[ConstantHoisting][X86] Improve the cost model for small constants with large types (i64 and above).

2014-06-10 00:32:29 +00:00

Remove the linker_private and linker_private_weak linkages.

2014-03-13 23:18:37 +00:00

Teach the constant folder to look through bitcast constant expressions

2014-05-15 09:56:28 +00:00

CorrelatedValuePropagation

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

IR: Change inalloca's grammar a bit

2014-03-09 06:41:58 +00:00

DeadStoreElimination

Update optimization passes to handle inalloca arguments

2014-01-28 02:38:36 +00:00

Use right pointer type in DebugIR

2013-09-27 22:26:25 +00:00

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

When analyzing params/args for readnone/readonly, don't forget to consider that a pointer argument may be passed through a callsite to the return, and that we may need to analyze it. Fixes a bug reported on llvm-dev: http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-May/073098.html

2014-05-30 02:31:27 +00:00

Fix coverage for files with global constructors again. Adds a testcase to the commit from r206671, as requested by David Blaikie.

2014-06-05 04:31:43 +00:00

Allow alias to point to an arbitrary ConstantExpr.

2014-06-03 02:41:57 +00:00

Allow alias to point to an arbitrary ConstantExpr.

2014-06-03 02:41:57 +00:00

GVN: Enable value forwarding for calloc

2014-06-12 21:16:19 +00:00

ScalarEvolution: Fix handling of AddRecs in isKnownPredicate

2014-05-23 00:06:56 +00:00

Add support for missed and analysis optimization remarks.

2014-05-22 14:19:46 +00:00

[InstCombine] mark ADD with nuw if no unsigned overflow

2014-06-17 00:42:07 +00:00

Teach isKnownNonNull that a nonnull return is not null. Add a test for this case as well as the case of a nonnull attribute (already handled but not tested).

2014-05-20 05:13:21 +00:00

Fix most of PR10367.

2014-05-16 19:35:39 +00:00

No need for those tests to go thru llvm-as and/or llvm-dis.

2014-05-27 22:03:28 +00:00

No need for those tests to go thru llvm-as and/or llvm-dis.

2014-05-27 22:03:28 +00:00

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

[LPM] Switch LICM to actively use LCSSA in addition to preserving it.

2014-02-11 12:52:27 +00:00

Add LoadCombine pass.

2014-05-29 01:55:07 +00:00

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

Fix loop rerolling pass failure with non-consant loop lower bound

2014-01-03 17:20:01 +00:00

[LPM] Fix PR18643, another scary place where loop transforms failed to

2014-01-29 13:16:53 +00:00

No need for those tests to go thru llvm-as and/or llvm-dis.

2014-05-27 22:03:28 +00:00

LoopStrengthReduce

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

Teach LoopUnrollPass to respect loop unrolling hints in metadata.

2014-06-16 23:53:02 +00:00

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

IR: add "cmpxchg weak" variant to support permitted failure.

2014-06-13 14:24:07 +00:00

LowerExpectIntrinsic

Lower llvm.expect intrinsic correctly for i1

2014-02-02 22:43:55 +00:00

Remove LowerInvoke's obsolete "-enable-correct-eh-support" option

2014-03-20 19:54:47 +00:00

LowerSwitch: track bounding range for the condition tree.

2014-06-16 16:55:20 +00:00

Debug Info: update testing cases to specify the debug info version number.

2013-11-22 21:49:45 +00:00

Treat lifetime.start'd memory like we treat freshly alloca'd memory. Patch by Björn Steinbrink!

2014-03-26 23:45:15 +00:00

Added functions cross-reference test.

2014-06-09 19:03:02 +00:00

Reject alias to undefined symbols in the verifier.

2014-03-12 20:15:49 +00:00

Fix use_iterator crash in ObjCArc from r203364

2014-03-18 22:32:43 +00:00

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

[Reassociate] FileCheckize and cleanup a few testcases. No functional change

2014-06-11 18:28:45 +00:00

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

Tolerate unmangled names in sample profiles.

2014-03-18 12:03:12 +00:00

Fix Scalarizer insertion point when replacing PHIs with insertelements

2013-12-23 14:51:56 +00:00

Fix PR18800. llvm intrinsic memcpy takes 5 arguments void @llvm.memcpy.p0i8.p0i8.i32(i8* <dest>, i8* <src>, i32 <len>, i32 <align>, i1 <isvolatile>).The test case incorrectly uses the old format resulting in isVolatile function in MemIntrinsic to crash during SROA transformation.Modified the test case to use correct signature of memcpy and memset.

2014-03-13 04:50:29 +00:00

SCCP: update for cmpxchg returning { iN, i1 } now.

2014-06-13 14:54:09 +00:00

SeparateConstOffsetFromGEP/NVPTX

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

Sink: Don't sink static allocas from the entry block

2014-03-21 15:51:51 +00:00

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

SROA: Only split loads on byte boundaries

2014-06-17 00:19:35 +00:00

Add a debug info code generation level to the compile unit metadata

2014-02-27 01:24:56 +00:00

StructurizeCFG: Fix verification failure with some loops.

2013-11-22 19:24:39 +00:00

Improve 'tail' call marking in TRE. A bootstrap of clang goes from 375k calls marked tail in the IR to 470k, however this improvement does not carry into an improvement of the call/jmp ratio on x86. The most common pattern is a tail call + br to a block with nothing but a 'ret'.

2014-05-05 23:59:03 +00:00

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00