STM32 类型隐性转换 为何 6 + (-20) 6 ？？？

2024-01-24 23:18
文章标签 类型 转换 stm32 20 隐性

本文主要是介绍STM32 类型隐性转换 为何 6 + (-20) 6 ？？？，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

在STM32平台上输入一下代码段：

int main(void)
{uint8_t a = 6;int8_t b = -20;if(b+a>6){LED0=1;}else{LED0=0;}
}

程序最终会执行，LED0=0，即表示 6+(-20)<6。

通过MDK的反汇编得到代码：

    10:     uint8_t a = 6; 
0x080002FC 2106      MOVS     r1,#0x0611:     int8_t b = -20; 12:  
0x080002FE F06F0213  MVN      r2,#0x1313:     if(b+a>6){ 
0x08000302 1850      ADDS     r0,r2,r1
0x08000304 2806      CMP      r0,#0x06
0x08000306 DD03      BLE      0x0800031014:         LED0=1; 15:     }else{ 
0x08000308 2001      MOVS     r0,#0x01
0x0800030A 4B04      LDR      r3,[pc,#16]  ; @0x0800031C
0x0800030C 6018      STR      r0,[r3,#0x00]
0x0800030E E002      B        0x0800031616:         LED0=0; 17:     } 
0x08000310 2000      MOVS     r0,#0x00
0x08000312 4B02      LDR      r3,[pc,#8]  ; @0x0800031C
0x08000314 6018      STR      r0,[r3,#0x00]18: } 
0x08000316 2000      MOVS     r0,#0x00
0x08000318 4770      BX       lr

把uint8_t 修改为uint16_t ，得到的汇编代码：

    10:     uint16_t a = 6; 
0x080002FC 2106      MOVS     r1,#0x0611:     int16_t b = -20; 12:  
0x080002FE F06F0213  MVN      r2,#0x1313:     if(b+a>6){ 
0x08000302 1850      ADDS     r0,r2,r1
0x08000304 2806      CMP      r0,#0x06
0x08000306 DD03      BLE      0x0800031014:         LED0=1; 15:     }else{ 
0x08000308 2001      MOVS     r0,#0x01
0x0800030A 4B04      LDR      r3,[pc,#16]  ; @0x0800031C
0x0800030C 6018      STR      r0,[r3,#0x00]
0x0800030E E002      B        0x0800031616:         LED0=0; 17:     } 
0x08000310 2000      MOVS     r0,#0x00
0x08000312 4B02      LDR      r3,[pc,#8]  ; @0x0800031C
0x08000314 6018      STR      r0,[r3,#0x00]18: } 
0x08000316 2000      MOVS     r0,#0x00
0x08000318 4770      BX       lr

这跟uint8_t时的汇编代码一样，没有变化。

当把uint8_t 修改为uint32_t 时，即代码如下:

int main(void)
{uint32_t a = 6;int32_t b = -20;if(b+a>6){LED0=1;}else{LED0=0;}
}

得到的汇编也变了：

    10:     uint32_t a = 6; 
0x080002FC 2106      MOVS     r1,#0x0611:     int32_t b = -20; 12:  
0x080002FE F06F0213  MVN      r2,#0x1313:     if(b+a>6){ 
0x08000302 1850      ADDS     r0,r2,r1
0x08000304 2806      CMP      r0,#0x06
0x08000306 D903      BLS      0x0800031014:         LED0=1; 15:     }else{ 
0x08000308 2001      MOVS     r0,#0x01
0x0800030A 4B04      LDR      r3,[pc,#16]  ; @0x0800031C
0x0800030C 6018      STR      r0,[r3,#0x00]
0x0800030E E002      B        0x0800031616:         LED0=0; 17:     } 
0x08000310 2000      MOVS     r0,#0x00
0x08000312 4B02      LDR      r3,[pc,#8]  ; @0x0800031C
0x08000314 6018      STR      r0,[r3,#0x00]18: } 
0x08000316 2000      MOVS     r0,#0x00
0x08000318 4770      BX       lr

3个程序段得到的代码，只有在跳转指令不同（LED0=1上面一句）：

uint8_t 和uint16_t 中，跳转指令是：0x08000306 DD03      BLE      0x08000310

而在uint32_t 中，跳转指令是：0x08000306 D903      BLS      0x08000310

区别就在与BLE 和BLS，为搞懂这两个指令的含义，需要找ST官方的文档PM0056，在该文档的3.8.5章节由说到跳转指令：

PS：BLE和BLS是B指令，不是BL指令，LE和LS是条件码。

可选条件码在刚文档的表23， Table 23: Condition code suffixes on page 57：

简言之，BLE就是有符号类的小于等于，BLS就是无符号类的小于等于。

明白了以上一点，就再继续分析。

STM32为32为的CPU，其寄存器就是32位的，在执行

    uint32_t a = 6;int32_t b = -20;
或uint16_t a = 6;int16_t b = -20;
或uint8_t a = 6;int8_t b = -20;和a+b

以上程序时，得到的汇编代码都是一样的:

0x080002FC 2106      MOVS     r1,#0x06
0x080002FE F06F0213  MVN      r2,#0x13
0x08000302 1850      ADDS     r0,r2,r1

最后得到的结果就是a+b = R0=0xFFFF FFF2，而这个R0的值，到底是把它当有符号看，还是无符号看，就要看后面的指令了，STM32就只是个存储。

前面说到，BLE就是有符号类的小于等于，BLS就是无符号类的小于等于。对于uin32_t 汇编得到的是BLS，因此R0这个数就是一个无符号的数，所以 a+b = 0xFFFF FFF2 = 4294967282 > 6 

对于uint8_t 汇编得到的数是BLE，因此R0这个数是一个有符号数，所以 a+b = 0xFFFF FFF2 = -14 < 6

 

因此对于STM32来说，并非所有情况都能使 6 + (-20) > 6 成立。

那么什么时候这个条件成立？先说类型转换规则：

（1）、进行运算的两个变量的数据类型长度，若都小于32位，则都转换为有符号32位数据，即int32_t

（2）、若两变量中数据类型长度大的那一个，且它的数据类型大于等于32位，则另一个数据转换为与数据类型大的那一个一样

（3）、若两变量中数据类型长度一样，若存在无符号数，则都转换为无符号数。

根据规则，判断如下情况：

/********************************/uint8_t a = 6;int8_t b = -20;uint16_t a = 6;int8_t b = -20;uint32_t a = 6;int8_t b = -20;uint64_t a = 6;int8_t b = -20;/********************************//********************************/uint8_t a = 6;int16_t b = -20;uint16_t a = 6;int16_t b = -20;uint32_t a = 6;int16_t b = -20;uint64_t a = 6;int16_t b = -20;/********************************//********************************/uint8_t a = 6;int32_t b = -20;uint16_t a = 6;int32_t b = -20;uint32_t a = 6;int32_t b = -20;uint64_t a = 6;int32_t b = -20;/********************************//********************************/uint8_t a = 6;int64_t b = -20;uint16_t a = 6;int64_t b = -20;uint32_t a = 6;int64_t b = -20;uint64_t a = 6;int64_t b = -20;/********************************/

可以使用代码自行实验：

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>#define TYPE            uint8_t#define FirstVar        -20
#define SeconedVar      6int main()
{char *p="int64_t";uint8_t a = FirstVar;TYPE b = SeconedVar;if(a+b>6){printf("uint8_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);}else{printf("uint8_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);}uint16_t c = FirstVar;TYPE d = SeconedVar;if(c+d>6){printf("uint16_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);}else{printf("uint16_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);}uint32_t e = FirstVar;TYPE f = SeconedVar;if(e+f>6){printf("uint32_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);}else{printf("uint32_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);}uint64_t g = FirstVar;TYPE h = SeconedVar;if(g+h>6){printf("uint64_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);}else{printf("uint64_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);}getchar();return 0;
}//int main()
//{
//    char *p="uint8_t";
//
//    int8_t a = FirstVar;
//    TYPE b = SeconedVar;
//
//    if(a+b>6){
//        printf("int8_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);
//    }else{
//        printf("int8_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);
//    }
//
//
//    int16_t c = FirstVar;
//    TYPE d = SeconedVar;
//    if(c+d>6){
//        printf("int16_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);
//    }else{
//        printf("int16_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);
//    }
//
//    int32_t e = FirstVar;
//    TYPE f = SeconedVar;
//    if(e+f>6){
//        printf("int32_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);
//    }else{
//        printf("int32_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);
//    }
//
//    int64_t g = FirstVar;
//    TYPE h = SeconedVar;
//    if(g+h>6){
//        printf("int64_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);
//    }else{
//        printf("int64_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);
//    }
//
//
//    getchar();
//    return 0;
//}

 

这篇关于STM32 类型隐性转换 为何 6 + (-20) 6 ？？？的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/641343。

相关文章

Java controller接口出入参时间序列化转换操作方法(两种)

Java controller接口出入参时间序列化转换操作方法(两种)

《Javacontroller接口出入参时间序列化转换操作方法(两种)》：本文主要介绍Javacontroller接口出入参时间序列化转换操作方法,本文给大家列举两种简单方法,感兴趣的朋友一起看... 目录方式一、使用注解方式二、统一配置场景：在controller编写的接口，在前后端交互过程中一般都会涉及
阅读更多...
Java对象转换的实现方式汇总

Java对象转换的实现方式汇总

《Java对象转换的实现方式汇总》：本文主要介绍Java对象转换的多种实现方式,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录Java对象转换的多种实现方式1. 手动映射（Manual Mapping）2. Builder模式3. 工具类辅助映
阅读更多...
python实现svg图片转换为png和gif

python实现svg图片转换为png和gif

《python实现svg图片转换为png和gif》这篇文章主要为大家详细介绍了python如何实现将svg图片格式转换为png和gif,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录python实现svg图片转换为png和gifpython实现图片格式之间的相互转换延展：基于Py
阅读更多...
C#实现将Excel表格转换为图片(JPG/ PNG)

C#实现将Excel表格转换为图片(JPG/ PNG)

《C#实现将Excel表格转换为图片(JPG/PNG)》Excel表格可能会因为不同设备或字体缺失等问题,导致格式错乱或数据显示异常,转换为图片后,能确保数据的排版等保持一致,下面我们看看如何使用C... 目录通过C# 转换Excel工作表到图片通过C# 转换指定单元格区域到图片知识扩展C# 将 Excel
阅读更多...
C++使用printf语句实现进制转换的示例代码

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符（formatspecifier）快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指
阅读更多...
使用Python开发一个带EPUB转换功能的Markdown编辑器

使用Python开发一个带EPUB转换功能的Markdown编辑器

《使用Python开发一个带EPUB转换功能的Markdown编辑器》Markdown因其简单易用和强大的格式支持,成为了写作者、开发者及内容创作者的首选格式,本文将通过Python开发一个Markd... 目录应用概览代码结构与核心组件1. 初始化与布局 (__init__)2. 工具栏 (setup_t
阅读更多...
MySQL 中查询 VARCHAR 类型 JSON 数据的问题记录

MySQL 中查询 VARCHAR 类型 JSON 数据的问题记录

《MySQL中查询VARCHAR类型JSON数据的问题记录》在数据库设计中,有时我们会将JSON数据存储在VARCHAR或TEXT类型字段中,本文将详细介绍如何在MySQL中有效查询存储为V... 目录一、问题背景二、mysql jsON 函数2.1 常用 JSON 函数三、查询示例3.1 基本查询3.2
阅读更多...
Java中Date、LocalDate、LocalDateTime、LocalTime、时间戳之间的相互转换代码

Java中Date、LocalDate、LocalDateTime、LocalTime、时间戳之间的相互转换代码

《Java中Date、LocalDate、LocalDateTime、LocalTime、时间戳之间的相互转换代码》：本文主要介绍Java中日期时间转换的多种方法,包括将Date转换为LocalD... 目录一、Date转LocalDateTime二、Date转LocalDate三、LocalDateTim
阅读更多...
Python实现AVIF图片与其他图片格式间的批量转换

Python实现AVIF图片与其他图片格式间的批量转换

《Python实现AVIF图片与其他图片格式间的批量转换》这篇文章主要为大家详细介绍了如何使用Pillow库实现AVIF与其他格式的相互转换,即将AVIF转换为常见的格式,比如JPG或PNG,需要的小... 目录环境配置1.将单个 AVIF 图片转换为 JPG 和 PNG2.批量转换目录下所有 AVIF 图
阅读更多...
Pydantic中Optional 和Union类型的使用

Pydantic中Optional 和Union类型的使用

《Pydantic中Optional和Union类型的使用》本文主要介绍了Pydantic中Optional和Union类型的使用,这两者在处理可选字段和多类型字段时尤为重要,文中通过示例代码介绍的... 目录简介Optional 类型Union 类型Optional 和 Union 的组合总结简介Pyd
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2