代码之家 › 专栏 › 技术社区 › Samsdram

使用Mathematica理解编译器优化:访问使用SetDelayed创建的定义?

wolfram-mathematica compiler-construction

Samsdram · 技术社区 · 15 年前

最近,我对更好地理解编译器后端所做的优化很感兴趣。我认为使用Mathematica来探索这一点可能会有帮助,因为它使创建、显示和操作语法树变得非常容易。

我想我应该从简单的开始,看看持续的传播。所以我编写了一个简单的函数,并尝试查看语法树。

f2[x_, y_] := Module[{temp1},
  temp1 = 5;
  Return[(x + temp1)*y];
  ]
FullForm[f2]

然而,FullForm[f2]的结果只是f2。我知道这个表达式的右边必须存储在Mathematica中的某个地方,所以我的问题是它在哪里,在使用SetDelayed操作符创建这个规则之后是否可以修改它“:”?

f1 = Function[{x, y}, Module[{temp1},
   temp1 = 5;
   Return[(x + temp1)*y]
   ]
  ]
TreeForm[f1]

alt text

1 回复 | 直到 15 年前

Michael Pilat 15 年前

Set 和 SetDelayed DownValues :

In[98]:= DownValues[f2]
Out[98]= {HoldPattern[f2[x_, y_]] :> 
  Module[{temp1}, temp1 = 5; Return[(x + temp1) y];]}

你甚至可以分配回 DownValues[f2]

In[103]:= 
DownValues[
  f2] = {HoldPattern[f2[x_, y_]] :> 
   Module[{temp1}, temp1 = 1234; Return[(x + temp1) y]]};


In[104]:= f2[1, 2]
Out[104]= 2470

简单赋值产生自己的值定义,可以使用 OwnValues :

In[107]:= g=7;

In[108]:= OwnValues[g]
Out[108]= {HoldPattern[g]:>7}

Here's a tutorial 关于值列表的更多信息。

推荐文章

user23476755 · 在Mathematica中用于串联的符号

2 年前

Canada709 · 如何使用类似Mathematica的NDSolve[](方法LSODA和子方法Newton)的函数在Python中求解边值问题?

3 年前

user4290866 · TradingChart示例不起作用

8 年前

Felipe Jiménez · Mathematica:定义函数控制替换顺序

8 年前

Smile_SafeLY · 如何在列表中振荡数字?

8 年前

Red Eyez · 在没有Wolfram Alpha的情况下,如何求解Mathematica中的绝对值?

8 年前

HEART94 · 如何使用Wolfram Mathematica修改列中的数据?

9 年前

Joseph P Nardone · 具有交互变量的数学图

9 年前

Mike22LFC · 数学问题:符号化求解矩阵方程AX=\lambdaBX

10 年前

NoMan · Mathematica代码中的等效MATLAB代码

11 年前