Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/test/hlic/hlic-BUG8.diderot
ViewVC logotype

Diff of /branches/vis12/test/hlic/hlic-BUG8.diderot

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1767, Sat Mar 24 12:09:41 2012 UTC revision 1768, Sat Mar 24 12:10:03 2012 UTC
# Line 1  Line 1 
1    // FIXED [JHR; 23-03-2012]
2    
3  // BUG:  // BUG:
4  // this program does not terminate.  The issue is that the body of the  // this program does not terminate.  The issue is that the body of the
5  // "if (dir > 0.0)" is empty in the generated C code.  // "if (dir > 0.0)" is empty in the generated C code.
6  // The bug appears to be in the HighIL normalization.  // The problem is that the SSA form constructed for the successor of the block
7    // is missing the PHI node, which makes the assignments in the block unused.
8    // It appears related to the fact that one arm of the if is a stabilize, which
9    // so there is a single-predecessor join node.
10  //  //
11    
12  int imgSize = 200;  int imgSize = 200;

Legend:
Removed from v.1767  
changed lines
  Added in v.1768

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0