タグ

OCamlとgccに関するnsyeeのブックマーク (2)

  • KMC Staff Blog:OCaml

    OCaml 2010年01月22日 GCC ARM バックエンドの中の O’Caml プログラム GCC のソースツリー中の gcc/config/arm/ 以下には、OCaml という関数型(プログラミングを支援する)言語 ML (Meta-Language) の方言で書かれたプログラムが存在しています。 NEON 命令のためのヘッダ、テストケース、ドキュメントなどを生成するために O'Caml プログラムが使われているようです。 Contents of /trunk/gcc/config/arm/neon-gen.ml Contents of /trunk/gcc/config/arm/neon-schedgen.ml/a> Contents of /trunk/gcc/config/arm/neon-testgen.ml Contents of /trunk/gcc/config/a

  • http://cil.sourceforge.net/

    CIL (C Intermediate Language) CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL all looping constructs are given a single form and expressions have no side-effects. This reduces the number of cases that must be considered when manipula

  • 1