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

.funcsig @IntReturner = @i64 ()

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

.funcdecl @foxsay <@IntReturner>
12 13

.expose @meaning_external1 = @meaning_of_life #DEFAULT @I64_42