llvm-6502/test
Eli Friedman 7c6a5a2c39 When marking a block as being unanalyzable, use "Clobber" on the terminator instead of the first instruction in the block. This is a bit of a hack; "Clobber" isn't really the right marking in the first place. memdep doesn't really have any way of properly expressing "unanalyzable" at the moment. Using it on the terminator is much less ambiguous than using it on an arbitrary instruction, though.
In the given testcase, the "Clobber" was pointing to a load, and GVN was incorrectly assuming that meant that the "Clobber" load overlapped the load being analyzed (when they are actually unrelated).

The included testcase tests both this commit and r132434.

Part two of rdar://9429882.  (r132434 was mislabeled.)



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132442 91177308-0d34-0410-b5e6-96231b3b80d8
2011-06-02 00:08:52 +00:00
..
Analysis Make DecomposeGEPExpression check SimplifyInstruction only 2011-05-24 18:24:08 +00:00
Archive
Assembler
Bindings/Ocaml
Bitcode Add missing newlines. 2011-05-28 01:35:58 +00:00
BugPoint
CodeGen Do not drop constant values when a variable's content is described using .debug_loc entries. 2011-06-01 22:03:25 +00:00
DebugInfo Fix a regression I recently introduced by removing DwarfRegNum of 2011-05-27 22:15:01 +00:00
ExecutionEngine Reverted r132135 per Xerxes request. These tests are passing for his setup. Requires more research. 2011-05-31 21:50:33 +00:00
Feature
FrontendAda
FrontendC Add a testcase, enabled only on arm, for llvm-gcc r132366. 2011-06-01 18:23:56 +00:00
FrontendC++
FrontendFortran
FrontendObjC
FrontendObjC++
Integer
lib
Linker
LLVMC
MC Fix ssat and ssat16 encodings for ARM and Thumb. The bit position value 2011-05-31 03:33:27 +00:00
Object
Other
Scripts
TableGen
Transforms When marking a block as being unanalyzable, use "Clobber" on the terminator instead of the first instruction in the block. This is a bit of a hack; "Clobber" isn't really the right marking in the first place. memdep doesn't really have any way of properly expressing "unanalyzable" at the moment. Using it on the terminator is much less ambiguous than using it on an arbitrary instruction, though. 2011-06-02 00:08:52 +00:00
Unit
Verifier
CMakeLists.txt
lit.cfg
lit.site.cfg.in
Makefile
Makefile.tests
site.exp.in
TestRunner.sh