GCC后端及汇编发布（3）

2.2. 输出指令定义模式的条件部分

接着 genconditions 将产生包含指令描述模式的条件测试部分的数组 insn_conditions 。这个数组将被用于协助优化后端功能单元的生成，我们将在后面的章节看到这一点。

 

main (continued, genconditions)

 

199    /* Read the machine description.  */

200 

201    while (1)

202    {

203      desc = read_md_rtx (&pattern_lineno, &code);

204      if (desc == NULL)

205        break ;

206 

207       /* N.B. define_insn_and_split, define_cond_exec are handled

208         entirely within read_md_rtx; we never see them.  */

209      switch (GET_CODE (desc))

210      {

211        default :

212           break ;

213 

214        case DEFINE_INSN:

215        case DEFINE_EXPAND:

216            add_condition (XSTR (desc, 2));

217            /* except.h needs to know whether there is an eh_return

218               pattern in the machine description.  */

219            if (!strcmp (XSTR (desc, 0), "eh_return"))

220               saw_eh_return = 1;

221            break ;

222 

223        case DEFINE_SPLIT:

224        case DEFINE_PEEPHOLE:

225        case DEFINE_PEEPHOLE2:

226              add_condition (XSTR (desc, 1));

227             break ;

228      }

229    }

230 

231    write_header ();

232    write_conditions ();

233 

234    fflush (stdout);

235    return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);

236  }

 

这里，在 203 行， read_md_rtx 几乎不作任何事，因为 insn_elision_unavailable 是 1 ——仅创建它。 read_md_rtx 仅相应地从 define_attr_queue ， define_insn_queue 或 other_queue 返回 rtx 对象。

 

52    static void

53    add_condition (const char *expr)                                                          in genconditions.c

54    {

55      struct c_test *test;

56   

57      if (expr[0] == 0)

58        return ;

59   

60      test = xmalloc (sizeof (struct c_test));

61      test->expr = expr;

62   

63      *(htab_find_slot (condition_table , test, INSERT)) = test;

64    }

 

所有的模式都将被函数 add_condition 加入哈希表 condition_table 。注意传递给 add_condition 的参数，它是模式的条件部分。在 231 行， write_header 输出该输出文件的常量部分。

 

163  static void

164  write_conditions (void)                                                                              in genconditions.c

165  {

166    puts ("/

167  /* This table lists each condition found in the machine description./n/

168     Each condition is mapped to its truth value (0 or 1), or -1 if that/n/

169     cannot be calculated at compile time. *//n/

170  /n/

171  const struct c_test insn_conditions[] = {");

172 

173    htab_traverse (condition_table , write_one_condition , 0);

174 

175    puts ("};/n");

176 

177    printf ("const size_t n_insn_conditions = %lu;/n",

178           (unsigned long) htab_elements (condition_table ));

179    puts ("const int insn_elision_unavailable = 0;");

180  }

 

上面，在 173 行， htab_traverse 将为每个 condition_table 的成员调用 write_one_condition 。在这里这个函数构建了数组 insn_conditions 。注意到在 179 行，当构建 insn-recog.c 时， maybe_eval_c_test 将执行评估，因为现在 insn_elision_unavailable 是 0 了。

 

140  static int

141  write_one_condition (void **slot, void *dummy ATTRIBUTE_UNUSED)       in genconditions.c

142  {

143    const struct c_test *test = * (const struct c_test **) slot;

144    const char *p;

145 

146    fputs ("  { /"", stdout);

147    for (p = test->expr; *p; p++)

148    {

149      if (*p == '/n')

150        fputs ("//n///n", stdout);

151      else if (*p == '"')

152        fputs ("///"", stdout);

153      else

154        putchar (*p);

155    }

156 

157    printf ("/",/n    MAYBE_EVAL (%s) },/n", test->expr);

158    return 1;

159  }

 

上面在 157 行， MAYBE_EVAL 具有如下定义，它同样出现在产生的文件 insn-conditions.c 中（通过 write_header 输出）。

 

#if (GCC_VERSION >= 3001) || ((GCC_VERSION == 3000) && !__OPTIMIZE__)

# define MAYBE_EVAL(expr) (__builtin_constant_p(expr) ? (int) (expr) : -1)

#else

# define MAYBE_EVAL(expr) -1

#endif

 

__builtin_constant_p 是 GCC 在 3.0.1 版本之后提供的内建函数，如果 expr 是编译时刻已知的常量，它返回 1 ；否则返回 0 。因此 MAYBE_EVAL ，如果表达式的值是编译时刻可以计算的，就返回这个值，否则返回 -1 。这个宏被 insn-conditions 大量用于其它工具，后面我们可以看到。它确实能帮助减小产生代码的大小，及节省处理时间，因为在处理的某个时间点上，工具可以跳过那些已知不匹配的模式。