- \n
build.gradle.kts<\/code>\uff0cgradlew<\/code>\uff0cgradlew.bat<\/code>\uff0cgradle\/<\/code>\uff1aGradle \u811a\u672c\u548c Tai-e \u9879\u76ee\u914d\u7f6e\u6587\u4ef6\u3002<\/li>\n\n\n\nsrc\/main\/java<\/code>\uff1aTai-e \u6e90\u4ee3\u7801\u6587\u4ef6\u5939\u3002\u4f60\u9700\u8981\u4fee\u6539\u8be5\u6587\u4ef6\u5939\u4e2d\u7684\u6587\u4ef6\u4ee5\u5b8c\u6210\u4f5c\u4e1a\u3002<\/li>\n\n\n\nsrc\/test\/java<\/code>\uff1a\u8fd0\u884c\u6d4b\u8bd5\u7528\u4f8b\u6240\u9700\u7684\u6d4b\u8bd5\u9a71\u52a8\u7a0b\u5e8f\uff08test drivers\uff09\u6240\u5728\u6587\u4ef6\u5939\u3002<\/li>\n\n\n\nsrc\/test\/resources<\/code>\uff1a\u6d4b\u8bd5\u7528\u4f8b\uff08\u5f85\u5206\u6790\u7684\u7a0b\u5e8f\uff09\u6587\u4ef6\u5939\u3002<\/li>\n\n\n\nlib\/<\/code>\uff1a\u5305\u542b Tai-e \u7c7b\u7684\u6587\u4ef6\u5939\u3002<\/li>\n\n\n\nplan.yml<\/code>\uff1aTai-e \u914d\u7f6e\u6587\u4ef6\uff0c\u8bbe\u5b9a\u4e86\u4f5c\u4e1a\u4e2d\u9700\u8981\u6267\u884c\u7684\u5206\u6790\u3002<\/li>\n\n\n\nCOPYING<\/code>,COPYING.LESSER<\/code>\uff1aTai-e \u8bb8\u53ef\u6587\u4ef6<\/li>\n<\/ul>\n\n\n\nTai-e\u9700\u8981 Java17\uff0c\u8fd9\u91cc\u6211\u6309\u7167\u5b98\u65b9\u6559\u7a0b\u6253\u5f00\u4e86A1\/tai-e\/\uff0c\u7136\u540eLanguege level\u8fd9\u91cc\u9009\u62e917\uff1a<\/p>\n\n\n\n
![\"\"\/](\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\")
<\/div><\/figure>\n\n\n\n\u5728 Tai-e \u6559\u5b66\u7248\u91cc\u6709\u4e00\u4e2a\u7279\u6b8a\u7684\u7c7b\uff1a<\/p>\n\n\n\n
pascal.taie.Assignment<\/code><\/pre>\n\n\n\n\u5b83\u63d0\u4f9b\u4e86\u4e00\u79cd\u7b80\u5355\u7684\u4f7f\u7528\u65b9\u5f0f\u6765\u5206\u6790Java\u7a0b\u5e8f\uff1a<\/p>\n\n\n\n
-cp <CLASS_PATH> -m <CLASS_NAME><\/code><\/pre>\n\n\n\n\u987e\u540d\u601d\u4e49\uff0c
<CLASS_PATH><\/code> \u662f .class \u6587\u4ef6\u6240\u5728\u6587\u4ef6\u5939\u7684\u8def\u5f84\uff0c<CLASS_NAME><\/code> \u662f\u5f85\u5206\u6790\u7c7b\u7684\u7c7b\u540d\u3002\u6bd4\u5982\u5982\u679c\u6211\u4eec\u60f3\u8981\u5206\u6790src\/test\/resources\/dataflow\/livevar<\/code> \u4e2d\u7684Assign.java<\/code>\uff0c\u9996\u5148\u5728 IntelliJ IDEA \u4e2d\u6253\u5f00Assignment<\/code> \u7684 \u201cRun Configuration\u201d\uff1a<\/p>\n\n\n\n<\/div><\/figure>\n\n\n\n\u6309\u56fe\u91cc\u8fd9\u6837\u914d\u7f6e Program arguments\uff1a<\/p>\n\n\n\n
-cp src\/test\/resources\/dataflow\/livevar -m Assign<\/code><\/pre>\n\n\n\n<\/div><\/figure>\n\n\n\n\u5728
src\/test\/resources\/<\/code> \u6587\u4ef6\u5939\u6709\u4e00\u4e9b Java \u7c7b\u548c\u6d4b\u8bd5\u8f93\u5165\uff0c\u6bcf\u4e2a\u7c7b\u90fd\u5bf9\u5e94\u4e8e\u4e00\u4e2a\u540d\u4e3a*-expected.txt<\/code> \u7684\u671f\u671b\u6d4b\u8bd5\u7ed3\u679c\u6587\u4ef6\uff0c\u6d4b\u8bd5\u9a71\u52a8\u7a0b\u5e8f\u4f1a\u5bf9src\/test\/resources\/<\/code> \u4e0b\u6240\u6709\u6d4b\u8bd5\u7528\u4f8b\u6267\u884c\u5206\u6790\uff0c\u5e76\u5c06\u5176\u8f93\u51fa\u4e0e\u671f\u671b\u7ed3\u679c\u8fdb\u884c\u6bd4\u8f83\u3002\u5982\u679c\u5b9e\u73b0\u6b63\u786e\u4f1a\u901a\u8fc7\u6d4b\u8bd5\uff0c\u5426\u5219\u6d4b\u8bd5\u9a71\u52a8\u7a0b\u5e8f\u4f1a\u5931\u8d25\u5e76\u8f93\u51fa\u671f\u671b\u7ed3\u679c\u548c\u6267\u884c\u7ed3\u679c\u7684\u4e0d\u540c\u4e4b\u5904\uff0c\u53ea\u4e0d\u8fc7\u8fd9\u91cc\u53ea\u6709\u90e8\u5206\u7684\u6d4b\u8bd5\u6837\u4f8b\uff0c\u7c7b\u4f3cOJ\u91cc\u9898\u76ee\u4e2d\u663e\u793a\u7684\uff0c\u8fd8\u6709\u4e00\u4e9b\u8fb9\u754c\u6837\u4f8b\u53ea\u6709\u5e73\u53f0\u4e0a\u624d\u6709\u3002<\/p>\n\n\n\n\u4f5c\u4e1a 1\uff1a\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\u548c\u8fed\u4ee3\u6c42\u89e3\u5668<\/h1>\n\n\n\n
\u4f5c\u4e1a\u5bfc\u89c8<\/h2>\n\n\n\n
- \n
- \u4e3a Java \u5b9e\u73b0\u4e00\u4e2a\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\uff08Live Variable Analysis\uff09\u3002<\/li>\n\n\n\n
- \u5b9e\u73b0\u4e00\u4e2a\u901a\u7528\u7684\u8fed\u4ee3\u6c42\u89e3\u5668\uff08Iterative Solver\uff09\uff0c\u7528\u4e8e\u6c42\u89e3\u6570\u636e\u6d41\u5206\u6790\u95ee\u9898\uff0c\u4e5f\u5c31\u662f\u672c\u6b21\u4f5c\u4e1a\u4e2d\u7684\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\u3002<\/li>\n<\/ul>\n\n\n\n
\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790<\/h2>\n\n\n\n
\u5bf9\u4e8e\u53d8\u91cfx\u548c\u7a0b\u5e8f\u70b9p\uff0c\u5982\u679c\u5728\u7a0b\u5e8f\u6d41\u56fe\u4e2d\u6cbf\u7740\u4ecep\u5f00\u59cb\u7684\u67d0\u6761\u8def\u5f84<\/strong>\u4f1a\u5f15\u7528\u53d8\u91cfx\u5728p\u70b9\u7684\u503c\uff0c\u5219\u79f0\u53d8\u91cfx\u5728\u70b9p\u662f\u6d3b\u8dc3\uff08live\uff09\u7684\uff0c\u5426\u5219\u79f0\u53d8\u91cfx\u5728\u70b9p\u662f\u4e0d\u6d3b\u8dc3\uff08dead\uff09\u7684\uff0c\u4e5f\u5c31\u662f\u8bf4\uff0c\u5b83\u7684\u503c\u53ef\u80fd\u5728\u4e4b\u540e\u88ab\u4f7f\u7528\uff0c\u800c\u5728\u6b64\u4e4b\u524d\u6ca1\u6709\u88ab\u91cd\u65b0\u8d4b\u503c<\/p>\n\n\n\n
\u4e3b\u8981\u4f5c\u7528\u6709\u4e24\u4e2a\uff1a<\/p>\n\n\n\n
- \n
- \u5220\u9664\u65e0\u7528\u8d4b\u503c\uff1a\u6bd4\u5982\u5728\u67d0\u4e2a\u70b9\u8d4b\u503c\u4e4b\u540e\u53d1\u73b0\u540e\u9762\u5176\u5b9e\u7528\u4e0d\u5230\uff0c\u90a3\u4e48\u5176\u5b9e\u5c31\u53ef\u4ee5\u5220\u9664\u8fd9\u4e2a\u8d4b\u503c<\/li>\n\n\n\n
- \u5bc4\u5b58\u5668\u5206\u914d\uff1a\u5982\u679c\u9700\u8981\u5206\u914d\u5bc4\u5b58\u5668\uff0c\u53ef\u4ee5\u4f18\u5148\u5206\u914d\u8fd9\u4e9b\u4e0d\u6d3b\u8dc3\u53d8\u91cf\u5360\u636e\u7684\u5bc4\u5b58\u5668\u3002<\/li>\n<\/ul>\n\n\n\n
\u5728\u8fd9\u91cc\u6709\u51e0\u4e2a\u7b26\u53f7\uff1a<\/p>\n\n\n\n
- \n
- def[B]<\/strong>: \u57fa\u672c\u5757B\u4e2d\u5b9a\u4e49\u7684\u53d8\u91cf\u96c6\u5408\u3002\u5373\u5728B\u4e2d\u88ab\u8d4b\u503c(\u5b9a\u4e49)\u7684\u53d8\u91cf\u3002<\/li>\n\n\n\n
- use[B]<\/strong>: \u57fa\u672c\u5757B\u4e2d\u4f7f\u7528\u7684\u53d8\u91cf\u96c6\u5408\u3002\u5373\u5728B\u4e2d\u88ab\u4f7f\u7528\u4f46\u672a\u5148\u88ab\u5b9a\u4e49\u7684\u53d8\u91cf\u3002\n
- \n
- \u793a\u4f8b\uff1a
y = x + 3<\/code> (\u4e14x\u672a\u5728B\u4e2d\u5148\u5b9a\u4e49) \u4f1a\u5bfc\u81f4x \u2208 use[B]<\/li>\n<\/ul>\n<\/li>\n\n\n\n- IN[B]<\/strong>\uff1a\u5728\u8fdb\u5165
B<\/code> \u65f6\u54ea\u4e9b\u53d8\u91cf\u662f\u6d3b\u8dc3\u7684\uff08\u53ef\u80fd\u5728\u672a\u6765\u88ab\u4f7f\u7528\uff09\u3002<\/li>\n\n\n\n- OUT[B]<\/strong>\uff1a\u5728\u79bb\u5f00
B<\/code> \u65f6\u54ea\u4e9b\u53d8\u91cf\u662f\u6d3b\u8dc3\u7684\uff08\u7531\u540e\u7ee7\u5757\u7684IN<\/code> \u51b3\u5b9a\uff09<\/li>\n<\/ul>\n\n\n\n\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\u662f\u9006\u5411\u6570\u636e\u6d41\u5206\u6790\uff0c\u5176\u65b9\u7a0b\u4e3a\uff1a<\/p>\n\n\n\n
OUT[B] = \u222a IN[S] (\u5bf9\u4e8e\u6240\u6709B\u7684\u540e\u7ee7S)\nIN[B] = use[B] \u222a (OUT[B] - def[B])<\/code><\/pre>\n\n\n\n- \n
- \u4e00\u4e2a\u53d8\u91cf\u5728\u57fa\u672c\u5757\u7684\u51fa\u53e3\u6d3b\u8dc3\uff0c\u5982\u679c\u5b83\u5728\u67d0\u4e2a\u540e\u7ee7\u57fa\u672c\u5757\u7684\u5165\u53e3\u6d3b\u8dc3<\/li>\n\n\n\n
- \u4e00\u4e2a\u53d8\u91cf\u5728\u57fa\u672c\u5757
B<\/code> \u7684\u5165\u53e3\u662f\u6d3b\u8dc3\u7684\uff0c\u5982\u679c\u5b83\u5728B<\/code> \u4e2d\u88ab\u4f7f\u7528\uff08\u5373use[B]<\/code>\uff09\uff0c\u6216\u8005\u5b83\u5728B<\/code> \u7684\u540e\u7ee7\u5757\u4e2d\u6d3b\u8dc3\u800c\u5728B<\/code> \u4e2d\u6ca1\u6709\u88ab\u5b9a\u4e49\uff08\u8986\u76d6\uff09\u3002\n- \n
use[B]<\/code><\/strong>\uff1a\u5728B<\/code> \u4e2d\u88ab\u4f7f\u7528\uff08\u8bfb\u53d6\uff09\u4f46\u672a\u5148\u5b9a\u4e49\u7684\u53d8\u91cf\uff08\u5373\u5b83\u4eec\u7684\u503c\u6765\u81eaB<\/code> \u4e4b\u524d\u7684\u8ba1\u7b97\uff09\u3002<\/li>\n\n\n\nOUT[B] - def[B]<\/code><\/strong>\uff1a\u5982\u679c\u4e00\u4e2a\u53d8\u91cf\u5728B<\/code> \u7684\u51fa\u53e3\u5904\u662f\u6d3b\u8dc3\u7684\uff08\u5373\u5728B<\/code> \u7684\u540e\u7ee7\u5757\u4e2d\u88ab\u4f7f\u7528\uff09\uff0c\u4f46\u5728B<\/code> \u5185\u90e8\u6ca1\u6709\u88ab\u91cd\u65b0\u5b9a\u4e49\uff0c\u90a3\u4e48\u5b83\u7684\u503c \u5fc5\u987b\u6765\u81eaB<\/code> \u7684\u5165\u53e3<\/strong>\uff08\u5373\u5b83\u5728B<\/code> \u7684\u5165\u53e3\u5904\u4e5f\u662f\u6d3b\u8dc3\u7684\uff09\uff0c\u5982\u679c\u6765\u81ea\u4e8e B \u5185\u90e8\u7684\u8d4b\u503c\uff0c\u5176\u5b9e\u6211\u4eec\u5c31\u4e0d\u80fd\u786e\u5b9a\u5b83\u4e00\u5b9a\u5728\u5165\u53e3\u5904\u6d3b\u8dc3\u4e86<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n\u5bf9\u4e8e\u4e0b\u9762\u8fd9\u4e2a\u4f8b\u5b50\uff1a<\/p>\n\n\n\n
B1:\n1: x = 10\n2: y = 20\n3: if x > y goto B3\n\nB2:\n4: z = x + y\n5: w = z * 2\n6: goto B4\n\nB3:\n7: z = x - y\n8: w = z \/ 2\n\nB4:\n9: print(w)<\/code><\/pre>\n\n\n\n<\/div><\/figure>\n\n\n\n\u5176\u7ed3\u679c\u5982\u4e0b\uff1a<\/p>\n\n\n\n
\u57fa\u672c\u5757<\/th> def[B]<\/code><\/th>use[B]<\/code><\/th><\/tr><\/thead>B1<\/code><\/td>{x, y}<\/code><\/td>{}<\/code><\/td><\/tr>B2<\/code><\/td>{z, w}<\/code><\/td>{x, y}<\/code><\/td><\/tr>B3<\/code><\/td>{z, w}<\/code><\/td>{x, y}<\/code><\/td><\/tr>B4<\/code><\/td>{}<\/code><\/td>{w}<\/code><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n\u521d\u59cb\u5316\u65f6\uff0c\u6240\u6709
IN[B] = {}<\/code>\uff0cOUT[B] = {}<\/code>\uff0c\u7531\u4e8e\u662f\u9006\u5411\u5206\u6790\uff0c\u6211\u4eec\u4eceB4<\/code> \u5f00\u59cb\uff0c\u7136\u540eB3<\/code> \u548cB2<\/code>\uff0c\u6700\u540eB1<\/code>\uff1a<\/p>\n\n\n\n- \n
B4<\/code> \u7684\u5206\u6790<\/strong>\n- \n
use[B4] = {w}<\/code>,def[B4] = {}<\/code><\/li>\n\n\n\nOUT[B4] = {}<\/code>\uff08\u6ca1\u6709\u540e\u7ee7\uff09<\/li>\n\n\n\nIN[B4] = use[B4] \u222a (OUT[B4] \\ def[B4]) = {w} \u222a ({} \\ {}) = {w}<\/code><\/li>\n<\/ul>\n<\/li>\n\n\n\nB3<\/code> \u7684\u5206\u6790<\/strong>\n- \n
use[B3] = {x, y}<\/code>,def[B3] = {z, w}<\/code><\/li>\n\n\n\nOUT[B3] = IN[B4] = {w}<\/code>\uff08B3<\/code> \u7684\u540e\u7ee7\u662fB4<\/code>\uff09<\/li>\n\n\n\nIN[B3] = {x, y} \u222a ({w} \\ {z, w}) = {x, y} \u222a {} = {x, y}<\/code><\/li>\n<\/ul>\n<\/li>\n\n\n\nB2<\/code> \u7684\u5206\u6790<\/strong>\n- \n
use[B2] = {x, y}<\/code>,def[B2] = {z, w}<\/code><\/li>\n\n\n\nOUT[B2] = IN[B4] = {w}<\/code> \uff08B2 \u7684\u540e\u7ee7\u53ea\u6709 B4 \uff0c\u76f4\u63a5\u8df3\u8f6c\u8fc7\u53bb\u4e86\uff09<\/li>\n\n\n\nIN[B2] = {x, y} \u222a ({w} \\ {z, w}) = {x, y} \u222a {} = {x, y}<\/code><\/li>\n<\/ul>\n<\/li>\n\n\n\nB1<\/code> \u7684\u5206\u6790<\/strong>\n- \n
use[B1] = {}<\/code>,def[B1] = {x, y}<\/code><\/li>\n\n\n\nOUT[B1] = IN[B2] \u222a IN[B3] = {x, y} \u222a {x, y} = {x, y}<\/code> \uff08B1 \u7684\u540e\u7ee7\u662f B2\u548cB3\uff0c\u4e00\u4e2a\u6765\u81ea\u6761\u4ef6\u8df3\u8f6c\uff0c\u4e00\u4e2a\u6765\u81ea\u76f4\u63a5\u76f8\u8fde\u7684\u8fb9\uff09<\/li>\n\n\n\nIN[B1] = {} \u222a ({x, y} \\ {x, y}) = {} \u222a {} = {}<\/code><\/li>\n<\/ul>\n<\/li>\n<\/ol>\n\n\n\n\u5b9e\u73b0\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790<\/h2>\n\n\n\n
\u6709\u5173\u7684\u7c7b<\/h3>\n\n\n\n
pascal.taie.analysis.dataflow.analysis.DataflowAnalysis<\/h4>\n\n\n\n
\u8fd9\u662f\u4e00\u4e2a\u62bd\u8c61\u7684\u6570\u636e\u6d41\u5206\u6790\u7c7b\uff0c\u662f\u5177\u4f53\u7684\u6570\u636e\u6d41\u5206\u6790\u4e0e\u6c42\u89e3\u5668\u4e4b\u95f4\u7684\u63a5\u53e3\u3002\u4e5f\u5c31\u662f\u8bf4\uff0c\u4e00\u4e2a\u5177\u4f53\u7684\u6570\u636e\u6d41\u5206\u6790\uff08\u5982\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\uff09\u9700\u8981\u5b9e\u73b0\u5b83\u7684\u63a5\u53e3\uff0c\u800c\u6c42\u89e3\u5668\uff08\u5982\u8fed\u4ee3\u6c42\u89e3\u5668\uff09\u9700\u8981\u901a\u8fc7\u5b83\u7684\u63a5\u53e3\u6765\u6c42\u89e3\u6570\u636e\u6d41\u3002<\/p>\n\n\n\n
\u5b83\u5171\u6709\u4e03\u4e2a API\uff0c\u800c\u5728\u672c\u6b21\u4f5c\u4e1a\u4e2d\uff0c\u6211\u4eec\u53ea\u5173\u6ce8\u4e0e\u6570\u636e\u6d41\u5206\u6790\u76f8\u5173\u7684\u4e94\u4e2a\u5173\u952e API\uff1a\u5206\u6790\u65b9\u5411\u3001\u8fb9\u754c\u6761\u4ef6\u3001\u521d\u59cb\u6761\u4ef6\u3001meet \u64cd\u4f5c\u3001transfer \u51fd\u6570\uff1a<\/p>\n\n\n\n
<\/div><\/figure>\n\n\n\nDataflowAnalysis\u53ea\u662f\u4e00\u4e2a\u63a5\u53e3\uff0c\u8fd9\u91cc\u7b80\u5355\u5206\u6790\u4e00\u4e0b\u8fd9\u4e2a\u63a5\u53e3\u91cc\u7684\u51e0\u4e2a\u65b9\u6cd5\uff1a<\/p>\n\n\n\n
- \n
- boolean isForward()\uff1a\u8fd4\u56de\u8be5\u5206\u6790\u662f\u5426\u662f\u524d\u5411\u5206\u6790\uff08forward analysis\uff09\n
- \n
- \u82e5\u8fd4\u56de
true<\/code>\uff1a\u4ece CFG \u7684\u5165\u53e3\u8282\u70b9\u51fa\u53d1\u5411\u540e\u4f20\u64ad\uff08\u5982\uff1a\u53ef\u8fbe\u6027\u5206\u6790\uff09\u3002<\/li>\n\n\n\n- \u82e5\u8fd4\u56de
false<\/code>\uff1a\u4ece CFG \u7684\u51fa\u53e3\u8282\u70b9\u53cd\u5411\u4f20\u64ad\uff08\u5982\uff1a\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\uff09\u3002<\/li>\n<\/ul>\n<\/li>\n\n\n\n- Fact newBoundaryFact(CFG cfg)\uff1a\u8fd4\u56de\u8fb9\u754c\u6761\u4ef6\u4e0b\u7684\u521d\u59cb\u6570\u636e\u6d41\u4e8b\u5b9e\n
- \n
- \u5982\u679c\u662f\u524d\u5411\u5206\u6790\uff0c\u8be5 fact \u4f5c\u4e3a\u5165\u53e3\u8282\u70b9\u7684
in<\/code>\uff1b<\/li>\n\n\n\n- \u5982\u679c\u662f\u540e\u5411\u5206\u6790\uff0c\u8be5 fact \u4f5c\u4e3a\u51fa\u53e3\u8282\u70b9\u7684
out<\/code>\uff1b<\/li>\n<\/ul>\n<\/li>\n\n\n\n- Fact newInitialFact()\uff1a\u975e\u8fb9\u754c\u8282\u70b9\u7684\u65b0\u521d\u59cb\u4e8b\u5b9e<\/li>\n\n\n\n
- void meetInto(Fact fact, Fact target)\uff1a\u5c06
fact<\/code> \u4e0etarget<\/code> \u5408\u5e76\uff0c\u7ed3\u679c\u5199\u5165target<\/code> \u4e2d<\/li>\n\n\n\n- boolean transferNode(Node node, Fact in, Fact out)\uff1a\u8282\u70b9\u7684 transfer \u51fd\u6570\uff0c\u5904\u7406\u6570\u636e\u6d41\u7684\u8f6c\u79fb\uff0c\u5982\u679c
out<\/code>\uff08\u6216in<\/code>\uff09\u88ab\u4fee\u6539\u4e86\uff0c\u8fd4\u56detrue<\/code>\uff08\u8bf4\u660e\u6570\u636e\u6d41\u7ee7\u7eed\u4f20\u64ad\uff09\uff0c\u5426\u5219false<\/code><\/li>\n\n\n\n- boolean needTransferEdge(Edge edge)\uff1a\u5224\u65ad\u67d0\u6761\u8fb9\u662f\u5426\u9700\u8981\u8fdb\u884c\u6570\u636e\u6d41\u4f20\u64ad\u3002<\/li>\n\n\n\n
- Fact transferEdge(Edge edge, Fact nodeFact)\uff1a\u6b64\u5206\u6790\u7684\u8fb9\u7f18\u4f20\u9012\u51fd\u6570<\/li>\n<\/ul>\n\n\n\n
pascal.taie.ir.exp.Exp<\/h4>\n\n\n\n
\u8fd9\u662f Tai-e \u7684 IR \u4e2d\u7684\u4e00\u4e2a\u5173\u952e\u63a5\u53e3\uff0c\u7528\u4e8e\u8868\u793a\u7a0b\u5e8f\u4e2d\u7684\u6240\u6709\u8868\u8fbe\u5f0f\u3002\u5b83\u542b\u6709\u5f88\u591a\u5b50\u7c7b\uff0c\u5bf9\u5e94\u5404\u7c7b\u5177\u4f53\u7684\u8868\u8fbe\u5f0f\u3002\u4e0b\u9762\u662f\u4e00\u4e2a Exp \u7c7b\u7ee7\u627f\u7ed3\u6784\u7684\u7b80\u5355\u56fe\u793a\uff1a<\/p>\n\n\n\n
<\/div><\/figure>\n\n\n\n\u5728 Tai-e \u7684 IR \u4e2d\uff0c\u6211\u4eec\u628a\u8868\u8fbe\u5f0f\u5206\u4e3a\u4e24\u7c7b\uff1aLValue \u548c RValue\u3002\u524d\u8005\u8868\u793a\u8d4b\u503c\u8bed\u53e5\u5de6\u4fa7\u7684\u8868\u8fbe\u5f0f\uff0c\u5982\u53d8\u91cf\uff08
x = \u2026 <\/code>\uff09\u3001\u5b57\u6bb5\u8bbf\u95ee\uff08x.f = \u2026<\/code>\uff09\u6216\u6570\u7ec4\u8bbf\u95ee\uff08x[i] = \u2026<\/code>\uff09\uff1b\u540e\u8005\u5bf9\u5e94\u5730\u8868\u793a\u8d4b\u503c\u8bed\u53e5\u53f3\u4fa7\u7684\u8868\u8fbe\u5f0f\uff0c\u5982\u6570\u503c\u5b57\u9762\u91cf\uff08\u2026 = 1;<\/code>\uff09\u6216\u4e8c\u5143\u8868\u8fbe\u5f0f\uff08\u2026 = a + b;<\/code>\uff09\u3002\u800c\u6709\u4e9b\u8868\u8fbe\u5f0f\u65e2\u53ef\u7528\u4e8e\u5de6\u503c\uff0c\u4e5f\u53ef\u7528\u4e8e\u53f3\u503c\uff0c\u5c31\u6bd4\u5982\u53d8\u91cf\uff08\u7528Var\u7c7b\u8868\u793a)\uff0c\u8fd9\u91cc\u7531\u4e8e\u6211\u4eec\u53ea\u9700\u8981\u5173\u6ce8\u6d3b\u8dc3\u53d8\u91cf\uff0c\u6240\u4ee5\u53ea\u8003\u8651Var\u5373\u53ef\u3002<\/p>\n\n\n\npascal.taie.ir.stmt.Stmt<\/h4>\n\n\n\n
\u8fd9\u662f Tai-e \u7684 IR \u4e2d\u7684\u53e6\u4e00\u4e2a\u5173\u952e\u63a5\u53e3\uff0c\u5b83\u7528\u4e8e\u8868\u793a\u7a0b\u5e8f\u4e2d\u7684\u6240\u6709\u8bed\u53e5\u3002\u5bf9\u4e8e\u4e00\u4e2a\u5178\u578b\u7684\u7a0b\u5e8f\u8bbe\u8ba1\u8bed\u8a00\u6765\u8bf4\uff0c\u6bcf\u4e2a\u8868\u8fbe\u5f0f\u90fd\u5c5e\u4e8e\u67d0\u6761\u7279\u5b9a\u7684\u8bed\u53e5\u3002\u4e3a\u4e86\u5b9e\u73b0\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\uff0c\u4f60\u9700\u8981\u83b7\u5f97\u67d0\u6761\u8bed\u53e5\u4e2d\u5b9a\u4e49\u6216\u4f7f\u7528\u7684\u6240\u6709\u8868\u8fbe\u5f0f\u4e2d\u7684\u53d8\u91cf\u3002
Stmt<\/code> \u7c7b\u8d34\u5fc3\u5730\u4e3a\u8fd9\u4e24\u79cd\u64cd\u4f5c\u63d0\u4f9b\u4e86\u5bf9\u5e94\u7684\u63a5\u53e3\uff1a<\/p>\n\n\n\nOptional<LValue> getDef()\nList<RValue> getUses()<\/code><\/pre>\n\n\n\n\u6bcf\u6761
Stmt<\/code> \u81f3\u591a\u53ea\u53ef\u80fd\u5b9a\u4e49\u4e00\u4e2a\u53d8\u91cf\u3001\u800c\u53ef\u80fd\u4f7f\u7528\u96f6\u6216\u591a\u4e2a\u53d8\u91cf\uff0c\u56e0\u6b64\u6211\u4eec\u4f7f\u7528Optional<\/code> \u548cList<\/code> \u5305\u88c5\u4e86getDef()<\/code> \u548cgetUses()<\/code> \u7684\u7ed3\u679c\u3002<\/p>\n\n\n\npascal.taie.analysis.dataflow.fact.SetFact<Var><\/h4>\n\n\n\n
\u8fd9\u4e2a\u6cdb\u578b\u7c7b\u7528\u4e8e\u628a data fact \u7ec4\u7ec7\u6210\u4e00\u4e2a\u96c6\u5408\u3002\u5b83\u63d0\u4f9b\u4e86\u5404\u79cd\u96c6\u5408\u64cd\u4f5c\uff0c\u5982\u6dfb\u52a0\u3001\u5220\u9664\u5143\u7d20\uff0c\u53d6\u4ea4\u96c6\u3001\u5e76\u96c6\u7b49\u3002\u4f60\u540c\u6837\u9700\u8981\u9605\u8bfb\u6e90\u7801\u548c\u6ce8\u91ca\u6765\u7406\u89e3\u5982\u4f55\u4f7f\u7528\u8fd9\u4e2a\u7c7b\u8868\u793a\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\u4e2d\u7684\u5404\u79cd data fact\u3002<\/p>\n\n\n\n
pascal.taie.analysis.dataflow.analysis.LiveVariableAnalysis<\/h4>\n\n\n\n
\u8fd9\u4e2a\u7c7b\u901a\u8fc7\u5b9e\u73b0
DataflowAnalysis<\/code> \u7684\u63a5\u53e3\u6765\u5b9a\u4e49\u5177\u4f53\u7684\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\u3002\u4f60\u9700\u8981\u6309\u7167\u9898\u76ee\u4e2d\u7684\u8bf4\u660e\u8865\u5168\u8fd9\u4e2a\u7c7b\u3002<\/p>\n\n\n\n\u5177\u4f53\u7684\u4efb\u52a1<\/h3>\n\n\n\n
\u7b2c\u4e00\u4e2a\u4efb\u52a1\u662f\u5b9e\u73b0
LiveVariableAnalysis<\/code> \u4e2d\u7684\u5982\u4e0b API\uff1a<\/p>\n\n\n\n- \n
- SetFact newBoundaryFact(CFG)<\/li>\n\n\n\n
- SetFact newInitialFact()<\/li>\n\n\n\n
- void meetInto(SetFact,SetFact)<\/li>\n\n\n\n
- boolean transferNode(Stmt,SetFact,SetFact)<\/li>\n<\/ul>\n\n\n\n
\u8fd9\u4e9b API \u5bf9\u5e94\u4e0b\u56fe\u7b97\u6cd5\u4e2d\u7684\u56db\u4e2a\u90e8\u5206\uff1a<\/p>\n\n\n\n
<\/div><\/figure>\n\n\n\n\u8fd9\u91cc\u7684
meetInto()<\/code> \u63a5\u53d7fact<\/code> \u548ctarget<\/code> \u4e24\u4e2a\u53c2\u6570\u5e76\u628afact<\/code> \u96c6\u5408\u5e76\u5165target<\/code> \u96c6\u5408\uff0cmeetInto()<\/code> \u9644\u8fd1\u7684\u90a3\u884c\u4f2a\u4ee3\u7801\u4f1a\u53d6\u51faB<\/code> \u7684\u6240\u6709\u540e\u7ee7\uff0c\u7136\u540e\u628a\u5b83\u4eecIN facts<\/code> \u7684\u5e76\u96c6\u8d4b\u7ed9OUT[B]<\/code>\u3002\u5982\u679c\u8fd9\u884c\u4ee3\u7801\u7528meetInto()<\/code> \u6765\u5b9e\u73b0\uff0c\u90a3\u4e48\u6211\u4eec\u5c31\u53ef\u4ee5\u6839\u636e\u4e0b\u56fe\u6240\u793a\uff0c\u7528meetInto(IN[S], OUT[B])<\/code> \u628aB<\/code> \u7684\u6bcf\u4e2a\u540e\u7ee7
- \u5982\u679c\u662f\u540e\u5411\u5206\u6790\uff0c\u8be5 fact \u4f5c\u4e3a\u51fa\u53e3\u8282\u70b9\u7684
- \u82e5\u8fd4\u56de
- \u82e5\u8fd4\u56de
- IN[B]<\/strong>\uff1a\u5728\u8fdb\u5165
- use[B]<\/strong>: \u57fa\u672c\u5757B\u4e2d\u4f7f\u7528\u7684\u53d8\u91cf\u96c6\u5408\u3002\u5373\u5728B\u4e2d\u88ab\u4f7f\u7528\u4f46\u672a\u5148\u88ab\u5b9a\u4e49\u7684\u53d8\u91cf\u3002\n
- def[B]<\/strong>: \u57fa\u672c\u5757B\u4e2d\u5b9a\u4e49\u7684\u53d8\u91cf\u96c6\u5408\u3002\u5373\u5728B\u4e2d\u88ab\u8d4b\u503c(\u5b9a\u4e49)\u7684\u53d8\u91cf\u3002<\/li>\n\n\n\n
![\"\"\/](\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2FQQ20250524-213558-24-1.png\")
<\/div><\/figure>\n\n\n\n![\"\"](\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2FQQ20250524-214940-24-2.png\")
<\/div><\/figure>\n\n\n\n![\"\"](\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2FQQ20250524-215205-24-3.png\")
<\/div><\/figure>\n\n\n\n![\"\"](\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2FQQ20250525-001916-24-9.png\")
<\/div><\/figure>\n\n\n\n![\"\"](\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2FQQ20250524-220258-24-4.png\")
<\/div><\/figure>\n\n\n\n![\"\"\/](\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2Fexp-subclasses-24-5.png\")
<\/div><\/figure>\n\n\n\n![\"\"](\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2Fiter-alg-24-6.png\")
<\/div><\/figure>\n\n\n\n