ARM Assebmly 算法中的 IEEE.754 给出了意想不到的结果

Question

我正在尝试实现一个简单的算法，以使用 IEEE.754 浮点表示法来添加浮点数。我已经在算法上取得了很大的进展，但它没有给我预期的结果

这就是算法目前的样子。此时仅尝试添加 1.0 + 1.0。预期结果是 R0 寄存器在到达 BX lr 时为 0x40000000，即程序结束。我现在得到的结果是令人失望的0x40800000。

我编译： arm-none-eabi-as -g -o float.o float.s arm-none-eabi-ld -0 浮动 float.o

然后我用 Qemu 运行 qemu-arm -g 30005 ./第 5 部分

并使用 gdb 逐步执行 gdb-多架构 文件./浮动 目标远程：30005

使用 gdb 正常单步执行

.section .data

@ Constants
exponent_mask: .word 0x7F800000

@ The two numbers we want to add
num1:   .word   0x3f800000
num2:   .word   0x3f800000 

.section .text
.global main

main:
@ Load numbers directly
    LDR r0, =num1
    LDR r0, [r0]
    LDR r1, =num2
    LDR r1, [r1]



@ Load constant for exponent extraction just once
    LDR r12, =exponent_mask
    LDR r12, [r12]

@ Extract exponents
    AND r2, r0, r12
    AND r3, r1, r12
    LSR r2, r2, #23
    LSR r3, r3, #23

@ Clear the exponent parts
    BIC r4, r0, r12
    BIC r5, r1, r12

@ Add the implicit 1 to the fractions
    ORR r4, r4, #0x00800000  
    ORR r5, r5, #0x00800000  


@ Align exponents and adjust fractions
    CMP r2, r3
    BGT largerExponent

@ r3 has larger exponent
    SUB r6, r3, r2
    LSR r4, r4, r6
    MOV r2, r3
    B fractionsAligned

largerExponent:
    SUB r6, r2, r3
    LSR r5, r5, r6

fractionsAligned:
    ADD r4, r4, r5   @ Add aligned fractions

@ Normalize if needed
    TST r4, #0x01000000
    BEQ doneNormalize
    LSR r4, r4, #1
    ADD r2, r2, #1

doneNormalize:
    @ Construct the final number
    LSL r2, r2, #23
    ORR r0, r4, r2

BX lr

程序结束时，寄存器值如下所示：

Answer 1

添加并规范化后，您的代码不会删除前导 1 位。