CANN/asc-devkit assert断言接口

assert

【免费下载链接】asc-devkit本项目是CANN 推出的昇腾AI处理器专用的算子程序开发语言，原生支持C和C++标准规范，主要由类库和语言扩展层构成，提供多层级API，满足多维场景算子开发诉求。项目地址: https://gitcode.com/cann/asc-devkit

产品支持情况

• Ascend 950PR/Ascend 950DT：支持

• Atlas A3 训练系列产品/Atlas A3 推理系列产品：支持

• Atlas A2 训练系列产品/Atlas A2 推理系列产品：支持

• Atlas 200I/500 A2 推理产品：不支持

• Atlas 推理系列产品AI Core：不支持
• Atlas 推理系列产品Vector Core：不支持

• Atlas 训练系列产品：不支持

• Kirin X90：不支持

• Kirin 9030：不支持

功能说明

本接口在SIMD和SIMT VF调试场景下提供assert断言功能。在算子Kernel侧的实现代码中，如果assert的内部条件判断不为真，则会输出assert条件，并将输入的信息格式化打印在屏幕上，同时算子运行失败。

在算子Kernel侧代码的适当位置使用assert进行断言检查，并格式化输出一些调试信息。示例如下：

int assertFlag = 10; assert(assertFlag != 10);

打印信息示例如下：

[ASSERT] /home/.../add_custom.cpp:44: : Assertion `assertFlag != 10' failed.

请注意，assert接口的打印功能对算子的实际运行性能有影响。

函数原型

assert(expr)

参数说明

返回值说明

无

约束说明

• 该接口当前仅支持融合编译场景。
• SIMD场景，如果开发者需要包含标准库头文件<cassert>，请在"utils/debug/asc_assert.h"头文件之前包含，避免assert符号冲突。
• SIMT VF调试场景的支持情况如下：
  • Ascend 950PR/Ascend 950DT：支持。
  • Atlas A3 训练系列产品/Atlas A3 推理系列产品：不支持。
  • Atlas A2 训练系列产品/Atlas A2 推理系列产品：不支持。

需要包含的头文件

使用该接口需要包含"utils/debug/asc_assert.h"头文件。

#include "utils/debug/asc_assert.h"

SIMD调用示例

// SIMD __global__ __cube__ void simp_test_equal(int a) { // input a is 7 assert(a == 6); }

程序运行时会触发assert，打印效果如下：

[ASSERT] test_assert.asc:41: : Assertion `a == 6' failed.

SIMT调用示例

//SIMT VF __simt_vf__ __launch_bounds__(1024) inline void AddCustom(__gm__ bool* dst, __gm__ float* x) { int idx = threadIdx.x + blockIdx.x * blockDim.x; assert(!isnan(x[idx])); dst[idx] = x[idx]; }

程序运行时会触发assert，打印效果如下：

[ASSERT] /home/.../add_custom.cpp:44: : Assertion `!isnan(x[idx])' failed.

【免费下载链接】asc-devkit本项目是CANN 推出的昇腾AI处理器专用的算子程序开发语言，原生支持C和C++标准规范，主要由类库和语言扩展层构成，提供多层级API，满足多维场景算子开发诉求。项目地址: https://gitcode.com/cann/asc-devkit