{"id":3030,"date":"2013-09-08T04:38:39","date_gmt":"2013-09-07T19:38:39","guid":{"rendered":"http:\/\/peta.okechan.net\/blog\/?p=3030"},"modified":"2013-09-08T04:38:39","modified_gmt":"2013-09-07T19:38:39","slug":"7-6-%e6%96%b0%e3%81%97%e3%81%84%e4%bb%a3%e5%85%a5%e6%bc%94%e7%ae%97%e5%ad%90","status":"publish","type":"post","link":"https:\/\/peta.okechan.net\/blog\/archives\/3030","title":{"rendered":"7.6. \u65b0\u3057\u3044\u4ee3\u5165\u6f14\u7b97\u5b50"},"content":{"rendered":"

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>
\n\u7b2c7\u7ae0 \u4e07\u83ef\u93e1: \u8a00\u8a9e\u306e\u62e1\u5f35: \u5909\u66f4\u53ef\u80fd\u306a\u5909\u6570\uff08Mutable Variables\uff09
\n\u7b2c6\u7bc0 \u65b0\u3057\u3044\u4ee3\u5165\u6f14\u7b97\u5b50<\/a><\/p>\n

\u6211\u3005\u306e\u73fe\u5728\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306b\u3001\u4ee3\u5165\u6f14\u7b97\u5b50\u3092\u65b0\u3057\u304f\u8ffd\u52a0\u3059\u308b\u306e\u306f\u5b9f\u306b\u7c21\u5358\u3067\u3042\u308b\u3002
\n\u4ee3\u5165\u6f14\u7b97\u5b50\u3092\u4ed6\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3068\u540c\u3058\u3088\u3046\u306b\u89e3\u6790\u3059\u308b\u304c\u3001\u51e6\u7406\u306f\u5185\u90e8\u7684\u306b\u884c\u3046\u3002\uff08\u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e0d\u53ef\u3002\uff09
\n\u6700\u521d\u306e\u4e00\u6b69\u306f\u3001\u512a\u5148\u9806\u4f4d\u3092\u8a2d\u5b9a\u3059\u308b\u3068\u3053\u308d\u304b\u3089\u3067\u3042\u308b\u3002<\/p>\n

int main() {\r\n  \/\/ \u6a19\u6e96\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3002\r\n  \/\/ 1\u304c\u4e00\u756a\u4f4e\u3044\u512a\u5148\u9806\u4f4d\u3068\u306a\u308b\u3002\r\n  BinopPrecedence['='] = 2;\r\n  BinopPrecedence['<'] = 10;\r\n  BinopPrecedence['+'] = 20;\r\n  BinopPrecedence['-'] = 20;<\/pre>\n
\u3053\u308c\u3067\u3001\u305d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u3092\u69cb\u6587\u89e3\u6790\u5668\u304c\u77e5\u3063\u3066\u3044\u308b\u72b6\u614b\u306b\u306a\u308a\u3001\u69cb\u6587\u89e3\u6790\u3068AST\u751f\u6210\u6642\u306b\u9762\u5012\u3092\u898b\u3066\u304f\u308c\u308b\u3002
\n\u6211\u3005\u306b\u5fc5\u8981\u306a\u306e\u306f\u3001\u4ee3\u5165\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306e\u30b3\u30fc\u30c9\u751f\u6210\u51e6\u7406\u306e\u5b9f\u88c5\u3060\u3051\u3067\u3042\u308b\u3002
\n\u305d\u308c\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308b\u3002<\/p>\n
Value *BinaryExprAST::Codegen() {\r\n  \/\/ LHS\u3092\u5f0f\u3068\u3057\u3066\u751f\u6210\u3057\u305f\u304f\u306a\u3044\u306e\u3067\u3001"=\u201d\u306f\u7279\u6b8a\u306a\u30b1\u30fc\u30b9\u3068\u306a\u308b\u3002\r\n  if (Op == '=') {\r\n    \/\/ \u4ee3\u5165\u306fLHS\u304c\u8b58\u5225\u5b50\u3067\u3042\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002\r\n    VariableExprAST *LHSE = dynamic_cast<VariableExprAST*>(LHS);\r\n    if (!LHSE)\r\n      return ErrorV("destination of '=' must be a variable");<\/pre>\n
\u4ed6\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3068\u306f\u9055\u3063\u3066\u3001\u4ee3\u5165\u6f14\u7b97\u5b50\u306f\u201cLHS\u3092\u751f\u6210\u3057\u3001RHS\u3092\u751f\u6210\u3057\u3001\u8a08\u7b97\u3092\u884c\u3046\uff08emit LHS, emit RHS, do computation\uff09\u201d\u3068\u3044\u3046\u30e2\u30c7\u30eb\u306b\u306f\u5f93\u308f\u306a\u3044\u3002
\n\u306a\u306e\u3067\u3001\u4ed6\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u304c\u51e6\u7406\u3055\u308c\u308b\u524d\u306b\u3001\u7279\u6b8a\u306a\u30b1\u30fc\u30b9\u3068\u3057\u3066\u4ee3\u5165\u6f14\u7b97\u5b50\u306f\u51e6\u7406\u3055\u308c\u308b\u3002
\n\u4ed6\u306b\u306f\u3001\u4ee3\u5165\u6f14\u7b97\u5b50\u306fLHS\u304c\u5909\u6570\u3067\u3042\u308b\u3053\u3068\u3092\u8981\u6c42\u3059\u308b\u70b9\u304c\u9055\u3046\u3002
\n\u201c(x+1) = expr\u201d\u306f\u7121\u52b9\u3067\u3042\u308a\u3001\u201cx = expr\u201d\u306e\u3088\u3046\u306a\u5834\u5408\u3060\u3051\u304c\u8a31\u53ef\u3055\u308c\u308b\u3002<\/p>\n
  \/\/ RHS\u306e\u30b3\u30fc\u30c9\u751f\u6210\u3002\r\n  Value *Val = RHS->Codegen();\r\n  if (Val == 0) return 0;\r\n\r\n  \/\/ \u540d\u524d\u3092\u63a2\u3059\u3002\r\n  Value *Variable = NamedValues[LHSE->getName()];\r\n  if (Variable == 0) return ErrorV("Unknown variable name");\r\n\r\n  Builder.CreateStore(Val, Variable);\r\n  return Val;\r\n}\r\n...<\/pre>\n
\u5909\u6570\u3092\u53d6\u5f97\u3057\u305f\u3089\u3001\u4ee3\u5165\u306e\u30b3\u30fc\u30c9\u751f\u6210\u306f\u307e\u308b\u3063\u304d\u308a\u305d\u306e\u307e\u3093\u307e\u3067\u3042\u308b\u3002
\n\u4ee3\u5165\u306b\u5fc5\u8981\u306aRHS\u306e\u30b3\u30fc\u30c9\u751f\u6210\u3092\u884c\u3044\u3001store\u547d\u4ee4\u3092\u751f\u6210\u3057\u3001\u8a08\u7b97\u3055\u308c\u305f\u5024\u3092\u8fd4\u3059\u3002
\n\u3053\u306e\u5024\u3092\u623b\u3059\u4e8b\u306b\u3088\u3063\u3066\u3001\u201cX = (Y = Z)\u201d\u306e\u3088\u3046\u306a\u9023\u9396\u4ee3\u5165\u304c\u53ef\u80fd\u3068\u306a\u308b\u3002<\/p>\n
\u3053\u308c\u3067\u4ee3\u5165\u6f14\u7b97\u5b50\u3092\u5f97\u305f\u3053\u3068\u306b\u306a\u308a\u3001\u95a2\u6570\u306e\u5f15\u6570\u3084\u30eb\u30fc\u30d7\u5909\u6570\u3092\u5909\u5316\u3055\u305b\u308b\u3053\u3068\u304c\u53ef\u80fd\u3068\u306a\u3063\u305f\u3002
\n\u4f8b\u3048\u3070\u3001\u73fe\u6642\u70b9\u3067\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u5b9f\u884c\u51fa\u6765\u308b\u3002<\/p>\n
# double\u306e\u5024\u3092\u5370\u5b57\u3059\u308b\u95a2\u6570\u3002\r\nextern printd(x);\r\n\r\n# \u9806\u6b21\u6f14\u7b97\u5b50\u3002\u30aa\u30da\u30e9\u30f3\u30c9\u3092\u7121\u8996\u3057RHS\u3092\u8fd4\u3059\u3001\u4f4e\u512a\u5148\u9806\u4f4d\u306e\u6f14\u7b97\u5b50":"\u3092\u5b9a\u7fa9\u3059\u308b\u3002\r\ndef binary : 1 (x y) y;\r\n\r\ndef test(x)\r\n  printd(x) :\r\n  x = 4 :\r\n  printd(x);\r\n\r\ntest(123);<\/pre>\n
\u3053\u308c\u3092\u5b9f\u884c\u3059\u308b\u3068\u3001”123″\u306e\u3042\u3068\u306b”4″\u304c\u5370\u5b57\u3055\u308c\u3001\u5b9f\u969b\u306b\u5024\u3092\u5909\u5316\u3055\u305b\u308c\u308b\u3053\u3068\u304c\u5206\u304b\u308b\u3002
\n\u3053\u308c\u3067\u6211\u3005\u306f\u3001\u672c\u683c\u7684\u306b\u6211\u3005\u306e\u30b4\u30fc\u30eb\uff08\u4ee3\u5165\u306f\u3001\u4e00\u822c\u7684\u306a\u5834\u5408\u306b\u304a\u3044\u3066SSA\u69cb\u7bc9\u3092\u8981\u6c42\u3059\u308b\uff09\u3092\u9054\u6210\u3057\u305f\u3002
\n\u3057\u304b\u3057\u306a\u304c\u3089\u3001\u3088\u308a\u4fbf\u5229\u306b\u3059\u308b\u305f\u3081\u306b\u3001\u30ed\u30fc\u30ab\u30eb\u5909\u6570\u3092\u5b9a\u7fa9\u51fa\u6765\u308b\u3088\u3046\u306b\u3057\u305f\u3044\u3002
\n\u6b21\u306b\u3053\u308c\u3092\u8ffd\u52a0\u3057\u3066\u307f\u3088\u3046\uff01<\/p>\n","protected":false},"excerpt":{"rendered":"
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>
\n\u7b2c7\u7ae0 \u4e07\u83ef\u93e1: \u8a00\u8a9e\u306e\u62e1\u5f35: \u5909\u66f4\u53ef\u80fd\u306a\u5909\u6570\uff08Mutable Variables\uff09
\n\u7b2c6\u7bc0 \u65b0\u3057\u3044\u4ee3\u5165\u6f14\u7b97\u5b50<\/a><\/p>\n
\u6211\u3005\u306e\u73fe\u5728\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306b\u3001\u4ee3\u5165\u6f14\u7b97\u5b50\u3092\u65b0\u3057\u304f\u8ffd\u52a0\u3059\u308b\u306e\u306f\u5b9f\u306b\u7c21\u5358\u3067\u3042\u308b\u3002
\n\u4ee3\u5165\u6f14\u7b97\u5b50\u3092\u4ed6\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3068\u540c\u3058\u3088\u3046\u306b\u89e3\u6790\u3059\u308b\u304c\u3001\u51e6\u7406\u306f\u5185\u90e8\u7684\u306b\u884c\u3046\u3002\uff08\u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e0d\u53ef\u3002\uff09
\n\u6700\u521d\u306e\u4e00\u6b69\u306f\u3001\u512a\u5148\u9806\u4f4d\u3092\u8a2d\u5b9a\u3059\u308b\u3068\u3053\u308d\u304b\u3089\u3067\u3042\u308b\u3002<\/p>\n
int main() {\r\n  \/\/ \u6a19\u6e96\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3002\r\n  \/\/ 1\u304c\u4e00\u756a\u4f4e\u3044\u512a\u5148\u9806\u4f4d\u3068\u306a\u308b\u3002\r\n  BinopPrecedence['='] = 2;\r\n  BinopPrecedence['<'] = 10;\r\n  BinopPrecedence['+'] = 20;\r\n  BinopPrecedence['-'] = 20;<\/pre>\n
\u3053\u308c\u3067\u3001\u305d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u3092\u69cb\u6587\u89e3\u6790\u5668\u304c\u77e5\u3063\u3066\u3044\u308b\u72b6\u614b\u306b\u306a\u308a\u3001\u69cb\u6587\u89e3\u6790\u3068AST\u751f\u6210\u6642\u306b\u9762\u5012\u3092\u898b\u3066\u304f\u308c\u308b\u3002
\n\u6211\u3005\u306b\u5fc5\u8981\u306a\u306e\u306f\u3001\u4ee3\u5165\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306e\u30b3\u30fc\u30c9\u751f\u6210\u51e6\u7406\u306e\u5b9f\u88c5\u3060\u3051\u3067\u3042\u308b\u3002
\n\u305d\u308c\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308b\u3002<\/p>\n
Value *BinaryExprAST::Codegen() {\r\n  \/\/ LHS\u3092\u5f0f\u3068\u3057\u3066\u751f\u6210\u3057\u305f\u304f\u306a\u3044\u306e\u3067\u3001"=\u201d\u306f\u7279\u6b8a\u306a\u30b1\u30fc\u30b9\u3068\u306a\u308b\u3002\r\n  if (Op == '=') {\r\n    \/\/ \u4ee3\u5165\u306fLHS\u304c\u8b58\u5225\u5b50\u3067\u3042\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002\r\n    VariableExprAST *LHSE = dynamic_cast<VariableExprAST*>(LHS);\r\n    if (!LHSE)\r\n      return ErrorV("destination of '=' must be a variable");<\/pre>\n
\u4ed6\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3068\u306f\u9055\u3063\u3066\u3001\u4ee3\u5165\u6f14\u7b97\u5b50\u306f\u201cLHS\u3092\u751f\u6210\u3057\u3001RHS\u3092\u751f\u6210\u3057\u3001\u8a08\u7b97\u3092\u884c\u3046\uff08emit LHS, emit RHS, do computation\uff09\u201d\u3068\u3044\u3046\u30e2\u30c7\u30eb\u306b\u306f\u5f93\u308f\u306a\u3044\u3002
\n\u306a\u306e\u3067\u3001\u4ed6\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u304c\u51e6\u7406\u3055\u308c\u308b\u524d\u306b\u3001\u7279\u6b8a\u306a\u30b1\u30fc\u30b9\u3068\u3057\u3066\u4ee3\u5165\u6f14\u7b97\u5b50\u306f\u51e6\u7406\u3055\u308c\u308b\u3002
\n\u4ed6\u306b\u306f\u3001\u4ee3\u5165\u6f14\u7b97\u5b50\u306fLHS\u304c\u5909\u6570\u3067\u3042\u308b\u3053\u3068\u3092\u8981\u6c42\u3059\u308b\u70b9\u304c\u9055\u3046\u3002
\n\u201c(x+1) = expr\u201d\u306f\u7121\u52b9\u3067\u3042\u308a\u3001\u201cx = expr\u201d\u306e\u3088\u3046\u306a\u5834\u5408\u3060\u3051\u304c\u8a31\u53ef\u3055\u308c\u308b\u3002<\/p>\n
  \/\/ RHS\u306e\u30b3\u30fc\u30c9\u751f\u6210\u3002\r\n  Value *Val = RHS->Codegen();\r\n  if (Val == 0) return 0;\r\n\r\n  \/\/ \u540d\u524d\u3092\u63a2\u3059\u3002\r\n  Value *Variable = NamedValues[LHSE->getName()];\r\n  if (Variable == 0) return ErrorV("Unknown variable name");\r\n\r\n  Builder.CreateStore(Val, Variable);\r\n  return Val;\r\n}\r\n...<\/pre>\n
\u5909\u6570\u3092\u53d6\u5f97\u3057\u305f\u3089\u3001\u4ee3\u5165\u306e\u30b3\u30fc\u30c9\u751f\u6210\u306f\u307e\u308b\u3063\u304d\u308a\u305d\u306e\u307e\u3093\u307e\u3067\u3042\u308b\u3002
\n\u4ee3\u5165\u306b\u5fc5\u8981\u306aRHS\u306e\u30b3\u30fc\u30c9\u751f\u6210\u3092\u884c\u3044\u3001store\u547d\u4ee4\u3092\u751f\u6210\u3057\u3001\u8a08\u7b97\u3055\u308c\u305f\u5024\u3092\u8fd4\u3059\u3002
\n\u3053\u306e\u5024\u3092\u623b\u3059\u4e8b\u306b\u3088\u3063\u3066\u3001\u201cX = (Y = Z)\u201d\u306e\u3088\u3046\u306a\u9023\u9396\u4ee3\u5165\u304c\u53ef\u80fd\u3068\u306a\u308b\u3002<\/p>\n
\u3053\u308c\u3067\u4ee3\u5165\u6f14\u7b97\u5b50\u3092\u5f97\u305f\u3053\u3068\u306b\u306a\u308a\u3001\u95a2\u6570\u306e\u5f15\u6570\u3084\u30eb\u30fc\u30d7\u5909\u6570\u3092\u5909\u5316\u3055\u305b\u308b\u3053\u3068\u304c\u53ef\u80fd\u3068\u306a\u3063\u305f\u3002
\n\u4f8b\u3048\u3070\u3001\u73fe\u6642\u70b9\u3067\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u5b9f\u884c\u51fa\u6765\u308b\u3002<\/p>\n
# double\u306e\u5024\u3092\u5370\u5b57\u3059\u308b\u95a2\u6570\u3002\r\nextern printd(x);\r\n\r\n# \u9806\u6b21\u6f14\u7b97\u5b50\u3002\u30aa\u30da\u30e9\u30f3\u30c9\u3092\u7121\u8996\u3057RHS\u3092\u8fd4\u3059\u3001\u4f4e\u512a\u5148\u9806\u4f4d\u306e\u6f14\u7b97\u5b50":"\u3092\u5b9a\u7fa9\u3059\u308b\u3002\r\ndef binary : 1 (x y) y;\r\n\r\ndef test(x)\r\n  printd(x) :\r\n  x = 4 :\r\n  printd(x);\r\n\r\ntest(123);<\/pre>\n
\u3053\u308c\u3092\u5b9f\u884c\u3059\u308b\u3068\u3001”123″\u306e\u3042\u3068\u306b”4″\u304c\u5370\u5b57\u3055\u308c\u3001\u5b9f\u969b\u306b\u5024\u3092\u5909\u5316\u3055\u305b\u308c\u308b\u3053\u3068\u304c\u5206\u304b\u308b\u3002
\n\u3053\u308c\u3067\u6211\u3005\u306f\u3001\u672c\u683c\u7684\u306b\u6211\u3005\u306e\u30b4\u30fc\u30eb\uff08\u4ee3\u5165\u306f\u3001\u4e00\u822c\u7684\u306a\u5834\u5408\u306b\u304a\u3044\u3066SSA\u69cb\u7bc9\u3092\u8981\u6c42\u3059\u308b\uff09\u3092\u9054\u6210\u3057\u305f\u3002
\n\u3057\u304b\u3057\u306a\u304c\u3089\u3001\u3088\u308a\u4fbf\u5229\u306b\u3059\u308b\u305f\u3081\u306b\u3001\u30ed\u30fc\u30ab\u30eb\u5909\u6570\u3092\u5b9a\u7fa9\u51fa\u6765\u308b\u3088\u3046\u306b\u3057\u305f\u3044\u3002
\n\u6b21\u306b\u3053\u308c\u3092\u8ffd\u52a0\u3057\u3066\u307f\u3088\u3046\uff01<\/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-3030","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\/3030","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=3030"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/3030\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=3030"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=3030"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=3030"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}