如何安全地将有符号字段从uint32_t提取到有符号数字(int或uint32_t)中
How to safely extract a signed field from a uint32_t into a signed number (int or uint32_t)
我有一个项目,在这个项目中,我得到了一个32位ARM指令的向量,其中一部分指令(偏移值(需要读取为有符号(2的补码(数,而不是无符号数。
我使用了uint32_t
矢量,因为所有操作码和寄存器都是无符号读取的,整个指令是32位。
例如:
我有这个32位ARM指令编码:
uint32_t addr = 0b00110001010111111111111111110110
最后19位是分支的偏移量,我需要将其读取为带符号整数分支位移。此部分:11111111111 0110
我有一个函数,其中参数是整个32位指令:我向左移动13位,然后再次向右移动13位以仅具有偏移值,并移动指令的其他部分。
我尝试过这个函数转换为不同的有符号变量,使用不同的转换方式和其他c++函数,但它打印的数字是无符号的。
int getCat1BrOff(uint32_t inst)
{
uint32_t temp = inst << 13;
uint32_t brOff = temp >> 13;
return (int)brOff;
}
我得到的是十进制数524278,而不是-10。
我认为最后一个选项不是最好的,但它可能会起作用,那就是设置字符串中的所有二进制值。反转比特并加1进行转换,然后将新的二进制数转换回十进制。正如我在论文中所做的那样,但这不是一个好的解决方案。
它可以归结为进行符号扩展,其中符号位是第19位。有两种方法。
- 使用算术移位
- 检测符号位和/或高位的符号位
没有可移植的方法来执行1。在C++中。但它可以在编译时进行检查。如果下面的代码是UB,请纠正我,但我相信它只是定义的实现——我们在编译时会检查它。唯一有问题的是无符号到有符号的转换(溢出(和右移,但这应该由实现定义。
int getCat1BrOff(uint32_t inst)
{
if constexpr (int32_t(0xFFFFFFFFu) >> 1 == int32_t(0xFFFFFFFFu))
{
return int32_t(inst << uint32_t{13}) >> int32_t{13};
}
else
{
int32_t offset = inst & 0x0007FFFF;
if (offset & 0x00040000)
{
offset |= 0xFFF80000;
}
return offset;
}
}
或更通用的解决方案
template <uint32_t N>
int32_t signExtend(uint32_t value)
{
static_assert(N > 0 && N <= 32);
constexpr uint32_t unusedBits = (uint32_t(32) - N);
if constexpr (int32_t(0xFFFFFFFFu) >> 1 == int32_t(0xFFFFFFFFu))
{
return int32_t(value << unusedBits) >> int32_t(unusedBits);
}
else
{
constexpr uint32_t mask = uint32_t(0xFFFFFFFFu) >> unusedBits;
value &= mask;
if (value & (uint32_t(1) << (N-1)))
{
value |= ~mask;
}
return int32_t(value);
}
}
https://godbolt.org/z/rb-rRB
在实践中,您只需要将temp
声明为已签名:
int getCat1BrOff(uint32_t inst)
{
int32_t temp = inst << 13;
return temp >> 13;
}
不幸的是,这是不可移植的:
对于负a,a>>b的值是实现定义的(在大多数情况下实现时,这将执行算术右移,以便结果保持为阴性(。
但我还没有遇到一个编译器,它不能做这里显而易见的事情。
- 在C++中,将大的无符号浮点数四舍五入为整数的最佳方法是什么
- 有符号的int和int-有没有一种方法可以在C++中区分它们
- 将无符号char*转换为std::istream*C++
- 如何在C++中将一个无符号的 int 转换为两个无符号的短裤?
- vscode g++链路故障:体系结构x86_64的未定义符号
- 从矢量<无符号字符>转换为字符* 包括垃圾数据
- 如何理解将半精度指针转换为无符号长指针和相关的内存对齐
- Visual studio代码重构似乎不起作用(例如,重命名符号-f2)
- 使用gcc从静态链接的文件中查找可选符号
- C++中无符号字符溢出
- 使用无符号字符数组有效存储内存
- C++:Application.cpp中抛出了未解析的外部符号(解决方案在问题的末尾,供未来的读者参考)
- VC++本机单元测试,找不到调试符号
- 为什么我必须在C++中添加一个赋值符号来声明一个数组
- 检查TCHAR数组输入是否为带符号整数C++
- 用符号版本替换对函数的所有调用
- 未解析的外部符号_MsiLocateComponentW@12.
- 如何打印boost多精度128位无符号整数
- C++模板函数,用于比较任何无符号整数和有符号整数
- 使用 python 编译引脚工具的错误包括,得到错误 C2872:'UINT32':不明确的符号