uclinux-2008R1.5-RC3(bf561)到VDSP5的移植(49)：likely

最新推荐文章于 2025-12-10 13:33:14 发布

最新推荐文章于 2025-12-10 13:33:14 发布 · 87 阅读

文章标签：

本文介绍将uCLinux-2008R1.5-RC3移植到ADI BF561 DSP平台的过程，重点讲解如何使用VDSP提供的expected_true和expected_false函数替代GCC的__builtin_expect内建函数，以进行有效的分支预测。

AI助手已提取文章相关产品：

快乐虾

http://blog.youkuaiyun.com/lights_joy/

lights@hb165.com

本文适用于

ADI bf561 DSP

优视BF561EVB开发板

uclinux-2008r1.5-rc3(smp patch)

Visual DSP++ 5.0(update 5)

欢迎转载，但请保留作者信息

在include/linux/compiler.h中定义了两个宏：

* Generic compiler-dependent macros required for kernel

* build go below this comment. Actual compiler/compiler version

* specific implementations come from the above header files

#define likely(x) __builtin_expect(!!(x), 1)

#define unlikely(x) __builtin_expect(!!(x), 0)

__builtin_expect(exp, val)是GCC的一个内建函数，而VDSP无此函数，它用于为编译器提供分支预测信息，其返回值是整数表达式exp的值。这个内建函数的语义是 exp 的预期值是 val，编译器可以根据这个信息适当地重排语句块的顺序，使程序在预期的情况下有更高的执行效率。

在VDSP中，提供了两个相似的函数：

You can use the expected_true and expected_false built-in functions to control the compiler’s behavior for specific cases. By using these functions, you can tell the compiler which way a condition is most likely to evaluate. This influences the default flow of execution.

For example,

if (buffer_valid(data_buffer))

if (send_msg(data_buffer))

system_failure();

shows two nested conditional statements. If it was known that, for this example, buffer_valid() would usually return true, but that send_msg() would rarely do so, the code could be written as

if (expected_true(buffer_valid(data_buffer)))

if (expected_false(send_msg(data_buffer)))

system_failure();

因此，我们将这两个宏定义改为：

* Generic compiler-dependent macros required for kernel

* build go below this comment. Actual compiler/compiler version

* specific implementations come from the above header files

#define likely(x) expected_true(!!(x))

#define unlikely(x) expected_false(!!(x))