cnd 2012.1

CnD是一个源到源翻译器，它使得在C语言中使用n维数组变得更加愉快。它将把以下代码

void sgemm(float *a, float *b, float *c, int n)
{
  dimension "fortran" a[n, n];
  dimension "fortran" b[n, n];
  dimension c[n, n];

  for (int i = 1; i <= n; ++i)
    for (int j = 1; j <= n; ++j)
    {
      float tmp = 0;

      for (int k = 1; k <= n; ++k)
        tmp += a[i,k]*b[k,j];

      c[i-1,j-1] = tmp;
    }
}

转换成这样

void sgemm(float *a, float *b, float *c, int n)
{
  for (int i = 1; i <= n; ++i)
    for (int j = 1; j <= n; ++j)
  {
    float tmp = 0;
    for (int k = 1; k <= n; ++k)
      tmp += a[((k - 1) * ((n - 1) + 1)) + (i - 1)] * b[((j - 1) * ((n - 1) + 1)) + (k - 1)];

    c[((i - 1) * n) + (j - 1)] = tmp;
  }
}

您还可以查看一个更全面的示例，展示了几个额外的功能。

维度 声明的唯一效果是修改了对 array(idx) 索引运算符的解释。 维度 声明遵循常规C作用域规则。

我还想指出，CnD是一个健壮的、基于解析器的翻译器，不是一个易出故障的文本替换工具。它理解所有C99标准，以及许多GNU扩展。

维度 声明中的每个轴指定具有以下形式

start:end:stride:leading_dimension

start 可以省略。 end 和 stride 也可以省略，但如果要指定它们后面的条目，则必须保留它们的尾随冒号。例如，轴指定 :5 只简单地指定了步长为5。步长只是作为索引的乘数。对维度声明不进行任何合理性检查。您可以以任何您喜欢的方式让自己受伤。

如果布局指定为 “c” 或 “row-major” 或未指定，以下情况成立

• 数组以行主序排列。

• 如果指定了 end 索引，则假定它是排他的。

• 如果未指定 start 索引，则默认为0。

如果布局指定为 “col-major”，以下情况成立

• 数组以列主序排列。

• 如果指定了 end 索引，则假定它是排他的。

• 如果未指定 start 索引，则默认为0。

如果布局指定为 “fortran”，以下情况成立

• 数组以列主序排列。

• 如果指定了 end 索引，则假定它是包含的。

• 如果未指定 start 索引，则默认为1。

（大多数）维度 声明中包含的知识可以通过以下函数以编程方式重新获取

• rankof(a)

• nitemsof(a)

• lboundof(a, axis)

• uboundof(a, axis)（返回用户指定的上界）

• puboundof(a, axis)（返回轴末尾的索引）

• ldimof(a, axis)

• strideof(a, axis)

在每种情况下，轴必须是一个常量整数（不是一个常量表达式，一个纯整数）。

$ git clone git://github.com/inducer/cnd.git
$ cd cnd
$ git submodule init
$ git submodule update

$ cd examples
$ ../bin/cndcc gcc -std=c99 basic.c
$ ./a.out

$ cnd -h

#define MY_MACRO(a) /* something rather */

MY_MACRO(array[i,j])

MY_MACRO(array[(i,j)])