the first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
assembly language instruction sequence perform arithmetic, and jump instruction by changing the program counter value to execute the conditional statement and circular statement.
汇编语言依序执行算术指令,而跳转指令可以通过改变程序计数器的值来执行条件语句和循环语句。
you can translate the resulting mask back into a single index by counting the leading zeroes, and then subtracting that from 31. a possible assembly language instruction sequence to do this would be
计算前导零,然后从31中减去前导零数量,就可以将产生的掩码转换为索引。
all specific intrinsics take the form si_assemblyinstructionname where assemblyinstructionname is the name of the assembly language instruction as defined in the spu assembly language specification.