redef-base.uir 286 Bytes
Newer Older
1
.typedef @i64 = int<64>
Kunshan Wang's avatar
Kunshan Wang committed
2
.const @I64_42 <@i64> = 42
3

Kunshan Wang's avatar
Kunshan Wang committed
4
.funcsig @IntReturner = () -> (@i64)
5

Kunshan Wang's avatar
Kunshan Wang committed
6 7
.funcdef @meaning_of_life VERSION %v1 <@IntReturner> {
    %entry():
Kunshan Wang's avatar
Kunshan Wang committed
8
        [%ret] RET @I64_42
9 10 11
}

.funcdecl @foxsay <@IntReturner>
12 13

.expose @meaning_external1 = @meaning_of_life #DEFAULT @I64_42