João Bispo joaobispo
joaobispo
/ inlining_example_after.c
Created
October 17, 2022 15:19
Code for testing inlining - After
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <stdio.h> | |
| void funA(int x, int *X, int *Y) { | |
| { | |
| int i; | |
| i = 0; | |
| bool decomp_0; | |
| decomp_0 = i < 100; | |
| while(decomp_0) { | |
| X[i] = Y[i] * x; | |
| i++; |
joaobispo
/ inlining_example_before.c
Created
October 17, 2022 15:19
Code for testing inlining - Before
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <stdio.h> | |
| void funA(int x, int *X, int *Y) { | |
| for (int i = 0; i < 100; i++) { | |
| X[i] = Y[i] * x; | |
| } | |
| } | |
| int funD(int x) { | |
| return x * x * x; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Replaces division operations in closure function with a MATISSE primitive that performs integer division | |
| aspectdef closure_idivide | |
| select function{"closure"} end | |
| apply | |
| call replace_operator("/", "N", "2", "matisse_idivide"); | |
| call replace_operator("/", "ii", "2", "matisse_idivide"); | |
| end | |
| end |