{"id":3033,"date":"2013-09-08T04:45:00","date_gmt":"2013-09-07T19:45:00","guid":{"rendered":"http:\/\/peta.okechan.net\/blog\/?p=3033"},"modified":"2013-09-08T04:45:00","modified_gmt":"2013-09-07T19:45:00","slug":"7-7-%e3%83%a6%e3%83%bc%e3%82%b6%e5%ae%9a%e7%be%a9%e3%83%ad%e3%83%bc%e3%82%ab%e3%83%ab%e5%a4%89%e6%95%b0","status":"publish","type":"post","link":"https:\/\/peta.okechan.net\/blog\/archives\/3033","title":{"rendered":"7.7. \u30e6\u30fc\u30b6\u5b9a\u7fa9\u30ed\u30fc\u30ab\u30eb\u5909\u6570"},"content":{"rendered":"<p><a href=\"https:\/\/peta.okechan.net\/blog\/archives\/2836\" title=\"LLVM\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b9f\u88c5\">LLVM\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b9f\u88c5\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb\u65e5\u672c\u8a9e\u8a33<\/a><br \/>\n\u7b2c7\u7ae0 \u4e07\u83ef\u93e1: \u8a00\u8a9e\u306e\u62e1\u5f35: \u5909\u66f4\u53ef\u80fd\u306a\u5909\u6570\uff08Mutable Variables\uff09<br \/>\n<a href=\"http:\/\/llvm.org\/docs\/tutorial\/LangImpl07.html#user-defined-local-variables\" target=\"_blank\">\u7b2c7\u7bc0 \u30e6\u30fc\u30b6\u5b9a\u7fa9\u30ed\u30fc\u30ab\u30eb\u5909\u6570<\/a><\/p>\n<p>var\/in\u3068\u3044\u3046\u6587\u6cd5\uff08\u6211\u3005\u304c\u4e07\u83ef\u93e1\u306b\u8ffd\u52a0\u3057\u3066\u304d\u305f\u62e1\u5f35\u3068\u540c\u3058\u3088\u3046\u306a\uff09\u3092\u8ffd\u52a0\u3059\u308b\u3002<br \/>\n\u5b57\u53e5\u89e3\u6790\u5668\u3001\u69cb\u6587\u89e3\u6790\u5668\u3001AST\u3001\u30b3\u30fc\u30c9\u751f\u6210\u90e8\u5206\u3092\u62e1\u5f35\u3059\u308b\u3002<br \/>\n\u6700\u521d\u306e\u4e00\u6b69\u306f\u3001\u5b57\u53e5\u89e3\u6790\u5668\u3092\u62e1\u5f35\u3059\u308b\u305f\u3081\u306bvar\/in\u69cb\u9020\u3092\u8ffd\u52a0\u3059\u308b\u3053\u3068\u3067\u3042\u308b\u3002<br \/>\n\u4ee5\u524d\u898b\u305f\u3088\u3046\u306b\u3001\u3053\u308c\u306f\u5b9f\u306b\u4e9b\u7d30\u306a\u4e8b\u3067\u3042\u308b\u3002<br \/>\n\u305d\u306e\u30b3\u30fc\u30c9\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">enum Token {\r\n  ...\r\n  \/\/ var\u306e\u5b9a\u7fa9\r\n  tok_var = -13\r\n...\r\n}\r\n...\r\nstatic int gettok() {\r\n...\r\n    if (IdentifierStr == &quot;in&quot;) return tok_in;\r\n    if (IdentifierStr == &quot;binary&quot;) return tok_binary;\r\n    if (IdentifierStr == &quot;unary&quot;) return tok_unary;\r\n    if (IdentifierStr == &quot;var&quot;) return tok_var;\r\n    return tok_identifier;\r\n...<\/pre>\n<p>\u6b21\u306e\u4e00\u6b69\u306f\u3001\u69cb\u7bc9\u3055\u308c\u308bAST\u30ce\u30fc\u30c9\u306e\u5b9a\u7fa9\u3067\u3042\u308b\u3002<br \/>\nvar\/in\u306e\u305f\u3081\u306eAST\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ VarExprAST - var\/in\u306e\u305f\u3081\u306e\u5f0f\u30af\u30e9\u30b9\u3002\r\nclass VarExprAST : public ExprAST {\r\n  std::vector&lt;std::pair&lt;std::string, ExprAST*&gt; &gt; VarNames;\r\n  ExprAST *Body;\r\npublic:\r\n  VarExprAST(const std::vector&lt;std::pair&lt;std::string, ExprAST*&gt; &gt; &amp;varnames,\r\n             ExprAST *body)\r\n  : VarNames(varnames), Body(body) {}\r\n\r\n  virtual Value *Codegen();\r\n};<\/pre>\n<p>var\/in\u306b\u3088\u3063\u3066\u3001\u540d\u524d\u306e\u30ea\u30b9\u30c8\u3092\u4e00\u5ea6\u306b\u5b9a\u7fa9\u53ef\u80fd\u3068\u306a\u308a\u3001\u5404\u540d\u524d\u306f\u30aa\u30d7\u30b7\u30e7\u30f3\u3068\u3057\u3066\u521d\u671f\u5024\u3092\u6301\u3064\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\n\u3057\u305f\u304c\u3063\u3066\u3001\u3053\u306e\u60c5\u5831\u3092VarNames\u30d9\u30af\u30bf\u3068\u3057\u3066\u30ad\u30e3\u30d7\u30c1\u30e3\u3059\u308b\u3002<br \/>\nvar\/in\u306f\u672c\u6587\u3082\u6301\u3061\u3001\u305d\u306e\u4e2d\u3067var\/in\u3067\u5b9a\u7fa9\u3055\u308c\u308b\u5909\u6570\u306b\u30a2\u30af\u30bb\u30b9\u53ef\u80fd\u3068\u306a\u308b\u3002<\/p>\n<p>\u3053\u308c\u3067\u3001\u6211\u3005\u306f\u69cb\u6587\u89e3\u6790\u5668\u306e\u4e00\u90e8\u3092\u5b9a\u7fa9\u51fa\u6765\u308b\u3002<br \/>\n\u6700\u521d\u306b\u884c\u3046\u306e\u306f\u3001var\/in\u3092\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3068\u3057\u3066\u8ffd\u52a0\u3059\u308b\u3053\u3068\u3067\u3042\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ primary\r\n\/\/\/   ::= identifierexpr\r\n\/\/\/   ::= numberexpr\r\n\/\/\/   ::= parenexpr\r\n\/\/\/   ::= ifexpr\r\n\/\/\/   ::= forexpr\r\n\/\/\/   ::= varexpr\r\nstatic ExprAST *ParsePrimary() {\r\n  switch (CurTok) {\r\n  default: return Error(&quot;unknown token when expecting an expression&quot;);\r\n  case tok_identifier: return ParseIdentifierExpr();\r\n  case tok_number:     return ParseNumberExpr();\r\n  case '(':            return ParseParenExpr();\r\n  case tok_if:         return ParseIfExpr();\r\n  case tok_for:        return ParseForExpr();\r\n  case tok_var:        return ParseVarExpr();\r\n  }\r\n}<\/pre>\n<p>\u3064\u304e\u306bParseVarExpr\u3092\u5b9a\u7fa9\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ varexpr ::= 'var' identifier ('=' expression)?\r\n\/\/                    (',' identifier ('=' expression)?)* 'in' expression\r\nstatic ExprAST *ParseVarExpr() {\r\n  getNextToken();  \/\/ var\u3092\u6d88\u8cbb\u3059\u308b\u3002\r\n\r\n  std::vector&lt;std::pair&lt;std::string, ExprAST*&gt; &gt; VarNames;\r\n\r\n  \/\/ \u5c11\u306a\u304f\u3068\u30821\u3064\u306e\u5909\u6570\u540d\u304c\u5fc5\u8981\u3002\r\n  if (CurTok != tok_identifier)\r\n    return Error(&quot;expected identifier after var&quot;);<\/pre>\n<p>\u3053\u306e\u30b3\u30fc\u30c9\u306e\u6700\u521d\u306e\u90e8\u5206\u3067\u306f\u3001\u8b58\u5225\u5b50\u3068\u3001\u5f0f\u306e\u30da\u30a2\u3092\u30ed\u30fc\u30ab\u30eb\u306eVarNames\u30d9\u30af\u30bf\u306b\u89e3\u6790\u3057\u3066\u683c\u7d0d\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">while (1) {\r\n  std::string Name = IdentifierStr;\r\n  getNextToken();  \/\/ \u8b58\u5225\u5b50\u3092\u6d88\u8cbb\u3002\r\n\r\n  \/\/ \u30aa\u30d7\u30b7\u30e7\u30f3\u306e\u521d\u671f\u5316\u5b50\u3092\u8aad\u307f\u53d6\u308b\u3002\r\n  ExprAST *Init = 0;\r\n  if (CurTok == '=') {\r\n    getNextToken(); \/\/ =\u3092\u6d88\u8cbb\u3002\r\n\r\n    Init = ParseExpression();\r\n    if (Init == 0) return 0;\r\n  }\r\n\r\n  VarNames.push_back(std::make_pair(Name, Init));\r\n\r\n  \/\/ var\u306e\u30ea\u30b9\u30c8\u306e\u6700\u5f8c\u3067\u306f\u30eb\u30fc\u30d7\u3092\u629c\u3051\u308b\u3002\r\n  if (CurTok != ',') break;\r\n  getNextToken(); \/\/ ,\u3092\u6d88\u8cbb\u3002\r\n\r\n  if (CurTok != tok_identifier)\r\n    return Error(&quot;expected identifier list after var&quot;);\r\n}<\/pre>\n<p>\u3059\u3079\u3066\u306e\u5909\u6570\u304c\u89e3\u6790\u3055\u308c\u305f\u3089\u3001\u672c\u6587\u3092\u89e3\u6790\u3057AST\u30ce\u30fc\u30c9\u3092\u751f\u6210\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">  \/\/ \u3053\u306e\u6642\u70b9\u3067\u306f&quot;in&quot;\u3067\u306a\u3051\u308c\u3070\u3089\u306a\u306a\u3044\u3002\r\n  if (CurTok != tok_in)\r\n    return Error(&quot;expected 'in' keyword after 'var'&quot;);\r\n  getNextToken();  \/\/ in\u3092\u6d88\u8cbb\u3002\r\n\r\n  ExprAST *Body = ParseExpression();\r\n  if (Body == 0) return 0;\r\n\r\n  return new VarExprAST(VarNames, Body);\r\n}<\/pre>\n<p>\u3053\u308c\u3067\u3001\u69cb\u6587\u89e3\u6790\u3057\u30b3\u30fc\u30c9\u3092\u8868\u73fe\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\n\u305d\u3057\u305f\u3089\u3053\u308c\u306b\u3064\u3044\u3066LLVM IR\u306e\u751f\u6210\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<br \/>\n\u305d\u306e\u30b3\u30fc\u30c9\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u3057\u3066\u59cb\u307e\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">Value *VarExprAST::Codegen() {\r\n  std::vector&lt;AllocaInst *&gt; OldBindings;\r\n\r\n  Function *TheFunction = Builder.GetInsertBlock()-&gt;getParent();\r\n\r\n  \/\/ \u5909\u6570\u5168\u3066\u3092\u767b\u9332\u3057\u3001\u305d\u308c\u305e\u308c\u306e\u521d\u671f\u5316\u5b50\u3092\u751f\u6210\u3059\u308b\u3002\r\n  for (unsigned i = 0, e = VarNames.size(); i != e; ++i) {\r\n    const std::string &amp;VarName = VarNames&#x5B;i].first;\r\n    ExprAST *Init = VarNames&#x5B;i].second;<\/pre>\n<p>\u57fa\u672c\u7684\u306b\u306f\u3001\u5168\u3066\u306e\u5909\u6570\u306b\u5bfe\u3057\u3066\u30eb\u30fc\u30d7\u304c\u884c\u308f\u308c\u3001\u4e00\u5ea6\u306b\u3072\u3068\u3064\u305a\u3064\u53d6\u308a\u8fbc\u307e\u308c\u308b\u3002<br \/>\n\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u306b\u767b\u9332\u3055\u308c\u305f\u5404\u5909\u6570\u306b\u3064\u3044\u3066\u3001\u4ee5\u524d\u306e\u5024\u3092OldBindings\u306e\u4e2d\u306b\u4fdd\u5b58\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">  \/\/ \u5909\u6570\u3092\u30b9\u30b3\u30fc\u30d7\u306b\u8ffd\u52a0\u3059\u308b\u524d\u306b\u521d\u671f\u5316\u5b50\u3092\u751f\u6210\u3059\u308b\u3002\r\n  \/\/ \u3053\u308c\u306b\u3088\u3063\u3066\u3001\u5909\u6570\u305d\u306e\u3082\u306e\u3092\u53c2\u7167\u3059\u308b\u521d\u671f\u5316\u5b50\u3092\u9632\u3050\u3002\r\n  \/\/ \u307e\u305f\u3053\u308c\u306b\u3088\u3063\u3066\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u66f8\u304d\u65b9\u304c\u53ef\u80fd\u3068\u306a\u308b\u3002\r\n  \/\/  var a = 1 in\r\n  \/\/    var a = a in ...   # \u5916\u5074\u306ea\u3092\u53c2\u7167\u3002\r\n  Value *InitVal;\r\n  if (Init) {\r\n    InitVal = Init-&gt;Codegen();\r\n    if (InitVal == 0) return 0;\r\n  } else { \/\/ \u6307\u5b9a\u3055\u308c\u306a\u3051\u308c\u30700.0\u3092\u4f7f\u3046\u3002\r\n    InitVal = ConstantFP::get(getGlobalContext(), APFloat(0.0));\r\n  }\r\n\r\n  AllocaInst *Alloca = CreateEntryBlockAlloca(TheFunction, VarName);\r\n  Builder.CreateStore(InitVal, Alloca);\r\n\r\n  \/\/ var\/in\u306e\u672c\u6587\u306e\u629c\u3051\u305f\u3068\u304d\u306b\u5024\u3092\u5fa9\u5143\u51fa\u6765\u308b\u3088\u3046\u306b\u3059\u308b\u305f\u3081\u306b\u3001\u53e4\u3044\u5024\u3092\u8a18\u61b6\u3057\u3066\u304a\u304f\u3002\r\n  OldBindings.push_back(NamedValues&#x5B;VarName]);\r\n\r\n  \/\/ \u5024\u3092\u8a18\u61b6\u3002\r\n  NamedValues&#x5B;VarName] = Alloca;\r\n}<\/pre>\n<p>\u521d\u671f\u5316\u5b50\u3092\u751f\u6210\u3057\u3001alloca\u3092\u751f\u6210\u3057\u3001\u305d\u3057\u3066\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u3092\u305d\u308c\u3092\u6307\u3059\u3088\u3046\u66f4\u65b0\u3059\u308b\u3068\u3044\u3046\u306e\u304c\u57fa\u672c\u7684\u306a\u30a2\u30a4\u30c7\u30a2\u3067\u3042\u308b\u3002<br \/>\n\u5168\u3066\u306e\u5909\u6570\u304c\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u306b\u767b\u9332\u3055\u308c\u305f\u3089\u3001var\/in\u5f0f\u306e\u672c\u6587\u3092\u8a55\u4fa1\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/ \u30ed\u30fc\u30ab\u30eb\u5909\u6570\u3092\u305d\u306e\u30b9\u30b3\u30fc\u30d7\u306b\u542b\u3080\u3001var\/in\u306e\u672c\u6587\u306e\u30b3\u30fc\u30c9\u751f\u6210\u3092\u884c\u3046\u3002\r\nValue *BodyVal = Body-&gt;Codegen();\r\nif (BodyVal == 0) return 0;<\/pre>\n<p>\u6700\u5f8c\u306b\u3001\u547c\u3073\u51fa\u3057\u5143\u306b\u623b\u308b\u524d\u306b\u3001\u4fdd\u5b58\u3057\u3066\u304a\u3044\u305f&#8221;\u4ee5\u524d\u306e\u5024&#8221;\u3092\u5fa9\u5143\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">  \/\/ \u30b9\u30b3\u30fc\u30d7\u304b\u3089\u5168\u3066\u306e\u5909\u6570\u3092\u53d6\u308a\u51fa\u3057\u3001\u4ee5\u524d\u306e\u5024\u3092\u30bb\u30c3\u30c8\u3059\u308b\u3002\r\n  for (unsigned i = 0, e = VarNames.size(); i != e; ++i)\r\n    NamedValues&#x5B;VarNames&#x5B;i].first] = OldBindings&#x5B;i];\r\n\r\n  \/\/ \u672c\u6587\u306e\u8a08\u7b97\u7d50\u679c\u3092\u8fd4\u3059\u3002\r\n  return BodyVal;\r\n}<\/pre>\n<p>\u4ee5\u4e0a\u306e\u30b3\u30fc\u30c9\u306b\u3088\u3063\u3066\u3001\u6b63\u3057\u304f\u305d\u306e\u4f5c\u7528\u7bc4\u56f2\u304c\u5b9a\u3081\u3089\u308c\u305f\u5909\u6570\uff08\u30b9\u30b3\u30fc\u30d7\u3064\u304d\u5909\u6570\uff09\u3092\u5b9a\u7fa9\u3057\u305f\u308a\u3001\u3055\u3089\u306b\uff08\u81ea\u52d5\u7684\u306b\uff09\u305d\u306e\u5909\u6570\u3078\u306e\u4ee3\u5165\u3059\u308b\u4e8b\u304c\u53ef\u80fd\u3068\u306a\u3063\u305f\u3002<\/p>\n<p>\u3053\u308c\u306b\u3088\u3063\u3066\u3001\u76ee\u7684\u306f\u9054\u6210\u3055\u308c\u305f\u3002<br \/>\n7.4\u7bc0\u306b\u3042\u3063\u305f\u3001\u53cd\u5fa9\u7684\u306afib\u306e\u4f8b\u3092\u3001\u30b3\u30f3\u30d1\u30a4\u30eb\u3057\u3066\u5b9f\u884c\u51fa\u6765\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3002<br \/>\nmem2reg\u30d1\u30b9\u306b\u3088\u3063\u3066\u3001\u5168\u3066\u306e\u30b9\u30bf\u30c3\u30af\u5909\u6570\u306fSSA\u30ec\u30b8\u30b9\u30bf\u306b\u6700\u9069\u5316\u3055\u308c\u3001\u5fc5\u8981\u306a\u7b87\u6240\u306bphi\u30ce\u30fc\u30c9\u304c\u633f\u5165\u3055\u308c\u308b\u306e\u3067\u3001\u6211\u3005\u306e\u30d5\u30ed\u30f3\u30c8\u30a8\u30f3\u30c9\u306f\u30b7\u30f3\u30d7\u30eb\u3055\u3092\u4fdd\u3063\u305f\u307e\u307e\u3067\u3042\u308b\u3002<br \/>\n\u201d\u53cd\u5fa9\u7684\u306a\u652f\u914d\u8fba\u5883\uff08iterated dominance frontier\uff09\u201d\u306e\u8a08\u7b97\u306f\u3001\u6211\u3005\u306e\u30b3\u30fc\u30c9\u306e\u898b\u3048\u308b\u90e8\u5206\u306b\u306f\u5b58\u5728\u3057\u306a\u3044\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p><a href=\"https:\/\/peta.okechan.net\/blog\/archives\/2836\" title=\"LLVM\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b9f\u88c5\">LLVM\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b9f\u88c5\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb\u65e5\u672c\u8a9e\u8a33<\/a><br \/>\n\u7b2c7\u7ae0 \u4e07\u83ef\u93e1: \u8a00\u8a9e\u306e\u62e1\u5f35: \u5909\u66f4\u53ef\u80fd\u306a\u5909\u6570\uff08Mutable Variables\uff09<br \/>\n<a href=\"http:\/\/llvm.org\/docs\/tutorial\/LangImpl07.html#user-defined-local-variables\" target=\"_blank\">\u7b2c7\u7bc0 \u30e6\u30fc\u30b6\u5b9a\u7fa9\u30ed\u30fc\u30ab\u30eb\u5909\u6570<\/a><\/p>\n<p>var\/in\u3068\u3044\u3046\u6587\u6cd5\uff08\u6211\u3005\u304c\u4e07\u83ef\u93e1\u306b\u8ffd\u52a0\u3057\u3066\u304d\u305f\u62e1\u5f35\u3068\u540c\u3058\u3088\u3046\u306a\uff09\u3092\u8ffd\u52a0\u3059\u308b\u3002<br \/>\n\u5b57\u53e5\u89e3\u6790\u5668\u3001\u69cb\u6587\u89e3\u6790\u5668\u3001AST\u3001\u30b3\u30fc\u30c9\u751f\u6210\u90e8\u5206\u3092\u62e1\u5f35\u3059\u308b\u3002<br \/>\n\u6700\u521d\u306e\u4e00\u6b69\u306f\u3001\u5b57\u53e5\u89e3\u6790\u5668\u3092\u62e1\u5f35\u3059\u308b\u305f\u3081\u306bvar\/in\u69cb\u9020\u3092\u8ffd\u52a0\u3059\u308b\u3053\u3068\u3067\u3042\u308b\u3002<br \/>\n\u4ee5\u524d\u898b\u305f\u3088\u3046\u306b\u3001\u3053\u308c\u306f\u5b9f\u306b\u4e9b\u7d30\u306a\u4e8b\u3067\u3042\u308b\u3002<br \/>\n\u305d\u306e\u30b3\u30fc\u30c9\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">enum Token {\r\n  ...\r\n  \/\/ var\u306e\u5b9a\u7fa9\r\n  tok_var = -13\r\n...\r\n}\r\n...\r\nstatic int gettok() {\r\n...\r\n    if (IdentifierStr == &quot;in&quot;) return tok_in;\r\n    if (IdentifierStr == &quot;binary&quot;) return tok_binary;\r\n    if (IdentifierStr == &quot;unary&quot;) return tok_unary;\r\n    if (IdentifierStr == &quot;var&quot;) return tok_var;\r\n    return tok_identifier;\r\n...<\/pre>\n<p>\u6b21\u306e\u4e00\u6b69\u306f\u3001\u69cb\u7bc9\u3055\u308c\u308bAST\u30ce\u30fc\u30c9\u306e\u5b9a\u7fa9\u3067\u3042\u308b\u3002<br \/>\nvar\/in\u306e\u305f\u3081\u306eAST\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ VarExprAST - var\/in\u306e\u305f\u3081\u306e\u5f0f\u30af\u30e9\u30b9\u3002\r\nclass VarExprAST : public ExprAST {\r\n  std::vector&lt;std::pair&lt;std::string, ExprAST*&gt; &gt; VarNames;\r\n  ExprAST *Body;\r\npublic:\r\n  VarExprAST(const std::vector&lt;std::pair&lt;std::string, ExprAST*&gt; &gt; &amp;varnames,\r\n             ExprAST *body)\r\n  : VarNames(varnames), Body(body) {}\r\n\r\n  virtual Value *Codegen();\r\n};<\/pre>\n<p>var\/in\u306b\u3088\u3063\u3066\u3001\u540d\u524d\u306e\u30ea\u30b9\u30c8\u3092\u4e00\u5ea6\u306b\u5b9a\u7fa9\u53ef\u80fd\u3068\u306a\u308a\u3001\u5404\u540d\u524d\u306f\u30aa\u30d7\u30b7\u30e7\u30f3\u3068\u3057\u3066\u521d\u671f\u5024\u3092\u6301\u3064\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\n\u3057\u305f\u304c\u3063\u3066\u3001\u3053\u306e\u60c5\u5831\u3092VarNames\u30d9\u30af\u30bf\u3068\u3057\u3066\u30ad\u30e3\u30d7\u30c1\u30e3\u3059\u308b\u3002<br \/>\nvar\/in\u306f\u672c\u6587\u3082\u6301\u3061\u3001\u305d\u306e\u4e2d\u3067var\/in\u3067\u5b9a\u7fa9\u3055\u308c\u308b\u5909\u6570\u306b\u30a2\u30af\u30bb\u30b9\u53ef\u80fd\u3068\u306a\u308b\u3002<\/p>\n<p>\u3053\u308c\u3067\u3001\u6211\u3005\u306f\u69cb\u6587\u89e3\u6790\u5668\u306e\u4e00\u90e8\u3092\u5b9a\u7fa9\u51fa\u6765\u308b\u3002<br \/>\n\u6700\u521d\u306b\u884c\u3046\u306e\u306f\u3001var\/in\u3092\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3068\u3057\u3066\u8ffd\u52a0\u3059\u308b\u3053\u3068\u3067\u3042\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ primary\r\n\/\/\/   ::= identifierexpr\r\n\/\/\/   ::= numberexpr\r\n\/\/\/   ::= parenexpr\r\n\/\/\/   ::= ifexpr\r\n\/\/\/   ::= forexpr\r\n\/\/\/   ::= varexpr\r\nstatic ExprAST *ParsePrimary() {\r\n  switch (CurTok) {\r\n  default: return Error(&quot;unknown token when expecting an expression&quot;);\r\n  case tok_identifier: return ParseIdentifierExpr();\r\n  case tok_number:     return ParseNumberExpr();\r\n  case '(':            return ParseParenExpr();\r\n  case tok_if:         return ParseIfExpr();\r\n  case tok_for:        return ParseForExpr();\r\n  case tok_var:        return ParseVarExpr();\r\n  }\r\n}<\/pre>\n<p>\u3064\u304e\u306bParseVarExpr\u3092\u5b9a\u7fa9\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ varexpr ::= 'var' identifier ('=' expression)?\r\n\/\/                    (',' identifier ('=' expression)?)* 'in' expression\r\nstatic ExprAST *ParseVarExpr() {\r\n  getNextToken();  \/\/ var\u3092\u6d88\u8cbb\u3059\u308b\u3002\r\n\r\n  std::vector&lt;std::pair&lt;std::string, ExprAST*&gt; &gt; VarNames;\r\n\r\n  \/\/ \u5c11\u306a\u304f\u3068\u30821\u3064\u306e\u5909\u6570\u540d\u304c\u5fc5\u8981\u3002\r\n  if (CurTok != tok_identifier)\r\n    return Error(&quot;expected identifier after var&quot;);<\/pre>\n<p>\u3053\u306e\u30b3\u30fc\u30c9\u306e\u6700\u521d\u306e\u90e8\u5206\u3067\u306f\u3001\u8b58\u5225\u5b50\u3068\u3001\u5f0f\u306e\u30da\u30a2\u3092\u30ed\u30fc\u30ab\u30eb\u306eVarNames\u30d9\u30af\u30bf\u306b\u89e3\u6790\u3057\u3066\u683c\u7d0d\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">while (1) {\r\n  std::string Name = IdentifierStr;\r\n  getNextToken();  \/\/ \u8b58\u5225\u5b50\u3092\u6d88\u8cbb\u3002\r\n\r\n  \/\/ \u30aa\u30d7\u30b7\u30e7\u30f3\u306e\u521d\u671f\u5316\u5b50\u3092\u8aad\u307f\u53d6\u308b\u3002\r\n  ExprAST *Init = 0;\r\n  if (CurTok == '=') {\r\n    getNextToken(); \/\/ =\u3092\u6d88\u8cbb\u3002\r\n\r\n    Init = ParseExpression();\r\n    if (Init == 0) return 0;\r\n  }\r\n\r\n  VarNames.push_back(std::make_pair(Name, Init));\r\n\r\n  \/\/ var\u306e\u30ea\u30b9\u30c8\u306e\u6700\u5f8c\u3067\u306f\u30eb\u30fc\u30d7\u3092\u629c\u3051\u308b\u3002\r\n  if (CurTok != ',') break;\r\n  getNextToken(); \/\/ ,\u3092\u6d88\u8cbb\u3002\r\n\r\n  if (CurTok != tok_identifier)\r\n    return Error(&quot;expected identifier list after var&quot;);\r\n}<\/pre>\n<p>\u3059\u3079\u3066\u306e\u5909\u6570\u304c\u89e3\u6790\u3055\u308c\u305f\u3089\u3001\u672c\u6587\u3092\u89e3\u6790\u3057AST\u30ce\u30fc\u30c9\u3092\u751f\u6210\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">  \/\/ \u3053\u306e\u6642\u70b9\u3067\u306f&quot;in&quot;\u3067\u306a\u3051\u308c\u3070\u3089\u306a\u306a\u3044\u3002\r\n  if (CurTok != tok_in)\r\n    return Error(&quot;expected 'in' keyword after 'var'&quot;);\r\n  getNextToken();  \/\/ in\u3092\u6d88\u8cbb\u3002\r\n\r\n  ExprAST *Body = ParseExpression();\r\n  if (Body == 0) return 0;\r\n\r\n  return new VarExprAST(VarNames, Body);\r\n}<\/pre>\n<p>\u3053\u308c\u3067\u3001\u69cb\u6587\u89e3\u6790\u3057\u30b3\u30fc\u30c9\u3092\u8868\u73fe\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\n\u305d\u3057\u305f\u3089\u3053\u308c\u306b\u3064\u3044\u3066LLVM IR\u306e\u751f\u6210\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<br \/>\n\u305d\u306e\u30b3\u30fc\u30c9\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u3057\u3066\u59cb\u307e\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">Value *VarExprAST::Codegen() {\r\n  std::vector&lt;AllocaInst *&gt; OldBindings;\r\n\r\n  Function *TheFunction = Builder.GetInsertBlock()-&gt;getParent();\r\n\r\n  \/\/ \u5909\u6570\u5168\u3066\u3092\u767b\u9332\u3057\u3001\u305d\u308c\u305e\u308c\u306e\u521d\u671f\u5316\u5b50\u3092\u751f\u6210\u3059\u308b\u3002\r\n  for (unsigned i = 0, e = VarNames.size(); i != e; ++i) {\r\n    const std::string &amp;VarName = VarNames&#x5B;i].first;\r\n    ExprAST *Init = VarNames&#x5B;i].second;<\/pre>\n<p>\u57fa\u672c\u7684\u306b\u306f\u3001\u5168\u3066\u306e\u5909\u6570\u306b\u5bfe\u3057\u3066\u30eb\u30fc\u30d7\u304c\u884c\u308f\u308c\u3001\u4e00\u5ea6\u306b\u3072\u3068\u3064\u305a\u3064\u53d6\u308a\u8fbc\u307e\u308c\u308b\u3002<br \/>\n\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u306b\u767b\u9332\u3055\u308c\u305f\u5404\u5909\u6570\u306b\u3064\u3044\u3066\u3001\u4ee5\u524d\u306e\u5024\u3092OldBindings\u306e\u4e2d\u306b\u4fdd\u5b58\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">  \/\/ \u5909\u6570\u3092\u30b9\u30b3\u30fc\u30d7\u306b\u8ffd\u52a0\u3059\u308b\u524d\u306b\u521d\u671f\u5316\u5b50\u3092\u751f\u6210\u3059\u308b\u3002\r\n  \/\/ \u3053\u308c\u306b\u3088\u3063\u3066\u3001\u5909\u6570\u305d\u306e\u3082\u306e\u3092\u53c2\u7167\u3059\u308b\u521d\u671f\u5316\u5b50\u3092\u9632\u3050\u3002\r\n  \/\/ \u307e\u305f\u3053\u308c\u306b\u3088\u3063\u3066\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u66f8\u304d\u65b9\u304c\u53ef\u80fd\u3068\u306a\u308b\u3002\r\n  \/\/  var a = 1 in\r\n  \/\/    var a = a in ...   # \u5916\u5074\u306ea\u3092\u53c2\u7167\u3002\r\n  Value *InitVal;\r\n  if (Init) {\r\n    InitVal = Init-&gt;Codegen();\r\n    if (InitVal == 0) return 0;\r\n  } else { \/\/ \u6307\u5b9a\u3055\u308c\u306a\u3051\u308c\u30700.0\u3092\u4f7f\u3046\u3002\r\n    InitVal = ConstantFP::get(getGlobalContext(), APFloat(0.0));\r\n  }\r\n\r\n  AllocaInst *Alloca = CreateEntryBlockAlloca(TheFunction, VarName);\r\n  Builder.CreateStore(InitVal, Alloca);\r\n\r\n  \/\/ var\/in\u306e\u672c\u6587\u306e\u629c\u3051\u305f\u3068\u304d\u306b\u5024\u3092\u5fa9\u5143\u51fa\u6765\u308b\u3088\u3046\u306b\u3059\u308b\u305f\u3081\u306b\u3001\u53e4\u3044\u5024\u3092\u8a18\u61b6\u3057\u3066\u304a\u304f\u3002\r\n  OldBindings.push_back(NamedValues&#x5B;VarName]);\r\n\r\n  \/\/ \u5024\u3092\u8a18\u61b6\u3002\r\n  NamedValues&#x5B;VarName] = Alloca;\r\n}<\/pre>\n<p>\u521d\u671f\u5316\u5b50\u3092\u751f\u6210\u3057\u3001alloca\u3092\u751f\u6210\u3057\u3001\u305d\u3057\u3066\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u3092\u305d\u308c\u3092\u6307\u3059\u3088\u3046\u66f4\u65b0\u3059\u308b\u3068\u3044\u3046\u306e\u304c\u57fa\u672c\u7684\u306a\u30a2\u30a4\u30c7\u30a2\u3067\u3042\u308b\u3002<br \/>\n\u5168\u3066\u306e\u5909\u6570\u304c\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u306b\u767b\u9332\u3055\u308c\u305f\u3089\u3001var\/in\u5f0f\u306e\u672c\u6587\u3092\u8a55\u4fa1\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/ \u30ed\u30fc\u30ab\u30eb\u5909\u6570\u3092\u305d\u306e\u30b9\u30b3\u30fc\u30d7\u306b\u542b\u3080\u3001var\/in\u306e\u672c\u6587\u306e\u30b3\u30fc\u30c9\u751f\u6210\u3092\u884c\u3046\u3002\r\nValue *BodyVal = Body-&gt;Codegen();\r\nif (BodyVal == 0) return 0;<\/pre>\n<p>\u6700\u5f8c\u306b\u3001\u547c\u3073\u51fa\u3057\u5143\u306b\u623b\u308b\u524d\u306b\u3001\u4fdd\u5b58\u3057\u3066\u304a\u3044\u305f&#8221;\u4ee5\u524d\u306e\u5024&#8221;\u3092\u5fa9\u5143\u3059\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">  \/\/ \u30b9\u30b3\u30fc\u30d7\u304b\u3089\u5168\u3066\u306e\u5909\u6570\u3092\u53d6\u308a\u51fa\u3057\u3001\u4ee5\u524d\u306e\u5024\u3092\u30bb\u30c3\u30c8\u3059\u308b\u3002\r\n  for (unsigned i = 0, e = VarNames.size(); i != e; ++i)\r\n    NamedValues&#x5B;VarNames&#x5B;i].first] = OldBindings&#x5B;i];\r\n\r\n  \/\/ \u672c\u6587\u306e\u8a08\u7b97\u7d50\u679c\u3092\u8fd4\u3059\u3002\r\n  return BodyVal;\r\n}<\/pre>\n<p>\u4ee5\u4e0a\u306e\u30b3\u30fc\u30c9\u306b\u3088\u3063\u3066\u3001\u6b63\u3057\u304f\u305d\u306e\u4f5c\u7528\u7bc4\u56f2\u304c\u5b9a\u3081\u3089\u308c\u305f\u5909\u6570\uff08\u30b9\u30b3\u30fc\u30d7\u3064\u304d\u5909\u6570\uff09\u3092\u5b9a\u7fa9\u3057\u305f\u308a\u3001\u3055\u3089\u306b\uff08\u81ea\u52d5\u7684\u306b\uff09\u305d\u306e\u5909\u6570\u3078\u306e\u4ee3\u5165\u3059\u308b\u4e8b\u304c\u53ef\u80fd\u3068\u306a\u3063\u305f\u3002<\/p>\n<p>\u3053\u308c\u306b\u3088\u3063\u3066\u3001\u76ee\u7684\u306f\u9054\u6210\u3055\u308c\u305f\u3002<br \/>\n7.4\u7bc0\u306b\u3042\u3063\u305f\u3001\u53cd\u5fa9\u7684\u306afib\u306e\u4f8b\u3092\u3001\u30b3\u30f3\u30d1\u30a4\u30eb\u3057\u3066\u5b9f\u884c\u51fa\u6765\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3002<br \/>\nmem2reg\u30d1\u30b9\u306b\u3088\u3063\u3066\u3001\u5168\u3066\u306e\u30b9\u30bf\u30c3\u30af\u5909\u6570\u306fSSA\u30ec\u30b8\u30b9\u30bf\u306b\u6700\u9069\u5316\u3055\u308c\u3001\u5fc5\u8981\u306a\u7b87\u6240\u306bphi\u30ce\u30fc\u30c9\u304c\u633f\u5165\u3055\u308c\u308b\u306e\u3067\u3001\u6211\u3005\u306e\u30d5\u30ed\u30f3\u30c8\u30a8\u30f3\u30c9\u306f\u30b7\u30f3\u30d7\u30eb\u3055\u3092\u4fdd\u3063\u305f\u307e\u307e\u3067\u3042\u308b\u3002<br \/>\n\u201d\u53cd\u5fa9\u7684\u306a\u652f\u914d\u8fba\u5883\uff08iterated dominance frontier\uff09\u201d\u306e\u8a08\u7b97\u306f\u3001\u6211\u3005\u306e\u30b3\u30fc\u30c9\u306e\u898b\u3048\u308b\u90e8\u5206\u306b\u306f\u5b58\u5728\u3057\u306a\u3044\u3002<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[32],"tags":[466,467],"class_list":["post-3033","post","type-post","status-publish","format-standard","hentry","category-tech","tag-kaleidoscope","tag-llvm"],"_links":{"self":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/3033","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/comments?post=3033"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/3033\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=3033"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=3033"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=3033"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}