sjfink
8a9429e86b
fix typo in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:48:21 +00:00
sjfink
1ea1885612
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1491 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 20:47:32 +00:00
sjfink
7971640032
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1490 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:52:46 +00:00
sjfink
a86747d201
misc. fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1489 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:52:26 +00:00
sjfink
b96ca4eacc
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1488 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 17:06:15 +00:00
sjfink
1f42098a1e
bug fix in getBlockForInstruction()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1487 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 16:33:34 +00:00
sjfink
ed58e0ee92
ExpandedCFG cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1486 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 16:18:26 +00:00
sjfink
1bfe7cb052
fix toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1485 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:53:22 +00:00
dolby-oss
aa17ea8c7e
fixes for default values of null
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1484 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:10:33 +00:00
dolby-oss
4b0508356a
fixes for default values of null; more customization hooks for SSA conversion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:09:59 +00:00
sjfink
5c86c9791d
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1482 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:49:34 +00:00
sjfink
8f7854efb8
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:49:20 +00:00
sjfink
d9ec0292ef
fix a build problem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1480 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 14:48:53 +00:00
sjfink
e6bb457996
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1478 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:21:06 +00:00
sjfink
f979887706
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1477 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:20:42 +00:00
sjfink
5a676e0c83
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:20:22 +00:00
sjfink
c1316cdca5
add an assertion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1475 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:19:19 +00:00
rmfuhrer
a915003bba
Added new symbol class InternalCAstSymbol to make intent more
...
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1472 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 22:46:19 +00:00
rmfuhrer
84c69b3e57
Added new symbol class InternalCAstSymbol to make intent more
...
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1471 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 22:46:15 +00:00
rmfuhrer
5b0969d6b6
Added new symbol class InternalCAstSymbol to make intent more
...
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1470 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 22:46:10 +00:00
sjfink
5c89985acf
add some comments
...
tweak SSASwitchInstruction.toString()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1469 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 21:34:04 +00:00
loginov
cb4012d939
Added code to methods missing implementations.
...
Added a make method for a partial graph with a
given set of roots and a given set of nodes.
Added checks for containment of pred/succ
nodes to get[Pred/Succ]NodeNumbers, which
were missing the checks. Made getNode/getNumber
methods return null/-1 for nodes not in partial
graph (instead of throwing an exception). May
reconsider this later.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1467 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 20:02:00 +00:00
sjfink
d602c65f6b
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1466 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 19:04:55 +00:00
sjfink
2cc59a6805
add comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1465 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 19:04:38 +00:00
sjfink
0d96ce5155
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1464 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 18:21:50 +00:00
rmfuhrer
897717acd2
Exposed referenceFor*() methods so that clients can translate
...
Polyglot type-related objects to their WALA counterparts w/o
attempting to canonicalize them. See the JavaDoc for more info
on why this is necessary.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1463 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:48:22 +00:00
rmfuhrer
e28bbb74c1
Added some JavaDoc to IdentityMapper interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1462 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:46:55 +00:00
sjfink
f88a68b4ba
lots of formula cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:23:58 +00:00
sjfink
f44a8a8a8b
lots of formula cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1460 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:23:38 +00:00
rmfuhrer
7ed7c4d986
Added comment suggesting to make getPointerAnalysis() public.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1459 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 14:49:07 +00:00
sjfink
7de9694e84
small bug fixes and cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1458 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 14:01:41 +00:00
sjfink
47defd33aa
bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1457 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 12:52:14 +00:00
sjfink
9be999a666
add a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1456 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 12:51:54 +00:00
rmfuhrer
6602980f64
Made doArrayRead() and doArrayWrite() public, per API change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1455 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:50:46 +00:00
rmfuhrer
406d5297c1
Made doArrayRead() and doArrayWrite() public, per API change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1454 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:50:28 +00:00
rmfuhrer
bb1ce4fa36
Now delegates to an ArrayOpHandler (this, by default) to handle
...
IR generation for array reads and writes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:49:55 +00:00
rmfuhrer
e523cd7800
New class to encapsulate translator's handling of various
...
array operations (reads, writes).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:48:40 +00:00
sjfink
01f7c2ea9e
more simplification logic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1451 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 19:08:11 +00:00
dolby-oss
d7dc11aa87
generalize hackish notion of 'internal' names
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1450 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 18:15:56 +00:00
dolby-oss
d9dad9f495
generalize hackish notion of 'internal' names
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1449 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 18:15:27 +00:00
dolby-oss
ce4cdd7f88
generalize hackish notion of 'internal' names
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1448 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 18:14:26 +00:00
sjfink
d80deb4bf0
substitutions based on pattern matching
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1447 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 13:57:51 +00:00
sjfink
a4f28d1212
more simplifying
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1446 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 00:09:15 +00:00
sjfink
12d8bed2b6
add debugging message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1445 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 22:34:08 +00:00
sjfink
3314f2fcfb
some refactoring and cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1444 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 22:12:49 +00:00
sjfink
2014b00b11
small comment cleanup
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1443 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:47:39 +00:00
sjfink
a6e4894120
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1442 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:08:35 +00:00
sjfink
ca4ca4ddca
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1441 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:08:30 +00:00
sjfink
d6f9af13f3
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1440 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:08:26 +00:00
sjfink
433b943759
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1439 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:08:21 +00:00