WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

記号的にCコードを最適化する

フィボナッチ関数の末尾再帰を制限することによって，コードを記号的に最適化する．

Wolfram Language code: Needs["SymbolicC`"] code = CFunction[int, fib, {{int, i}}, CBlock[{ CIf[COperator[Equal, {i, 0}], CReturn[0], CIf[COperator[Equal, {i, 1}], CReturn[1], CReturn[COperator[Plus, {CCall[fib, {COperator[Minus, {i1, 1}]}], CCall[fib, {COperator[Minus, {i1, 2}]}]}]] ] ]}]]; ToCCodeString[code /. {CCall[fib, arg_] :> CConditional[COperator[Equal, Flatten@{arg, 0}], 0, CConditional[COperator[Equal, Flatten@{arg, 1}], 1, CCall[fib, arg]]] }]