{"id":3005,"date":"2013-09-04T05:00:23","date_gmt":"2013-09-03T20:00:23","guid":{"rendered":"http:\/\/peta.okechan.net\/blog\/?p=3005"},"modified":"2013-09-04T05:00:23","modified_gmt":"2013-09-03T20:00:23","slug":"6-3-%e3%83%a6%e3%83%bc%e3%82%b6%e5%ae%9a%e7%be%a9%e4%ba%8c%e9%a0%85%e6%bc%94%e7%ae%97%e5%ad%90","status":"publish","type":"post","link":"https:\/\/peta.okechan.net\/blog\/archives\/3005","title":{"rendered":"6.3. \u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e8c\u9805\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\u7b2c6\u7ae0 \u4e07\u83ef\u93e1: \u8a00\u8a9e\u306e\u62e1\u5f35: \u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50
\n\u7b2c3\u7bc0 \u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e8c\u9805\u6f14\u7b97\u5b50<\/a><\/p>\n

\u6211\u3005\u306e\u73fe\u5728\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3060\u3068\u3001\u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u30b5\u30dd\u30fc\u30c8\u3092\u8ffd\u52a0\u3059\u308b\u306e\u306f\u5b9f\u306b\u7c21\u5358\u3067\u3042\u308b\u3002
\n\u307e\u305a\u3001unary\uff08\u5358\u9805\u6f14\u7b97\u5b50\u7528\uff09\u3068binary\uff08\u4e8c\u9805\u6f14\u7b97\u5b50\u7528\uff09\u306e\u305f\u3081\u306e\u30ad\u30fc\u30ef\u30fc\u30c9\u306e\u30b5\u30dd\u30fc\u30c8\u3092\u8ffd\u52a0\u3059\u308b\u3002<\/p>\n

enum Token {\r\n  ...\r\n  \/\/ \u6f14\u7b97\u5b50\r\n  tok_binary = -11, tok_unary = -12\r\n};\r\n...\r\nstatic int gettok() {\r\n...\r\n    if (IdentifierStr == "for") return tok_for;\r\n    if (IdentifierStr == "in") return tok_in;\r\n    if (IdentifierStr == "binary") return tok_binary;\r\n    if (IdentifierStr == "unary") return tok_unary;\r\n    return tok_identifier;<\/pre>\n
\u3053\u308c\u306b\u3088\u308a\u3001\u5b57\u53e5\u89e3\u6790\u5668\u306bunary\u3068binary\u3068\u3044\u3046\u30ad\u30fc\u30ef\u30fc\u30c9\u306b\u5bfe\u3059\u308b\u30b5\u30dd\u30fc\u30c8\u304c\u8ffd\u52a0\u3055\u308c\u308b\u3002\uff08\u3053\u308c\u306f\u524d\u306e\u7ae0\u3067\u3082\u3084\u3063\u305f\u4f5c\u696d\u3067\u3042\u308b\u3002\uff09
\n\u73fe\u5728\u306e\u6211\u3005\u306eAST\u306e\u826f\u3044\u3068\u3053\u308d\u306f\u3001ASCII\u30b3\u30fc\u30c9\u3092\u305d\u306e\u307e\u307eopcode\u3068\u3057\u3066\u7528\u3044\u308b\u3053\u3068\u306b\u3088\u3063\u3066\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u5b8c\u5168\u306b\u4e00\u822c\u5316\u3057\u3066\u8868\u73fe\u3057\u3066\u308b\u3053\u3068\u3067\u3042\u308b\u3002
\n\u3053\u308c\u304b\u3089\u6211\u3005\u304c\u62e1\u5f35\u3059\u308b\u6f14\u7b97\u5b50\u306b\u3064\u3044\u3066\u3082\u3001\u540c\u3058\u8868\u73fe\u3092\u4f7f\u7528\u3059\u308b\u306e\u3067\u3001\u65b0\u3057\u3044AST\u30af\u30e9\u30b9\u3084\u69cb\u6587\u89e3\u6790\u5668\u306e\u30b5\u30dd\u30fc\u30c8\u306f\u5fc5\u8981\u306a\u3044\u3002<\/p>\n
\u4e00\u65b9\u3001\u95a2\u6570\u5b9a\u7fa9\u306e\u4e00\u7a2e”def binary| 5″\u306e\u3088\u3046\u306a\u5f62\u3067\u65b0\u3057\u3044\u6f14\u7b97\u5b50\u306e\u5b9a\u7fa9\u3092\u8868\u73fe\u3067\u304d\u308b\u3088\u3046\u306b\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002
\n\u3053\u308c\u307e\u3067\u6211\u3005\u306e\u6587\u6cd5\u3067\u306f\u3001\u95a2\u6570\u5b9a\u7fa9\u306e\u305f\u3081\u306e\u540d\u524d\u306f\u3001\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3068\u3057\u3066PrototypeAST\u30ce\u30fc\u30c9\u306e\u4e2d\u306b\uff08\u69cb\u6587\u89e3\u6790\u3055\u308c\u305f\u7d50\u679c\uff09\u4fdd\u6301\u3055\u308c\u3066\u3044\u305f\u3002
\n\u65b0\u3057\u3044\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u3092\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3068\u3057\u3066\u8868\u73fe\u3059\u308b\u306b\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u3057\u3066PrototypeAST\u30ce\u30fc\u30c9\u3092\u62e1\u5f35\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n
\/\/\/ PrototypeAST - \u3053\u306e\u30af\u30e9\u30b9\u306f\u95a2\u6570\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3092\u8868\u3057\u3066\u3044\u308b\u3002\r\n\/\/\/ \u3082\u3057\u6f14\u7b97\u5b50\u3060\u3063\u305f\u3068\u3057\u3066\u3082\u305d\u306e\u5f15\u6570\u540d\u3092\u30ad\u30e3\u30d7\u30c1\u30e3\u3059\u308b\u3002\r\nclass PrototypeAST {\r\n  std::string Name;\r\n  std::vector<std::string> Args;\r\n  bool isOperator;\r\n  unsigned Precedence;  \/\/ \u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u5834\u5408\u306e\u512a\u5148\u9806\u4f4d\r\npublic:\r\n  PrototypeAST(const std::string &name, const std::vector<std::string> &args,\r\n               bool isoperator = false, unsigned prec = 0)\r\n  : Name(name), Args(args), isOperator(isoperator), Precedence(prec) {}\r\n\r\n  bool isUnaryOp() const { return isOperator && Args.size() == 1; }\r\n  bool isBinaryOp() const { return isOperator && Args.size() == 2; }\r\n\r\n  char getOperatorName() const {\r\n    assert(isUnaryOp() || isBinaryOp());\r\n    return Name[Name.size()-1];\r\n  }\r\n\r\n  unsigned getBinaryPrecedence() const { return Precedence; }\r\n\r\n  Function *Codegen();\r\n};<\/pre>\n
\u57fa\u672c\u7684\u306b\u3001\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306e\u540d\u524d\u3092\u4fdd\u6301\u3059\u308b\u3053\u3068\u306b\u52a0\u3048\u3066\u3001\u305d\u308c\u304c\u6f14\u7b97\u5b50\u304b\u3069\u3046\u304b\u306e\u60c5\u5831\u3092\u4fdd\u6301\u3057\u3001\u3055\u3089\u306b\u6f14\u7b97\u5b50\u306e\u5834\u5408\u306b\u306f\u305d\u306e\u512a\u5148\u9806\u4f4d\u3092\u4fdd\u6301\u3059\u308b\u3002
\n\u512a\u5148\u9806\u4f4d\u306f\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u306e\u307f\u4f7f\u7528\u3055\u308c\u308b\u3002\uff08\u6b21\u306e\u7bc0\u3067\u3082\u898b\u308b\u901a\u308a\u3001\u5358\u9805\u6f14\u7b97\u5b50\u306b\u306f\u4f7f\u7528\u3057\u306a\u3044\u3002\uff09
\n\u3053\u308c\u3067\u3001\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3092\u8868\u73fe\u3059\u308b\u65b9\u6cd5\u3092\u5f97\u305f\u3002
\n\u6b21\u306f\u3053\u308c\u3092\u89e3\u6790\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n
\/\/\/ prototype\r\n\/\/\/   ::= id '(' id* ')'\r\n\/\/\/   ::= binary LETTER number? (id, id)\r\nstatic PrototypeAST *ParsePrototype() {\r\n  std::string FnName;\r\n\r\n  unsigned Kind = 0;  \/\/ 0 = \u8b58\u5225\u5b50, 1 = \u5358\u9805, 2 = \u4e8c\u9805.\r\n  unsigned BinaryPrecedence = 30;\r\n\r\n  switch (CurTok) {\r\n  default:\r\n    return ErrorP("Expected function name in prototype");\r\n  case tok_identifier:\r\n    FnName = IdentifierStr;\r\n    Kind = 0;\r\n    getNextToken();\r\n    break;\r\n  case tok_binary:\r\n    getNextToken();\r\n    if (!isascii(CurTok))\r\n      return ErrorP("Expected binary operator");\r\n    FnName = "binary";\r\n    FnName += (char)CurTok;\r\n    Kind = 2;\r\n    getNextToken();\r\n\r\n    \/\/ \u512a\u5148\u9806\u4f4d\u304c\u6307\u5b9a\u3055\u308c\u3066\u3044\u308c\u3070\u305d\u308c\u3092\u8aad\u307f\u8fbc\u3080\u3002\r\n    if (CurTok == tok_number) {\r\n      if (NumVal < 1 || NumVal > 100)\r\n        return ErrorP("Invalid precedecnce: must be 1..100");\r\n      BinaryPrecedence = (unsigned)NumVal;\r\n      getNextToken();\r\n    }\r\n    break;\r\n  }\r\n\r\n  if (CurTok != '(')\r\n    return ErrorP("Expected '(' in prototype");\r\n\r\n  std::vector<std::string> ArgNames;\r\n  while (getNextToken() == tok_identifier)\r\n    ArgNames.push_back(IdentifierStr);\r\n  if (CurTok != ')')\r\n    return ErrorP("Expected ')' in prototype");\r\n\r\n  \/\/ \u6210\u529f\u3002\r\n  getNextToken();  \/\/ ')'\u3092\u6d88\u5316\u3002\r\n\r\n  \/\/ \u6f14\u7b97\u5b50\u306a\u3089\u5f15\u6570\u306e\u6570\u304c\u305d\u308c\u306b\u5408\u3063\u3066\u308b\u304b\u78ba\u8a8d\u3059\u308b\u3002\r\n  if (Kind && ArgNames.size() != Kind)\r\n    return ErrorP("Invalid number of operands for operator");\r\n\r\n  return new PrototypeAST(FnName, ArgNames, Kind != 0, BinaryPrecedence);\r\n}<\/pre>\n
\u3053\u308c\u306f\u5168\u3066\u5b9f\u306b\u7d20\u76f4\u306a\u69cb\u6587\u89e3\u6790\u306e\u30b3\u30fc\u30c9\u3067\u3042\u308a\u3001\u3053\u308c\u306b\u4f3c\u305f\u30b3\u30fc\u30c9\u3092\u3053\u308c\u307e\u3067\u3088\u304f\u898b\u3066\u304d\u305f\u3002
\n\u4e0a\u306e\u30b3\u30fc\u30c9\u3067\u9762\u767d\u3044\u306e\u306f\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306bFnName\u3092\u6e96\u5099\u3057\u3066\u308b2\u884c\u306e\u90e8\u5206\u3067\u3042\u308b\u3002
\n\u3082\u3057”@”\u6f14\u7b97\u5b50\u3092\u65b0\u3057\u304f\u5b9a\u7fa9\u3057\u305f\u3068\u3059\u308b\u3068\u3001\u3053\u306e2\u884c\u306b\u3088\u3063\u3066”binary@”\u3068\u3044\u3046\u540d\u524d\u3068\u306a\u308b\u3002
\n\u3053\u308c\u306f\u3001LLVM\u306e\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u306b\u767b\u9332\u3059\u308b\u30b7\u30f3\u30dc\u30eb\u540d\u3068\u3057\u3066\u3001\u30cc\u30eb\u6587\u5b57\u3092\u542b\u3080\u4efb\u610f\u306e\u6587\u5b57\u5217\u304c\u8a31\u53ef\u3055\u308c\u3066\u3044\u308b\u3068\u3044\u3046\u4e8b\u5b9f\u3092\u5229\u7528\u3057\u3066\u3044\u308b\u3002<\/p>\n
\u6b21\u306e\u8208\u5473\u6df1\u3044\u70b9\u306f\u3001\u3053\u308c\u3089\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306e\u30b3\u30fc\u30c9\u751f\u6210\u6a5f\u80fd\u306e\u8ffd\u52a0\u90e8\u5206\u3067\u308b\u3002
\n\u3053\u308c\u306f\u3001\u65e2\u5b58\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u30ce\u30fc\u30c9\u306e\u30b3\u30fc\u30c9\u306b\u3001\u7d44\u307f\u8fbc\u307f\u306e\u6f14\u7b97\u5b50\u3058\u3083\u306a\u3044\u5834\u5408\u306b\u3064\u3044\u3066\u7c21\u5358\u306a\u8ffd\u52a0\u3092\u884c\u3046\u3060\u3051\u3067\u6e08\u3080\u3002<\/p>\n
Value *BinaryExprAST::Codegen() {\r\n  Value *L = LHS->Codegen();\r\n  Value *R = RHS->Codegen();\r\n  if (L == 0 || R == 0) return 0;\r\n\r\n  switch (Op) {\r\n  case '+': return Builder.CreateFAdd(L, R, "addtmp");\r\n  case '-': return Builder.CreateFSub(L, R, "subtmp");\r\n  case '*': return Builder.CreateFMul(L, R, "multmp");\r\n  case '<':\r\n    L = Builder.CreateFCmpULT(L, R, "cmptmp");\r\n    \/\/ \u771f\u507d\u5024\u306e0, 1 \u3092 double\u306e0.0, 1.0\u306b\u5909\u63db\u3059\u308b\u3002\r\n    return Builder.CreateUIToFP(L, Type::getDoubleTy(getGlobalContext()),\r\n                                "booltmp");\r\n  default: break;\r\n  }\r\n\r\n  \/\/ \u7d44\u307f\u8fbc\u307f\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u306a\u3044\u5834\u5408\u306f\u3001\u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u3042\u308b\u3002\r\n  \/\/ \u305d\u308c\u3092\u547c\u3073\u51fa\u3059\u30b3\u30fc\u30c9\u3092\u751f\u6210\u3059\u308b\u3002\r\n  Function *F = TheModule->getFunction(std::string("binary")+Op);\r\n  assert(F && "binary operator not found!");\r\n\r\n  Value *Ops[2] = { L, R };\r\n  return Builder.CreateCall(F, Ops, "binop");\r\n}<\/pre>\n
\u4e0a\u306e\u30b3\u30fc\u30c9\u3067\u898b\u3089\u308c\u308b\u901a\u308a\u3001\u8ffd\u52a0\u3057\u305f\u30b3\u30fc\u30c9\u306f\u672c\u5f53\u306b\u30b7\u30f3\u30d7\u30eb\u3067\u3042\u308b\u3002
\n\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u304b\u3089\u9069\u5207\u306a\u6f14\u7b97\u5b50\u3092\u63a2\u3057\u3001\u305d\u308c\u3092\u547c\u3073\u51fa\u3059\u30b3\u30fc\u30c9\u3092\u751f\u6210\u3059\u308b\u3060\u3051\u3067\u3042\u308b\u3002
\n\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u306f\u3001\u5358\u306b\u666e\u901a\u306e\u95a2\u6570\u3068\u3057\u3066\u69cb\u7bc9\u3055\u308c\u308b\uff08\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306f\u6b63\u3057\u3044\u540d\u524d\u3067\u95a2\u6570\u306b\u306a\u308b\uff09\u306e\u3067\u3001\u5168\u3066\u3064\u3058\u3064\u307e\u304c\u3042\u3046\u3002<\/p>\n
\u6700\u5f8c\u306b\u3001\u30c8\u30c3\u30d7\u30ec\u30d9\u30eb\u306b\u304a\u3051\u308b\u3061\u3087\u3063\u3068\u3057\u305f\u9b54\u6cd5\u3092\u8ffd\u52a0\u3059\u308b\u3002<\/p>\n
Function *FunctionAST::Codegen() {\r\n  NamedValues.clear();\r\n\r\n  Function *TheFunction = Proto->Codegen();\r\n  if (TheFunction == 0)\r\n    return 0;\r\n\r\n  \/\/ \u3082\u3057\u6f14\u7b97\u5b50\u3060\u3063\u305f\u3089\u3001\u305d\u308c\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3059\u308b\u3002\r\n  if (Proto->isBinaryOp())\r\n    BinopPrecedence[Proto->getOperatorName()] = Proto->getBinaryPrecedence();\r\n\r\n  \/\/ \u633f\u5165\u3092\u958b\u59cb\u3059\u308b\u305f\u3081\u3001\u65b0\u3057\u3044\u57fa\u672c\u30d6\u30ed\u30c3\u30af\u3092\u4f5c\u6210\u3059\u308b\u3002\r\n  BasicBlock *BB = BasicBlock::Create(getGlobalContext(), "entry", TheFunction);\r\n  Builder.SetInsertPoint(BB);\r\n\r\n  if (Value *RetVal = Body->Codegen()) {\r\n    ...<\/pre>\n
\u57fa\u672c\u7684\u306b\u306f\u3001\u95a2\u6570\u306e\u30b3\u30fc\u30c9\u751f\u6210\u3092\u884c\u3046\u524d\u306b\u3001\u3082\u3057\u305d\u308c\u304c\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u306a\u3089\u3001\u305d\u308c\u3092\u512a\u5148\u9806\u4f4d\u30c6\u30fc\u30d6\u30eb\u306b\u767b\u9332\u3059\u308b\u3002
\n\u3053\u308c\u306b\u3088\u3063\u3066\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u69cb\u6587\u89e3\u6790\u30ed\u30b8\u30c3\u30af\u3067\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u3092\u51e6\u7406\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3088\u3046\u306b\u306a\u308b\u3002
\n\u6211\u3005\u306e\u69cb\u6587\u89e3\u6790\u5668\u306f\u3001\u5b8c\u5168\u306b\u6c4e\u7528\u7684\u306a\u6f14\u7b97\u5b50\u512a\u5148\u9806\u4f4d\u3092\u6271\u3048\u308b\u306e\u3067\u3001\u4ee5\u4e0a\u304c”\u6587\u6cd5\u306e\u62e1\u5f35”\u306b\u5fc5\u8981\u306a\u4e8b\u5168\u3066\u3067\u3042\u308b\u3002<\/p>\n
\u3053\u308c\u3067\u4fbf\u5229\u306a\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u3092\u5f97\u305f\u3002
\n\u4ee5\u4e0a\u306e\u4e8b\u306f\u3001\u65e2\u5b58\u306e\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306b\u69cb\u7bc9\u3057\u305f\u524d\u7ae0\u307e\u3067\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306b\u304b\u306a\u308a\u57fa\u790e\u3092\u7f6e\u3044\u3066\u308b\u3002
\n\u6211\u3005\u306f\u307e\u3060\u5358\u9805\u6f14\u7b97\u5b50\u3092\u6271\u3046\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3092\u6301\u3063\u3066\u3044\u306a\u3044\u306e\u3067\u3001\u5358\u9805\u6f14\u7b97\u5b50\u306e\u8ffd\u52a0\u306b\u95a2\u3057\u3066\u306f\u3061\u3087\u3063\u3068\u30c1\u30e3\u30ec\u30f3\u30b8\u30f3\u30b0\u3067\u3042\u308b\u3002
\n\u6b21\u306f\u305d\u308c\u306b\u3064\u3044\u3066\u8aac\u660e\u3059\u308b\u3002<\/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\u7b2c6\u7ae0 \u4e07\u83ef\u93e1: \u8a00\u8a9e\u306e\u62e1\u5f35: \u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50
\n\u7b2c3\u7bc0 \u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e8c\u9805\u6f14\u7b97\u5b50<\/a><\/p>\n
\u6211\u3005\u306e\u73fe\u5728\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3060\u3068\u3001\u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u30b5\u30dd\u30fc\u30c8\u3092\u8ffd\u52a0\u3059\u308b\u306e\u306f\u5b9f\u306b\u7c21\u5358\u3067\u3042\u308b\u3002
\n\u307e\u305a\u3001unary\uff08\u5358\u9805\u6f14\u7b97\u5b50\u7528\uff09\u3068binary\uff08\u4e8c\u9805\u6f14\u7b97\u5b50\u7528\uff09\u306e\u305f\u3081\u306e\u30ad\u30fc\u30ef\u30fc\u30c9\u306e\u30b5\u30dd\u30fc\u30c8\u3092\u8ffd\u52a0\u3059\u308b\u3002<\/p>\n
enum Token {\r\n  ...\r\n  \/\/ \u6f14\u7b97\u5b50\r\n  tok_binary = -11, tok_unary = -12\r\n};\r\n...\r\nstatic int gettok() {\r\n...\r\n    if (IdentifierStr == "for") return tok_for;\r\n    if (IdentifierStr == "in") return tok_in;\r\n    if (IdentifierStr == "binary") return tok_binary;\r\n    if (IdentifierStr == "unary") return tok_unary;\r\n    return tok_identifier;<\/pre>\n
\u3053\u308c\u306b\u3088\u308a\u3001\u5b57\u53e5\u89e3\u6790\u5668\u306bunary\u3068binary\u3068\u3044\u3046\u30ad\u30fc\u30ef\u30fc\u30c9\u306b\u5bfe\u3059\u308b\u30b5\u30dd\u30fc\u30c8\u304c\u8ffd\u52a0\u3055\u308c\u308b\u3002\uff08\u3053\u308c\u306f\u524d\u306e\u7ae0\u3067\u3082\u3084\u3063\u305f\u4f5c\u696d\u3067\u3042\u308b\u3002\uff09
\n\u73fe\u5728\u306e\u6211\u3005\u306eAST\u306e\u826f\u3044\u3068\u3053\u308d\u306f\u3001ASCII\u30b3\u30fc\u30c9\u3092\u305d\u306e\u307e\u307eopcode\u3068\u3057\u3066\u7528\u3044\u308b\u3053\u3068\u306b\u3088\u3063\u3066\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u5b8c\u5168\u306b\u4e00\u822c\u5316\u3057\u3066\u8868\u73fe\u3057\u3066\u308b\u3053\u3068\u3067\u3042\u308b\u3002
\n\u3053\u308c\u304b\u3089\u6211\u3005\u304c\u62e1\u5f35\u3059\u308b\u6f14\u7b97\u5b50\u306b\u3064\u3044\u3066\u3082\u3001\u540c\u3058\u8868\u73fe\u3092\u4f7f\u7528\u3059\u308b\u306e\u3067\u3001\u65b0\u3057\u3044AST\u30af\u30e9\u30b9\u3084\u69cb\u6587\u89e3\u6790\u5668\u306e\u30b5\u30dd\u30fc\u30c8\u306f\u5fc5\u8981\u306a\u3044\u3002<\/p>\n
\u4e00\u65b9\u3001\u95a2\u6570\u5b9a\u7fa9\u306e\u4e00\u7a2e”def binary| 5″\u306e\u3088\u3046\u306a\u5f62\u3067\u65b0\u3057\u3044\u6f14\u7b97\u5b50\u306e\u5b9a\u7fa9\u3092\u8868\u73fe\u3067\u304d\u308b\u3088\u3046\u306b\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002
\n\u3053\u308c\u307e\u3067\u6211\u3005\u306e\u6587\u6cd5\u3067\u306f\u3001\u95a2\u6570\u5b9a\u7fa9\u306e\u305f\u3081\u306e\u540d\u524d\u306f\u3001\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3068\u3057\u3066PrototypeAST\u30ce\u30fc\u30c9\u306e\u4e2d\u306b\uff08\u69cb\u6587\u89e3\u6790\u3055\u308c\u305f\u7d50\u679c\uff09\u4fdd\u6301\u3055\u308c\u3066\u3044\u305f\u3002
\n\u65b0\u3057\u3044\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u3092\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3068\u3057\u3066\u8868\u73fe\u3059\u308b\u306b\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u3057\u3066PrototypeAST\u30ce\u30fc\u30c9\u3092\u62e1\u5f35\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n
\/\/\/ PrototypeAST - \u3053\u306e\u30af\u30e9\u30b9\u306f\u95a2\u6570\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3092\u8868\u3057\u3066\u3044\u308b\u3002\r\n\/\/\/ \u3082\u3057\u6f14\u7b97\u5b50\u3060\u3063\u305f\u3068\u3057\u3066\u3082\u305d\u306e\u5f15\u6570\u540d\u3092\u30ad\u30e3\u30d7\u30c1\u30e3\u3059\u308b\u3002\r\nclass PrototypeAST {\r\n  std::string Name;\r\n  std::vector<std::string> Args;\r\n  bool isOperator;\r\n  unsigned Precedence;  \/\/ \u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u5834\u5408\u306e\u512a\u5148\u9806\u4f4d\r\npublic:\r\n  PrototypeAST(const std::string &name, const std::vector<std::string> &args,\r\n               bool isoperator = false, unsigned prec = 0)\r\n  : Name(name), Args(args), isOperator(isoperator), Precedence(prec) {}\r\n\r\n  bool isUnaryOp() const { return isOperator && Args.size() == 1; }\r\n  bool isBinaryOp() const { return isOperator && Args.size() == 2; }\r\n\r\n  char getOperatorName() const {\r\n    assert(isUnaryOp() || isBinaryOp());\r\n    return Name[Name.size()-1];\r\n  }\r\n\r\n  unsigned getBinaryPrecedence() const { return Precedence; }\r\n\r\n  Function *Codegen();\r\n};<\/pre>\n
\u57fa\u672c\u7684\u306b\u3001\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306e\u540d\u524d\u3092\u4fdd\u6301\u3059\u308b\u3053\u3068\u306b\u52a0\u3048\u3066\u3001\u305d\u308c\u304c\u6f14\u7b97\u5b50\u304b\u3069\u3046\u304b\u306e\u60c5\u5831\u3092\u4fdd\u6301\u3057\u3001\u3055\u3089\u306b\u6f14\u7b97\u5b50\u306e\u5834\u5408\u306b\u306f\u305d\u306e\u512a\u5148\u9806\u4f4d\u3092\u4fdd\u6301\u3059\u308b\u3002
\n\u512a\u5148\u9806\u4f4d\u306f\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u306e\u307f\u4f7f\u7528\u3055\u308c\u308b\u3002\uff08\u6b21\u306e\u7bc0\u3067\u3082\u898b\u308b\u901a\u308a\u3001\u5358\u9805\u6f14\u7b97\u5b50\u306b\u306f\u4f7f\u7528\u3057\u306a\u3044\u3002\uff09
\n\u3053\u308c\u3067\u3001\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3092\u8868\u73fe\u3059\u308b\u65b9\u6cd5\u3092\u5f97\u305f\u3002
\n\u6b21\u306f\u3053\u308c\u3092\u89e3\u6790\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n
\/\/\/ prototype\r\n\/\/\/   ::= id '(' id* ')'\r\n\/\/\/   ::= binary LETTER number? (id, id)\r\nstatic PrototypeAST *ParsePrototype() {\r\n  std::string FnName;\r\n\r\n  unsigned Kind = 0;  \/\/ 0 = \u8b58\u5225\u5b50, 1 = \u5358\u9805, 2 = \u4e8c\u9805.\r\n  unsigned BinaryPrecedence = 30;\r\n\r\n  switch (CurTok) {\r\n  default:\r\n    return ErrorP("Expected function name in prototype");\r\n  case tok_identifier:\r\n    FnName = IdentifierStr;\r\n    Kind = 0;\r\n    getNextToken();\r\n    break;\r\n  case tok_binary:\r\n    getNextToken();\r\n    if (!isascii(CurTok))\r\n      return ErrorP("Expected binary operator");\r\n    FnName = "binary";\r\n    FnName += (char)CurTok;\r\n    Kind = 2;\r\n    getNextToken();\r\n\r\n    \/\/ \u512a\u5148\u9806\u4f4d\u304c\u6307\u5b9a\u3055\u308c\u3066\u3044\u308c\u3070\u305d\u308c\u3092\u8aad\u307f\u8fbc\u3080\u3002\r\n    if (CurTok == tok_number) {\r\n      if (NumVal < 1 || NumVal > 100)\r\n        return ErrorP("Invalid precedecnce: must be 1..100");\r\n      BinaryPrecedence = (unsigned)NumVal;\r\n      getNextToken();\r\n    }\r\n    break;\r\n  }\r\n\r\n  if (CurTok != '(')\r\n    return ErrorP("Expected '(' in prototype");\r\n\r\n  std::vector<std::string> ArgNames;\r\n  while (getNextToken() == tok_identifier)\r\n    ArgNames.push_back(IdentifierStr);\r\n  if (CurTok != ')')\r\n    return ErrorP("Expected ')' in prototype");\r\n\r\n  \/\/ \u6210\u529f\u3002\r\n  getNextToken();  \/\/ ')'\u3092\u6d88\u5316\u3002\r\n\r\n  \/\/ \u6f14\u7b97\u5b50\u306a\u3089\u5f15\u6570\u306e\u6570\u304c\u305d\u308c\u306b\u5408\u3063\u3066\u308b\u304b\u78ba\u8a8d\u3059\u308b\u3002\r\n  if (Kind && ArgNames.size() != Kind)\r\n    return ErrorP("Invalid number of operands for operator");\r\n\r\n  return new PrototypeAST(FnName, ArgNames, Kind != 0, BinaryPrecedence);\r\n}<\/pre>\n
\u3053\u308c\u306f\u5168\u3066\u5b9f\u306b\u7d20\u76f4\u306a\u69cb\u6587\u89e3\u6790\u306e\u30b3\u30fc\u30c9\u3067\u3042\u308a\u3001\u3053\u308c\u306b\u4f3c\u305f\u30b3\u30fc\u30c9\u3092\u3053\u308c\u307e\u3067\u3088\u304f\u898b\u3066\u304d\u305f\u3002
\n\u4e0a\u306e\u30b3\u30fc\u30c9\u3067\u9762\u767d\u3044\u306e\u306f\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306bFnName\u3092\u6e96\u5099\u3057\u3066\u308b2\u884c\u306e\u90e8\u5206\u3067\u3042\u308b\u3002
\n\u3082\u3057”@”\u6f14\u7b97\u5b50\u3092\u65b0\u3057\u304f\u5b9a\u7fa9\u3057\u305f\u3068\u3059\u308b\u3068\u3001\u3053\u306e2\u884c\u306b\u3088\u3063\u3066”binary@”\u3068\u3044\u3046\u540d\u524d\u3068\u306a\u308b\u3002
\n\u3053\u308c\u306f\u3001LLVM\u306e\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u306b\u767b\u9332\u3059\u308b\u30b7\u30f3\u30dc\u30eb\u540d\u3068\u3057\u3066\u3001\u30cc\u30eb\u6587\u5b57\u3092\u542b\u3080\u4efb\u610f\u306e\u6587\u5b57\u5217\u304c\u8a31\u53ef\u3055\u308c\u3066\u3044\u308b\u3068\u3044\u3046\u4e8b\u5b9f\u3092\u5229\u7528\u3057\u3066\u3044\u308b\u3002<\/p>\n
\u6b21\u306e\u8208\u5473\u6df1\u3044\u70b9\u306f\u3001\u3053\u308c\u3089\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306e\u30b3\u30fc\u30c9\u751f\u6210\u6a5f\u80fd\u306e\u8ffd\u52a0\u90e8\u5206\u3067\u308b\u3002
\n\u3053\u308c\u306f\u3001\u65e2\u5b58\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u30ce\u30fc\u30c9\u306e\u30b3\u30fc\u30c9\u306b\u3001\u7d44\u307f\u8fbc\u307f\u306e\u6f14\u7b97\u5b50\u3058\u3083\u306a\u3044\u5834\u5408\u306b\u3064\u3044\u3066\u7c21\u5358\u306a\u8ffd\u52a0\u3092\u884c\u3046\u3060\u3051\u3067\u6e08\u3080\u3002<\/p>\n
Value *BinaryExprAST::Codegen() {\r\n  Value *L = LHS->Codegen();\r\n  Value *R = RHS->Codegen();\r\n  if (L == 0 || R == 0) return 0;\r\n\r\n  switch (Op) {\r\n  case '+': return Builder.CreateFAdd(L, R, "addtmp");\r\n  case '-': return Builder.CreateFSub(L, R, "subtmp");\r\n  case '*': return Builder.CreateFMul(L, R, "multmp");\r\n  case '<':\r\n    L = Builder.CreateFCmpULT(L, R, "cmptmp");\r\n    \/\/ \u771f\u507d\u5024\u306e0, 1 \u3092 double\u306e0.0, 1.0\u306b\u5909\u63db\u3059\u308b\u3002\r\n    return Builder.CreateUIToFP(L, Type::getDoubleTy(getGlobalContext()),\r\n                                "booltmp");\r\n  default: break;\r\n  }\r\n\r\n  \/\/ \u7d44\u307f\u8fbc\u307f\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u306a\u3044\u5834\u5408\u306f\u3001\u30e6\u30fc\u30b6\u5b9a\u7fa9\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u3042\u308b\u3002\r\n  \/\/ \u305d\u308c\u3092\u547c\u3073\u51fa\u3059\u30b3\u30fc\u30c9\u3092\u751f\u6210\u3059\u308b\u3002\r\n  Function *F = TheModule->getFunction(std::string("binary")+Op);\r\n  assert(F && "binary operator not found!");\r\n\r\n  Value *Ops[2] = { L, R };\r\n  return Builder.CreateCall(F, Ops, "binop");\r\n}<\/pre>\n
\u4e0a\u306e\u30b3\u30fc\u30c9\u3067\u898b\u3089\u308c\u308b\u901a\u308a\u3001\u8ffd\u52a0\u3057\u305f\u30b3\u30fc\u30c9\u306f\u672c\u5f53\u306b\u30b7\u30f3\u30d7\u30eb\u3067\u3042\u308b\u3002
\n\u30b7\u30f3\u30dc\u30eb\u30c6\u30fc\u30d6\u30eb\u304b\u3089\u9069\u5207\u306a\u6f14\u7b97\u5b50\u3092\u63a2\u3057\u3001\u305d\u308c\u3092\u547c\u3073\u51fa\u3059\u30b3\u30fc\u30c9\u3092\u751f\u6210\u3059\u308b\u3060\u3051\u3067\u3042\u308b\u3002
\n\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u306f\u3001\u5358\u306b\u666e\u901a\u306e\u95a2\u6570\u3068\u3057\u3066\u69cb\u7bc9\u3055\u308c\u308b\uff08\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306f\u6b63\u3057\u3044\u540d\u524d\u3067\u95a2\u6570\u306b\u306a\u308b\uff09\u306e\u3067\u3001\u5168\u3066\u3064\u3058\u3064\u307e\u304c\u3042\u3046\u3002<\/p>\n
\u6700\u5f8c\u306b\u3001\u30c8\u30c3\u30d7\u30ec\u30d9\u30eb\u306b\u304a\u3051\u308b\u3061\u3087\u3063\u3068\u3057\u305f\u9b54\u6cd5\u3092\u8ffd\u52a0\u3059\u308b\u3002<\/p>\n
Function *FunctionAST::Codegen() {\r\n  NamedValues.clear();\r\n\r\n  Function *TheFunction = Proto->Codegen();\r\n  if (TheFunction == 0)\r\n    return 0;\r\n\r\n  \/\/ \u3082\u3057\u6f14\u7b97\u5b50\u3060\u3063\u305f\u3089\u3001\u305d\u308c\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3059\u308b\u3002\r\n  if (Proto->isBinaryOp())\r\n    BinopPrecedence[Proto->getOperatorName()] = Proto->getBinaryPrecedence();\r\n\r\n  \/\/ \u633f\u5165\u3092\u958b\u59cb\u3059\u308b\u305f\u3081\u3001\u65b0\u3057\u3044\u57fa\u672c\u30d6\u30ed\u30c3\u30af\u3092\u4f5c\u6210\u3059\u308b\u3002\r\n  BasicBlock *BB = BasicBlock::Create(getGlobalContext(), "entry", TheFunction);\r\n  Builder.SetInsertPoint(BB);\r\n\r\n  if (Value *RetVal = Body->Codegen()) {\r\n    ...<\/pre>\n
\u57fa\u672c\u7684\u306b\u306f\u3001\u95a2\u6570\u306e\u30b3\u30fc\u30c9\u751f\u6210\u3092\u884c\u3046\u524d\u306b\u3001\u3082\u3057\u305d\u308c\u304c\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u306a\u3089\u3001\u305d\u308c\u3092\u512a\u5148\u9806\u4f4d\u30c6\u30fc\u30d6\u30eb\u306b\u767b\u9332\u3059\u308b\u3002
\n\u3053\u308c\u306b\u3088\u3063\u3066\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u69cb\u6587\u89e3\u6790\u30ed\u30b8\u30c3\u30af\u3067\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u3092\u51e6\u7406\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3088\u3046\u306b\u306a\u308b\u3002
\n\u6211\u3005\u306e\u69cb\u6587\u89e3\u6790\u5668\u306f\u3001\u5b8c\u5168\u306b\u6c4e\u7528\u7684\u306a\u6f14\u7b97\u5b50\u512a\u5148\u9806\u4f4d\u3092\u6271\u3048\u308b\u306e\u3067\u3001\u4ee5\u4e0a\u304c”\u6587\u6cd5\u306e\u62e1\u5f35”\u306b\u5fc5\u8981\u306a\u4e8b\u5168\u3066\u3067\u3042\u308b\u3002<\/p>\n
\u3053\u308c\u3067\u4fbf\u5229\u306a\u30e6\u30fc\u30b6\u5b9a\u7fa9\u6f14\u7b97\u5b50\u3092\u5f97\u305f\u3002
\n\u4ee5\u4e0a\u306e\u4e8b\u306f\u3001\u65e2\u5b58\u306e\u6f14\u7b97\u5b50\u306e\u305f\u3081\u306b\u69cb\u7bc9\u3057\u305f\u524d\u7ae0\u307e\u3067\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306b\u304b\u306a\u308a\u57fa\u790e\u3092\u7f6e\u3044\u3066\u308b\u3002
\n\u6211\u3005\u306f\u307e\u3060\u5358\u9805\u6f14\u7b97\u5b50\u3092\u6271\u3046\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3092\u6301\u3063\u3066\u3044\u306a\u3044\u306e\u3067\u3001\u5358\u9805\u6f14\u7b97\u5b50\u306e\u8ffd\u52a0\u306b\u95a2\u3057\u3066\u306f\u3061\u3087\u3063\u3068\u30c1\u30e3\u30ec\u30f3\u30b8\u30f3\u30b0\u3067\u3042\u308b\u3002
\n\u6b21\u306f\u305d\u308c\u306b\u3064\u3044\u3066\u8aac\u660e\u3059\u308b\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-3005","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\/3005","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=3005"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/3005\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=3005"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=3005"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=3005"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}