diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/basic.odin | 20 | ||||
| -rw-r--r-- | examples/main.ll | 247 | ||||
| -rw-r--r-- | examples/main.odin | 41 |
3 files changed, 192 insertions, 116 deletions
diff --git a/examples/basic.odin b/examples/basic.odin index ea22ca663..9141aed87 100644 --- a/examples/basic.odin +++ b/examples/basic.odin @@ -1,5 +1,3 @@ -putchar :: proc(c: i32) -> i32 #foreign - print_string :: proc(s: string) { for i := 0; i < len(s); i++ { putchar(s[i] as i32); @@ -22,8 +20,8 @@ encode_rune :: proc(r : rune) -> ([4]byte, int) { return buf, 1; } if i <= 1<<11-1 { - buf[0] = (0xc0 | r>>6) as byte; - buf[1] = (0x80 | r) as byte & mask; + buf[0] = 0xc0 | (r>>6) as byte; + buf[1] = 0x80 | (r) as byte & mask; return buf, 2; } @@ -34,16 +32,16 @@ encode_rune :: proc(r : rune) -> ([4]byte, int) { } if i <= 1<<16-1 { - buf[0] = (0xe0 | r>>12) as byte ; - buf[1] = (0x80 | r>>6) as byte & mask; - buf[2] = (0x80 | r) as byte & mask; + buf[0] = 0xe0 | (r>>12) as byte; + buf[1] = 0x80 | (r>>6) as byte & mask; + buf[2] = 0x80 | (r) as byte & mask; return buf, 3; } - buf[0] = (0xf0 | r>>18) as byte; - buf[1] = (0x80 | r>>12) as byte & mask; - buf[2] = (0x80 | r>>6) as byte & mask; - buf[3] = (0x80 | r) as byte & mask; + buf[0] = 0xf0 | (r>>18) as byte; + buf[1] = 0x80 | (r>>12) as byte & mask; + buf[2] = 0x80 | (r>>6) as byte & mask; + buf[3] = 0x80 | (r) as byte & mask; return buf, 4; } diff --git a/examples/main.ll b/examples/main.ll index 463373712..29dcd852f 100644 --- a/examples/main.ll +++ b/examples/main.ll @@ -6,62 +6,149 @@ declare void @llvm.memmove.p0i8.p0i8.i64(i8*, i8*, i64, i32, i1) define void @main() { "entry - 0": - %0 = alloca <8 x float>, align 4 ; a - store <8 x float> zeroinitializer, <8 x float>* %0 - %1 = alloca <8 x float>, align 4 ; b - store <8 x float> zeroinitializer, <8 x float>* %1 - %2 = alloca <8 x float>, align 4 - store <8 x float> zeroinitializer, <8 x float>* %2 - %3 = load <8 x float>, <8 x float>* %2 - %4 = insertelement <8 x float> %3, float 0x3ff0000000000000, i64 0 - %5 = insertelement <8 x float> %4, float 0x4000000000000000, i64 1 - %6 = insertelement <8 x float> %5, float 0x4008000000000000, i64 2 - %7 = insertelement <8 x float> %6, float 0x4010000000000000, i64 3 - %8 = alloca <8 x float>, align 4 - store <8 x float> zeroinitializer, <8 x float>* %8 - %9 = load <8 x float>, <8 x float>* %8 - %10 = insertelement <8 x float> %9, float 0x3ff0000000000000, i64 0 - %11 = insertelement <8 x float> %10, float 0x4000000000000000, i64 1 - %12 = insertelement <8 x float> %11, float 0x4008000000000000, i64 2 - %13 = insertelement <8 x float> %12, float 0x4010000000000000, i64 3 - store <8 x float> %7, <8 x float>* %0 - store <8 x float> %13, <8 x float>* %1 - %14 = alloca <8 x i1>, align 1 ; c - store <8 x i1> zeroinitializer, <8 x i1>* %14 - %15 = load <8 x float>, <8 x float>* %0 - %16 = load <8 x float>, <8 x float>* %1 - %17 = fcmp oeq <8 x float> %15, %16 - store <8 x i1> %17, <8 x i1>* %14 - %18 = alloca <32 x i1>, align 1 ; x - store <32 x i1> zeroinitializer, <32 x i1>* %18 - %19 = alloca <32 x i1>, align 1 - store <32 x i1> zeroinitializer, <32 x i1>* %19 - %20 = load <32 x i1>, <32 x i1>* %19 - %21 = insertelement <32 x i1> %20, i1 true, i64 0 - %22 = insertelement <32 x i1> %21, i1 false, i64 1 - %23 = insertelement <32 x i1> %22, i1 true, i64 2 - store <32 x i1> %23, <32 x i1>* %18 - %24 = alloca i32, align 4 ; d - store i32 zeroinitializer, i32* %24 - %25 = alloca i32*, align 8 - store i32* zeroinitializer, i32** %25 - %26 = getelementptr inbounds <32 x i1>, <32 x i1>* %18, i64 0, i32 0 - %27 = getelementptr i1, i1* %26, i64 0 - %28 = getelementptr inbounds i1, i1* %27 - %29 = bitcast i1* %28 to i32* - store i32* %29, i32** %25 - %30 = load i32*, i32** %25 - %31 = getelementptr i32, i32* %30 - %32 = load i32, i32* %31 - store i32 %32, i32* %24 - %33 = load i32, i32* %24 - %34 = zext i32 %33 to i64 - call void @print_int_base(i64 %34, i64 2) + %0 = alloca %.rawptr, align 8 ; data + store %.rawptr zeroinitializer, %.rawptr* %0 + %1 = call %.rawptr @malloc(i64 100) + store %.rawptr %1, %.rawptr* %0 + %2 = alloca {i8*, i64, i64}, align 8 ; slice + store {i8*, i64, i64} zeroinitializer, {i8*, i64, i64}* %2 + %3 = alloca i8*, align 8 + store i8* zeroinitializer, i8** %3 + %4 = load %.rawptr, %.rawptr* %0 + %5 = bitcast %.rawptr %4 to i8* + store i8* %5, i8** %3 + %6 = sub i64 0, 0 + %7 = sub i64 100, 0 + %8 = load i8*, i8** %3 + %9 = getelementptr i8, i8* %8, i64 0 + %10 = alloca {i8*, i64, i64}, align 8 + store {i8*, i64, i64} zeroinitializer, {i8*, i64, i64}* %10 + %11 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %10, i64 0, i32 0 + store i8* %9, i8** %11 + %12 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %10, i64 0, i32 1 + store i64 %6, i64* %12 + %13 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %10, i64 0, i32 2 + store i64 %7, i64* %13 + %14 = load {i8*, i64, i64}, {i8*, i64, i64}* %10 + store {i8*, i64, i64} %14, {i8*, i64, i64}* %2 + %15 = alloca i64, align 8 ; i + store i64 zeroinitializer, i64* %15 + store i64 0, i64* %15 + br label %"for.loop - 2" + +"for.body - 1": + %16 = alloca i1, align 1 ; ok + store i1 zeroinitializer, i1* %16 + %17 = alloca i8, align 1 + store i8 zeroinitializer, i8* %17 + %18 = load i64, i64* %15 + %19 = load i64, i64* %15 + %20 = mul i64 %19, %18 + %21 = trunc i64 %20 to i8 + store i8 %21, i8* %17 + %22 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %2, i64 0, i32 0 + %23 = load i8*, i8** %22 + %24 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %2, i64 0, i32 1 + %25 = load i64, i64* %24 + %26 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %2, i64 0, i32 2 + %27 = load i64, i64* %26 + %28 = icmp slt i64 %25, %27 + br i1 %28, label %"builtin.append.able - 4", label %"builtin.append.done - 5" + +"for.loop - 2": + %29 = load i64, i64* %15 + %30 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %2, i64 0, i32 2 + %31 = load i64, i64* %30 + %32 = icmp slt i64 %29, %31 + br i1 %32, label %"for.body - 1", label %"for.done - 6" + +"for.post - 3": + %33 = load i64, i64* %15 + %34 = add i64 %33, 1 + store i64 %34, i64* %15 + br label %"for.loop - 2" + +"builtin.append.able - 4": + %35 = getelementptr i8, i8* %23, i64 %25 + call void @llvm.memmove.p0i8.p0i8.i64(i8* %35, i8* %17, i64 1, i32 1, i1 false) + %36 = add i64 %25, 1 + %37 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %2, i64 0, i32 1 + store i64 %36, i64* %37 + br label %"builtin.append.done - 5" + +"builtin.append.done - 5": + store i1 %28, i1* %16 + br label %"for.post - 3" + +"for.done - 6": + %38 = alloca i64, align 8 ; i + store i64 zeroinitializer, i64* %38 + store i64 0, i64* %38 + br label %"for.loop - 8" + +"for.body - 7": + %39 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %2, i64 0, i32 0 + %40 = load i8*, i8** %39 + %41 = load i64, i64* %38 + %42 = getelementptr i8, i8* %40, i64 %41 + %43 = load i8, i8* %42 + %44 = zext i8 %43 to i64 + call void @print_int(i64 %44) + %45 = getelementptr inbounds [2 x i8], [2 x i8]* @.str0, i64 0, i64 0 + %46 = alloca %.string, align 8 + store %.string zeroinitializer, %.string* %46 + %47 = getelementptr inbounds %.string, %.string* %46, i64 0, i32 0 + %48 = getelementptr inbounds %.string, %.string* %46, i64 0, i32 1 + store i8* %45, i8** %47 + store i64 2, i64* %48 + %49 = load %.string, %.string* %46 + call void @print_string(%.string %49) + %50 = load i64, i64* %38 + %51 = add i64 %50, 1 + %52 = srem i64 %51, 8 + %53 = icmp eq i64 %52, 0 + br i1 %53, label %"if.then - 10", label %"if.done - 11" + +"for.loop - 8": + %54 = load i64, i64* %38 + %55 = getelementptr inbounds {i8*, i64, i64}, {i8*, i64, i64}* %2, i64 0, i32 1 + %56 = load i64, i64* %55 + %57 = icmp slt i64 %54, %56 + br i1 %57, label %"for.body - 7", label %"for.done - 12" + +"for.post - 9": + %58 = load i64, i64* %38 + %59 = add i64 %58, 1 + store i64 %59, i64* %38 + br label %"for.loop - 8" + +"if.then - 10": + %60 = getelementptr inbounds [1 x i8], [1 x i8]* @.str1, i64 0, i64 0 + %61 = alloca %.string, align 8 + store %.string zeroinitializer, %.string* %61 + %62 = getelementptr inbounds %.string, %.string* %61, i64 0, i32 0 + %63 = getelementptr inbounds %.string, %.string* %61, i64 0, i32 1 + store i8* %60, i8** %62 + store i64 1, i64* %63 + %64 = load %.string, %.string* %61 + call void @print_string(%.string %64) + br label %"if.done - 11" + +"if.done - 11": + br label %"for.post - 9" + +"for.done - 12": + %65 = load %.rawptr, %.rawptr* %0 + call void @free(%.rawptr %65) ret void } declare i32 @putchar(i32 %c) ; foreign procedure +declare %.rawptr @malloc(i64 %sz) ; foreign procedure + +declare void @free(%.rawptr %ptr) ; foreign procedure + define void @print_string(%.string %s) { "entry - 0": %0 = alloca %.string, align 8 ; s @@ -201,15 +288,15 @@ define {[4 x i8], i64} @encode_rune(i32 %r) { %18 = getelementptr i8, i8* %17, i64 0 %19 = load i32, i32* %0 %20 = lshr i32 %19, 6 - %21 = or i32 192, %20 - %22 = trunc i32 %21 to i8 + %21 = trunc i32 %20 to i8 + %22 = or i8 192, %21 store i8 %22, i8* %18 %23 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 0 %24 = getelementptr i8, i8* %23, i64 1 %25 = load i32, i32* %0 - %26 = or i32 128, %25 - %27 = trunc i32 %26 to i8 - %28 = and i8 %27, 63 + %26 = trunc i32 %25 to i8 + %27 = and i8 %26, 63 + %28 = or i8 128, %27 store i8 %28, i8* %24 %29 = alloca {[4 x i8], i64}, align 8 store {[4 x i8], i64} zeroinitializer, {[4 x i8], i64}* %29 @@ -250,23 +337,23 @@ define {[4 x i8], i64} @encode_rune(i32 %r) { %43 = getelementptr i8, i8* %42, i64 0 %44 = load i32, i32* %0 %45 = lshr i32 %44, 12 - %46 = or i32 224, %45 - %47 = trunc i32 %46 to i8 + %46 = trunc i32 %45 to i8 + %47 = or i8 224, %46 store i8 %47, i8* %43 %48 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 0 %49 = getelementptr i8, i8* %48, i64 1 %50 = load i32, i32* %0 %51 = lshr i32 %50, 6 - %52 = or i32 128, %51 - %53 = trunc i32 %52 to i8 - %54 = and i8 %53, 63 + %52 = trunc i32 %51 to i8 + %53 = and i8 %52, 63 + %54 = or i8 128, %53 store i8 %54, i8* %49 %55 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 0 %56 = getelementptr i8, i8* %55, i64 2 %57 = load i32, i32* %0 - %58 = or i32 128, %57 - %59 = trunc i32 %58 to i8 - %60 = and i8 %59, 63 + %58 = trunc i32 %57 to i8 + %59 = and i8 %58, 63 + %60 = or i8 128, %59 store i8 %60, i8* %56 %61 = alloca {[4 x i8], i64}, align 8 store {[4 x i8], i64} zeroinitializer, {[4 x i8], i64}* %61 @@ -283,31 +370,31 @@ define {[4 x i8], i64} @encode_rune(i32 %r) { %67 = getelementptr i8, i8* %66, i64 0 %68 = load i32, i32* %0 %69 = lshr i32 %68, 18 - %70 = or i32 240, %69 - %71 = trunc i32 %70 to i8 + %70 = trunc i32 %69 to i8 + %71 = or i8 240, %70 store i8 %71, i8* %67 %72 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 0 %73 = getelementptr i8, i8* %72, i64 1 %74 = load i32, i32* %0 %75 = lshr i32 %74, 12 - %76 = or i32 128, %75 - %77 = trunc i32 %76 to i8 - %78 = and i8 %77, 63 + %76 = trunc i32 %75 to i8 + %77 = and i8 %76, 63 + %78 = or i8 128, %77 store i8 %78, i8* %73 %79 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 0 %80 = getelementptr i8, i8* %79, i64 2 %81 = load i32, i32* %0 %82 = lshr i32 %81, 6 - %83 = or i32 128, %82 - %84 = trunc i32 %83 to i8 - %85 = and i8 %84, 63 + %83 = trunc i32 %82 to i8 + %84 = and i8 %83, 63 + %85 = or i8 128, %84 store i8 %85, i8* %80 %86 = getelementptr inbounds [4 x i8], [4 x i8]* %1, i64 0, i64 0 %87 = getelementptr i8, i8* %86, i64 3 %88 = load i32, i32* %0 - %89 = or i32 128, %88 - %90 = trunc i32 %89 to i8 - %91 = and i8 %90, 63 + %89 = trunc i32 %88 to i8 + %90 = and i8 %89, 63 + %91 = or i8 128, %90 store i8 %91, i8* %87 %92 = alloca {[4 x i8], i64}, align 8 store {[4 x i8], i64} zeroinitializer, {[4 x i8], i64}* %92 @@ -430,7 +517,7 @@ define void @print_int_base(i64 %i, i64 %base) { %16 = getelementptr inbounds [65 x i8], [65 x i8]* %2, i64 0, i64 0 %17 = load i64, i64* %3 %18 = getelementptr i8, i8* %16, i64 %17 - %19 = getelementptr inbounds [64 x i8], [64 x i8]* @.str0, i64 0, i64 0 + %19 = getelementptr inbounds [64 x i8], [64 x i8]* @.str2, i64 0, i64 0 %20 = load i64, i64* %1 %21 = load i64, i64* %0 %22 = srem i64 %21, %20 @@ -572,7 +659,7 @@ define void @print_uint_base(i64 %i, i64 %base) { %16 = getelementptr inbounds [65 x i8], [65 x i8]* %2, i64 0, i64 0 %17 = load i64, i64* %3 %18 = getelementptr i8, i8* %16, i64 %17 - %19 = getelementptr inbounds [64 x i8], [64 x i8]* @.str1, i64 0, i64 0 + %19 = getelementptr inbounds [64 x i8], [64 x i8]* @.str3, i64 0, i64 0 %20 = load i64, i64* %1 %21 = load i64, i64* %0 %22 = urem i64 %21, %20 @@ -688,5 +775,7 @@ define void @print_f64(double %f) { ret void } -@.str0 = global [64 x i8] c"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz\40$" -@.str1 = global [64 x i8] c"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz\40$" +@.str0 = global [2 x i8] c"\2C\20" +@.str1 = global [1 x i8] c"\0A" +@.str2 = global [64 x i8] c"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz\40$" +@.str3 = global [64 x i8] c"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz\40$" diff --git a/examples/main.odin b/examples/main.odin index 851724773..c406fa9a9 100644 --- a/examples/main.odin +++ b/examples/main.odin @@ -1,36 +1,25 @@ +import "c_runtime" import "basic" TWO_HEARTS :: '💕'; main :: proc() { - a, b := {8}f32{1, 2, 3, 4}, {8}f32{1, 2, 3, 4}; - c := a == b; - x := {32}bool{true, false, true}; - d := ((^x[0]) as ^u32)^; - print_int_base(d as int, 2); - // print_string("\n"); - // print_int(x[0] as int); - // print_int(x[1] as int); - // print_int(x[2] as int); - // print_string("\n"); + DATA_SIZE :: 100; + data := malloc(DATA_SIZE); - // for i := 0; false && i < len(x); i++ { - // v := x[i]; - // print_int(v); - // print_string("\n"); - // } + slice := (data as ^u8)[:0:DATA_SIZE]; + for i := 0; i < cap(slice); i++ { + ok := append(^slice, (i*i) as u8); + } - // for i := 0; i < len(c); i++ { - // if i > 0 { - // print_string("\n"); - // } - // print_int(a[i] as int); - // print_string(" == "); - // print_int(b[i] as int); - // print_string(" => "); - // print_int(c[i] as int); - // } - // print_rune('\n'); + for i := 0; i < len(slice); i++ { + print_int(slice[i] as int); + print_string(", "); + if (i+1) % 8 == 0 { + print_string("\n"); + } + } + free(data); } /* |