• bestouff 2 days ago

    I wonder how this will work for Rust where bytes are u8 - will they special-case them ? That would look weird.

    Also there are some botched examples, e.g. :

    > define void @src(ptr %a, ptr %b) > { > %mem = alloca i8 > call void @llvm.memcpy(ptr %mem, ptr %a, i32 1) > call void @llvm.memcpy(ptr %a, ptr %mem, i32 1) > ret void > }

    The last %a should be a %b. But you can get the idea anyway.

    • kobebrookskC3 2 days ago

      wouldn't byte in rust be more like MaybeUninit<u8>, to account for uninit and pointer fragments?

      • bestouff 2 days ago

        That means MaybeUninit would not be library-only anymore, but would need some compiler help. But yes you're right.

        • jojomodding 2 days ago

          It already has lots of "magic" semantics and never was just a library type

        • jojomodding 2 days ago

          Yes.