mirror of
https://github.com/kmc7468/cs420.git
synced 2025-12-16 07:28:52 +00:00
Add optimized ir examples
This commit is contained in:
50
examples/opt/foo4.ir
Normal file
50
examples/opt/foo4.ir
Normal file
@@ -0,0 +1,50 @@
|
||||
|
||||
fun i32 @foo (i32, i32, i32) {
|
||||
init:
|
||||
bid: b0
|
||||
allocations:
|
||||
|
||||
|
||||
block b0:
|
||||
%b0:p0:i32:i
|
||||
%b0:p1:i32:j
|
||||
%b0:p2:i32:k
|
||||
%b0:i0:i32 = add %b0:p0:i32 %b0:p1:i32
|
||||
%b0:i1:i32 = add %b0:i0:i32 %b0:p2:i32
|
||||
ret %b0:i1:i32
|
||||
}
|
||||
|
||||
fun [ret:i32 params:(i32, i32, i32)]* @foo2 () {
|
||||
init:
|
||||
bid: b0
|
||||
allocations:
|
||||
|
||||
|
||||
block b0:
|
||||
ret @foo:[ret:i32 params:(i32, i32, i32)]*
|
||||
}
|
||||
|
||||
fun [ret:[ret:i32 params:(i32, i32, i32)]* params:()]* @foo3 () {
|
||||
init:
|
||||
bid: b0
|
||||
allocations:
|
||||
|
||||
|
||||
block b0:
|
||||
ret @foo2:[ret:[ret:i32 params:(i32, i32, i32)]* params:()]*
|
||||
}
|
||||
|
||||
fun i32 @main () {
|
||||
init:
|
||||
bid: b0
|
||||
allocations:
|
||||
|
||||
|
||||
block b0:
|
||||
%b0:i0:[ret:[ret:i32 params:(i32, i32, i32)]* params:()]* = call @foo3:[ret:[ret:[ret:i32 params:(i32, i32, i32)]* params:()]* params:()]*()
|
||||
%b0:i1:[ret:i32 params:(i32, i32, i32)]* = call %b0:i0:[ret:[ret:i32 params:(i32, i32, i32)]* params:()]*()
|
||||
%b0:i2:i32 = call %b0:i1:[ret:i32 params:(i32, i32, i32)]*(2:i32, 2:i32, 2:i32)
|
||||
%b0:i3:u1 = cmp eq %b0:i2:i32 6:i32
|
||||
%b0:i4:i32 = typecast %b0:i3:u1 to i32
|
||||
ret %b0:i4:i32
|
||||
}
|
||||
Reference in New Issue
Block a user