reilabs / hieratika

Efforts to compile LLVM bytecode to run on top of the CairoVM and hence execute provably on Starknet
http://starknet.io
Apache License 2.0
1 stars 0 forks source link

docs: ALU: drop `to` keyword from polyfill names #75

Closed wzmuda closed 1 month ago

wzmuda commented 1 month ago

Summary

Most of the LLVM IR instructions come in the form of just an opcode followed by operands, but some introduce an extra to keyword, e.g. zext is called as follows:

%X = zext i32 257 to i64

Details

As discussed in the compiler skeleton PR, this naming duality make the instructions-to-polyfills mapping more complex without adding any benefits. Remove the to keyword from polyfill names. Affected instructions: trunc, zext, sext, ptrtoint, inttoptr, bitcast.

Checklist