仅在 64 位释放模式下移位非法指令

Question

我正在将可用的 PoissonRecon 代码 here 集成到我自己的网格操作代码中，但由于 Poisson 中的每个位移指令中的“非法指令”错误，我无法在 x64 中编译集成代码代码的八叉树生成。

我使用的是 Visual Studio 2015，我的问题仅在 x64 中编译且仅在发布模式下才会出现（即，它适用于 x86 调试和发布以及 x64 调试）。

作为移位指令之一的示例，在 Octree.inl 的顶部定义了以下内容：

template< class NodeData > const int OctNode< NodeData >::DepthShift=5;
template< class NodeData > const int OctNode< NodeData >::OffsetShift = ( sizeof(long long)*8 - DepthShift ) / 3;
template< class NodeData > const int OctNode< NodeData >::DepthMask=(1<<DepthShift)-1; // This variable is correct
template< class NodeData > const int OctNode< NodeData >::OffsetMask=(1<<OffsetShift)-1; // This variable is also correct
template< class NodeData > const int OctNode< NodeData >::OffsetShift1=DepthShift;
template< class NodeData > const int OctNode< NodeData >::OffsetShift2=OffsetShift1+OffsetShift;
template< class NodeData > const int OctNode< NodeData >::OffsetShift3=OffsetShift2+OffsetShift;

这些变量用在以下函数中：

template< class NodeData >
inline unsigned long long OctNode< NodeData >::Index( int depth , const int offset[3] )
{
    unsigned long long idx=0;
    idx |= ( ( (unsigned long long)(depth    ) ) & DepthMask  );
    idx |= ( ( (unsigned long long)(offset[0]) ) & OffsetMask ) << OffsetShift1;
    idx |= ( ( (unsigned long long)(offset[1]) ) & OffsetMask ) << OffsetShift2;
    idx |= ( ( (unsigned long long)(offset[2]) ) & OffsetMask ) << OffsetShift3;
    return idx;
}

这个函数在行中断

idx |= ( ( (unsigned long long)(offset[0]) ) & OffsetMask ) << OffsetShift1;

我进一步分解发现问题在于位移本身，即(var)<<OffsetShift1;，但这会导致“非法指令”错误。

请注意，OffsetShift1 只是“5”，因此这相当于(var)<<5;，它确实可以按预期工作。

一种可能的解决方法是在顶部简单地 #define 所有这些变量（这确实解决了问题），但这并不能解决其他位移问题，例如：

void _startAndWidth( const TreeOctNode* node , Point3D< Real >& start , Real& width ) const
    {
        LocalDepth d ; LocalOffset off;
        _localDepthAndOffset( node , d , off );
        if (d >= 0) width = Real(1.0 / (1 << d));
        else width = Real( 1.0 * (1<<(-d)) );
        for( int dd=0 ; dd<DIMENSION ; dd++ ) start[dd] = Real( off[dd] ) * width;
    }

我已经尝试static_cast<long long> 一切，但这不是溢出问题。更奇怪的是，如果我在移位之前中断（在发布模式下）然后突出显示操作，调试器会告诉我正确的结果（例如，_startAndWidth 中的d = 5，所以1 << d 在调试器），但实际上单步执行操作会导致“非法指令”错误。

由于程序在调试模式下正常工作，我尝试在发布模式下删除所有优化，但仍然遇到相同的错误。我发现的唯一解决方法是用pow() 替换所有位移操作，虽然这样可行，但bit 似乎很荒谬。

Answer 1

事实证明，重构代码附带的 .sln 文件是用 AVX2 设置的，我的机器不支持它。

转到Configuration Properties >> C/C++ >> Code Generation 并将“启用增强指令集”设置为 AVX 解决了该问题。

汇编代码现在显示“SHL”而不是“SHLX”，因此“非法指令”是实际的 SHLX 命令不可用，而不是进入 SHLX 的参数有问题。