improve jumpthreading comments
authorAndreas Zwinkau <zwinkau@kit.edu>
Fri, 10 Jun 2011 12:20:01 +0000 (14:20 +0200)
committerAndreas Zwinkau <zwinkau@kit.edu>
Fri, 10 Jun 2011 12:30:49 +0000 (14:30 +0200)
commit978df7014263f6a4c004f8b62b0d2129e054df31
treefa46235aa9164949e8220fca22b93ad582156994
parent763b7a16de32c4c863230a226813bfdf93b9346b
improve jumpthreading comments
ir/opt/jumpthreading.c