Chris Lattner
d68df2a481
turn some if/then's into ?:
...
llvm-svn: 75732
2009-07-15 02:36:21 +00:00
Chris Lattner
9a066cacf5
eliminate a bunch of printSuffixedName's by using info computed from
...
Mangler in FnStubs.
llvm-svn: 75731
2009-07-15 02:33:19 +00:00
Ted Kremenek
e6fea68c46
More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer.
...
This patch causes:
- StoreManager::InvalidateRegion() to not used the casted type of a region if
it would cause a pointer type to be invalidated as a non-pointer type.
- Pushes RegionStore::RetrieveElement() further by handling retrievals from
symbolic arrays that have been invalidated. This uses the new SymbolDerived
construct that was recently introduced.
The result is that the failing test in misc-ps-region-store-x86_64.m now passes.
Both misc-ps-region-store-x86_64.m and misc-ps-region-store-i386.m contain a
test case that motivated this change.
llvm-svn: 75730
2009-07-15 02:31:43 +00:00
Chris Lattner
e8382ac9b1
convert FnStubs to using a more structured form, eliminating
...
a couple instances of printSuffixedName (in favor of having
the mangler do stuff).
llvm-svn: 75729
2009-07-15 02:28:57 +00:00
Ted Kremenek
c6c2157836
Introduced the notion of a "derived symbol" using the class SymbolDerived.
...
SymbolDerived allows us to model symbolic values that are related to other
symbols via a region hierarchy. For example, SymbolDerived can be used to model
individual values of a symbolic array.
llvm-svn: 75728
2009-07-15 02:27:32 +00:00
Chris Lattner
1447bd2314
actually $stub labels *are* private, I just missed that
...
printSuffixedName automatically does this.
llvm-svn: 75727
2009-07-15 01:53:36 +00:00
Chris Lattner
dab248ac95
convert this to filecheck style and make it a test of darwin/PPC's
...
extremely elaborate pic/nopic stubs.
llvm-svn: 75726
2009-07-15 01:43:31 +00:00
Chris Lattner
815337abd6
simplify this test to test the esentials.
...
llvm-svn: 75725
2009-07-15 01:32:33 +00:00
Ryan Flynn
6817040bed
test commit; add self
...
llvm-svn: 75724
2009-07-15 01:32:31 +00:00
Dan Gohman
b0f8e9960d
Fix indentation.
...
llvm-svn: 75723
2009-07-15 01:26:32 +00:00
Dan Gohman
c43e47938a
Make makeLoopInvariant report whether it made any changes or not,
...
and use this to simplify more code.
llvm-svn: 75722
2009-07-15 01:25:43 +00:00
Chris Lattner
7f318128d0
$stub references should not be private ("L") labels.
...
llvm-svn: 75721
2009-07-15 01:23:13 +00:00
Chris Lattner
8da3ce3bfd
simplify "EmitExternalGlobal": it is only used to output a
...
reference to the personality function for a module, and
those are all added to the GVStubs array by looping
over MMI->getPersonalities()
llvm-svn: 75720
2009-07-15 01:16:38 +00:00
Chris Lattner
9ffa4e2193
Convert GVStubs and HiddenGVStubs to work more like the X86 backend, this
...
eliminates a bunch of uses of "printSuffixedName" and "getGlobalLinkName".
llvm-svn: 75719
2009-07-15 01:14:44 +00:00
Chris Lattner
0b1ca0a303
minor cleanups: only switch sections once before all function stubs, instead of
...
before each one.
llvm-svn: 75718
2009-07-15 00:55:58 +00:00
Dan Gohman
00d4fb45e5
llvm-c/Core.h is no longer needed in lto.h, and it brings in
...
several unwanted dependencies.
llvm-svn: 75717
2009-07-15 00:47:00 +00:00
Chris Lattner
c1bc3701b6
Fix a fixme, patch by Ryan Flynn!
...
llvm-svn: 75716
2009-07-15 00:36:04 +00:00
Evan Cheng
d1c4705577
control reaches end of non-void function.
...
llvm-svn: 75714
2009-07-14 23:55:32 +00:00
Ted Kremenek
e5d2f79876
Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion.
...
llvm-svn: 75713
2009-07-14 23:52:07 +00:00
Fariborz Jahanian
dfbd05d8aa
Added a FIXME and prevent crash when listing
...
a dependent type in the ctor initializer-list.
llvm-svn: 75712
2009-07-14 23:41:35 +00:00
Kevin Enderby
d1ea5393c9
Added llvm-mc support for parsing the .include directive.
...
llvm-svn: 75711
2009-07-14 23:21:55 +00:00
Ted Kremenek
9a797db199
Split out 'test2' into an i386 and x86_64 file, illustrating how the
...
test behavior differs between architectures. When this is no longer
the case, these tests will be merged.
llvm-svn: 75708
2009-07-14 23:17:22 +00:00
Chris Lattner
ca99c348ed
minor syntax cleanup
...
llvm-svn: 75707
2009-07-14 23:14:10 +00:00
Owen Anderson
170229f68d
Update for LLVM API change, and contextify a bunch of related stuff.
...
llvm-svn: 75705
2009-07-14 23:10:40 +00:00
Owen Anderson
b6b2530000
Move EVER MORE stuff over to LLVMContext.
...
llvm-svn: 75703
2009-07-14 23:09:55 +00:00
Ted Kremenek
eea582f04f
This test currently only passes for 32-bit archs.
...
llvm-svn: 75698
2009-07-14 22:58:18 +00:00
Daniel Dunbar
2c2c4af05e
Fix path name.
...
llvm-svn: 75697
2009-07-14 22:58:03 +00:00
Fariborz Jahanian
5da7ecb245
Fixed a bug in building ctor-initializer AST.
...
llvm-svn: 75692
2009-07-14 22:40:50 +00:00
Eli Friedman
bb0d9a5129
Remove -ftraditional option, which gcc doesn't actually support. Make
...
using -traditional and -traditional-cpp with clang an error because
it's unsupported in clang and causes a significant change in the
semantics of the language.
llvm-svn: 75690
2009-07-14 21:58:17 +00:00
Bruno Cardoso Lopes
ef130cfa95
Use the right relocation type for X86::MOV64ri64i32
...
llvm-svn: 75687
2009-07-14 21:46:40 +00:00
Bob Wilson
a9111b9f97
Fix bad indentation and 80-col violation.
...
llvm-svn: 75686
2009-07-14 21:45:58 +00:00
Kevin Enderby
cbe475dfe8
Added llvm-mc support for parsing the .lsym directive.
...
llvm-svn: 75685
2009-07-14 21:35:03 +00:00
Devang Patel
9be7b20401
Revert 75648 for now. It is causing test failures.
...
llvm-svn: 75684
2009-07-14 21:31:22 +00:00
David Goodwin
95bad85498
Check for PRE_INC and POST_INC.
...
llvm-svn: 75683
2009-07-14 21:29:29 +00:00
Dan Gohman
92b969ba80
Fix the expansion of umax and smax in the case where one or more of
...
the operands have pointer type, so that the resulting type matches
the original SCEV type, and so that unnecessary ptrtoints are
avoided in common cases.
llvm-svn: 75680
2009-07-14 20:57:04 +00:00
Ted Kremenek
0c37d19fea
Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this by silently wrapping the region with an ElementRegion. This fixes the failures in misc-ps-region-store.m.
...
llvm-svn: 75679
2009-07-14 20:48:22 +00:00
Chris Lattner
69ec557020
fix a bug in my previous patch.
...
llvm-svn: 75678
2009-07-14 20:45:41 +00:00
Ted Kremenek
57da3ed4ce
Update CMake file.
...
llvm-svn: 75677
2009-07-14 20:44:17 +00:00
Chris Lattner
156817705e
fix fallout of the LLVM codegen switching to formatted_raw_ostream.
...
llvm-svn: 75675
2009-07-14 20:39:15 +00:00
Chris Lattner
3fd68bef66
allow default construction of formatted_raw_ostream.
...
llvm-svn: 75674
2009-07-14 20:33:33 +00:00
Chris Lattner
5c5140c767
fix David's merge conflict
...
llvm-svn: 75673
2009-07-14 20:25:40 +00:00
Ted Kremenek
e2fb3ce385
Tweak pretty-printing of CompoundVal to make it more useful for debugging.
...
llvm-svn: 75672
2009-07-14 20:21:36 +00:00
Chris Lattner
79c136d473
reapply r75408, which eliminates MOV64r0 in favor of using
...
MOV32r0 + subregs to do the same thing. This should work now
that PR4544 is fixed. Thanks Evan!
llvm-svn: 75671
2009-07-14 20:19:57 +00:00
David Greene
a31f96cf2b
Have asm printers use formatted_raw_ostream directly to avoid a
...
dynamic_cast<>.
llvm-svn: 75670
2009-07-14 20:18:05 +00:00
Viktor Kutuzov
f6a5ab9abd
Helper script to use bugpoint with a remote target.
...
llvm-svn: 75669
2009-07-14 20:08:45 +00:00
Fariborz Jahanian
06b2374504
Build AST for default ctor-initializer when constructor has
...
out of line definition.
llvm-svn: 75668
2009-07-14 20:06:22 +00:00
Chris Lattner
d7fec20cba
convert to filecheck style, simplify RUN line, and add comment.
...
llvm-svn: 75667
2009-07-14 19:49:11 +00:00
Ted Kremenek
cc46134838
Update CMake file.
...
llvm-svn: 75666
2009-07-14 19:46:07 +00:00
Viktor Kutuzov
1518de130e
Fix for bugpoint -remote-client
...
llvm-svn: 75665
2009-07-14 19:10:55 +00:00
Chris Lattner
fecff3661f
Remove some dead functions, patch by Ryan Flynn!
...
llvm-svn: 75664
2009-07-14 18:58:35 +00:00