redef-base.uir 241 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 @meaning_of_life_v1 <@IntReturner> () {
    %entry:
        %ret = RET <@i64> @I64_42
9 10 11
}

.funcdecl @foxsay <@IntReturner>