emscripten-fastcomp/test/Transforms/JumpThreading/basic.ll, branch 1.13.0LLVM with the emscripten fastcomp javascript backendhttps://git.amat.us/emscripten-fastcomp/atom/test/Transforms/JumpThreading/basic.ll?h=1.13.02013-02-22T09:09:42ZUse references to attribute groups on the call/invoke instructions.2013-02-22T09:09:42ZBill Wendlingisanbard@gmail.com2013-02-22T09:09:42Zurn:sha1:351b7a10e2560a835759748c58da09e53207b39d
Listing all of the attributes for the callee of a call/invoke instruction is way
too much and makes the IR unreadable. Use references to attributes instead.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@175877 91177308-0d34-0410-b5e6-96231b3b80d8
Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID2013-01-01T13:57:25ZDmitri Gribenkogribozavr@gmail.com2013-01-01T13:57:25Zurn:sha1:fbfb1b286f08cd48e55b1284879a95f75ec964f6
This is done to avoid odd test failures, like the one fixed in r171243.
My previous regex was not good enough to find these.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171343 91177308-0d34-0410-b5e6-96231b3b80d8
Add a new attribute, 'noduplicate'. If a function contains a noduplicate call, the call cannot be duplicated - Jump threading, loop unrolling, loop unswitching, and loop rotation are inhibited if they would duplicate the call.2012-12-20T16:04:27ZJames Molloyjames.molloy@arm.com2012-12-20T16:04:27Zurn:sha1:67ae13575900e8efd056672987249fd0adbf5e73
Similarly inlining of the function is inhibited, if that would duplicate the call (in particular inlining is still allowed when there is only one callsite and the function has internal linkage).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@170704 91177308-0d34-0410-b5e6-96231b3b80d8
Remove dead option from tests.2010-09-14T21:03:40ZOwen Andersonresistor@mac.com2010-09-14T21:03:40Zurn:sha1:2a0fd011c234ac75fd45ac13b4edb90fc73d6044
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@113855 91177308-0d34-0410-b5e6-96231b3b80d8
Add a test for the duplicated-conditional situation illutrated by PR5652.2010-08-31T18:49:12ZOwen Andersonresistor@mac.com2010-08-31T18:49:12Zurn:sha1:b95df124b26deae9221c05ea994464e4b5bc7f29
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112621 91177308-0d34-0410-b5e6-96231b3b80d8
Add a micro-test for the transforms I added to JumpThreading.2010-08-31T17:59:07ZOwen Andersonresistor@mac.com2010-08-31T17:59:07Zurn:sha1:421cc4c9998e5ae1ebd643dfbd25771fe8462ec4
I have not been able to find a way to test each in isolation, for a few reasons:
1) The ability to look-through non-i1 BinaryOperator's requires the ability to look through non-constant
ICmps in order for it to ever trigger.
2) The ability to do LVI-powered PHI value determination only matters in cases that ProcessBranchOnPHI
can't handle. Since it already handles all the cases without other instructions in the def-use chain
between the PHI and the branch, it requires the ability to look through ICmps and/or BinaryOperators
as well.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112611 91177308-0d34-0410-b5e6-96231b3b80d8
Use LVI to eliminate conditional branches where we've tested a related condition previously. Update tests for this change.2010-08-27T17:12:29ZOwen Andersonresistor@mac.com2010-08-27T17:12:29Zurn:sha1:660cab32fe5105bcaa17daa4704c24065ac0a7e6
This fixes PR5652.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112270 91177308-0d34-0410-b5e6-96231b3b80d8
1) Use the new SimplifyInstructionsInBlock routine instead of the copy2010-01-12T20:41:47ZChris Lattnersabre@nondot.org2010-01-12T20:41:47Zurn:sha1:972a46c96a06ecb0e8ce73c796c313175abe76bb
in JT.
2) When cloning blocks for PHI or xor conditions, use
instsimplify to simplify the code as we go. This allows us to
squish common cases early in JT which opens up opportunities for
subsequent iterations, and allows it to completely simplify the
testcase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93253 91177308-0d34-0410-b5e6-96231b3b80d8
Teach jump threading to duplicate small blocks when the branch2010-01-12T02:07:17ZChris Lattnersabre@nondot.org2010-01-12T02:07:17Zurn:sha1:2249a0b1bd0941e61c0b87f2f64a5c8cab45f14c
condition is a xor with a phi node. This eliminates nonsense
like this from 176.gcc in several places:
LBB166_84:
testl %eax, %eax
- setne %al
- xorb %cl, %al
- notb %al
- testb $1, %al
- je LBB166_85
+ je LBB166_69
+ jmp LBB166_85
This is rdar://7391699
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93221 91177308-0d34-0410-b5e6-96231b3b80d8
typo2009-11-12T09:44:17ZGabor Greifggreif@gmail.com2009-11-12T09:44:17Zurn:sha1:8bedf029f05e2fa9b1c4e92f4ea3a4d9af961c83
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86980 91177308-0d34-0410-b5e6-96231b3b80d8