IRC.git
13 years agodid we just ignore the static field modifier before? How did OOOJ or DOJ work with...
jjenista [Wed, 11 May 2011 17:41:51 +0000 (17:41 +0000)]
did we just ignore the static field modifier before?  How did OOOJ or DOJ work with static fields?  In the case of labyrinth there is no need for fields in the top-level singleton class to be static

13 years agoclean up points-to-check files properly
jjenista [Wed, 11 May 2011 17:40:46 +0000 (17:40 +0000)]
clean up points-to-check files properly

13 years agoCode clean
jzhou [Wed, 11 May 2011 01:20:49 +0000 (01:20 +0000)]
Code clean

13 years agoCode clean
jzhou [Tue, 10 May 2011 22:47:45 +0000 (22:47 +0000)]
Code clean

13 years agoSmall bug fix for SPECjbb. And the BAMBOO_ASSERT macro has been moved to runtime_arch...
jzhou [Tue, 10 May 2011 22:05:30 +0000 (22:05 +0000)]
Small bug fix for SPECjbb. And the BAMBOO_ASSERT macro has been moved to runtime_arch.h under tilera directory. It does not need the error # any more

13 years agolet's avoid using pointer parameters when possible
bdemsky [Tue, 10 May 2011 20:49:37 +0000 (20:49 +0000)]
let's avoid using pointer parameters when possible

13 years agoNew tool to check points-to results of a heap analysis against runtime pointers....
jjenista [Tue, 10 May 2011 20:37:37 +0000 (20:37 +0000)]
New tool to check points-to results of a heap analysis against runtime pointers.  Added an extension object system to BuildCode for this and future extensions.

13 years agoMake SPECjbb compile again
jzhou [Tue, 10 May 2011 18:52:57 +0000 (18:52 +0000)]
Make SPECjbb compile again

13 years agoimports are meaningful to compiler now
jjenista [Tue, 10 May 2011 18:22:54 +0000 (18:22 +0000)]
imports are meaningful to compiler now

13 years agoBug fix
jzhou [Tue, 10 May 2011 17:57:28 +0000 (17:57 +0000)]
Bug fix

13 years agocode change
bdemsky [Tue, 10 May 2011 07:17:36 +0000 (07:17 +0000)]
code change

13 years agooops...bug
bdemsky [Tue, 10 May 2011 07:14:31 +0000 (07:14 +0000)]
oops...bug

13 years agochange enum & other fixes
bdemsky [Tue, 10 May 2011 06:27:25 +0000 (06:27 +0000)]
change enum & other fixes

13 years agochanges:
bdemsky [Tue, 10 May 2011 06:26:32 +0000 (06:26 +0000)]
changes:
(1) use only header word to figure out length...
(2) figure out length using array lookup

13 years agoMore code clean
jzhou [Tue, 10 May 2011 01:20:04 +0000 (01:20 +0000)]
More code clean

13 years agoCode clean. Change BAMBOO_EXIT macro to print out file name and line #
jzhou [Mon, 9 May 2011 23:50:54 +0000 (23:50 +0000)]
Code clean. Change BAMBOO_EXIT macro to print out file name and line #

13 years agochanges committed
bdemsky [Mon, 9 May 2011 04:32:35 +0000 (04:32 +0000)]
changes committed

13 years agosome cleaning up of code.... simplify many loops...fix some tabbing...
bdemsky [Sat, 7 May 2011 06:38:39 +0000 (06:38 +0000)]
some cleaning up of code....  simplify many loops...fix some tabbing...

please get rid of globals when they aren't absolutely necessary....

think about how you can consolidate globals when possible also...

13 years agobug fix in multicore code
jzhou [Sat, 7 May 2011 00:52:52 +0000 (00:52 +0000)]
bug fix in multicore code

13 years agodisjoint should work like pointer in that taints for DOJ have whereDefined initialize...
jjenista [Thu, 5 May 2011 22:48:52 +0000 (22:48 +0000)]
disjoint should work like pointer in that taints for DOJ have whereDefined initialized to null because taints can propagate across a backedge to the stallsite, for example, which can become the non-null whereDefined element of a new taint

13 years agoan outstanding change to improve debugging of call sites
jjenista [Thu, 5 May 2011 21:49:40 +0000 (21:49 +0000)]
an outstanding change to improve debugging of call sites

13 years agoA small bug
jzhou [Thu, 5 May 2011 17:17:06 +0000 (17:17 +0000)]
A small bug

