From: jjenista Date: Tue, 12 Oct 2010 17:07:32 +0000 (+0000) Subject: bug fix X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=61f5b221052a6b31d34d1245c2400886ef0cbed1;p=IRC.git bug fix --- diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java index bdf2b645..aca3697b 100644 --- a/Robust/src/IR/Flat/BuildCode.java +++ b/Robust/src/IR/Flat/BuildCode.java @@ -3887,16 +3887,16 @@ public class BuildCode { output.println(" "+pair1+" = "+pair2+";"); } output.println(" "+pairNewest+" = &(seseToIssue->common);"); - } - // no need to add a reference to whatever is the newest record, because - // we initialized seseToIssue->refCount to *2* - // but release a reference to whatever was the oldest BEFORE the shift - output.println("#ifndef OOO_DISABLE_TASKMEMPOOL" ); - output.println(" if( "+pairOldest+" != NULL ) {"); - output.println(" RELEASE_REFERENCE_TO( "+pairOldest+" );"); - output.println(" }"); - output.println("#endif // OOO_DISABLE_TASKMEMPOOL" ); + // no need to add a reference to whatever is the newest record, because + // we initialized seseToIssue->refCount to *2* + // but release a reference to whatever was the oldest BEFORE the shift + output.println("#ifndef OOO_DISABLE_TASKMEMPOOL" ); + output.println(" if( "+pairOldest+" != NULL ) {"); + output.println(" RELEASE_REFERENCE_TO( "+pairOldest+" );"); + output.println(" }"); + output.println("#endif // OOO_DISABLE_TASKMEMPOOL" ); + }