{"id":2955,"date":"2013-08-25T21:16:01","date_gmt":"2013-08-25T12:16:01","guid":{"rendered":"http:\/\/peta.okechan.net\/blog\/?p=2955"},"modified":"2013-08-25T21:16:01","modified_gmt":"2013-08-25T12:16:01","slug":"4-3-llvm%e6%9c%80%e9%81%a9%e5%8c%96%e3%83%91%e3%82%b9","status":"publish","type":"post","link":"https:\/\/peta.okechan.net\/blog\/archives\/2955","title":{"rendered":"4.3. LLVM\u6700\u9069\u5316\u30d1\u30b9"},"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\u7b2c4\u7ae0 \u4e07\u83ef\u93e1: JIT\u306e\u8ffd\u52a0\u3068\u6700\u9069\u5316\u306e\u30b5\u30dd\u30fc\u30c8
\n\u7b2c3\u7bc0 LLVM\u6700\u9069\u5316\u30d1\u30b9<\/a><\/p>\n

LLVM\u306f\u3001\u69d8\u3005\u306a\u7a2e\u985e\u306e\u3001\u69d8\u3005\u306a\u30c8\u30ec\u30fc\u30c9\u30aa\u30d5\u3092\u6301\u3064\u3001\u591a\u304f\u306e\u6700\u9069\u5316\u30d1\u30b9\u3092\u63d0\u4f9b\u3059\u308b\u3002
\n\u4ed6\u306e\u30b7\u30b9\u30c6\u30e0\u3068\u9055\u3063\u3066\u3001LLVM\u306f\u3001\u3042\u308b\u6700\u9069\u5316\u304c\u5168\u3066\u306e\u8a00\u8a9e\u3084\u5168\u3066\u306e\u72b6\u6cc1\u306b\u304a\u3044\u3066\u6b63\u3057\u3044\u3001\u3068\u3044\u3046\u8aa4\u3063\u305f\u8003\u3048\u306f\u6301\u3063\u3066\u3044\u306a\u3044\u3002
\nLLVM\u3067\u306f\u3001\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u5b9f\u88c5\u8005\u304c\u3001\u3069\u306e\u5834\u5408\u306b\u3001\u3069\u3046\u3044\u3046\u9806\u756a\u3067\u3001\u3069\u306e\u6700\u9069\u5316\u3092\u4f7f\u3046\u304b\u306b\u3064\u3044\u3066\u5168\u3066\u597d\u304d\u306b\u9078\u629e\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u3068\u306a\u3063\u3066\u3044\u308b\u3002<\/p>\n

\u5177\u4f53\u7684\u306a\u4f8b\u3068\u3057\u3066\u3001LLVM\u306f”\u30e2\u30b8\u30e5\u30fc\u30eb\u5168\u4f53\uff08whole module\uff09”\u306e\u30d1\u30b9 -\u30b3\u30fc\u30c9\u306e\u672c\u6587\u306e\u5168\u4f53\u306b\u6e21\u3063\u3066\u6700\u9069\u5316\u53ef\u80fd\u306b\u3059\u308b\u305f\u3081\u306e\u3082\u306e- \u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3002
\n\uff08\u3057\u3070\u3057\u3070\u305d\u308c\u306f\u30d5\u30a1\u30a4\u30eb\u5168\u4f53\u3067\u3042\u308b\u3002\u305f\u3060\u3057\u30ea\u30f3\u30af\u6642\u306e\u5834\u5408\u306f\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u5168\u4f53\u306e\u5b9f\u4f53\u90e8\u5206\u3068\u306a\u308a\u3046\u308b\u3002\uff09
\n\u307e\u305f\u3001\u4ed6\u306e\u95a2\u6570\u3092\u898b\u305a\u306b\u3001\u4e00\u5ea6\u306b\u3072\u3068\u3064\u306e\u95a2\u6570\u3060\u3051\u3092\u51e6\u7406\u3059\u308b\u305f\u3081\u306e”\u95a2\u6570\u5358\u4f4d\uff08per-function\uff09”\u306e\u30d1\u30b9\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3002
\n\u30d1\u30b9\u306e\u8a73\u3057\u3044\u60c5\u5831\u3084\u3001\u30d1\u30b9\u304c\u3069\u3046\u3084\u3063\u3066\u52d5\u4f5c\u3059\u308b\u304b\u306b\u3064\u3044\u3066\u306f\u3001\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u306e”LLVM\u306e\u30d1\u30b9\u4e00\u6b04<\/a>“\u306e\u30da\u30fc\u30b8\u3068\u3001”\u30d1\u30b9\u306e\u66f8\u304d\u65b9<\/a>“\u306e\u30da\u30fc\u30b8\u3092\u53c2\u7167\u3002<\/p>\n

\u4e07\u83ef\u93e1\u306b\u3064\u3044\u3066\u306f\u3001\u73fe\u72b6\u3067\u306f\u3001\u30e6\u30fc\u30b6\u304c\u95a2\u6570\u3092\u5165\u529b\u3057\u305f\u3068\u304d\u306b\u3001\u4e00\u5ea6\u306b\u3072\u3068\u3064\u305a\u3064\u3001\u30aa\u30f3\u30b6\u30d5\u30e9\u30a4\u3067\u95a2\u6570\u3092\u751f\u6210\u3057\u3066\u3044\u308b\u3002
\n\u3053\u306e\u3088\u3046\u306a\u72b6\u6cc1\u3067\u306f\u3001\u3082\u306e\u51c4\u3044\u6700\u9069\u5316\u4f53\u9a13\u3068\u3044\u3046\u3082\u306e\u306f\u5f97\u3089\u308c\u306a\u3044\u304c\u3001\u7c21\u5358\u3067\u624b\u3063\u53d6\u308a\u65e9\u304f\u4f3c\u305f\u3088\u3046\u306a\u3053\u3068\u3092\u884c\u3046\u65b9\u6cd5\u306f\u3042\u308b\u3002
\n\u3064\u307e\u308a\u3001\u30e6\u30fc\u30b6\u30fc\u304c\u95a2\u6570\u3092\u5165\u529b\u3057\u305f\u969b\u306b\u3001”\u95a2\u6570\u5358\u4f4d\uff08per-function\uff09”\u306e\u6700\u9069\u5316\u3092\u3044\u304f\u3064\u304b\u65bd\u305d\u3046\u3068\u3044\u3046\u306e\u3067\u3042\u308b\u3002
\n\u3082\u3057\u3001\u30b9\u30bf\u30c6\u30a3\u30c3\u30af\u306a\u4e07\u83ef\u93e1\u30b3\u30f3\u30d1\u30a4\u30e9\u3092\u4f5c\u308a\u305f\u3044\u5834\u5408\u306f\u3001\u30d5\u30a1\u30a4\u30eb\u5168\u4f53\u304c\u69cb\u6587\u89e3\u6790\u3055\u308c\u308b\u307e\u3067\u6700\u9069\u5316\u306e\u5b9f\u884c\u3092\u9045\u3089\u305b\u306a\u304d\u3083\u3044\u3051\u306a\u3044\u3068\u3044\u3046\u70b9\u3092\u9664\u3044\u3066\u3001\u73fe\u5728\u6211\u3005\u304c\u6301\u3063\u3066\u3044\u308b\u30b3\u30fc\u30c9\u304c\u305d\u306e\u307e\u307e\u4f7f\u3048\u308b\u3002
\n\u8a33\u6ce8: \u30b9\u30bf\u30c6\u30a3\u30c3\u30af\u306a\u30b3\u30f3\u30d1\u30a4\u30e9\u3068\u3044\u3046\u306e\u306fJIT\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u5bfe\u3057\u3066\u666e\u901a\u306e\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u4e8b\u3092\u6307\u3057\u3066\u308b\u3082\u306e\u3068\u601d\u308f\u308c\u308b\u3002<\/em><\/p>\n

\u95a2\u6570\u6bce\u306e\u6700\u9069\u5316\u3092\u5b9f\u884c\u3059\u308b\u306b\u306f\u3001\u5b9f\u884c\u3057\u305f\u3044LLVM\u6700\u9069\u5316\u3092\u307e\u3068\u3081\u3066\u4fdd\u6301\u3059\u308b\u305f\u3081\u306eFunctionPassManager\u3092\u30bb\u30c3\u30c8\u30a2\u30c3\u30d7\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002
\n\u4e00\u5ea6\u305d\u308c\u3092\u884c\u3048\u3070\u3001\u5b9f\u884c\u3057\u305f\u3044\u6700\u9069\u5316\u3092\u8ffd\u52a0\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002
\n\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u611f\u3058\u3067\u3042\u308b\u3002<\/p>\n

FunctionPassManager OurFPM(TheModule);\r\n\r\n\/\/ \u30aa\u30d7\u30c6\u30a3\u30de\u30a4\u30b6\u306e\u30d1\u30a4\u30d7\u30e9\u30a4\u30f3\u3092\u6e96\u5099\u3059\u308b\u3002\r\n\/\/ \u30bf\u30fc\u30b2\u30c3\u30c8\u304c\u30c7\u30fc\u30bf\u69cb\u9020\u3092\u3069\u3046\u3084\u3063\u3066\u914d\u7f6e\u3059\u308b\u304b\u306b\u3064\u3044\u3066\u306e\u60c5\u5831\u3092\u307e\u305a\u767b\u9332\u3059\u308b\u3002\r\nOurFPM.add(new DataLayout(*TheExecutionEngine->getDataLayout()));\r\n\/\/ GVN\uff08Global value numbering, \u5927\u57df\u5024\u756a\u53f7\u4ed8\u3051\uff09\u306e\u305f\u3081\u306b\u3001\u57fa\u672c\u7684\u306a\u30a8\u30a4\u30ea\u30a2\u30b9\u89e3\u6790\u306e\u30b5\u30dd\u30fc\u30c8\u3092\u63d0\u4f9b\u3059\u308b\u3002\r\nOurFPM.add(createBasicAliasAnalysisPass());\r\n\/\/ \u7c21\u5358\u306a\u30d4\u30fc\u30d7\u30db\u30fc\u30eb\u6700\u9069\u5316\uff08\u8997\u304d\u7a74\u6700\u9069\u5316\uff09\u3068\u30d3\u30c3\u30c8\u64cd\u4f5c\u6700\u9069\u5316\u3092\u884c\u308f\u305b\u308b\u3002\r\nOurFPM.add(createInstructionCombiningPass());\r\n\/\/ \u5f0f\u306e\u518d\u7d50\u5408\u3002\r\nOurFPM.add(createReassociatePass());\r\n\/\/ \u5171\u901a\u306a\u90e8\u5206\u5f0f\u306e\u9664\u53bb\u3002\uff08CSE, \u5171\u901a\u90e8\u5206\u5f0f\u9664\u53bb\uff09\r\nOurFPM.add(createGVNPass());\r\n\/\/ \u5236\u5fa1\u30d5\u30ed\u30fc\u30b0\u30e9\u30d5\u306e\u7c21\u7d04\u5316\u3002\uff08\u5230\u9054\u4e0d\u80fd\u306a\u30d6\u30ed\u30c3\u30af\u3092\u524a\u9664\u3059\u308b\u306a\u3069\uff09\r\nOurFPM.add(createCFGSimplificationPass());\r\n\r\nOurFPM.doInitialization();\r\n\r\n\/\/ \u30b3\u30fc\u30c9\u751f\u6210\u5668\u304b\u3089\u5229\u7528\u3059\u308b\u305f\u3081\u30b0\u30ed\u30fc\u30d0\u30eb\u5909\u6570\u306b\u683c\u7d0d\u3002\r\nTheFPM = &OurFPM;\r\n\r\n\/\/ \u3053\u3053\u3067\u30e1\u30a4\u30f3\u306e\u30a4\u30f3\u30bf\u30d7\u30ea\u30bf\u306e\u30eb\u30fc\u30d7\u3092\u5b9f\u884c\u3059\u308b\u3002\r\nMainLoop();<\/pre>\n
\u3053\u306e\u30b3\u30fc\u30c9\u306f\u3001FunctionPassManager\u3092”OurFPM”\u3068\u3057\u3066\u5b9a\u7fa9\u3057\u3066\u3044\u308b\u3002
\nFunctionPassManager\u306f\u3001\u305d\u308c\u81ea\u8eab\u306e\u69cb\u7bc9\u306e\u305f\u3081\u306bModule\u3078\u306e\u30dd\u30a4\u30f3\u30bf\u3092\u5fc5\u8981\u3068\u3059\u308b\u3002
\n\u6e96\u5099\u304c\u7d42\u308f\u308c\u3070\u3001\u3042\u3068\u306f\u69d8\u3005\u306aLLVM\u306e\u30d1\u30b9\u3092\u4e00\u9023\u306eadd\u30e1\u30bd\u30c3\u30c9\u306e\u547c\u3073\u51fa\u3057\u3067\u8ffd\u52a0\u51fa\u6765\u308b\u3002
\n\u6700\u521d\u306e\u30d1\u30b9\u306f\u3001\u3044\u308f\u3070\u6c7a\u307e\u308a\u6587\u53e5\u3067\u3042\u308a\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4e2d\u306e\u30c7\u30fc\u30bf\u69cb\u9020\u304c\u3069\u3046\u3044\u3046\u914d\u7f6e\u306b\u306a\u3063\u3066\u308b\u304b\u306b\u3064\u3044\u3066\u4ee5\u964d\u306e\u6700\u9069\u5316\u30d1\u30b9\u306b\u77e5\u3089\u305b\u308b\u305f\u3081\u306e\u30d1\u30b9\u3067\u3042\u308b\u3002
\n“TheExecutionEngine”\u5909\u6570\u306fJIT\u306b\u95a2\u9023\u3057\u3066\u3044\u3066\u3001\u305d\u308c\u306b\u3064\u3044\u3066\u306f\u6b21\u306e\u7bc0\u3067\u8ff0\u3079\u308b\u3002<\/p>\n
\u4e0a\u306e\u5834\u5408\u3067\u306f\u3001\u6211\u3005\u306f4\u3064\u306e\u6700\u9069\u5316\u30d1\u30b9\u3092\u8ffd\u52a0\u3059\u308b\u4e8b\u3092\u9078\u629e\u3057\u305f\u3002
\n\u3053\u3053\u3067\u9078\u3093\u3060\u30d1\u30b9\u306f\u3001\u8272\u3093\u306a\u7a2e\u985e\u306e\u30b3\u30fc\u30c9\u306b\u5bfe\u3057\u3066\u5f79\u7acb\u3064\u975e\u5e38\u306b\u6a19\u6e96\u7684\u306a”\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7”\u6700\u9069\u5316\u3067\u3042\u308b\u3002
\n\u3053\u3053\u3067\u306f\u305d\u308c\u3089\u306e\u6700\u9069\u5316\u304c\u4f55\u3092\u884c\u3063\u3066\u308b\u306e\u304b\u306b\u3064\u3044\u3066\u6df1\u304f\u8aac\u660e\u3059\u308b\u3053\u3068\u306f\u3057\u306a\u3044\u304c\u3001\u3053\u308c\u306f\u3088\u3044\u51fa\u767a\u70b9\u3067\u3042\u308b\u3068\u601d\u3063\u3066\u6b32\u3057\u3044\u3002
\n\u8a33\u6ce8: \u3053\u3053\u3067\u3044\u3046\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u306f\u91ce\u7403\u7528\u8a9e\uff08\u7c73\u56fd\u3067\u306f4\u756a\u6253\u8005\u306e\u307f\u3092\u6307\u3059\uff09\u3067\u3001”\u304b\u306a\u308a\u52b9\u679c\u7684\u201d\u3068\u3044\u3046\u3088\u3046\u306a\u610f\u5473\u304b\u3068\u601d\u3046\u3002<\/em><\/p>\n
PassManager\u304c\u6e96\u5099\u3067\u304d\u305f\u3089\u3001\u305d\u308c\u3092\u4f7f\u3046\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002
\n\u3053\u308c\u306b\u3064\u3044\u3066\u306f\u3001\u65b0\u3057\u304f\u95a2\u6570\u304c\u69cb\u7bc9\u3055\u308c\u305f\u5f8c\u3001\u547c\u3073\u51fa\u3057\u5143\u306b\u8fd4\u308b\u76f4\u524d\u306b\u884c\u3046\u3002\uff08FunctionAST::Codegen\u306e\u4e2d\u3067\uff09<\/p>\n
if (Value *RetVal = Body->Codegen()) {\r\n  \/\/ \u95a2\u6570\u3092\u4ed5\u4e0a\u3052\u308b\u3002\r\n  Builder.CreateRet(RetVal);\r\n\r\n  \/\/ \u77db\u76fe\u304c\u7121\u3044\u304b\u3001\u751f\u6210\u3055\u308c\u305f\u30b3\u30fc\u30c9\u3092\u691c\u8a3c\u3059\u308b\u3002\r\n  verifyFunction(*TheFunction);\r\n\r\n  \/\/ \u95a2\u6570\u3092\u6700\u9069\u5316\u3059\u308b\u3002\r\n  TheFPM->run(*TheFunction);\r\n\r\n  return TheFunction;\r\n}<\/pre>\n
\u898b\u3066\u306e\u901a\u308a\u3001\u305d\u306e\u307e\u3093\u307e\u3067\u3042\u308b\u3002
\nFunctoinPassManager\u306f\u3001\u30a4\u30f3\u30d7\u30ec\u30fc\u30b9\u3067LLVM Function*\u3092\u6700\u9069\u5316\u3057\u3066\u66f4\u65b0\u3057\u3001\uff08\u3046\u307e\u304f\u3044\u3051\u3070\uff09\u305d\u306e\u95a2\u6570\u672c\u4f53\u306b\u78e8\u304d\u3092\u304b\u3051\u308b\u3002
\n\u524d\u7bc0\u3067\u884c\u3063\u305f\u30c6\u30b9\u30c8\u3092\u518d\u5ea6\u3084\u3063\u3066\u307f\u308b\u3002<\/p>\n
ready> def test(x) (1+2+x)*(x+(1+2));\r\nready> Read function definition:\r\ndefine double @test(double %x) {\r\nentry:\r\n        %addtmp = fadd double %x, 3.000000e+00\r\n        %multmp = fmul double %addtmp, %addtmp\r\n        ret double %multmp\r\n}<\/pre>\n
\u671f\u5f85\u3057\u3066\u305f\u901a\u308a\u3001\u3046\u307e\u304f\u6700\u9069\u5316\u3055\u308c\u305f\u30b3\u30fc\u30c9\u3092\u5f97\u308b\u3053\u3068\u304c\u51fa\u6765\u305f\u3002
\n\u5143\u306e\u95a2\u6570\u306b\u3042\u3063\u305f\u8907\u6570\u306e\u6d6e\u52d5\u5c0f\u6570\u70b9\u306e\u52a0\u7b97\u306f\u524a\u6e1b\u3055\u308c\u305f\u3002<\/p>\n
LLVM\u306f\u3001\u8272\u3093\u306a\u72b6\u6cc1\u306e\u306a\u304b\u3067\u52d5\u4f5c\u3059\u308b\u3044\u308d\u3093\u306a\u7a2e\u985e\u306e\u6700\u9069\u5316\u3092\u63d0\u4f9b\u3059\u308b\u3002
\n\u69d8\u3005\u306a\u30d1\u30b9\u306b\u3064\u3044\u3066\u306e\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8<\/a>\u304c\u3044\u304f\u3064\u304b\u3042\u308b\u304c\u3001\u672a\u5b8c\u5168\u3067\u3042\u308b\u3002
\nClang\u304c\u3069\u306e\u3088\u3046\u306b\u30d1\u30b9\u3092\u4f7f\u3063\u3066\u308b\u304b\u306b\u3064\u3044\u3066\u898b\u3066\u307f\u308b\u306e\u306f\u3001\u30d1\u30b9\u306b\u3064\u3044\u3066\u306e\u30a2\u30a4\u30c7\u30a2\u3092\u5f97\u308b\u5225\u306e\u826f\u3044\u65b9\u6cd5\u3067\u3042\u308b\u3002
\n“opt”\u30c4\u30fc\u30eb\u306b\u3088\u3063\u3066\u3001\u30b3\u30de\u30f3\u30c9\u30e9\u30a4\u30f3\u304b\u3089\u30d1\u30b9\u306b\u5bfe\u3059\u308b\u5b9f\u9a13\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u308b\u3002
\n\u8a33\u6ce8: opt\u306f\u3001LLVM\u306b\u4ed8\u5c5e\u3059\u308b\u30c4\u30fc\u30eb\u3067\u3042\u308a\u3001LLVM\u306eBitcode\u3092\u53d7\u3051\u53d6\u308a\u3001\u30b3\u30de\u30f3\u30c9\u5f15\u6570\u3067\u6307\u5b9a\u3055\u308c\u305f\u6700\u9069\u5316\u30d1\u30b9\u3092\u5b9f\u884c\u3057\u3066\u3001Bitcode\u3092\u51fa\u529b\u3059\u308b\u305f\u3081\u306e\u3082\u306e\u3002
\nLLVM IR\u3092LLVM\u306eVM\u306b\u5bfe\u3059\u308b\u30a2\u30bb\u30f3\u30d6\u30ea\u8a00\u8a9e\u3068\u3059\u308b\u3068\u3001Bitcode\u306fLLVM\u306eVM\u306b\u5bfe\u3059\u308b\u30d0\u30a4\u30ca\u30ea\u306e\u3088\u3046\u306a\u3082\u306e\u3002<\/em><\/p>\n
\u3053\u308c\u3067\u3001\u6211\u3005\u306e\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u30d5\u30ed\u30f3\u30c8\u30a8\u30f3\u30c9\u306f\u3044\u3044\u611f\u3058\u306e\u30b3\u30fc\u30c9\u3092\u5f97\u305f\u3002
\n\u6b21\u306f\u305d\u306e\u5b9f\u884c\u306b\u95a2\u3057\u3066\u8003\u3048\u3066\u307f\u3088\u3046\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\u7b2c4\u7ae0 \u4e07\u83ef\u93e1: JIT\u306e\u8ffd\u52a0\u3068\u6700\u9069\u5316\u306e\u30b5\u30dd\u30fc\u30c8
\n\u7b2c3\u7bc0 LLVM\u6700\u9069\u5316\u30d1\u30b9<\/a><\/p>\n
LLVM\u306f\u3001\u69d8\u3005\u306a\u7a2e\u985e\u306e\u3001\u69d8\u3005\u306a\u30c8\u30ec\u30fc\u30c9\u30aa\u30d5\u3092\u6301\u3064\u3001\u591a\u304f\u306e\u6700\u9069\u5316\u30d1\u30b9\u3092\u63d0\u4f9b\u3059\u308b\u3002
\n\u4ed6\u306e\u30b7\u30b9\u30c6\u30e0\u3068\u9055\u3063\u3066\u3001LLVM\u306f\u3001\u3042\u308b\u6700\u9069\u5316\u304c\u5168\u3066\u306e\u8a00\u8a9e\u3084\u5168\u3066\u306e\u72b6\u6cc1\u306b\u304a\u3044\u3066\u6b63\u3057\u3044\u3001\u3068\u3044\u3046\u8aa4\u3063\u305f\u8003\u3048\u306f\u6301\u3063\u3066\u3044\u306a\u3044\u3002
\nLLVM\u3067\u306f\u3001\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u5b9f\u88c5\u8005\u304c\u3001\u3069\u306e\u5834\u5408\u306b\u3001\u3069\u3046\u3044\u3046\u9806\u756a\u3067\u3001\u3069\u306e\u6700\u9069\u5316\u3092\u4f7f\u3046\u304b\u306b\u3064\u3044\u3066\u5168\u3066\u597d\u304d\u306b\u9078\u629e\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u3068\u306a\u3063\u3066\u3044\u308b\u3002<\/p>\n
\u5177\u4f53\u7684\u306a\u4f8b\u3068\u3057\u3066\u3001LLVM\u306f”\u30e2\u30b8\u30e5\u30fc\u30eb\u5168\u4f53\uff08whole module\uff09”\u306e\u30d1\u30b9 -\u30b3\u30fc\u30c9\u306e\u672c\u6587\u306e\u5168\u4f53\u306b\u6e21\u3063\u3066\u6700\u9069\u5316\u53ef\u80fd\u306b\u3059\u308b\u305f\u3081\u306e\u3082\u306e- \u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3002
\n\uff08\u3057\u3070\u3057\u3070\u305d\u308c\u306f\u30d5\u30a1\u30a4\u30eb\u5168\u4f53\u3067\u3042\u308b\u3002\u305f\u3060\u3057\u30ea\u30f3\u30af\u6642\u306e\u5834\u5408\u306f\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u5168\u4f53\u306e\u5b9f\u4f53\u90e8\u5206\u3068\u306a\u308a\u3046\u308b\u3002\uff09
\n\u307e\u305f\u3001\u4ed6\u306e\u95a2\u6570\u3092\u898b\u305a\u306b\u3001\u4e00\u5ea6\u306b\u3072\u3068\u3064\u306e\u95a2\u6570\u3060\u3051\u3092\u51e6\u7406\u3059\u308b\u305f\u3081\u306e”\u95a2\u6570\u5358\u4f4d\uff08per-function\uff09”\u306e\u30d1\u30b9\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3002
\n\u30d1\u30b9\u306e\u8a73\u3057\u3044\u60c5\u5831\u3084\u3001\u30d1\u30b9\u304c\u3069\u3046\u3084\u3063\u3066\u52d5\u4f5c\u3059\u308b\u304b\u306b\u3064\u3044\u3066\u306f\u3001\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u306e”LLVM\u306e\u30d1\u30b9\u4e00\u6b04<\/a>“\u306e\u30da\u30fc\u30b8\u3068\u3001”\u30d1\u30b9\u306e\u66f8\u304d\u65b9<\/a>“\u306e\u30da\u30fc\u30b8\u3092\u53c2\u7167\u3002<\/p>\n
\u4e07\u83ef\u93e1\u306b\u3064\u3044\u3066\u306f\u3001\u73fe\u72b6\u3067\u306f\u3001\u30e6\u30fc\u30b6\u304c\u95a2\u6570\u3092\u5165\u529b\u3057\u305f\u3068\u304d\u306b\u3001\u4e00\u5ea6\u306b\u3072\u3068\u3064\u305a\u3064\u3001\u30aa\u30f3\u30b6\u30d5\u30e9\u30a4\u3067\u95a2\u6570\u3092\u751f\u6210\u3057\u3066\u3044\u308b\u3002
\n\u3053\u306e\u3088\u3046\u306a\u72b6\u6cc1\u3067\u306f\u3001\u3082\u306e\u51c4\u3044\u6700\u9069\u5316\u4f53\u9a13\u3068\u3044\u3046\u3082\u306e\u306f\u5f97\u3089\u308c\u306a\u3044\u304c\u3001\u7c21\u5358\u3067\u624b\u3063\u53d6\u308a\u65e9\u304f\u4f3c\u305f\u3088\u3046\u306a\u3053\u3068\u3092\u884c\u3046\u65b9\u6cd5\u306f\u3042\u308b\u3002
\n\u3064\u307e\u308a\u3001\u30e6\u30fc\u30b6\u30fc\u304c\u95a2\u6570\u3092\u5165\u529b\u3057\u305f\u969b\u306b\u3001”\u95a2\u6570\u5358\u4f4d\uff08per-function\uff09”\u306e\u6700\u9069\u5316\u3092\u3044\u304f\u3064\u304b\u65bd\u305d\u3046\u3068\u3044\u3046\u306e\u3067\u3042\u308b\u3002
\n\u3082\u3057\u3001\u30b9\u30bf\u30c6\u30a3\u30c3\u30af\u306a\u4e07\u83ef\u93e1\u30b3\u30f3\u30d1\u30a4\u30e9\u3092\u4f5c\u308a\u305f\u3044\u5834\u5408\u306f\u3001\u30d5\u30a1\u30a4\u30eb\u5168\u4f53\u304c\u69cb\u6587\u89e3\u6790\u3055\u308c\u308b\u307e\u3067\u6700\u9069\u5316\u306e\u5b9f\u884c\u3092\u9045\u3089\u305b\u306a\u304d\u3083\u3044\u3051\u306a\u3044\u3068\u3044\u3046\u70b9\u3092\u9664\u3044\u3066\u3001\u73fe\u5728\u6211\u3005\u304c\u6301\u3063\u3066\u3044\u308b\u30b3\u30fc\u30c9\u304c\u305d\u306e\u307e\u307e\u4f7f\u3048\u308b\u3002
\n\u8a33\u6ce8: \u30b9\u30bf\u30c6\u30a3\u30c3\u30af\u306a\u30b3\u30f3\u30d1\u30a4\u30e9\u3068\u3044\u3046\u306e\u306fJIT\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u5bfe\u3057\u3066\u666e\u901a\u306e\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u4e8b\u3092\u6307\u3057\u3066\u308b\u3082\u306e\u3068\u601d\u308f\u308c\u308b\u3002<\/em><\/p>\n
\u95a2\u6570\u6bce\u306e\u6700\u9069\u5316\u3092\u5b9f\u884c\u3059\u308b\u306b\u306f\u3001\u5b9f\u884c\u3057\u305f\u3044LLVM\u6700\u9069\u5316\u3092\u307e\u3068\u3081\u3066\u4fdd\u6301\u3059\u308b\u305f\u3081\u306eFunctionPassManager\u3092\u30bb\u30c3\u30c8\u30a2\u30c3\u30d7\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002
\n\u4e00\u5ea6\u305d\u308c\u3092\u884c\u3048\u3070\u3001\u5b9f\u884c\u3057\u305f\u3044\u6700\u9069\u5316\u3092\u8ffd\u52a0\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002
\n\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u611f\u3058\u3067\u3042\u308b\u3002<\/p>\n
FunctionPassManager OurFPM(TheModule);\r\n\r\n\/\/ \u30aa\u30d7\u30c6\u30a3\u30de\u30a4\u30b6\u306e\u30d1\u30a4\u30d7\u30e9\u30a4\u30f3\u3092\u6e96\u5099\u3059\u308b\u3002\r\n\/\/ \u30bf\u30fc\u30b2\u30c3\u30c8\u304c\u30c7\u30fc\u30bf\u69cb\u9020\u3092\u3069\u3046\u3084\u3063\u3066\u914d\u7f6e\u3059\u308b\u304b\u306b\u3064\u3044\u3066\u306e\u60c5\u5831\u3092\u307e\u305a\u767b\u9332\u3059\u308b\u3002\r\nOurFPM.add(new DataLayout(*TheExecutionEngine->getDataLayout()));\r\n\/\/ GVN\uff08Global value numbering, \u5927\u57df\u5024\u756a\u53f7\u4ed8\u3051\uff09\u306e\u305f\u3081\u306b\u3001\u57fa\u672c\u7684\u306a\u30a8\u30a4\u30ea\u30a2\u30b9\u89e3\u6790\u306e\u30b5\u30dd\u30fc\u30c8\u3092\u63d0\u4f9b\u3059\u308b\u3002\r\nOurFPM.add(createBasicAliasAnalysisPass());\r\n\/\/ \u7c21\u5358\u306a\u30d4\u30fc\u30d7\u30db\u30fc\u30eb\u6700\u9069\u5316\uff08\u8997\u304d\u7a74\u6700\u9069\u5316\uff09\u3068\u30d3\u30c3\u30c8\u64cd\u4f5c\u6700\u9069\u5316\u3092\u884c\u308f\u305b\u308b\u3002\r\nOurFPM.add(createInstructionCombiningPass());\r\n\/\/ \u5f0f\u306e\u518d\u7d50\u5408\u3002\r\nOurFPM.add(createReassociatePass());\r\n\/\/ \u5171\u901a\u306a\u90e8\u5206\u5f0f\u306e\u9664\u53bb\u3002\uff08CSE, \u5171\u901a\u90e8\u5206\u5f0f\u9664\u53bb\uff09\r\nOurFPM.add(createGVNPass());\r\n\/\/ \u5236\u5fa1\u30d5\u30ed\u30fc\u30b0\u30e9\u30d5\u306e\u7c21\u7d04\u5316\u3002\uff08\u5230\u9054\u4e0d\u80fd\u306a\u30d6\u30ed\u30c3\u30af\u3092\u524a\u9664\u3059\u308b\u306a\u3069\uff09\r\nOurFPM.add(createCFGSimplificationPass());\r\n\r\nOurFPM.doInitialization();\r\n\r\n\/\/ \u30b3\u30fc\u30c9\u751f\u6210\u5668\u304b\u3089\u5229\u7528\u3059\u308b\u305f\u3081\u30b0\u30ed\u30fc\u30d0\u30eb\u5909\u6570\u306b\u683c\u7d0d\u3002\r\nTheFPM = &OurFPM;\r\n\r\n\/\/ \u3053\u3053\u3067\u30e1\u30a4\u30f3\u306e\u30a4\u30f3\u30bf\u30d7\u30ea\u30bf\u306e\u30eb\u30fc\u30d7\u3092\u5b9f\u884c\u3059\u308b\u3002\r\nMainLoop();<\/pre>\n
\u3053\u306e\u30b3\u30fc\u30c9\u306f\u3001FunctionPassManager\u3092”OurFPM”\u3068\u3057\u3066\u5b9a\u7fa9\u3057\u3066\u3044\u308b\u3002
\nFunctionPassManager\u306f\u3001\u305d\u308c\u81ea\u8eab\u306e\u69cb\u7bc9\u306e\u305f\u3081\u306bModule\u3078\u306e\u30dd\u30a4\u30f3\u30bf\u3092\u5fc5\u8981\u3068\u3059\u308b\u3002
\n\u6e96\u5099\u304c\u7d42\u308f\u308c\u3070\u3001\u3042\u3068\u306f\u69d8\u3005\u306aLLVM\u306e\u30d1\u30b9\u3092\u4e00\u9023\u306eadd\u30e1\u30bd\u30c3\u30c9\u306e\u547c\u3073\u51fa\u3057\u3067\u8ffd\u52a0\u51fa\u6765\u308b\u3002
\n\u6700\u521d\u306e\u30d1\u30b9\u306f\u3001\u3044\u308f\u3070\u6c7a\u307e\u308a\u6587\u53e5\u3067\u3042\u308a\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4e2d\u306e\u30c7\u30fc\u30bf\u69cb\u9020\u304c\u3069\u3046\u3044\u3046\u914d\u7f6e\u306b\u306a\u3063\u3066\u308b\u304b\u306b\u3064\u3044\u3066\u4ee5\u964d\u306e\u6700\u9069\u5316\u30d1\u30b9\u306b\u77e5\u3089\u305b\u308b\u305f\u3081\u306e\u30d1\u30b9\u3067\u3042\u308b\u3002
\n“TheExecutionEngine”\u5909\u6570\u306fJIT\u306b\u95a2\u9023\u3057\u3066\u3044\u3066\u3001\u305d\u308c\u306b\u3064\u3044\u3066\u306f\u6b21\u306e\u7bc0\u3067\u8ff0\u3079\u308b\u3002<\/p>\n
\u4e0a\u306e\u5834\u5408\u3067\u306f\u3001\u6211\u3005\u306f4\u3064\u306e\u6700\u9069\u5316\u30d1\u30b9\u3092\u8ffd\u52a0\u3059\u308b\u4e8b\u3092\u9078\u629e\u3057\u305f\u3002
\n\u3053\u3053\u3067\u9078\u3093\u3060\u30d1\u30b9\u306f\u3001\u8272\u3093\u306a\u7a2e\u985e\u306e\u30b3\u30fc\u30c9\u306b\u5bfe\u3057\u3066\u5f79\u7acb\u3064\u975e\u5e38\u306b\u6a19\u6e96\u7684\u306a”\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7”\u6700\u9069\u5316\u3067\u3042\u308b\u3002
\n\u3053\u3053\u3067\u306f\u305d\u308c\u3089\u306e\u6700\u9069\u5316\u304c\u4f55\u3092\u884c\u3063\u3066\u308b\u306e\u304b\u306b\u3064\u3044\u3066\u6df1\u304f\u8aac\u660e\u3059\u308b\u3053\u3068\u306f\u3057\u306a\u3044\u304c\u3001\u3053\u308c\u306f\u3088\u3044\u51fa\u767a\u70b9\u3067\u3042\u308b\u3068\u601d\u3063\u3066\u6b32\u3057\u3044\u3002
\n\u8a33\u6ce8: \u3053\u3053\u3067\u3044\u3046\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7\u306f\u91ce\u7403\u7528\u8a9e\uff08\u7c73\u56fd\u3067\u306f4\u756a\u6253\u8005\u306e\u307f\u3092\u6307\u3059\uff09\u3067\u3001”\u304b\u306a\u308a\u52b9\u679c\u7684\u201d\u3068\u3044\u3046\u3088\u3046\u306a\u610f\u5473\u304b\u3068\u601d\u3046\u3002<\/em><\/p>\n
PassManager\u304c\u6e96\u5099\u3067\u304d\u305f\u3089\u3001\u305d\u308c\u3092\u4f7f\u3046\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002
\n\u3053\u308c\u306b\u3064\u3044\u3066\u306f\u3001\u65b0\u3057\u304f\u95a2\u6570\u304c\u69cb\u7bc9\u3055\u308c\u305f\u5f8c\u3001\u547c\u3073\u51fa\u3057\u5143\u306b\u8fd4\u308b\u76f4\u524d\u306b\u884c\u3046\u3002\uff08FunctionAST::Codegen\u306e\u4e2d\u3067\uff09<\/p>\n
if (Value *RetVal = Body->Codegen()) {\r\n  \/\/ \u95a2\u6570\u3092\u4ed5\u4e0a\u3052\u308b\u3002\r\n  Builder.CreateRet(RetVal);\r\n\r\n  \/\/ \u77db\u76fe\u304c\u7121\u3044\u304b\u3001\u751f\u6210\u3055\u308c\u305f\u30b3\u30fc\u30c9\u3092\u691c\u8a3c\u3059\u308b\u3002\r\n  verifyFunction(*TheFunction);\r\n\r\n  \/\/ \u95a2\u6570\u3092\u6700\u9069\u5316\u3059\u308b\u3002\r\n  TheFPM->run(*TheFunction);\r\n\r\n  return TheFunction;\r\n}<\/pre>\n
\u898b\u3066\u306e\u901a\u308a\u3001\u305d\u306e\u307e\u3093\u307e\u3067\u3042\u308b\u3002
\nFunctoinPassManager\u306f\u3001\u30a4\u30f3\u30d7\u30ec\u30fc\u30b9\u3067LLVM Function*\u3092\u6700\u9069\u5316\u3057\u3066\u66f4\u65b0\u3057\u3001\uff08\u3046\u307e\u304f\u3044\u3051\u3070\uff09\u305d\u306e\u95a2\u6570\u672c\u4f53\u306b\u78e8\u304d\u3092\u304b\u3051\u308b\u3002
\n\u524d\u7bc0\u3067\u884c\u3063\u305f\u30c6\u30b9\u30c8\u3092\u518d\u5ea6\u3084\u3063\u3066\u307f\u308b\u3002<\/p>\n
ready> def test(x) (1+2+x)*(x+(1+2));\r\nready> Read function definition:\r\ndefine double @test(double %x) {\r\nentry:\r\n        %addtmp = fadd double %x, 3.000000e+00\r\n        %multmp = fmul double %addtmp, %addtmp\r\n        ret double %multmp\r\n}<\/pre>\n
\u671f\u5f85\u3057\u3066\u305f\u901a\u308a\u3001\u3046\u307e\u304f\u6700\u9069\u5316\u3055\u308c\u305f\u30b3\u30fc\u30c9\u3092\u5f97\u308b\u3053\u3068\u304c\u51fa\u6765\u305f\u3002
\n\u5143\u306e\u95a2\u6570\u306b\u3042\u3063\u305f\u8907\u6570\u306e\u6d6e\u52d5\u5c0f\u6570\u70b9\u306e\u52a0\u7b97\u306f\u524a\u6e1b\u3055\u308c\u305f\u3002<\/p>\n
LLVM\u306f\u3001\u8272\u3093\u306a\u72b6\u6cc1\u306e\u306a\u304b\u3067\u52d5\u4f5c\u3059\u308b\u3044\u308d\u3093\u306a\u7a2e\u985e\u306e\u6700\u9069\u5316\u3092\u63d0\u4f9b\u3059\u308b\u3002
\n\u69d8\u3005\u306a\u30d1\u30b9\u306b\u3064\u3044\u3066\u306e\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8<\/a>\u304c\u3044\u304f\u3064\u304b\u3042\u308b\u304c\u3001\u672a\u5b8c\u5168\u3067\u3042\u308b\u3002
\nClang\u304c\u3069\u306e\u3088\u3046\u306b\u30d1\u30b9\u3092\u4f7f\u3063\u3066\u308b\u304b\u306b\u3064\u3044\u3066\u898b\u3066\u307f\u308b\u306e\u306f\u3001\u30d1\u30b9\u306b\u3064\u3044\u3066\u306e\u30a2\u30a4\u30c7\u30a2\u3092\u5f97\u308b\u5225\u306e\u826f\u3044\u65b9\u6cd5\u3067\u3042\u308b\u3002
\n“opt”\u30c4\u30fc\u30eb\u306b\u3088\u3063\u3066\u3001\u30b3\u30de\u30f3\u30c9\u30e9\u30a4\u30f3\u304b\u3089\u30d1\u30b9\u306b\u5bfe\u3059\u308b\u5b9f\u9a13\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u308b\u3002
\n\u8a33\u6ce8: opt\u306f\u3001LLVM\u306b\u4ed8\u5c5e\u3059\u308b\u30c4\u30fc\u30eb\u3067\u3042\u308a\u3001LLVM\u306eBitcode\u3092\u53d7\u3051\u53d6\u308a\u3001\u30b3\u30de\u30f3\u30c9\u5f15\u6570\u3067\u6307\u5b9a\u3055\u308c\u305f\u6700\u9069\u5316\u30d1\u30b9\u3092\u5b9f\u884c\u3057\u3066\u3001Bitcode\u3092\u51fa\u529b\u3059\u308b\u305f\u3081\u306e\u3082\u306e\u3002
\nLLVM IR\u3092LLVM\u306eVM\u306b\u5bfe\u3059\u308b\u30a2\u30bb\u30f3\u30d6\u30ea\u8a00\u8a9e\u3068\u3059\u308b\u3068\u3001Bitcode\u306fLLVM\u306eVM\u306b\u5bfe\u3059\u308b\u30d0\u30a4\u30ca\u30ea\u306e\u3088\u3046\u306a\u3082\u306e\u3002<\/em><\/p>\n
\u3053\u308c\u3067\u3001\u6211\u3005\u306e\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u30d5\u30ed\u30f3\u30c8\u30a8\u30f3\u30c9\u306f\u3044\u3044\u611f\u3058\u306e\u30b3\u30fc\u30c9\u3092\u5f97\u305f\u3002
\n\u6b21\u306f\u305d\u306e\u5b9f\u884c\u306b\u95a2\u3057\u3066\u8003\u3048\u3066\u307f\u3088\u3046\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-2955","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\/2955","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=2955"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/2955\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=2955"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=2955"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=2955"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}