IRC.git
12 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.

12 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

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

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

12 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

12 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.

12 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

12 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

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

12 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

12 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

12 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

12 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

12 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

12 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

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

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

12 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.

12 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

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

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

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

12 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

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

12 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

13 years agofix buildscript
bdemsky [Sat, 16 Apr 2011 05:16:30 +0000 (05:16 +0000)]
fix buildscript

13 years agofixes for oooJava gc
yeom [Sat, 16 Apr 2011 00:14:36 +0000 (00:14 +0000)]
fixes for oooJava gc

13 years agoadd enqueue to garbage.h
bdemsky [Sat, 16 Apr 2011 00:10:35 +0000 (00:10 +0000)]
add enqueue to garbage.h

13 years agochnges
bdemsky [Sat, 16 Apr 2011 00:09:24 +0000 (00:09 +0000)]
chnges

13 years agomore bug fixes
bdemsky [Fri, 15 Apr 2011 23:55:56 +0000 (23:55 +0000)]
more bug fixes

13 years agochanges
bdemsky [Fri, 15 Apr 2011 23:53:49 +0000 (23:53 +0000)]
changes

13 years agobug fixes for tasks...
bdemsky [Fri, 15 Apr 2011 23:53:34 +0000 (23:53 +0000)]
bug fixes for tasks...

13 years agoChanges regarding the lock system. Still bugs and the TASK version code does not...
jzhou [Fri, 15 Apr 2011 23:43:32 +0000 (23:43 +0000)]
Changes regarding the lock system. Still bugs and the TASK version code does not work now

13 years agobug fixes
bdemsky [Fri, 15 Apr 2011 23:27:59 +0000 (23:27 +0000)]
bug fixes

13 years agosplit garbage collector into three files...
bdemsky [Fri, 15 Apr 2011 23:20:10 +0000 (23:20 +0000)]
split garbage collector into three files...

13 years agosimplify the gc code...
bdemsky [Fri, 15 Apr 2011 22:39:24 +0000 (22:39 +0000)]
simplify the gc code...

13 years agobug...wonder how this used to work??
bdemsky [Fri, 15 Apr 2011 22:38:58 +0000 (22:38 +0000)]
bug...wonder how this used to work??

13 years agochanges.
yeom [Fri, 15 Apr 2011 22:36:17 +0000 (22:36 +0000)]
changes.

13 years agomore bug fixes
bdemsky [Fri, 15 Apr 2011 21:50:06 +0000 (21:50 +0000)]
more bug fixes

13 years agochanges
bdemsky [Fri, 15 Apr 2011 07:56:55 +0000 (07:56 +0000)]
changes

13 years agocode to generate calls into JNI native code...
bdemsky [Fri, 15 Apr 2011 07:50:22 +0000 (07:50 +0000)]
code to generate calls into JNI native code...

13 years agochanges
bdemsky [Fri, 15 Apr 2011 04:51:48 +0000 (04:51 +0000)]
changes

13 years agomore changes
bdemsky [Fri, 15 Apr 2011 00:40:28 +0000 (00:40 +0000)]
more changes

13 years agomore
bdemsky [Fri, 15 Apr 2011 00:21:47 +0000 (00:21 +0000)]
more

13 years agoChange the implementation of classobj
jzhou [Fri, 15 Apr 2011 00:21:15 +0000 (00:21 +0000)]
Change the implementation of classobj

13 years agochanges
bdemsky [Fri, 15 Apr 2011 00:17:55 +0000 (00:17 +0000)]
changes

13 years agotemplates towards jni
bdemsky [Thu, 14 Apr 2011 23:57:09 +0000 (23:57 +0000)]
templates towards jni

13 years agoextends the grammar to have a way to define a new type of location that is allowed...
yeom [Thu, 14 Apr 2011 21:20:14 +0000 (21:20 +0000)]
extends the grammar to have a way to define a new type of location that is allowed to have spinning values

13 years agomove hashcode into header...part of prep to switch class libraries
bdemsky [Thu, 14 Apr 2011 18:53:46 +0000 (18:53 +0000)]
move hashcode into header...part of prep to switch class libraries

13 years agoadd hashcode field
bdemsky [Thu, 14 Apr 2011 18:46:25 +0000 (18:46 +0000)]
add hashcode field

13 years agochange
bdemsky [Thu, 14 Apr 2011 06:57:11 +0000 (06:57 +0000)]
change

13 years agochanges
bdemsky [Thu, 14 Apr 2011 06:51:33 +0000 (06:51 +0000)]
changes

13 years agomake compiler work on mac...
bdemsky [Wed, 13 Apr 2011 08:03:44 +0000 (08:03 +0000)]
make compiler work on mac...

13 years agomove up initializethreads
bdemsky [Wed, 13 Apr 2011 02:11:49 +0000 (02:11 +0000)]
move up initializethreads

13 years agomissing changes
bdemsky [Wed, 13 Apr 2011 01:51:56 +0000 (01:51 +0000)]
missing changes

13 years agomake work on mac
bdemsky [Wed, 13 Apr 2011 01:51:41 +0000 (01:51 +0000)]
make work on mac

13 years agochange
bdemsky [Wed, 13 Apr 2011 00:53:06 +0000 (00:53 +0000)]
change

13 years agochanges.
yeom [Wed, 13 Apr 2011 00:27:34 +0000 (00:27 +0000)]
changes.

13 years agobug fix for optimizations`
bdemsky [Tue, 12 Apr 2011 23:51:41 +0000 (23:51 +0000)]
bug fix for optimizations`

13 years agochanges.
yeom [Tue, 12 Apr 2011 02:49:03 +0000 (02:49 +0000)]
changes.

13 years agothread id should be an int
bdemsky [Mon, 11 Apr 2011 22:17:29 +0000 (22:17 +0000)]
thread id should be an int

13 years agobug
bdemsky [Mon, 11 Apr 2011 21:38:30 +0000 (21:38 +0000)]
bug

13 years agochanges
bdemsky [Mon, 11 Apr 2011 21:31:25 +0000 (21:31 +0000)]
changes

13 years agoremove lockcount
bdemsky [Mon, 11 Apr 2011 21:17:37 +0000 (21:17 +0000)]
remove lockcount

13 years agochanges.
yeom [Mon, 11 Apr 2011 18:30:31 +0000 (18:30 +0000)]
changes.

13 years agogood for a little more speedup...
bdemsky [Mon, 11 Apr 2011 09:28:00 +0000 (09:28 +0000)]
good for a little more speedup...

13 years agoimprove specjbb marks...rework locks a little...
bdemsky [Mon, 11 Apr 2011 09:14:58 +0000 (09:14 +0000)]
improve specjbb marks...rework locks a little...

13 years agobug fixes
bdemsky [Mon, 11 Apr 2011 08:34:55 +0000 (08:34 +0000)]
bug fixes

13 years agochange
bdemsky [Mon, 11 Apr 2011 07:47:48 +0000 (07:47 +0000)]
change

13 years agochanges
bdemsky [Mon, 11 Apr 2011 07:42:26 +0000 (07:42 +0000)]
changes

13 years agobug fixes
bdemsky [Sun, 10 Apr 2011 22:29:41 +0000 (22:29 +0000)]
bug fixes

13 years agobug fix
bdemsky [Sun, 10 Apr 2011 06:02:29 +0000 (06:02 +0000)]
bug fix