13 years agoPolish multicore code
jzhou [Thu, 5 May 2011 00:57:18 +0000 (00:57 +0000)]
Polish multicore code

13 years agosmall changes: have a way to specify the location of "this".
yeom [Wed, 4 May 2011 00:43:40 +0000 (00:43 +0000)]
small changes: have a way to specify the location of "this".

13 years agoallow debug reach graphs to show taints but supress node, edge AND taint predicates...
jjenista [Tue, 3 May 2011 17:38:26 +0000 (17:38 +0000)]
allow debug reach graphs to show taints but supress node, edge AND taint predicates, and some other tiny debug changes

13 years agochanges.
yeom [Tue, 3 May 2011 00:25:11 +0000 (00:25 +0000)]
changes.

13 years agochanges: now, the annotated SSJava class library passes the flow-down rule checking.
yeom [Fri, 29 Apr 2011 23:42:00 +0000 (23:42 +0000)]
changes: now, the annotated SSJava class library passes the flow-down rule checking.

13 years agoimprove call site debugging for disjoint
jjenista [Thu, 28 Apr 2011 22:58:29 +0000 (22:58 +0000)]
improve call site debugging for disjoint

13 years agothe new compiler mode in buildscript SSJAVA needed an SSJAVA=false at the top, also...
jjenista [Thu, 28 Apr 2011 21:32:09 +0000 (21:32 +0000)]
the new compiler mode in buildscript SSJAVA needed an SSJAVA=false at the top, also indented classpath logic so we can figure out what is being selected

13 years agoLet end user see what classpath was selected.
jjenista [Thu, 28 Apr 2011 21:30:56 +0000 (21:30 +0000)]
Let end user see what classpath was selected.

13 years agoJim found that three class files of java_cup.runtime have different Java version...
yeom [Thu, 28 Apr 2011 20:45:32 +0000 (20:45 +0000)]
Jim found that three class files of java_cup.runtime have different Java version number(50.0, not 49.0). this change keeps all of class files of JavaCUP as version 49.0

13 years agorun ooojava and rcrpointer that print out effects and annotate them with the source...
jjenista [Thu, 28 Apr 2011 18:02:42 +0000 (18:02 +0000)]
run ooojava and rcrpointer that print out effects and annotate them with the source code line they come from

13 years agochange the debug mode for capturing null dereference to a global compilar option
jjenista [Thu, 28 Apr 2011 18:00:55 +0000 (18:00 +0000)]
change the debug mode for capturing null dereference to a global compilar option

13 years agochanges to get the tiny class library for ssjava
yeom [Wed, 27 Apr 2011 23:54:45 +0000 (23:54 +0000)]
changes to get the tiny class library for ssjava

13 years agoextends the location hierarchy definition grammar.
yeom [Wed, 27 Apr 2011 21:30:06 +0000 (21:30 +0000)]
extends the location hierarchy definition grammar.
while working on annotating ssjava class library, realize the need to have a way to keep only one location(with top and bottom) in the local hierarchy.

13 years agoswitch to spaces only..
bdemsky [Wed, 27 Apr 2011 20:51:40 +0000 (20:51 +0000)]
switch to spaces only..

13 years agoFix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...
bdemsky [Wed, 27 Apr 2011 20:34:28 +0000 (20:34 +0000)]
Fix tabbing....  Please fix your editors so they do tabbing correctly!!!  (Spaces only, two spaces)

13 years agochange
yeom [Wed, 27 Apr 2011 18:42:06 +0000 (18:42 +0000)]
change

13 years agoattempts to have ssjava's own class library. starting from tiny class library: Object...
yeom [Wed, 27 Apr 2011 18:16:03 +0000 (18:16 +0000)]
attempts to have ssjava's own class library. starting from tiny class library: Object, String, Enumeratioin, System. the beginning seems to be humble, but the future will be prosperous :)

13 years agoExtends the grammar to include the annotation type declaration. The current impl...
yeom [Wed, 27 Apr 2011 02:00:10 +0000 (02:00 +0000)]
Extends the grammar to include the annotation type declaration. The current impl only supports marker and single annotation declaration.

Annotation type is represented by class descriptor since annotation type declaration is a special kind of interface declaration. Later, we need to implement semantic checkings for annotations.

13 years agohas a hack on java_cup parser generator: divides a gigantic do_action method into...
yeom [Tue, 26 Apr 2011 22:44:26 +0000 (22:44 +0000)]
has a hack on java_cup parser generator: divides a gigantic do_action method into halves since Java doesn't allow a method bigger than 64K"

