 |
Post Aw3wp0ipnH0080ExQu by [email protected] |
 |
More posts by [email protected] |
|
Post #Aw3wodukanrfOIdeJU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
For some reason CompCert decided to call their jump threading pass 'branch … |
|
|
|
Post #Aw3woe3G5AfbogcRZg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pervognsen i remember we used to call jmp/jmp optimisation jump tensioning. ma… |
|
|
|
Post #Aw3woh5UnJF5EUglyi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pkhuong @pervognsen I’ve always thought “jump threading” is an odd term … |
|
|
|
Post #Aw3wopn2RIpGDr7exU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pkhuong @pervognsen funny :) guile calls it beta reduction (over 2nd class con… |
|
|
|
Post #Aw3wp0ipnH0080ExQu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zeux @pkhuong Jump folding is a much better term. I'll steal that. :) |
