Update skeleton

This commit is contained in:
Jeehoon Kang
2020-06-05 00:54:00 +09:00
parent 62c5208631
commit 7bb9ed11b5
123 changed files with 49554 additions and 868 deletions

View File

@@ -1,4 +1,4 @@
fun unit @sink {
fun unit @sink (i32) {
init:
bid: b0
allocations:
@@ -8,7 +8,7 @@ block b0:
ret unit:unit
}
fun unit @sinkptr {
fun unit @sinkptr (*i8) {
init:
bid: b0
allocations:
@@ -18,7 +18,7 @@ block b0:
ret unit:unit
}
fun i32 @single_block {
fun i32 @single_block () {
init:
bid: b0
allocations:
@@ -33,14 +33,14 @@ block b0:
%b0:i3:unit = store 37:i32 %l0:*i32
%b0:i4:i32 = load %l0:*i32
%b0:i5:unit = call @sink(%b0:i0:i32)
%b0:i6:unit = call @sink(%b0:i2:i32)
%b0:i7:unit = call @sink(%b0:i4:i32)
%b0:i5:unit = call @sink:*[ret:unit params:(i32)](%b0:i0:i32)
%b0:i6:unit = call @sink:*[ret:unit params:(i32)](%b0:i2:i32)
%b0:i7:unit = call @sink:*[ret:unit params:(i32)](%b0:i4:i32)
ret 0:i32
}
fun i32 @multi_block {
fun i32 @multi_block () {
init:
bid: b0
allocations:
@@ -60,15 +60,15 @@ block b0:
block b1:
%b1:i0:i32 = load %l0:*i32
%b1:i1:unit = call @sink(%b0:i0:i32)
%b1:i2:unit = call @sink(%b0:i2:i32)
%b1:i3:unit = call @sink(%b0:i4:i32)
%b1:i4:unit = call @sink(%b1:i0:i32)
%b1:i1:unit = call @sink:*[ret:unit params:(i32)](%b0:i0:i32)
%b1:i2:unit = call @sink:*[ret:unit params:(i32)](%b0:i2:i32)
%b1:i3:unit = call @sink:*[ret:unit params:(i32)](%b0:i4:i32)
%b1:i4:unit = call @sink:*[ret:unit params:(i32)](%b1:i0:i32)
ret 0:i32
}
fun i32 @single_location {
fun i32 @single_location () {
init:
bid: b666
allocations:
@@ -79,7 +79,7 @@ block b666:
block b0:
%b0:i0:i32 = load %l0:*i32
%b0:i1:unit = call @sink(%b0:i0:i32)
%b0:i1:unit = call @sink:*[ret:unit params:(i32)](%b0:i0:i32)
%b0:i2:unit = store 0:i32 %l0:*i32
switch undef:i32 default b1() [
2:i32 b2()
@@ -88,13 +88,13 @@ block b0:
block b1:
%b1:i0:i32 = load %l0:*i32
%b1:i1:unit = call @sink(%b1:i0:i32)
%b1:i1:unit = call @sink:*[ret:unit params:(i32)](%b1:i0:i32)
%b1:i2:unit = store 100:i32 %l0:*i32
j b2()
block b2:
%b2:i0:i32 = load %l0:*i32
%b2:i1:unit = call @sink(%b2:i0:i32)
%b2:i1:unit = call @sink:*[ret:unit params:(i32)](%b2:i0:i32)
%b2:i2:unit = store 200:i32 %l0:*i32
j b3()
@@ -103,7 +103,7 @@ block b3:
j b0()
}
fun i32 @multi_location {
fun i32 @multi_location () {
init:
bid: b666
allocations:
@@ -114,21 +114,21 @@ init:
block b666:
%b666:i0:unit = store %l3:*i8 42:i8
%b666:i1:unit = call @sinkptr(%l3:*i8)
%b666:i1:unit = call @sinkptr:*[ret:unit params:(*i8)](%l3:*i8)
%b666:i2:i8 = load %l3:*i8
j b0()
block b0:
%b0:i0:i32 = load %l0:*i32
%b0:i1:unit = call @sink(%b0:i0:i32)
%b0:i1:unit = call @sink:*[ret:unit params:(i32)](%b0:i0:i32)
%b0:i2:unit = store 0:i32 %l0:*i32
%b0:i3:i16 = load %l1:*i16
%b0:i4:unit = call @sink(%b0:i3:i16)
%b0:i4:unit = call @sink:*[ret:unit params:(i32)](%b0:i3:i16)
%b0:i5:unit = store 1:i16 %l1:*i16
%b0:i6:i64 = load %l2:*i64
%b0:i7:unit = call @sink(%b0:i6:i64)
%b0:i7:unit = call @sink:*[ret:unit params:(i32)](%b0:i6:i64)
%b0:i8:unit = store 2:i64 %l2:*i64
switch undef:i32 default b1() [
@@ -138,22 +138,22 @@ block b0:
block b1:
%b1:i0:i32 = load %l0:*i32
%b1:i1:unit = call @sink(%b1:i0:i32)
%b1:i1:unit = call @sink:*[ret:unit params:(i32)](%b1:i0:i32)
%b1:i2:unit = store 100:i32 %l0:*i32
%b1:i3:i64 = load %l2:*i64
%b1:i4:unit = call @sink(%b1:i3:i64)
%b1:i4:unit = call @sink:*[ret:unit params:(i32)](%b1:i3:i64)
%b1:i5:unit = store 102:i64 %l2:*i64
j b2()
block b2:
%b2:i0:i32 = load %l0:*i32
%b2:i1:unit = call @sink(%b2:i0:i32)
%b2:i1:unit = call @sink:*[ret:unit params:(i32)](%b2:i0:i32)
%b2:i2:unit = store 200:i32 %l0:*i32
%b2:i3:i16 = load %l1:*i16
%b2:i4:unit = call @sink(%b2:i3:i16)
%b2:i4:unit = call @sink:*[ret:unit params:(i32)](%b2:i3:i16)
%b2:i5:unit = store 201:i16 %l1:*i16
j b3()

View File

@@ -1,4 +1,4 @@
fun unit @sink {
fun unit @sink (i32) {
init:
bid: b0
allocations:
@@ -8,7 +8,7 @@ block b0:
ret unit:unit
}
fun unit @sinkptr {
fun unit @sinkptr (*i8) {
init:
bid: b0
allocations:
@@ -18,7 +18,7 @@ block b0:
ret unit:unit
}
fun i32 @single_block {
fun i32 @single_block () {
init:
bid: b0
allocations:
@@ -33,14 +33,14 @@ block b0:
%b0:i3:unit = nop
%b0:i4:unit = nop
%b0:i5:unit = call @sink(undef:i32)
%b0:i6:unit = call @sink(42:i32)
%b0:i7:unit = call @sink(37:i32)
%b0:i5:unit = call @sink:*[ret:unit params:(i32)](undef:i32)
%b0:i6:unit = call @sink:*[ret:unit params:(i32)](42:i32)
%b0:i7:unit = call @sink:*[ret:unit params:(i32)](37:i32)
ret 0:i32
}
fun i32 @multi_block {
fun i32 @multi_block () {
init:
bid: b0
allocations:
@@ -60,15 +60,15 @@ block b0:
block b1:
%b1:i0:unit = nop
%b1:i1:unit = call @sink(undef:i32)
%b1:i2:unit = call @sink(42:i32)
%b1:i3:unit = call @sink(37:i32)
%b1:i4:unit = call @sink(37:i32)
%b1:i1:unit = call @sink:*[ret:unit params:(i32)](undef:i32)
%b1:i2:unit = call @sink:*[ret:unit params:(i32)](42:i32)
%b1:i3:unit = call @sink:*[ret:unit params:(i32)](37:i32)
%b1:i4:unit = call @sink:*[ret:unit params:(i32)](37:i32)
ret 0:i32
}
fun i32 @single_location {
fun i32 @single_location () {
init:
bid: b666
allocations:
@@ -81,7 +81,7 @@ block b0:
%b0:p0:i32:x
%b0:i0:unit = nop
%b0:i1:unit = call @sink(%b0:p0:i32)
%b0:i1:unit = call @sink:*[ret:unit params:(i32)](%b0:p0:i32)
%b0:i2:unit = nop
switch undef:i32 default b1() [
2:i32 b2(0:i32)
@@ -90,14 +90,14 @@ block b0:
block b1:
%b1:i0:unit = nop
%b1:i1:unit = call @sink(0:i32)
%b1:i1:unit = call @sink:*[ret:unit params:(i32)](0:i32)
%b1:i2:unit = nop
j b2(100:i32)
block b2:
%b2:p0:i32:x
%b2:i0:unit = nop
%b2:i1:unit = call @sink(%b2:p0:i32)
%b2:i1:unit = call @sink:*[ret:unit params:(i32)](%b2:p0:i32)
%b2:i2:unit = nop
j b3()
@@ -106,7 +106,7 @@ block b3:
j b0(300:i32)
}
fun i32 @multi_location {
fun i32 @multi_location () {
init:
bid: b666
allocations:
@@ -117,7 +117,7 @@ init:
block b666:
%b666:i0:unit = store %l3:*i8 42:i8
%b666:i1:unit = call @sinkptr(%l3:*i8)
%b666:i1:unit = call @sinkptr:*[ret:unit params:(*i8)](%l3:*i8)
%b666:i2:i8 = load %l3:*i8
j b0(undef:i32, undef:i16, undef:i64)
@@ -127,15 +127,15 @@ block b0:
%b0:p2:i64:z
%b0:i0:unit = nop
%b0:i1:unit = call @sink(%b0:p0:i32)
%b0:i1:unit = call @sink:*[ret:unit params:(i32)](%b0:p0:i32)
%b0:i2:unit = nop
%b0:i3:unit = nop
%b0:i4:unit = call @sink(%b0:p1:i16)
%b0:i4:unit = call @sink:*[ret:unit params:(i32)](%b0:p1:i16)
%b0:i5:unit = nop
%b0:i6:unit = nop
%b0:i7:unit = call @sink(%b0:p2:i64)
%b0:i7:unit = call @sink:*[ret:unit params:(i32)](%b0:p2:i64)
%b0:i8:unit = nop
switch undef:i32 default b1() [
@@ -145,11 +145,11 @@ block b0:
block b1:
%b1:i0:unit = nop
%b1:i1:unit = call @sink(0:i32)
%b1:i1:unit = call @sink:*[ret:unit params:(i32)](0:i32)
%b1:i2:unit = nop
%b1:i3:unit = nop
%b1:i4:unit = call @sink(2:i64)
%b1:i4:unit = call @sink:*[ret:unit params:(i32)](2:i64)
%b1:i5:unit = nop
j b2(100:i32)
@@ -158,10 +158,10 @@ block b2:
%b2:p0:i32:x
%b2:i0:unit = nop
%b2:i1:unit = call @sink(%b2:p0:i32)
%b2:i1:unit = call @sink:*[ret:unit params:(i32)](%b2:p0:i32)
%b2:i2:unit = nop
%b2:i3:unit = nop
%b2:i4:unit = call @sink(1:i16)
%b2:i4:unit = call @sink:*[ret:unit params:(i32)](1:i16)
%b2:i5:unit = nop
j b3()