Simple Intermediate Representation Format
Warning
This project is in the early implementation stage.
SIRF defines abstractions on the following points as:
- Core semantics (eg. arithmetic): LOW abstractions
- Data types: MEDIUM abstractions
- Variables & stack: MEDIUM abstractions
- Functions: HIGH abstractions
#include <stdio.h> // For printf
static int add(int a, int b) {
return a + b;
}
int main(int argc, char** argv) {
int a = 10, b = 25;
char* name = argv[0];
int result = add(a, b);
printf("%s: %d\n", name, result);
return 0;
}SIRF IR equivalent:
extern @printf
global @main
data .LC0: "%s: %d", 0x0a, 0x00
fun i32 @add(%a i32, %b i32) !static {
ret add %a, %b
}
fun i32 @main(%argc i32, %argv ^^i8) {
%0 = i32 10
%1 = i32 25
%2 = load %argv
%3 = call @add(%0, %1)
call @printf(.LC0, %2, %3)
ret i32 0
}#include <stdio.h>
static int sum_to_n(int n) {
int acc = 0;
while (n > 0) {
acc += n;
n -= 1;
}
return acc;
}
int main(int, char**) {
int total = sum_to_n(5);
printf("Sum: %d\n", total);
return 0;
}SIRF IR equivalent:
extern @printf
global @main
data .LC0: "Sum: %d", 0x0a, 0x00
fun i32 sum_to_n(%n i32) !static {
%0 = i32 0
jmp .L1
.L0:
do
add %0, %n
sub %n, i32 1
end
.L1:
%1 = gt %n, i32 0
jnz %1, .L0
ret %0
}
fun i32 main(%argc i32, %argv ^^i8) {
%0 = call @sum_to_n(i32 5)
call @printf(.LC0, %0)
ret 0 i32
}#include <stdio.h>
int abs_diff(int a, int b) {
if (a > b)
return a - b;
else
return b - a;
}
int main() {
int result = abs_diff(42, 17);
printf("Absolute Difference: %d\n", result);
return 0;
}SIRF IR equivalent:
extern @printf
global @main
data .LC0: "Absolute Difference: %d", 0x0a, 0x00
fun i32 @abs_diff(%a i32, %b i32) !static {
%0 = gt %a, %b
jnz %0, .L1
.L0:
ret sub %b, %a
.L1:
ret sub %a, %b
}
fun i32 @main(%argc i32, %argv ^^i8) {
%0 = call @abs_diff(i32 42, i32 17)
call @printf(.LC0, %0)
ret i32 0
}