13 years agochanges
bdemsky [Tue, 26 Apr 2011 22:15:30 +0000 (22:15 +0000)]
changes

13 years agofix bug...
bdemsky [Tue, 26 Apr 2011 21:58:05 +0000 (21:58 +0000)]
fix bug...

13 years agorevert yeom's checkin...
bdemsky [Tue, 26 Apr 2011 20:51:36 +0000 (20:51 +0000)]
revert yeom's checkin...

13 years agofirst step to reduce the size of grammar as we have an issue of Java Bytecode 64K...
yeom [Tue, 26 Apr 2011 19:10:01 +0000 (19:10 +0000)]
first step to reduce the size of grammar as we have an issue of Java Bytecode 64K limitation.

13 years agoChanges.
stephey [Tue, 26 Apr 2011 09:19:47 +0000 (09:19 +0000)]
Changes.

13 years agoDon't include java.lang in non-jni builds.. and someone forgot a void in our Vector...
stephey [Tue, 26 Apr 2011 00:51:56 +0000 (00:51 +0000)]
Don't include java.lang in non-jni builds.. and someone forgot a void in our Vector ensureCapacity declaration........

13 years agoadd another test case for ssjava:
yeom [Tue, 26 Apr 2011 00:44:47 +0000 (00:44 +0000)]
add another test case for ssjava:
trying to put annotations on mp3 decoder source codes using the current ssjava scheme.

13 years agoupdate the way this analysis visits every method reachable from program entry
jjenista [Mon, 25 Apr 2011 23:23:43 +0000 (23:23 +0000)]
update the way this analysis visits every method reachable from program entry

13 years agofix bug...
bdemsky [Mon, 25 Apr 2011 23:14:38 +0000 (23:14 +0000)]
fix bug...

13 years agonasty bug...
bdemsky [Mon, 25 Apr 2011 22:59:58 +0000 (22:59 +0000)]
nasty bug...

13 years agoRefactored the multiimport code so that it looks nicer and added java.lang as a defau...
stephey [Sun, 24 Apr 2011 07:23:33 +0000 (07:23 +0000)]
Refactored the multiimport code so that it looks nicer and added java.lang as a default multiimport as well. Now Brian's test file crashes at parsing Hashmap (invalid character).

Still no support for importing a class within a class though

13 years agoFixes. Almost everything works (but still no importing subclass support).
stephey [Sat, 23 Apr 2011 15:55:30 +0000 (15:55 +0000)]
Fixes. Almost everything works (but still no importing subclass support).

JNI compilation on Brian's test file still fails, HOWEVER I believe it's because /classpath/java/lang/ should be added into our state.classpaths vector. This should be true because Java automatically imports java.lang.* in every file, so it's essentially like having it as a class path.

I've left 1 System.out.println statement in extra to help trace which files are trying to find which files. When I look at the one I'm currently crashing on, I see that there is indeed no Class.java file in its package and it doesn't import it anywhere.

13 years agoextends grammar little more to have the break statement with label
yeom [Sat, 23 Apr 2011 00:52:19 +0000 (00:52 +0000)]
extends grammar little more to have the break statement with label

13 years agointerim changes: ssjava will have its own class library, not relying on Java Class...
yeom [Sat, 23 Apr 2011 00:51:14 +0000 (00:51 +0000)]
interim changes: ssjava will have its own class library, not relying on Java Class Library

13 years agoget rid of isClassLibrary method
yeom [Sat, 23 Apr 2011 00:49:37 +0000 (00:49 +0000)]
get rid of isClassLibrary method

13 years agoSome goal files for the unit tests
jzhou [Fri, 22 Apr 2011 16:14:47 +0000 (16:14 +0000)]
Some goal files for the unit tests

13 years agoUpdated to support being able to do calls such as package1.package2.class abc = new...
stephey [Fri, 22 Apr 2011 08:38:18 +0000 (08:38 +0000)]
Updated to support being able to do calls such as package1.package2.class abc = new package1.package2.class(); without an explicit import. However, we still do not support importing a class within a class yet.

P.S. Someone forgot to checkin a TryCatchTest.output.goal

13 years agoChanges so that internally on the analysis side, classesnames are still package1...
stephey [Fri, 22 Apr 2011 08:20:39 +0000 (08:20 +0000)]
Changes so that internally on the analysis side, classesnames are still package1.package2.classname instead of using ___________ for the .'s

