MSIL有ROL和ROR指令吗？

Question

我写了一个 Int128 类型，效果很好。我认为我可以通过一个简单的想法来提高它的性能：改进有点笨拙的移位操作。

由于它们大量用于乘法和除法，因此改进会产生连锁反应。于是我开始创建一个动态方法（低移和高电平旋转），却发现没有 OpCodes.Rol 或 OpCodes.Ror 指令。

这在伊利诺伊州可能吗？

Answer 1

不，

你需要通过位移来实现它

UInt64 highBits = 0;
UInt64 lowBits = 1;
Int32 n = 63;
var altShift = (n - 63);

var lowShiftedOff = (n - 63) > 0 ? 0 : (lowBits << n);
var highShiftedOff = (n - 63) > 0 ? 0 : (highBits << n);

var highResult = (UInt64)(highShiftedOff | (altShift > 0 ? (lowBits << altShift - 1) : 0));
var lowResult= (UInt64)(lowShiftedOff | (altShift > 0 ? (highBits << altShift - 1) : 0));

Answer 2

7年后部分回答这个问题，以防万一有人需要它。

您可以在.Net 中使用 ROR/ROL。

MSIL 不直接包含 ROR 或 ROL 操作，但有一些模式可以使 JIT 编译器生成 ROR 和 ROL。 RuyJIT（.Net 和 .Net core）支持这一点。

此处讨论了改进 .Net Core 以使用此模式的详细信息，一个月后.Net Core 代码已更新为使用它。

查看SHA512 的实现我们找到了 ROR 的示例：

    public static UInt64 RotateRight(UInt64 x, int n) {
        return (((x) >> (n)) | ((x) << (64-(n))));
    }

并通过相同的模式扩展到 ROL：

    public static UInt64 RotateLeft(UInt64 x, int n) {
        return (((x) << (n)) | ((x) >> (64-(n))));
    }

要在 128 位整数上执行此操作，您可以将其处理为两个 64 位，然后使用 AND 来提取“进位”，使用 AND 来清除目标，然后使用 OR 来应用。这必须在两个方向上镜像（低->高和高->低）。我不会费心举例，因为这个问题有点老了。