Project Ortega BCM5719 LLVM https://git.raptorcs.com/git/bcm5719-llvm/atom?h=meklort-10.0.1 2019-11-21T21:53:10+00:00 2019-11-21T21:53:10+00:00 Vedant Kumar vsk@apple.com 2019-11-21T21:53:10+00:00 urn:sha1:844d97f650a2d716e63e3be903c32a82f2f817b1 Bit-Tracking Dead Code Elimination (bdce) do not mark dbg.value as undef after deleting instruction. which shows invalid state of variable in debugger. This patches fixes this by marking the dbg.value as undef which depends on dead instruction. This fixes https://bugs.llvm.org/show_bug.cgi?id=41925 Patch by kamlesh kumar! Differential Revision: https://reviews.llvm.org/D70040 2019-04-17T04:52:47+00:00 Eric Christopher echristo@gmail.com 2019-04-17T04:52:47+00:00 urn:sha1:cee313d288a4faf0355d76fb6e0e927e211d08a5 The reversion apparently deleted the test/Transforms directory. Will be re-reverting again. llvm-svn: 358552 2019-04-17T02:12:23+00:00 Eric Christopher echristo@gmail.com 2019-04-17T02:12:23+00:00 urn:sha1:a86343512845c9c1fdbac865fea88aa5fce7142a As it's causing some bot failures (and per request from kbarton). This reverts commit r358543/ab70da07286e618016e78247e4a24fcb84077fda. llvm-svn: 358546 2019-01-04T21:21:43+00:00 Nikita Popov nikita.ppv@gmail.com 2019-01-04T21:21:43+00:00 urn:sha1:6658fce4fcf3547c66e3273d07a12e266d4c4e01 In addition to finding dead uses of instructions, also find dead uses of function arguments, and replace them with zero as well. I'm changing the way the known bits are computed here to remove the coupling between the transfer function and the algorithm. It previously relied on the first op being visited first and computing known bits -- unless the first op is not an instruction, in which case they're computed on the second op. I could have adjusted this to check for "instruction or argument", but I think it's better to avoid the repeated calculation with an explicit flag. Differential Revision: https://reviews.llvm.org/D56247 llvm-svn: 350435 2019-01-02T22:34:32+00:00 Nikita Popov nikita.ppv@gmail.com 2019-01-02T22:34:32+00:00 urn:sha1:41f5710328c855adc6da24a54513f9ecbd576cd1 shl by 32 is undefined. This was intended to be a shl by 31 as part of a rotate sequence. llvm-svn: 350265 2019-01-02T20:02:14+00:00 Nikita Popov nikita.ppv@gmail.com 2019-01-02T20:02:14+00:00 urn:sha1:cc6ef7f153a7a9f03dfd3f41b1ca8010c046bb1a If an instruction has no demanded bits, remove it directly during BDCE, instead of leaving it for something else to clean up. Differential Revision: https://reviews.llvm.org/D56185 llvm-svn: 350257 2019-01-01T12:27:23+00:00 Nikita Popov nikita.ppv@gmail.com 2019-01-01T12:27:23+00:00 urn:sha1:c5a023b624850f400a61a41fbd368591950bd45f llvm-svn: 350190 2019-01-01T10:17:35+00:00 Nikita Popov nikita.ppv@gmail.com 2019-01-01T10:17:35+00:00 urn:sha1:d4bf57be6bd36ac9d9528117217113fadc3cd1cf To make it more obvious which part of the transformation is carried out by BDCE. Also drop the CHECK-IO lines which only run -instsimplify as they don't really seem meaningful if the main check doesn't run -instsimplify either. llvm-svn: 350189 2019-01-01T10:05:26+00:00 Nikita Popov nikita.ppv@gmail.com 2019-01-01T10:05:26+00:00 urn:sha1:bc9986e9adb057c5824398c381204db04214ffeb This (mostly) fixes https://bugs.llvm.org/show_bug.cgi?id=39771. BDCE currently detects instructions that don't have any demanded bits and replaces their uses with zero. However, if an instruction has multiple uses, then some of the uses may be dead (have no demanded bits) even though the instruction itself is still live. This patch extends DemandedBits/BDCE to detect such uses and replace them with zero. While this will not immediately render any instructions dead, it may lead to simplifications (in the motivating case, by converting a rotate into a simple shift), break dependencies, etc. The implementation tries to strike a balance between analysis power and complexity/memory usage. Originally I wanted to track demanded bits on a per-use level, but ultimately we're only really interested in whether a use is entirely dead or not. I'm using an extra set to track which uses are dead. However, as initially all uses are dead, I'm not storing uses those user is also dead. This case is checked separately instead. The previous attempt to land this lead to miscompiles, because cases where uses were initially dead but were later found to be live during further analysis were not always correctly removed from the DeadUses set. This is fixed now and the added test case demanstrates such an instance. Differential Revision: https://reviews.llvm.org/D55563 llvm-svn: 350188 2018-12-19T22:09:02+00:00 Nikita Popov nikita.ppv@gmail.com 2018-12-19T22:09:02+00:00 urn:sha1:3817ee7908346a9a900a04baacd64f828e9e9ef0 This reverts commit r349674. It causes a failure in test-suite enc-3des.execution_time. llvm-svn: 349684