13 years agochanges: make location an extension of type descriptor and have an additional mapping...
yeom [Fri, 22 Apr 2011 01:08:26 +0000 (01:08 +0000)]
changes: make location an extension of type descriptor and have an additional mapping from Flatnode to labeled statement. Note that the labeled statement might be handled differently when Sonny implements continue/break with labels

13 years agoFixes so that our unit tests now pass. Single and multi imports currently only work...
stephey [Thu, 21 Apr 2011 23:40:14 +0000 (23:40 +0000)]
Fixes so that our unit tests now pass. Single and multi imports currently only work on .java file classes (i.e. no internal classes). Packages work more than 1 layer deep now.

TODO: Add support for importing subclasses
Add support for implicit imports (i.e. dir1.dir2.obj o = new dir1.dir2.obj(); calls).

P.S. Jin told me to put in the .goal file

13 years agochanges: having an extension field in the type descriptor
yeom [Thu, 21 Apr 2011 23:32:34 +0000 (23:32 +0000)]
changes: having an extension field in the type descriptor

13 years agosmall changes...
bdemsky [Thu, 21 Apr 2011 22:25:39 +0000 (22:25 +0000)]
small changes...

13 years agomissing files
bdemsky [Thu, 21 Apr 2011 15:46:12 +0000 (15:46 +0000)]
missing files

13 years agoThe compiler is BROKEN, but it's NOT MY FAULT. I think Brian forgot to check in somet...
stephey [Thu, 21 Apr 2011 09:15:39 +0000 (09:15 +0000)]
The compiler is BROKEN, but it's NOT MY FAULT. I think Brian forgot to check in something. Anyway, now my code can do single imports and on demand multi-imports.

KNOWN PROBLEM: The package declarations can go only 1 level deep.. this means that imports would only work 1 level deep as well (but the logic for it is all correct). I think the problem lies in the .cup file... When I get the name of a package, I only get the last thing in the list of something.something.something.last.class when I ask for the package. I'll check it out later.

13 years agorest of new build strategrest of new build strategyy
bdemsky [Thu, 21 Apr 2011 08:59:10 +0000 (08:59 +0000)]
rest of new build strategrest of new build strategyy

13 years agochanges
bdemsky [Thu, 21 Apr 2011 08:58:27 +0000 (08:58 +0000)]
changes

13 years agoBug fixes for multicore gc
jzhou [Thu, 21 Apr 2011 01:26:49 +0000 (01:26 +0000)]
Bug fixes for multicore gc

13 years agobetter implementation of this
jjenista [Thu, 21 Apr 2011 00:08:03 +0000 (00:08 +0000)]
better implementation of this

13 years agoa new field has been added to the standard object layout, shifting the access for oid
jjenista [Wed, 20 Apr 2011 23:46:41 +0000 (23:46 +0000)]
a new field has been added to the standard object layout, shifting the access for oid

13 years agochanges to work with imports...
bdemsky [Wed, 20 Apr 2011 22:54:59 +0000 (22:54 +0000)]
changes to work with imports...

13 years agochanges to make sure that i don't step on stephen's work on imports...
bdemsky [Wed, 20 Apr 2011 22:39:55 +0000 (22:39 +0000)]
changes to make sure that i don't step on stephen's work on imports...

13 years agoenables the labeled_statements. The scope of a label declared by a labled statement...
yeom [Wed, 20 Apr 2011 18:14:38 +0000 (18:14 +0000)]
enables the labeled_statements. The scope of a label declared by a labled statement is the block node following the labeled statement. Note that it might be a different way when Sonny implements continue/break with labels

13 years agoleft out of last checkin
stephey [Wed, 20 Apr 2011 10:01:05 +0000 (10:01 +0000)]
left out of last checkin

13 years agoWork in progress for import packages. In this versio ONLY SINGLE IMPORTS and package...
stephey [Wed, 20 Apr 2011 09:59:54 +0000 (09:59 +0000)]
Work in progress for import packages. In this versio ONLY SINGLE IMPORTS and package declarations at a level OTHER THAN THE MAIN FILE work at the moment. A class Foo in package bar.tar would be internally renamed to bar___________tar___________Foo and that's basically how it works at the moment. Multi-imports (import on demand) to comeIR/ClassDescriptor.java

13 years agobug fix for multicore gc version
jzhou [Wed, 20 Apr 2011 01:29:10 +0000 (01:29 +0000)]
bug fix for multicore gc version

13 years agochanges.
yeom [Tue, 19 Apr 2011 18:07:23 +0000 (18:07 +0000)]
changes.

