33 lines
462 B
Plaintext
33 lines
462 B
Plaintext
test cat
|
|
test verifier
|
|
|
|
function %basic(i32, i32) -> i32 {
|
|
ebb0(v0: i32, v1: i32):
|
|
v2 -> v0
|
|
v3 -> v1
|
|
v4 = iadd.i32 v2, v3
|
|
return v4
|
|
}
|
|
|
|
function %transitive() -> i32 {
|
|
ebb0:
|
|
v0 = iconst.i32 0
|
|
v1 -> v0
|
|
v2 -> v1
|
|
v3 -> v2
|
|
v4 -> v3
|
|
return v4
|
|
}
|
|
|
|
function %duplicate(i32, i32) -> i32 {
|
|
ebb0(v0: i32, v1: i32):
|
|
v2 -> v0
|
|
v2 -> v0
|
|
v2 -> v0
|
|
v3 -> v1
|
|
v3 -> v1
|
|
v3 -> v1
|
|
v4 = iadd.i32 v2, v3
|
|
return v4
|
|
}
|