Skip to content(if available)orjump to list(if available)

Byte Type: Supporting Raw Data Copies in the LLVM IR

Byte Type: Supporting Raw Data Copies in the LLVM IR

5 comments

·September 9, 2025
Visit

bestouff

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

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

bestouff

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

jojomodding

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

jojomodding

Yes.