Question

我正在为树莓派做一些简单的编程，我遇到了一个奇怪的问题。

我需要值0x80000000来测试特定位。基本上，这个值对于我正在进行的硬件操作至关重要，无法替换。但是，当我生成汇编代码时，（status＆amp; 0x80000000）的关键操作似乎被删除了。也就是说，没有＆＃34;和＆＃34;在汇编代码上的任何位置操作。但是，如果我改变那个数字来说，0x40000000。和操作出现在我预期的位置。为什么这个数字特别消失？

这是我的C代码：

#include <stdint.h>

#define REGISTERS_BASE 0x3F000000
#define MAIL_BASE 0xB880  // Base address for the mailbox registers
// This bit is set in the status register if there is no space to write into the mailbox
#define MAIL_FULL 0x80000000
// This bit is set in the status register if there is nothing to read from the mailbox
#define MAIL_EMPTY 0x40000000

struct Message
{
  uint32_t messageSize;
  uint32_t requestCode;
  uint32_t tagID;
  uint32_t bufferSize;
  uint32_t requestSize;
  uint32_t pinNum;
  uint32_t on_off_switch;
  uint32_t end;
};

struct Message m =
{
  .messageSize = sizeof(struct Message),
  .requestCode =0,
  .tagID = 0x00038041,
  .bufferSize = 8,
  .requestSize =0,
  .pinNum = 130,
  .on_off_switch = 1,
  .end = 0,
};

/** Main function - we'll never return from here */
//int main(void) __attribute__((naked));
int _start(void)
{

  uint32_t mailbox = MAIL_BASE + REGISTERS_BASE + 0x18;
  volatile uint32_t status;

  do
  {
    status = *(volatile uint32_t *)(mailbox);
  }
  while((status & 0x80000000));

  *(volatile uint32_t *)(MAIL_BASE + REGISTERS_BASE + 0x20) = ((uint32_t)(&m) & 0xfffffff0) | (uint32_t)(8);

  while(1);
}

这是汇编代码：

    .cpu arm7tdmi
    .fpu softvfp
    .eabi_attribute 20, 1
    .eabi_attribute 21, 1
    .eabi_attribute 23, 3
    .eabi_attribute 24, 1
    .eabi_attribute 25, 1
    .eabi_attribute 26, 1
    .eabi_attribute 30, 6
    .eabi_attribute 34, 0
    .eabi_attribute 18, 4
    .file   "PiTest.c"
    .global m
    .data
    .align  2
    .type   m, %object
    .size   m, 32
m:
    .word   32
    .word   0
    .word   229441
    .word   8
    .word   0
    .word   130
    .word   1
    .word   0
    .text
    .align  2
    .global _start
    .type   _start, %function
_start:
    @ Function supports interworking.
    @ args = 0, pretend = 0, frame = 8
    @ frame_needed = 1, uses_anonymous_args = 0
    @ link register save eliminated.
    str fp, [sp, #-4]!
    add fp, sp, #0
    sub sp, sp, #12
    ldr r3, .L4
    str r3, [fp, #-8]
.L2:
    ldr r3, [fp, #-8]
    ldr r3, [r3]
    str r3, [fp, #-12]
    ldr r3, [fp, #-12]
                        <-THE AND OPERATION SHOULD BE HERE
    cmp r3, #0
    blt .L2
    ldr r2, .L4+4
    ldr r3, .L4+8
    bic r3, r3, #15
    orr r3, r3, #8
    str r3, [r2]
.L3:
    b   .L3
.L5:
    .align  2
.L4:
    .word   1057011864
    .word   1057011872
    .word   m
    .size   _start, .-_start
    .ident  "GCC: (15:4.9.3+svn231177-1) 4.9.3 20150529 (prerelease)"

Answer 1

您正在测试的位是整数变量中的最高位。如果您将变量视为有符号整数，则它将对应于符号位。

cmp r3, #0
blt .L2

此代码将r3与0进行比较，如果它更小，则会跳回.L2。即循环条件为r3 < 0，这相当于测试符号位（=最高位）是否在r3中设置。

Answer 2

我对汇编程序架构并不熟悉。但代码对我来说很好。

如果寄存器大小为32位并将整数值存储为二进制补码，则任何具有最高位设置的值如果视为已签名则表示负值。

因此，编译器将AND转换为<0比较：

cmp r3, #0
blt .L2

为什么在使用gcc编译后值会消失？

2 个答案: