{"id":509,"title":"golang\u8bed\u8a00\u7f16\u8bd1\u8fc7\u7a0b","good":0,"bad":0,"hit":2185,"created_at":"2020-08-05 21:02:10","content":"
Go\u8bed\u8a00\u662f\u4e00\u95e8\u9700\u8981\u7f16\u8bd1\u624d\u80fd\u8fd0\u884c\u7684\u7f16\u7a0b\u8bed\u8a00\uff0c\u4e5f\u5c31\u8bf4\u4ee3\u7801\u5728\u8fd0\u884c\u4e4b\u524d\u9700\u8981\u901a\u8fc7\u7f16\u8bd1\u5668\u751f\u6210\u4e8c\u8fdb\u5236\u673a\u5668\u7801\uff0c\u968f\u540e\u4e8c\u8fdb\u5236\u6587\u4ef6\u624d\u80fd\u5728\u76ee\u6807\u673a\u5668\u4e0a\u8fd0\u884c\uff0c\u5982\u679c\u6211\u4eec\u60f3\u8981\u4e86\u89e3Go\u8bed\u8a00\u7684\u5b9e\u73b0\u539f\u7406\uff0c\u7406\u89e3\u5b83\u7684\u7f16\u8bd1\u8fc7\u7a0b\u5c31\u662f\u4e00\u4e2a\u6ca1\u6709\u529e\u6cd5\u7ed5\u8fc7\u7684\u4e8b\u60c5\u3002<\/span> \u60f3\u8981\u6df1\u5165\u4e86\u89e3Go\u8bed\u8a00\u7684\u7f16\u8bd1\u8fc7\u7a0b\uff0c\u9700\u8981\u63d0\u524d\u4e86\u89e3\u4e00\u4e0b\u7f16\u8bd1\u8fc7\u7a0b\u4e2d\u6d89\u53ca\u7684\u4e00\u4e9b\u672f\u8bed\u548c\u4e13\u4e1a\u77e5\u8bc6\u3002\u8fd9\u4e9b\u77e5\u8bc6\u5176\u5b9e\u5728\u6211\u4eec\u7684\u65e5\u5e38\u5de5\u4f5c\u548c\u5b66\u4e60\u4e2d\u6bd4\u8f83\u96be\u7528\u5230\uff0c\u4f46\u662f\u5bf9\u4e8e\u7406\u89e3\u7f16\u8bd1\u7684\u8fc7\u7a0b\u548c\u539f\u7406\u8fd8\u662f\u975e\u5e38\u91cd\u8981\u7684\u3002<\/span> \u5728\u8ba1\u7b97\u673a\u79d1\u5b66\u4e2d\uff0c\u62bd\u8c61\u8bed\u6cd5\u6811\uff08Abstract Syntax Tree\uff0cAST\uff09\uff0c\u6216\u7b80\u79f0\u8bed\u6cd5\u6811\uff08Syntax tree\uff09\uff0c\u662f\u6e90\u4ee3\u7801\u8bed\u6cd5\u7ed3\u6784\u7684\u4e00\u79cd\u62bd\u8c61\u8868\u793a\u3002\u5b83\u4ee5\u6811\u72b6\u7684\u5f62\u5f0f\u8868\u73b0\u7f16\u7a0b\u8bed\u8a00\u7684\u8bed\u6cd5\u7ed3\u6784\uff0c\u6811\u4e0a\u7684\u6bcf\u4e2a\u8282\u70b9\u90fd\u8868\u793a\u6e90\u4ee3\u7801\u4e2d\u7684\u4e00\u79cd\u7ed3\u6784\u3002<\/span> \u5728\u7f16\u8bd1\u5668\u8bbe\u8ba1\u4e2d\uff0c\u9759\u6001\u5355\u8d4b\u503c\u5f62\u5f0f\uff08static single assignment form\uff0c\u901a\u5e38\u7b80\u5199\u4e3a SSA form \u6216\u662f SSA\uff09\u662f\u4e2d\u4ecb\u7801\uff08IR\uff0cintermediate representation\uff09\u7684\u5c5e\u6027\uff0c\u5b83\u8981\u6c42\u6bcf\u4e2a\u53d8\u91cf\u53ea\u5206\u914d\u4e00\u6b21\uff0c\u5e76\u4e14\u53d8\u91cf\u9700\u8981\u5728\u4f7f\u7528\u4e4b\u524d\u5b9a\u4e49\u3002\u5728\u5b9e\u8df5\u4e2d\u6211\u4eec\u901a\u5e38\u4f1a\u7528\u6dfb\u52a0\u4e0b\u6807\u7684\u65b9\u5f0f\u5b9e\u73b0\u6bcf\u4e2a\u53d8\u91cf\u53ea\u80fd\u88ab\u8d4b\u503c\u4e00\u6b21\u7684\u7279\u6027\uff0c\u8fd9\u91cc\u4ee5\u4e0b\u9762\u7684\u4ee3\u7801\u4e3e\u4e00\u4e2a\u7b80\u5355\u7684\u4f8b\u5b50\uff1a<\/span> x := 1 \u4ece\u4e0a\u9762\u7684\u63cf\u8ff0\u6240\u77e5\uff0c\u7b2c\u4e00\u884c\u8d4b\u503c\u884c\u4e3a\u662f\u4e0d\u9700\u8981\u7684\uff0c\u56e0\u4e3a x \u5728\u7b2c\u4e8c\u884c\u88ab\u4e8c\u5ea6\u8d4b\u503c\u5e76\u5728\u7b2c\u4e09\u884c\u88ab\u4f7f\u7528\uff0c\u5728 SSA \u4e0b\uff0c\u5c06\u4f1a\u53d8\u6210\u4e0b\u5217\u7684\u5f62\u5f0f\uff1a<\/span> x1 := 1 \u4ece\u4f7f\u7528 SSA \u7684\u4e2d\u95f4\u4ee3\u7801\u6211\u4eec\u5c31\u53ef\u4ee5\u975e\u5e38\u6e05\u6670\u5730\u770b\u51fa\u53d8\u91cf y1 \u7684\u503c\u548c x1 \u662f\u5b8c\u5168\u6ca1\u6709\u4efb\u4f55\u5173\u7cfb\u7684\uff0c\u6240\u4ee5\u5728\u673a\u5668\u7801\u751f\u6210\u65f6\u5176\u5b9e\u5c31\u53ef\u4ee5\u7701\u7565\u7b2c\u4e00\u6b65\uff0c\u8fd9\u6837\u5c31\u80fd\u51cf\u5c11\u9700\u8981\u6267\u884c\u7684\u6307\u4ee4\u6765\u4f18\u5316\u8fd9\u4e00\u6bb5\u4ee3\u7801\u3002<\/span> \u5e38\u6570\u4f20\u64ad\uff08constant propagation\uff09<\/p><\/li> \u503c\u57df\u4f20\u64ad\uff08value range propagation\uff09<\/p><\/li> \u7a00\u758f\u6709\u6761\u4ef6\u7684\u5e38\u6570\u4f20\u64ad\uff08sparse conditional constant propagation\uff09<\/p><\/li> \u6d88\u9664\u65e0\u7528\u7684\u7a0b\u5f0f\u7801\uff08dead code elimination\uff09<\/p><\/li> \u5168\u57df\u6570\u503c\u7f16\u53f7\uff08global value numbering\uff09<\/p><\/li> \u6d88\u9664\u90e8\u5206\u7684\u5197\u4f59\uff08partial redundancy elimination\uff09<\/p><\/li> \u5f3a\u5ea6\u6298\u51cf\uff08strength reduction\uff09<\/p><\/li> \u5bc4\u5b58\u5668\u5206\u914d\uff08register allocation\uff09<\/p><\/li><\/ul> \u6700\u540e\u8981\u4ecb\u7ecd\u7684\u4e00\u4e2a\u9884\u5907\u77e5\u8bc6\u5c31\u662f\u6307\u4ee4\u96c6\u67b6\u6784\u4e86\uff0c\u6307\u4ee4\u96c6\u67b6\u6784\uff08Instruction Set Architecture\uff0c\u7b80\u79f0 ISA\uff09\uff0c\u53c8\u79f0\u6307\u4ee4\u96c6\u6216\u6307\u4ee4\u96c6\u4f53\u7cfb\uff0c\u662f\u8ba1\u7b97\u673a\u4f53\u7cfb\u7ed3\u6784\u4e2d\u4e0e\u7a0b\u5e8f\u8bbe\u8ba1\u6709\u5173\u7684\u90e8\u5206\uff0c\u5305\u542b\u4e86\u57fa\u672c\u6570\u636e\u7c7b\u578b\uff0c\u6307\u4ee4\u96c6\uff0c\u5bc4\u5b58\u5668\uff0c\u5bfb\u5740\u6a21\u5f0f\uff0c\u5b58\u50a8\u4f53\u7cfb\uff0c\u4e2d\u65ad\uff0c\u5f02\u5e38\u5904\u7406\u4ee5\u53ca\u5916\u90e8 I\/O\u3002\u6307\u4ee4\u96c6\u67b6\u6784\u5305\u542b\u4e00\u7cfb\u5217\u7684 opcode \u5373\u64cd\u4f5c\u7801\uff08\u673a\u5668\u8bed\u8a00\uff09\uff0c\u4ee5\u53ca\u7531\u7279\u5b9a\u5904\u7406\u5668\u6267\u884c\u7684\u57fa\u672c\u547d\u4ee4\u3002<\/span> \u590d\u6742\u6307\u4ee4\u96c6\u8fd0\u7b97\uff08Complex Instruction Set Computing\uff0c\u7b80\u79f0 CISC\uff09\uff1b<\/p><\/li> \u7cbe\u7b80\u6307\u4ee4\u96c6\u8fd0\u7b97\uff08Reduced Instruction Set Computing\uff0c\u7b80\u79f0 RISC\uff09\uff1b<\/p><\/li> \u663e\u5f0f\u5e76\u884c\u6307\u4ee4\u96c6\u8fd0\u7b97\uff08Explicitly Parallel Instruction Computing\uff0c\u7b80\u79f0 EPIC\uff09\uff1b<\/p><\/li> \u8d85\u957f\u6307\u4ee4\u5b57\u6307\u4ee4\u96c6\u8fd0\u7b97\uff08VLIW\uff09\u3002<\/p><\/li><\/ul> Go\u8bed\u8a00\u7f16\u8bd1\u5668\u7684\u6e90\u4ee3\u7801\u5728 cmd\/compile \u76ee\u5f55\u4e2d\uff0c\u76ee\u5f55\u4e0b\u7684\u6587\u4ef6\u5171\u540c\u6784\u6210\u4e86Go\u8bed\u8a00\u7684\u7f16\u8bd1\u5668\uff0c\u5b66\u8fc7\u7f16\u8bd1\u539f\u7406\u7684\u4eba\u53ef\u80fd\u542c\u8bf4\u8fc7\u7f16\u8bd1\u5668\u7684\u524d\u7aef\u548c\u540e\u7aef\uff0c\u7f16\u8bd1\u5668\u7684\u524d\u7aef\u4e00\u822c\u627f\u62c5\u7740\u8bcd\u6cd5\u5206\u6790\u3001\u8bed\u6cd5\u5206\u6790\u3001\u7c7b\u578b\u68c0\u67e5\u548c\u4e2d\u95f4\u4ee3\u7801\u751f\u6210\u51e0\u90e8\u5206\u5de5\u4f5c\uff0c\u800c\u7f16\u8bd1\u5668\u540e\u7aef\u4e3b\u8981\u8d1f\u8d23\u76ee\u6807\u4ee3\u7801\u7684\u751f\u6210\u548c\u4f18\u5316\uff0c\u4e5f\u5c31\u662f\u5c06\u4e2d\u95f4\u4ee3\u7801\u7ffb\u8bd1\u6210\u76ee\u6807\u673a\u5668\u80fd\u591f\u8fd0\u884c\u7684\u673a\u5668\u7801\u3002<\/span> \u6240\u6709\u7684\u7f16\u8bd1\u8fc7\u7a0b\u5176\u5b9e\u90fd\u662f\u4ece\u89e3\u6790\u4ee3\u7801\u7684\u6e90\u6587\u4ef6\u5f00\u59cb\u7684\uff0c\u8bcd\u6cd5\u5206\u6790\u7684\u4f5c\u7528\u5c31\u662f\u89e3\u6790\u6e90\u4ee3\u7801\u6587\u4ef6\uff0c\u5b83\u5c06\u6587\u4ef6\u4e2d\u7684\u5b57\u7b26\u4e32\u5e8f\u5217\u8f6c\u6362\u6210 Token \u5e8f\u5217\uff0c\u65b9\u4fbf\u540e\u9762\u7684\u5904\u7406\u548c\u89e3\u6790\uff0c\u6211\u4eec\u4e00\u822c\u4f1a\u628a\u6267\u884c\u8bcd\u6cd5\u5206\u6790\u7684\u7a0b\u5e8f\u79f0\u4e3a\u8bcd\u6cd5\u89e3\u6790\u5668\uff08lexer\uff09\u3002<\/span> SourceFile = PackageClause ";" { ImportDecl ";" } { TopLevelDecl ";" }<\/p> \u6807\u51c6\u7684 Golang \u8bed\u6cd5\u89e3\u6790\u5668\u4f7f\u7528\u7684\u5c31\u662f LALR(1) \u7684\u6587\u6cd5\uff0c\u8bed\u6cd5\u89e3\u6790\u7684\u7ed3\u679c\u5176\u5b9e\u5c31\u662f\u4e0a\u9762\u4ecb\u7ecd\u8fc7\u7684\u62bd\u8c61\u8bed\u6cd5\u6811\uff08AST\uff09\uff0c\u6bcf\u4e00\u4e2a AST \u90fd\u5bf9\u5e94\u7740\u4e00\u4e2a\u5355\u72ec\u7684Go\u8bed\u8a00\u6587\u4ef6\uff0c\u8fd9\u4e2a\u62bd\u8c61\u8bed\u6cd5\u6811\u4e2d\u5305\u62ec\u5f53\u524d\u6587\u4ef6\u5c5e\u4e8e\u7684\u5305\u540d\u3001\u5b9a\u4e49\u7684\u5e38\u91cf\u3001\u7ed3\u6784\u4f53\u548c\u51fd\u6570\u7b49\u3002<\/span> \u5f53\u62ff\u5230\u4e00\u7ec4\u6587\u4ef6\u7684\u62bd\u8c61\u8bed\u6cd5\u6811 AST \u4e4b\u540e\uff0cGo\u8bed\u8a00\u7684\u7f16\u8bd1\u5668\u4f1a\u5bf9\u8bed\u6cd5\u6811\u4e2d\u5b9a\u4e49\u548c\u4f7f\u7528\u7684\u7c7b\u578b\u8fdb\u884c\u68c0\u67e5\uff0c\u7c7b\u578b\u68c0\u67e5\u5206\u522b\u4f1a\u6309\u7167\u987a\u5e8f\u5bf9\u4e0d\u540c\u7c7b\u578b\u7684\u8282\u70b9\u8fdb\u884c\u9a8c\u8bc1\uff0c\u6309\u7167\u4ee5\u4e0b\u7684\u987a\u5e8f\u8fdb\u884c\u5904\u7406\uff1a<\/span> \u5e38\u91cf\u3001\u7c7b\u578b\u548c\u51fd\u6570\u540d\u53ca\u7c7b\u578b\uff1b<\/p><\/li> \u53d8\u91cf\u7684\u8d4b\u503c\u548c\u521d\u59cb\u5316\uff1b<\/p><\/li> \u51fd\u6570\u548c\u95ed\u5305\u7684\u4e3b\u4f53\uff1b<\/p><\/li> \u54c8\u5e0c\u952e\u503c\u5bf9\u7684\u7c7b\u578b\uff1b<\/p><\/li> \u5bfc\u5165\u51fd\u6570\u4f53\uff1b<\/p><\/li> \u5916\u90e8\u7684\u58f0\u660e\uff1b<\/p><\/li><\/ul> \u5f53\u6211\u4eec\u5c06\u6e90\u6587\u4ef6\u8f6c\u6362\u6210\u4e86\u62bd\u8c61\u8bed\u6cd5\u6811\uff0c\u5bf9\u6574\u4e2a\u8bed\u6cd5\u6811\u7684\u8bed\u6cd5\u8fdb\u884c\u89e3\u6790\u5e76\u8fdb\u884c\u7c7b\u578b\u68c0\u67e5\u4e4b\u540e\uff0c\u5c31\u53ef\u4ee5\u8ba4\u4e3a\u5f53\u524d\u6587\u4ef6\u4e2d\u7684\u4ee3\u7801\u57fa\u672c\u4e0a\u4e0d\u5b58\u5728\u65e0\u6cd5\u7f16\u8bd1\u6216\u8005\u8bed\u6cd5\u9519\u8bef\u7684\u95ee\u9898\u4e86\uff0cGo\u8bed\u8a00\u7684\u7f16\u8bd1\u5668\u5c31\u4f1a\u5c06\u8f93\u5165\u7684 AST \u8f6c\u6362\u6210\u4e2d\u95f4\u4ee3\u7801\u3002<\/span> Go\u8bed\u8a00\u6e90\u4ee3\u7801\u7684 cmd\/compile\/internal \u76ee\u5f55\u4e2d\u5305\u542b\u4e86\u975e\u5e38\u591a\u673a\u5668\u7801\u751f\u6210\u76f8\u5173\u7684\u5305\uff0c\u4e0d\u540c\u7c7b\u578b\u7684 CPU \u5206\u522b\u4f7f\u7528\u4e86\u4e0d\u540c\u7684\u5305\u8fdb\u884c\u751f\u6210 amd64\u3001arm\u3001arm64\u3001mips\u3001mips64\u3001ppc64\u3001s390x\u3001x86 \u548c wasm\uff0c\u4e5f\u5c31\u662f\u8bf4Go\u8bed\u8a00\u80fd\u591f\u5728\u51e0\u4e4e\u5168\u90e8\u5e38\u89c1\u7684 CPU \u6307\u4ee4\u96c6\u7c7b\u578b\u4e0a\u8fd0\u884c\u3002<\/span> Go\u8bed\u8a00\u7684\u7f16\u8bd1\u5668\u5165\u53e3\u662f src\/cmd\/compile\/internal\/gc \u5305\u4e2d\u7684 main.go \u6587\u4ef6\uff0c\u8fd9\u4e2a 600 \u591a\u884c\u7684 Main \u51fd\u6570\u5c31\u662fGo\u8bed\u8a00\u7f16\u8bd1\u5668\u7684\u4e3b\u7a0b\u5e8f\uff0c\u8fd9\u4e2a\u51fd\u6570\u4f1a\u5148\u83b7\u53d6\u547d\u4ee4\u884c\u4f20\u5165\u7684\u53c2\u6570\u5e76\u66f4\u65b0\u7f16\u8bd1\u7684\u9009\u9879\u548c\u914d\u7f6e\uff0c\u968f\u540e\u5c31\u4f1a\u5f00\u59cb\u8fd0\u884c parseFiles \u51fd\u6570\u5bf9\u8f93\u5165\u7684\u6240\u6709\u6587\u4ef6\u8fdb\u884c\u8bcd\u6cd5\u4e0e\u8bed\u6cd5\u5206\u6790\u5f97\u5230\u6587\u4ef6\u5bf9\u5e94\u7684\u62bd\u8c61\u8bed\u6cd5\u6811\uff1a<\/span> func Main(archInit func(*Arch)) { \u63a5\u4e0b\u6765\u5c31\u4f1a\u5206\u4e5d\u4e2a\u9636\u6bb5\u5bf9\u62bd\u8c61\u8bed\u6cd5\u6811\u8fdb\u884c\u66f4\u65b0\u548c\u7f16\u8bd1\uff0c\u5c31\u50cf\u6211\u4eec\u5728\u4e0a\u9762\u4ecb\u7ecd\u7684\uff0c\u6574\u4e2a\u8fc7\u7a0b\u4f1a\u7ecf\u5386\u7c7b\u578b\u68c0\u67e5\u3001SSA \u4e2d\u95f4\u4ee3\u7801\u751f\u6210\u4ee5\u53ca\u673a\u5668\u7801\u751f\u6210\u4e09\u4e2a\u90e8\u5206\uff1a<\/span> \u68c0\u67e5\u5e38\u91cf\u3001\u7c7b\u578b\u548c\u51fd\u6570\u7684\u7c7b\u578b\uff1b<\/p><\/li> \u5904\u7406\u53d8\u91cf\u7684\u8d4b\u503c\uff1b<\/p><\/li> \u5bf9\u51fd\u6570\u7684\u4e3b\u4f53\u8fdb\u884c\u7c7b\u578b\u68c0\u67e5\uff1b<\/p><\/li> \u51b3\u5b9a\u5982\u4f55\u6355\u83b7\u53d8\u91cf\uff1b<\/p><\/li> \u68c0\u67e5\u5185\u8054\u51fd\u6570\u7684\u7c7b\u578b\uff1b<\/p><\/li> \u8fdb\u884c\u9003\u9038\u5206\u6790\uff1b<\/p><\/li> \u5c06\u95ed\u5305\u7684\u4e3b\u4f53\u8f6c\u6362\u6210\u5f15\u7528\u7684\u6355\u83b7\u53d8\u91cf\uff1b<\/p><\/li> \u7f16\u8bd1\u9876\u5c42\u51fd\u6570\uff1b<\/p><\/li> \u68c0\u67e5\u5916\u90e8\u4f9d\u8d56\u7684\u58f0\u660e\uff1b<\/p><\/li><\/ul> \u7c7b\u578b\u68c0\u67e5\u4f1a\u5bf9\u4f20\u5165\u8282\u70b9\u7684\u5b50\u8282\u70b9\u8fdb\u884c\u904d\u5386\uff0c\u8fd9\u4e2a\u8fc7\u7a0b\u4f1a\u5bf9 make \u7b49\u5173\u952e\u5b57\u8fdb\u884c\u5c55\u5f00\u548c\u91cd\u5199\uff0c\u7c7b\u578b\u68c0\u67e5\u7ed3\u675f\u4e4b\u540e\u5e76\u6ca1\u6709\u8f93\u51fa\u65b0\u7684\u6570\u636e\u7ed3\u6784\uff0c\u53ea\u662f\u6539\u53d8\u4e86\u8bed\u6cd5\u6811\u4e2d\u7684\u4e00\u4e9b\u8282\u70b9\uff0c\u540c\u65f6\u8fd9\u4e2a\u8fc7\u7a0b\u7684\u7ed3\u675f\u4e5f\u610f\u5473\u7740\u6e90\u4ee3\u7801\u4e2d\u5df2\u7ecf\u4e0d\u5b58\u5728\u8bed\u6cd5\u9519\u8bef\u548c\u7c7b\u578b\u9519\u8bef\uff0c\u4e2d\u95f4\u4ee3\u7801\u548c\u673a\u5668\u7801\u4e5f\u90fd\u53ef\u4ee5\u6b63\u5e38\u7684\u751f\u6210\u4e86\u3002<\/span> \u5728\u4e3b\u7a0b\u5e8f\u8fd0\u884c\u7684\u6700\u540e\uff0c\u4f1a\u5c06\u9876\u5c42\u7684\u51fd\u6570\u7f16\u8bd1\u6210\u4e2d\u95f4\u4ee3\u7801\u5e76\u6839\u636e\u76ee\u6807\u7684 CPU \u67b6\u6784\u751f\u6210\u673a\u5668\u7801\uff0c\u4e0d\u8fc7\u8fd9\u91cc\u5176\u5b9e\u4e5f\u53ef\u80fd\u4f1a\u518d\u6b21\u5bf9\u5916\u90e8\u4f9d\u8d56\u8fdb\u884c\u7c7b\u578b\u68c0\u67e5\u4ee5\u9a8c\u8bc1\u6b63\u786e\u6027\u3002<\/span> Go\u8bed\u8a00\u7684\u7f16\u8bd1\u8fc7\u7a0b\u5176\u5b9e\u662f\u975e\u5e38\u6709\u8da3\u5e76\u4e14\u503c\u5f97\u5b66\u4e60\u7684\uff0c\u901a\u8fc7\u5bf9Go\u8bed\u8a00\u56db\u4e2a\u7f16\u8bd1\u9636\u6bb5\u7684\u5206\u6790\u548c\u5bf9\u7f16\u8bd1\u5668\u4e3b\u51fd\u6570\u7684\u68b3\u7406\uff0c\u6211\u4eec\u80fd\u591f\u5bf9 Golang \u7684\u5b9e\u73b0\u6709\u4e00\u4e9b\u57fa\u672c\u7684\u7406\u89e3\uff0c\u638c\u63e1\u7f16\u8bd1\u7684\u8fc7\u7a0b\u4e4b\u540e\uff0cGo\u8bed\u8a00\u5bf9\u4e8e\u6211\u4eec\u6765\u8bb2\u4e5f\u4e0d\u518d\u90a3\u4e48\u795e\u79d8\uff0c\u6240\u4ee5\u5b66\u4e60\u5176\u7f16\u8bd1\u539f\u7406\u7684\u8fc7\u7a0b\u8fd8\u662f\u975e\u5e38\u6709\u5fc5\u8981\u7684\u3002<\/span><\/p>
<\/p>\u9884\u5907\u77e5\u8bc6<\/h2>
<\/p>1) \u62bd\u8c61\u8bed\u6cd5\u6811<\/h4>
\u4e4b\u6240\u4ee5\u8bf4\u8bed\u6cd5\u662f\u201c\u62bd\u8c61\u201d\u7684\uff0c\u662f\u56e0\u4e3a\u8fd9\u91cc\u7684\u8bed\u6cd5\u5e76\u4e0d\u4f1a\u8868\u793a\u51fa\u771f\u5b9e\u8bed\u6cd5\u4e2d\u51fa\u73b0\u7684\u6bcf\u4e2a\u7ec6\u8282\u3002\u6bd4\u5982\uff0c\u5d4c\u5957\u62ec\u53f7\u88ab\u9690\u542b\u5728\u6811\u7684\u7ed3\u6784\u4e2d\uff0c\u5e76\u6ca1\u6709\u4ee5\u8282\u70b9\u7684\u5f62\u5f0f\u5448\u73b0\u3002\u800c\u7c7b\u4f3c\u4e8e if else \u8fd9\u6837\u7684\u6761\u4ef6\u5224\u65ad\u8bed\u53e5\uff0c\u53ef\u4ee5\u4f7f\u7528\u5e26\u6709\u4e24\u4e2a\u5206\u652f\u7684\u8282\u70b9\u6765\u8868\u793a\u3002<\/span>
\u4ee5\u7b97\u672f\u8868\u8fbe\u5f0f 1+3*(4-1)+2 \u4e3a\u4f8b\uff0c\u53ef\u4ee5\u89e3\u6790\u51fa\u7684\u62bd\u8c61\u8bed\u6cd5\u6811\u5982\u4e0b\u56fe\u6240\u793a\uff1a<\/span>
<\/p>
\u56fe\uff1a\u62bd\u8c61\u8bed\u6cd5\u6811<\/p>
\u62bd\u8c61\u8bed\u6cd5\u6811\u53ef\u4ee5\u5e94\u7528\u5728\u5f88\u591a\u9886\u57df\uff0c\u6bd4\u5982\u6d4f\u89c8\u5668\uff0c\u667a\u80fd\u7f16\u8f91\u5668\uff0c\u7f16\u8bd1\u5668\u3002<\/span>
<\/p>2) \u9759\u6001\u5355\u8d4b\u503c<\/h4>
<\/p>
x := 2
y := x<\/p>
<\/p>
x2 := 2
y1 := x2<\/p>
\u6839\u636e Wikipedia\uff08\u7ef4\u57fa\u767e\u79d1\uff09\u5bf9 SSA \u7684\u4ecb\u7ecd\u6765\u770b\uff0c\u5728\u4e2d\u95f4\u4ee3\u7801\u4e2d\u4f7f\u7528 SSA \u7684\u7279\u6027\u80fd\u591f\u4e3a\u6574\u4e2a\u7a0b\u5e8f\u5b9e\u73b0\u4ee5\u4e0b\u7684\u4f18\u5316\uff1a<\/span>
<\/p>
\u56e0\u4e3a SSA \u7684\u4e3b\u8981\u4f5c\u7528\u5c31\u662f\u4ee3\u7801\u7684\u4f18\u5316\uff0c\u6240\u4ee5\u662f\u7f16\u8bd1\u5668\u540e\u7aef\uff08\u4e3b\u8981\u8d1f\u8d23\u76ee\u6807\u4ee3\u7801\u7684\u4f18\u5316\u548c\u751f\u6210\uff09\u7684\u4e00\u90e8\u5206\u3002\u5f53\u7136\uff0c\u9664\u4e86 SSA \u4e4b\u5916\u4ee3\u7801\u7f16\u8bd1\u9886\u57df\u8fd8\u6709\u975e\u5e38\u591a\u7684\u4e2d\u95f4\u4ee3\u7801\u4f18\u5316\u65b9\u6cd5\uff0c\u4f18\u5316\u7f16\u8bd1\u5668\u751f\u6210\u7684\u4ee3\u7801\u662f\u4e00\u4e2a\u975e\u5e38\u53e4\u8001\u5e76\u4e14\u590d\u6742\u7684\u9886\u57df\uff0c\u8fd9\u91cc\u5c31\u4e0d\u5c55\u5f00\u4ecb\u7ecd\u4e86\u3002<\/span>
<\/p>3) \u6307\u4ee4\u96c6\u67b6\u6784<\/h4>
\u6307\u4ee4\u96c6\u67b6\u6784\u5e38\u89c1\u79cd\u7c7b\u5982\u4e0b\uff1a<\/span><\/p>
\u4e0d\u540c\u7684\u5904\u7406\u5668\uff08CPU\uff09\u4f7f\u7528\u4e86\u5927\u4e0d\u76f8\u540c\u7684\u673a\u5668\u8bed\u8a00\uff0c\u6240\u4ee5\u6211\u4eec\u7684\u7a0b\u5e8f\u60f3\u8981\u5728\u4e0d\u540c\u7684\u673a\u5668\u4e0a\u8fd0\u884c\uff0c\u5c31\u9700\u8981\u5c06\u6e90\u4ee3\u7801\u6839\u636e\u67b6\u6784\u7f16\u8bd1\u6210\u4e0d\u540c\u7684\u673a\u5668\u8bed\u8a00\u3002<\/span>
<\/p>\u7f16\u8bd1\u539f\u7406<\/h2>
<\/p><\/p>
Go\u7684\u7f16\u8bd1\u5668\u5728\u903b\u8f91\u4e0a\u53ef\u4ee5\u88ab\u5206\u6210\u56db\u4e2a\u9636\u6bb5\uff1a\u8bcd\u6cd5\u4e0e\u8bed\u6cd5\u5206\u6790\u3001\u7c7b\u578b\u68c0\u67e5\u548c AST \u8f6c\u6362\u3001\u901a\u7528 SSA \u751f\u6210\u548c\u6700\u540e\u7684\u673a\u5668\u4ee3\u7801\u751f\u6210\uff0c\u4e0b\u9762\u6211\u4eec\u6765\u5206\u522b\u4ecb\u7ecd\u4e00\u4e0b\u8fd9\u56db\u4e2a\u9636\u6bb5\u505a\u7684\u5de5\u4f5c\u3002<\/span>
<\/p>1) \u8bcd\u6cd5\u4e0e\u8bed\u6cd5\u5206\u6790<\/h4>
\u800c\u8bed\u6cd5\u5206\u6790\u7684\u8f93\u5165\u5c31\u662f\u8bcd\u6cd5\u5206\u6790\u5668\u8f93\u51fa\u7684 Token \u5e8f\u5217\uff0c\u8fd9\u4e9b\u5e8f\u5217\u4f1a\u6309\u7167\u987a\u5e8f\u88ab\u8bed\u6cd5\u5206\u6790\u5668\u8fdb\u884c\u89e3\u6790\uff0c\u8bed\u6cd5\u7684\u89e3\u6790\u8fc7\u7a0b\u5c31\u662f\u5c06\u8bcd\u6cd5\u5206\u6790\u751f\u6210\u7684 Token \u6309\u7167\u8bed\u8a00\u5b9a\u4e49\u597d\u7684\u6587\u6cd5\uff08Grammar\uff09\u81ea\u4e0b\u800c\u4e0a\u6216\u8005\u81ea\u4e0a\u800c\u4e0b\u7684\u8fdb\u884c\u89c4\u7ea6\uff0c\u6bcf\u4e00\u4e2a Go \u7684\u6e90\u4ee3\u7801\u6587\u4ef6\u6700\u7ec8\u4f1a\u88ab\u5f52\u7eb3\u6210\u4e00\u4e2a SourceFile \u7ed3\u6784\uff1a<\/span>
<\/p>
\u5982\u679c\u5728\u8bed\u6cd5\u89e3\u6790\u7684\u8fc7\u7a0b\u4e2d\u53d1\u751f\u4e86\u4efb\u4f55\u8bed\u6cd5\u9519\u8bef\uff0c\u90fd\u4f1a\u88ab\u8bed\u6cd5\u89e3\u6790\u5668\u53d1\u73b0\u5e76\u5c06\u6d88\u606f\u6253\u5370\u5230\u6807\u51c6\u8f93\u51fa\u4e0a\uff0c\u6574\u4e2a\u7f16\u8bd1\u8fc7\u7a0b\u4e5f\u4f1a\u968f\u7740\u9519\u8bef\u7684\u51fa\u73b0\u800c\u88ab\u4e2d\u6b62\u3002<\/span>
<\/p>2) \u7c7b\u578b\u68c0\u67e5<\/h4>
<\/p>
\u901a\u8fc7\u5bf9\u6bcf\u4e00\u68f5\u62bd\u8c61\u8282\u70b9\u6811\u7684\u904d\u5386\uff0c\u6211\u4eec\u5728\u6bcf\u4e00\u4e2a\u8282\u70b9\u4e0a\u90fd\u4f1a\u5bf9\u5f53\u524d\u5b50\u6811\u7684\u7c7b\u578b\u8fdb\u884c\u9a8c\u8bc1\u4fdd\u8bc1\u5f53\u524d\u8282\u70b9\u4e0a\u4e0d\u4f1a\u51fa\u73b0\u7c7b\u578b\u9519\u8bef\u7684\u95ee\u9898\uff0c\u6240\u6709\u7684\u7c7b\u578b\u9519\u8bef\u548c\u4e0d\u5339\u914d\u90fd\u4f1a\u5728\u8fd9\u4e00\u4e2a\u9636\u6bb5\u88ab\u53d1\u73b0\u548c\u66b4\u9732\u51fa\u6765\u3002<\/span>
\u7c7b\u578b\u68c0\u67e5\u7684\u9636\u6bb5\u4e0d\u6b62\u4f1a\u5bf9\u6811\u72b6\u7ed3\u6784\u7684\u8282\u70b9\u8fdb\u884c\u9a8c\u8bc1\uff0c\u540c\u65f6\u4e5f\u4f1a\u5bf9\u4e00\u4e9b\u5185\u5efa\u7684\u51fd\u6570\u8fdb\u884c\u5c55\u5f00\u548c\u6539\u5199\uff0c\u4f8b\u5982 make \u5173\u952e\u5b57\u5728\u8fd9\u4e2a\u9636\u6bb5\u4f1a\u6839\u636e\u5b50\u6811\u7684\u7ed3\u6784\u88ab\u66ff\u6362\u6210 makeslice \u6216\u8005 makechan \u7b49\u51fd\u6570\u3002<\/span>
\u5176\u5b9e\u7c7b\u578b\u68c0\u67e5\u4e0d\u6b62\u5bf9\u7c7b\u578b\u8fdb\u884c\u4e86\u9a8c\u8bc1\u5de5\u4f5c\uff0c\u8fd8\u5bf9 AST \u8fdb\u884c\u4e86\u6539\u5199\u4ee5\u53ca\u5904\u7406Go\u8bed\u8a00\u5185\u7f6e\u7684\u5173\u952e\u5b57\uff0c\u6240\u4ee5\uff0c\u8fd9\u4e00\u8fc7\u7a0b\u5728\u6574\u4e2a\u7f16\u8bd1\u6d41\u7a0b\u4e2d\u662f\u975e\u5e38\u91cd\u8981\u7684\uff0c\u6ca1\u6709\u8fd9\u4e2a\u6b65\u9aa4\u5f88\u591a\u5173\u952e\u5b57\u5176\u5b9e\u5c31\u6ca1\u6709\u529e\u6cd5\u5de5\u4f5c\u3002<\/span>
<\/p>3) \u4e2d\u95f4\u4ee3\u7801\u751f\u6210<\/h4>
Go\u8bed\u8a00\u7f16\u8bd1\u5668\u7684\u4e2d\u95f4\u4ee3\u7801\u4f7f\u7528\u4e86 SSA(Static Single Assignment Form) \u7684\u7279\u6027\uff0c\u5982\u679c\u6211\u4eec\u5728\u4e2d\u95f4\u4ee3\u7801\u751f\u6210\u7684\u8fc7\u7a0b\u4e2d\u4f7f\u7528\u8fd9\u79cd\u7279\u6027\uff0c\u5c31\u80fd\u591f\u6bd4\u8f83\u5bb9\u6613\u7684\u5206\u6790\u51fa\u4ee3\u7801\u4e2d\u7684\u65e0\u7528\u53d8\u91cf\u548c\u7247\u6bb5\u5e76\u5bf9\u4ee3\u7801\u8fdb\u884c\u4f18\u5316\u3002<\/span>
\u5728\u7c7b\u578b\u68c0\u67e5\u4e4b\u540e\uff0c\u5c31\u4f1a\u901a\u8fc7\u4e00\u4e2a\u540d\u4e3a compileFunctions \u7684\u51fd\u6570\u5f00\u59cb\u5bf9\u6574\u4e2aGo\u8bed\u8a00\u9879\u76ee\u4e2d\u7684\u5168\u90e8\u51fd\u6570\u8fdb\u884c\u7f16\u8bd1\uff0c\u8fd9\u4e9b\u51fd\u6570\u4f1a\u5728\u4e00\u4e2a\u7f16\u8bd1\u961f\u5217\u4e2d\u7b49\u5f85\u51e0\u4e2a\u540e\u7aef\u5de5\u4f5c\u534f\u7a0b\u7684\u6d88\u8d39\uff0c\u8fd9\u4e9b Goroutine \u4f1a\u5c06\u6240\u6709\u51fd\u6570\u5bf9\u5e94\u7684 AST \u8f6c\u6362\u6210\u4f7f\u7528 SSA \u7279\u6027\u7684\u4e2d\u95f4\u4ee3\u7801\u3002<\/span>
<\/p>4) \u673a\u5668\u7801\u751f\u6210<\/h4>
<\/p>\u7f16\u8bd1\u5668\u5165\u53e3<\/h2>
<\/p>
\/\/ ...
lines := parseFiles(flag.Args())<\/p>
<\/p>
\u4e86\u89e3\u4e86\u5269\u4e0b\u7684\u7f16\u8bd1\u8fc7\u7a0b\u4e4b\u540e\uff0c\u6211\u4eec\u91cd\u65b0\u56de\u5230\u8bcd\u6cd5\u548c\u8bed\u6cd5\u5206\u6790\u540e\u7684\u5177\u4f53\u6d41\u7a0b\uff0c\u5728\u8fd9\u91cc\u7f16\u8bd1\u5668\u4f1a\u5bf9\u751f\u6210\u8bed\u6cd5\u6811\u4e2d\u7684\u8282\u70b9\u6267\u884c\u7c7b\u578b\u68c0\u67e5\uff0c\u9664\u4e86\u5e38\u91cf\u3001\u7c7b\u578b\u548c\u51fd\u6570\u8fd9\u4e9b\u9876\u5c42\u58f0\u660e\u4e4b\u5916\uff0c\u5b83\u8fd8\u4f1a\u5bf9\u53d8\u91cf\u7684\u8d4b\u503c\u8bed\u53e5\u3001\u51fd\u6570\u4e3b\u4f53\u7b49\u7ed3\u6784\u8fdb\u884c\u68c0\u67e5\uff1a<\/span>
<\/p>\u7eaf\u6587\u672c\u590d\u5236<\/pre>
for i := 0; i < len(xtop); i++ {n := xtop[i]if op := n.Op; op != ODCL && op != OAS && op != OAS2 && (op != ODCLTYPE || !n.Left.Name.Param.Alias) {xtop[i] = typecheck(n, ctxStmt)}}for i := 0; i < len(xtop); i++ {n := xtop[i]if op := n.Op; op == ODCL || op == OAS || op == OAS2 || op == ODCLTYPE && n.Left.Name.Param.Alias {xtop[i] = typecheck(n, ctxStmt)}}for i := 0; i < len(xtop); i++ {n := xtop[i]if op := n.Op; op == ODCLFUNC || op == OCLOSURE {typecheckslice(Curfn.Nbody.Slice(), ctxStmt)}}checkMapKeys()for _, n := range xtop {if n.Op == ODCLFUNC && n.Func.Closure != nil {capturevars(n)}}escapes(xtop)for _, n := range xtop {if n.Op == ODCLFUNC && n.Func.Closure != nil {transformclosure(n)}}<\/pre>
<\/p>\u7eaf\u6587\u672c\u590d\u5236<\/pre>
initssaconfig()peekitabs()for i := 0; i < len(xtop); i++ {n := xtop[i]if n.Op == ODCLFUNC {funccompile(n)}}compileFunctions()for i, n := range externdcl {if n.Op == ONAME {externdcl[i] = typecheck(externdcl[i], ctxExpr)}}checkMapKeys()}<\/pre>
<\/p>\u603b\u7ed3<\/h2>
<\/p>"}