使用内联 RISCV 汇编实现判断给定数组是否有序

题目介绍

本题目要求参与者编写一个C语言函数 is_sorted，该函数使用内联RISC-V汇编来检查一个整数数组是否按非降序排列。接着，编写一个程序调用该函数并根据结果输出相应的信息。

本题可参考第六章 RISC-V架构内联汇编全部小节内容。

题目要求

• 实现C语言函数 is_sorted，使用内联RISC-V汇编。
• 函数接收一个整数数组 arr 和数组的长度 n。
• 检查数组是否有序，即对于每个索引 i（0 ≤ i < n-1），arr[i] ≤ arr[i+1]。

输入

• 一个整数数组 arr，以逗号分隔，如 1,2,3,4,5。
• 一个整数 n，表示数组的长度。

输出

• 如果数组有序，输出 Array is sorted.。
• 如果数组无序，输出 Array is not sorted.。

示例

• 对于输入 n = 5 和数组 arr = [1,2,3,4,5]，输出应为 Array is sorted.。

代码介绍

1. main.c 文件包含了主函数和 is_sorted 函数的C包装器。

   • main 函数处理命令行参数，解析数组字符串，并调用 is_sorted 函数打印检查结果。
   • is_sorted 函数使用内联汇编实现，其中包含多个PLACEHOLDER，需要用正确的RISC-V汇编指令替换。

2. 内联汇编使用GCC的扩展语法，其中：

   • "li" 指令用于加载立即数到寄存器。
   • "lw" 指令用于从内存加载值到寄存器。
   • "bge" 指令用于在比较操作中，当大于或等于时跳转。
   • "addi" 指令用于将立即数加到寄存器。
   • "mv" 指令用于将一个寄存器的值移动到另一个寄存器。

详细提示信息

• 内联汇编替换：

  • 使用RISC-V汇编指令替换 is_sorted 函数中的PLACEHOLDER。
  • 使用 "lw" 指令加载数组元素到寄存器 t2 和 t3。
  • 使用 "bge" 指令比较两个寄存器的值，并在当前元素大于下一个元素时跳转到 sorted 标签。
  • 使用 "li" 设置结果为0，表示数组无序，并跳转到 end 标签。
  • 使用 "addi" 更新数组指针和循环计数器。

• 数组解析：

  • 在 main 函数中，使用 strtok 函数解析逗号分隔的数组字符串。

• 错误处理：

  • 检查命令行参数的数量和格式。
  • 确保输入的数组元素数量与 n 匹配。

• 编译与测试：

  • 使用 gcc 编译器编译程序，并确保RISC-V汇编语法正确。

注意事项

• 确保替换的汇编指令逻辑正确，能够正确检查数组的有序性。
• 注意内联汇编的语法和寄存器使用。
• 确保程序能够正确处理命令行参数和数组解析。
• 参与者需要根据题目要求，使用RISC-V汇编语言完成数组有序性的检查。通过这个练习，可以加深对RISC-V汇编语言和内联汇编使用的理解，并掌握如何在C语言中嵌入汇编代码来优化性能关键部分。