13 years agoRemove __thread as it does not work on Tilera and use newflag for Task version
jzhou [Tue, 19 Apr 2011 00:46:07 +0000 (00:46 +0000)]
Remove __thread as it does not work on Tilera and use newflag for Task version

13 years agoadd enw file
bdemsky [Tue, 19 Apr 2011 00:27:43 +0000 (00:27 +0000)]
add enw file

13 years agohandle the missing case in the flow down analysis: for a method invocation, check...
yeom [Mon, 18 Apr 2011 23:51:04 +0000 (23:51 +0000)]
handle the missing case in the flow down analysis: for a method invocation, check if ordering relations among caller's method arguments are relatively preserved in callee's arguments

13 years agoadded TODO comments to BuildIR to implement import and packages
limw [Mon, 18 Apr 2011 23:31:12 +0000 (23:31 +0000)]
added TODO comments to BuildIR to implement import and packages

13 years agofix for ssJava: realized that annotation should not be a part of hash code.
yeom [Mon, 18 Apr 2011 22:24:08 +0000 (22:24 +0000)]
fix for ssJava: realized that annotation should not be a part of hash code.

13 years agobug fixes: printing out linenum & source file name in the conflict graph.
yeom [Mon, 18 Apr 2011 22:22:41 +0000 (22:22 +0000)]
bug fixes: printing out linenum & source file name in the conflict graph.

13 years agomake callgraph an interface
bdemsky [Mon, 18 Apr 2011 21:40:31 +0000 (21:40 +0000)]
make callgraph an interface

13 years agobug fix - during call site transfer func we temporarily double nodes per allocation...
jjenista [Mon, 18 Apr 2011 20:43:56 +0000 (20:43 +0000)]
bug fix - during call site transfer func we temporarily double nodes per allocation site where nodes from the callee are called shadow nodes, and nodes that were in the caller before the call are named normal nodes.  During the transfer we move the shadow newest, which are the newest, into the caller and merge normal nodes down to make room.  The bug is that during the merge of normal nodes in this procedure there shoudl be a corresponding aging of reachability states, so when global sweep occurred after the node merging process some states look imprecise and get swept away

13 years agoextend grammar for parameter annotation. forgot to handle this case in the past
yeom [Mon, 18 Apr 2011 19:10:48 +0000 (19:10 +0000)]
extend grammar for parameter annotation. forgot to handle this case in the past

13 years agono need to build these classes unless they are actually accessed
bdemsky [Mon, 18 Apr 2011 18:46:57 +0000 (18:46 +0000)]
no need to build these classes unless they are actually accessed

13 years agoreorganize.
yeom [Mon, 18 Apr 2011 17:55:41 +0000 (17:55 +0000)]
reorganize.

13 years agothis bug is not really a bug, a variable gets optimized out and the points-to and...
jjenista [Mon, 18 Apr 2011 16:44:12 +0000 (16:44 +0000)]
this bug is not really a bug, a variable gets optimized out and the points-to and task in-set is fine, just has a different name

13 years ago*** empty log message ***
bdemsky [Sun, 17 Apr 2011 08:29:16 +0000 (08:29 +0000)]
*** empty log message ***

13 years agochanges
bdemsky [Sun, 17 Apr 2011 08:23:44 +0000 (08:23 +0000)]
changes

13 years agochanges
bdemsky [Sun, 17 Apr 2011 08:13:37 +0000 (08:13 +0000)]
changes

13 years agochange
bdemsky [Sat, 16 Apr 2011 08:12:37 +0000 (08:12 +0000)]
change

13 years agoadd keyword for task allocation...
bdemsky [Sat, 16 Apr 2011 08:06:46 +0000 (08:06 +0000)]
add keyword for task allocation...

13 years agochange
bdemsky [Sat, 16 Apr 2011 07:51:03 +0000 (07:51 +0000)]
change

13 years agochange
bdemsky [Sat, 16 Apr 2011 07:42:01 +0000 (07:42 +0000)]
change

13 years agochanges
bdemsky [Sat, 16 Apr 2011 07:29:52 +0000 (07:29 +0000)]
changes

13 years agoremove comment
bdemsky [Sat, 16 Apr 2011 06:18:53 +0000 (06:18 +0000)]
remove comment

13 years agochanges
bdemsky [Sat, 16 Apr 2011 06:16:59 +0000 (06:16 +0000)]
changes

13 years agomore bug fixes
bdemsky [Sat, 16 Apr 2011 05:30:13 +0000 (05:30 +0000)]
more bug fixes