Question

我正在重写一个加密/压缩库，似乎每个字节处理的处理量都很大。我更喜欢使用枚举类型来选择加密可以采用的几种有限方式（正确方式），但是当这些路径变为循环时，我必须添加额外的代码来测试类型＆＃39; last和type＆＃39 ;第一。我总是可以在类型中写入这样的条件，或者在函数类型上指定加法/减法运算符来包装结果，但是当需要每八次运行时，这将是更多的代码和处理。字节以及其他所有内容。有没有办法使操作像一个简单的＆＃34; mod＆＃34;类型，如

type Modular is mod 64 ....;
for ......;
pragma ....;
type Frequency_Counter is array(Modular) of Long_Integer;
Head : Modular := (others => 0);
Freq : Frequency_Counter(Size) := (others => 0);
Encryption_Label : Modular := Hash3;
Block_Sample : Modular := Hash5;
...
Hash3 := Hash3 + 1;
Freq (Hash3):= Freq(Hash3) + 1; -- Here is where my made-on-the-fly example is focused

我认为我可以使整个算法更有效并使用枚举类型，如果我可以获得枚举类型在处理器中以与mod类型数学相同的周期数进行数学运算。我在想办法方面有点创意，但他们显然不适合我用它们中的任何一个作为例子。我能想到的唯一可能超出我的技能，那就是使用内联ASM（气体汇编语言语法）制作一个程序，使操作非常直接地对待处理器。

PS：我知道这是一个小小的收获，单独。任何收益都适合申请。

Answer 1

不确定它会有多大影响！

鉴于此

package Cyclic is

   type Enum is (A, B, C, D, E);
   type Modular is mod 5;

   function Next_Enum (En : Enum) return Enum is
     (if En = Enum'Last then Enum'First else Enum'Succ (En))                                --'
   with Inline_Always;

end Cyclic;

和

with Cyclic; use Cyclic;
procedure Cyclic_Use (N : Natural; E : in out Enum; M : in out Modular) is
begin

   begin
      for J in 1 .. N loop
         E := Next_Enum (E);
      end loop;
   end;

   begin
      for J in 1 .. N loop
         M := M + 1;
      end loop;
   end;

end Cyclic_Use;

使用GCC 5.2.0和-O3（gnatmake -O3 -c -u -f cyclic_use.adb -cargs -S）进行编译，为两个循环生成的x86_64汇编程序是

（枚举）

L3:
        leal    1(%rsi), %ecx
        addl    $1, %eax
        cmpb    $4, %sil
        cmove   %r8d, %ecx
        cmpl    %eax, %edi
        movl    %ecx, %esi
        jne     L3

（模块化）

L4:
        leal    -4(%rdx), %ecx
        addl    $1, %eax
        cmpb    $3, %dl
        leal    1(%rdx), %r8d
        movl    %ecx, %edx
        cmovle  %r8d, %edx
        cmpl    %eax, %edi
        jne     L4

我不假装知道x86_64汇编程序，我不知道为什么枚举版本与4比较而模块化版本与3比较，但这些看起来与我非常相似！但是枚举版本是一条较短的指令......

在Ada中，有没有办法使枚举类型像模数类型一样 - 在它的最后一个范围之后换行到0？

1 个答案: