bug: 无法找到指定指令对应依赖以及被依赖指令

[Ghostbaby]

描述

1. 执行以下单元测试报错
   

   bpf-optimizer/pkg/optimizer/section_test.go

   Line 11 in dd3b0b3

   func TestNewSection(t *testing.T) {

报错信息如下：

点击展开 ut 错误

```bash Starting: /Users/zhuhuijun/go/bin/dlv dap --listen=127.0.0.1:59891 --log-dest=3 from /Users/zhuhuijun/go/src/github.com/beepfd/bpf-optimizer/pkg/optimizer DAP server listening at: 127.0.0.1:59891 Type 'dlv help' for list of commands. --- FAIL: TestNewSection (205.47s) --- FAIL: TestNewSection/test1 (205.36s) section_test.go:105: NewSection() dependedby index 840 got = [], want [883] section_test.go:105: NewSection() dependedby index 852 got = [853], want [853 897] section_test.go:105: NewSection() dependedby index 859 got = [864], want [864 891] section_test.go:105: NewSection() dependedby index 869 got = [870 874 879], want [870 874 879 885 890 892] section_test.go:105: NewSection() dependedby index 872 got = [873 874], want [873 874 880] section_test.go:105: NewSection() dependedby index 878 got = [879], want [879 886 889] section_test.go:97: NewSection() dependencies index 879 got = [869 878], want [869 878 889] section_test.go:97: NewSection() dependencies index 880 got = [], want [872 880] section_test.go:105: NewSection() dependedby index 880 got = [], want [880 881 890] section_test.go:97: NewSection() dependencies index 881 got = [], want [880] section_test.go:105: NewSection() dependedby index 881 got = [], want [882] section_test.go:97: NewSection() dependencies index 882 got = [], want [881] section_test.go:105: NewSection() dependedby index 882 got = [], want [884] section_test.go:97: NewSection() dependencies index 883 got = [], want [840] section_test.go:105: NewSection() dependedby index 883 got = [], want [884] section_test.go:97: NewSection() dependencies index 884 got = [], want [882 883] section_test.go:105: NewSection() dependedby index 884 got = [], want [887] section_test.go:97: NewSection() dependencies index 885 got = [], want [869] section_test.go:105: NewSection() dependedby index 885 got = [], want [886] section_test.go:97: NewSection() dependencies index 886 got = [], want [878 885 889] section_test.go:97: NewSection() dependencies index 887 got = [], want [884] section_test.go:105: NewSection() dependedby index 887 got = [], want [888] section_test.go:97: NewSection() dependencies index 888 got = [], want [887] section_test.go:97: NewSection() dependencies index 889 got = [], want [878 889] section_test.go:105: NewSection() dependedby index 889 got = [], want [879 886 889] section_test.go:97: NewSection() dependencies index 890 got = [], want [869 880] section_test.go:97: NewSection() dependencies index 891 got = [], want [859] section_test.go:105: NewSection() dependedby index 891 got = [], want [893] section_test.go:97: NewSection() dependencies index 892 got = [], want [869] section_test.go:105: NewSection() dependedby index 892 got = [], want [893] section_test.go:97: NewSection() dependencies index 893 got = [], want [891 892] section_test.go:105: NewSection() dependedby index 893 got = [], want [895] section_test.go:105: NewSection() dependedby index 894 got = [], want [897] section_test.go:97: NewSection() dependencies index 895 got = [], want [893] section_test.go:105: NewSection() dependedby index 896 got = [], want [897] section_test.go:97: NewSection() dependencies index 897 got = [], want [852 894 896] section_test.go:105: NewSection() dependedby index 897 got = [], want [898] section_test.go:97: NewSection() dependencies index 898 got = [], want [897] section_test.go:105: NewSection() dependedby index 1657 got = [2059], want [2059 2193] section_test.go:105: NewSection() dependedby index 1658 got = [1665 1692 1706 1862 1961 1972 2000], want [1665 1692 1706 1862 1961 1972 2000 2201 2223 2244] section_test.go:105: NewSection() dependedby index 1659 got = [], want [2205] section_test.go:105: NewSection() dependedby index 1660 got = [1686 1707 1863 1955 1966 2002 2054 2062], want [1686 1707 1863 1955 1966 2002 2054 2062 2195 2253] section_test.go:105: NewSection() dependedby index 1667 got = [1676 1677 1678 1679 1680 1682 1683 1684 1699 1702 1703 1801 1804 1805 1858 1859 1916 1991 2136], want [1676 1677 1678 1679 1680 1682 1683 1684 1699 1702 1703 1801 1804 1805 1858 1859 1916 1991 2136 2250] section_test.go:105: NewSection() dependedby index 1668 got = [1669], want [1669 2255] section_test.go:105: NewSection() dependedby index 1688 got = [], want [1863 2253] section_test.go:105: NewSection() dependedby index 1798 got = [], want [2253] section_test.go:97: NewSection() dependencies index 1863 got = [1660], want [1660 1688] section_test.go:105: NewSection() dependedby index 1872 got = [], want [2253] section_test.go:105: NewSection() dependedby index 1957 got = [], want [2253] section_test.go:105: NewSection() dependedby index 1968 got = [], want [2253] section_test.go:105: NewSection() dependedby index 1999 got = [2040 2051 2134], want [2040 2051 2134 2152 2204 2215 2235] section_test.go:105: NewSection() dependedby index 2002 got = [2003 2010], want [2003 2010 2214 2234] section_test.go:105: NewSection() dependedby index 2019 got = [], want [2164] section_test.go:105: NewSection() dependedby index 2020 got = [], want [2169 2174] section_test.go:105: NewSection() dependedby index 2023 got = [], want [2162] section_test.go:105: NewSection() dependedby index 2039 got = [2048 2049 2050], want [2048 2049 2050 2214 2234] section_test.go:105: NewSection() dependedby index 2044 got = [2126], want [2126 2159 2172] section_test.go:105: NewSection() dependedby index 2046 got = [], want [2155 2177 2181 2183] section_test.go:105: NewSection() dependedby index 2056 got = [], want [2253] section_test.go:105: NewSection() dependedby index 2064 got = [], want [2253] section_test.go:105: NewSection() dependedby index 2129 got = [], want [2143] section_test.go:105: NewSection() dependedby index 2133 got = [], want [2156 2181 2188 2189] section_test.go:105: NewSection() dependedby index 2134 got = [], want [2146 2176 2179 2182 2214 2234] section_test.go:105: NewSection() dependedby index 2135 got = [], want [2139] section_test.go:105: NewSection() dependedby index 2136 got = [], want [2154] section_test.go:97: NewSection() dependencies index 2138 got = [], want [2187 2190] section_test.go:105: NewSection() dependedby index 2138 got = [], want [2149 2153] section_test.go:97: NewSection() dependencies index 2139 got = [], want [2135 2153] section_test.go:105: NewSection() dependedby index 2139 got = [], want [2140 2141] section_test.go:97: NewSection() dependencies index 2140 got = [], want [2139] section_test.go:105: NewSection() dependedby index 2140 got = [], want [2151] section_test.go:97: NewSection() dependencies index 2141 got = [], want [2139] section_test.go:105: NewSection() dependedby index 2141 got = [], want [2142] section_test.go:97: NewSection() dependencies index 2142 got = [], want [2141] section_test.go:105: NewSection() dependedby index 2142 got = [], want [2144] section_test.go:97: NewSection() dependencies index 2143 got = [], want [2129] section_test.go:105: NewSection() dependedby index 2143 got = [], want [2144] section_test.go:97: NewSection() dependencies index 2144 got = [], want [2142 2143] section_test.go:105: NewSection() dependedby index 2144 got = [], want [2150] section_test.go:97: NewSection() dependencies index 2145 got = [], want [2178] section_test.go:105: NewSection() dependedby index 2145 got = [], want [2147] section_test.go:97: NewSection() dependencies index 2146 got = [], want [2134 2152] section_test.go:105: NewSection() dependedby index 2146 got = [], want [2147] section_test.go:97: NewSection() dependencies index 2147 got = [], want [2145 2146] section_test.go:105: NewSection() dependedby index 2147 got = [], want [2148] section_test.go:97: NewSection() dependencies index 2148 got = [], want [2147] section_test.go:105: NewSection() dependedby index 2148 got = [], want [2150] section_test.go:97: NewSection() dependencies index 2149 got = [], want [2138] section_test.go:105: NewSection() dependedby index 2149 got = [], want [2150] section_test.go:97: NewSection() dependencies index 2150 got = [], want [2144 2148 2149] section_test.go:105: NewSection() dependedby index 2150 got = [], want [2156 2181 2188 2189] section_test.go:97: NewSection() dependencies index 2151 got = [], want [2140] section_test.go:105: NewSection() dependedby index 2151 got = [], want [2153] section_test.go:97: NewSection() dependencies index 2152 got = [], want [1999] section_test.go:105: NewSection() dependedby index 2152 got = [], want [2146 2176 2179 2182 2214 2234] section_test.go:97: NewSection() dependencies index 2153 got = [], want [2138 2151] section_test.go:105: NewSection() dependedby index 2153 got = [], want [2139] section_test.go:97: NewSection() dependencies index 2154 got = [], want [2136] section_test.go:105: NewSection() dependedby index 2154 got = [], want [2250] section_test.go:97: NewSection() dependencies index 2155 got = [], want [2046 2155] section_test.go:105: NewSection() dependedby index 2155 got = [], want [2155 2156 2177 2181 2183] section_test.go:97: NewSection() dependencies index 2156 got = [], want [2133 2150 2155] section_test.go:105: NewSection() dependedby index 2157 got = [], want [2160] section_test.go:97: NewSection() dependencies index 2159 got = [], want [2044] section_test.go:105: NewSection() dependedby index 2159 got = [], want [2160] section_test.go:97: NewSection() dependencies index 2160 got = [], want [2157 2159] section_test.go:105: NewSection() dependedby index 2160 got = [], want [2161 2166] section_test.go:97: NewSection() dependencies index 2161 got = [], want [2160] section_test.go:97: NewSection() dependencies index 2162 got = [], want [2023] section_test.go:105: NewSection() dependedby index 2162 got = [], want [2163] section_test.go:97: NewSection() dependencies index 2163 got = [], want [2162] section_test.go:105: NewSection() dependedby index 2163 got = [], want [2165] section_test.go:97: NewSection() dependencies index 2164 got = [], want [2019] section_test.go:105: NewSection() dependedby index 2164 got = [], want [2165] section_test.go:97: NewSection() dependencies index 2165 got = [], want [2163 2164] section_test.go:105: NewSection() dependedby index 2165 got = [], want [2167] section_test.go:97: NewSection() dependencies index 2166 got = [], want [2160] section_test.go:105: NewSection() dependedby index 2166 got = [], want [2167] section_test.go:97: NewSection() dependencies index 2167 got = [], want [2165 2166] section_test.go:105: NewSection() dependedby index 2168 got = [], want [2169] section_test.go:97: NewSection() dependencies index 2169 got = [], want [2020 2168] section_test.go:105: NewSection() dependedby index 2169 got = [], want [2174] section_test.go:105: NewSection() dependedby index 2170 got = [], want [2174] section_test.go:97: NewSection() dependencies index 2172 got = [], want [2044] section_test.go:105: NewSection() dependedby index 2172 got = [], want [2174] section_test.go:105: NewSection() dependedby index 2173 got = [], want [2174 2214 2234] section_test.go:97: NewSection() dependencies index 2174 got = [], want [2020 2169 2170 2172 2173] section_test.go:97: NewSection() dependencies index 2176 got = [], want [2134 2152] section_test.go:105: NewSection() dependedby index 2176 got = [], want [2177] section_test.go:97: NewSection() dependencies index 2177 got = [], want [2046 2155 2176] section_test.go:105: NewSection() dependedby index 2177 got = [], want [2178] section_test.go:97: NewSection() dependencies index 2178 got = [], want [2177] section_test.go:105: NewSection() dependedby index 2178 got = [], want [2145 2180 2185] section_test.go:97: NewSection() dependencies index 2179 got = [], want [2134 2152] section_test.go:105: NewSection() dependedby index 2179 got = [], want [2180 2185] section_test.go:97: NewSection() dependencies index 2180 got = [], want [2178 2179] section_test.go:97: NewSection() dependencies index 2181 got = [], want [2046 2133 2150 2155] section_test.go:97: NewSection() dependencies index 2182 got = [], want [2134 2152] section_test.go:105: NewSection() dependedby index 2182 got = [], want [2183] section_test.go:97: NewSection() dependencies index 2183 got = [], want [2046 2155 2182] section_test.go:105: NewSection() dependedby index 2183 got = [], want [2184] section_test.go:97: NewSection() dependencies index 2184 got = [], want [2183] section_test.go:105: NewSection() dependedby index 2184 got = [], want [2185] section_test.go:97: NewSection() dependencies index 2185 got = [], want [2178 2179 2184] section_test.go:105: NewSection() dependedby index 2185 got = [], want [2186] section_test.go:97: NewSection() dependencies index 2186 got = [], want [2185] section_test.go:105: NewSection() dependedby index 2186 got = [], want [2187] section_test.go:97: NewSection() dependencies index 2187 got = [], want [2186] section_test.go:105: NewSection() dependedby index 2187 got = [], want [2138 2188 2189] section_test.go:97: NewSection() dependencies index 2188 got = [], want [2133 2150 2187] section_test.go:97: NewSection() dependencies index 2189 got = [], want [2133 2150 2187] section_test.go:105: NewSection() dependedby index 2190 got = [], want [2138] section_test.go:105: NewSection() dependedby index 2192 got = [], want [2194] section_test.go:97: NewSection() dependencies index 2193 got = [], want [1657] section_test.go:97: NewSection() dependencies index 2194 got = [], want [2192] section_test.go:97: NewSection() dependencies index 2195 got = [], want [1660] section_test.go:105: NewSection() dependedby index 2195 got = [], want [2196 2218 2238] section_test.go:97: NewSection() dependencies index 2196 got = [], want [2195] section_test.go:105: NewSection() dependedby index 2196 got = [], want [2197] section_test.go:97: NewSection() dependencies index 2197 got = [], want [2196] section_test.go:105: NewSection() dependedby index 2197 got = [], want [2198] section_test.go:97: NewSection() dependencies index 2198 got = [], want [2197] section_test.go:105: NewSection() dependedby index 2198 got = [], want [2199] section_test.go:97: NewSection() dependencies index 2199 got = [], want [2198] section_test.go:105: NewSection() dependedby index 2199 got = [], want [2200] section_test.go:97: NewSection() dependencies index 2200 got = [], want [2199] section_test.go:105: NewSection() dependedby index 2200 got = [], want [2202] section_test.go:97: NewSection() dependencies index 2201 got = [], want [1658] section_test.go:105: NewSection() dependedby index 2201 got = [], want [2202] section_test.go:97: NewSection() dependencies index 2202 got = [], want [2200 2201] section_test.go:105: NewSection() dependedby index 2202 got = [], want [2203] section_test.go:97: NewSection() dependencies index 2203 got = [], want [2202] section_test.go:105: NewSection() dependedby index 2203 got = [], want [2206] section_test.go:97: NewSection() dependencies index 2204 got = [], want [1999] section_test.go:105: NewSection() dependedby index 2204 got = [], want [2206 2207 2226 2227 2246 2247] section_test.go:97: NewSection() dependencies index 2205 got = [], want [1659] section_test.go:105: NewSection() dependedby index 2205 got = [], want [2210 2230] section_test.go:97: NewSection() dependencies index 2206 got = [], want [2203 2204] section_test.go:97: NewSection() dependencies index 2207 got = [], want [2204] section_test.go:105: NewSection() dependedby index 2207 got = [], want [2208] section_test.go:97: NewSection() dependencies index 2208 got = [], want [2207] section_test.go:105: NewSection() dependedby index 2208 got = [], want [2209] section_test.go:97: NewSection() dependencies index 2209 got = [], want [2208] section_test.go:97: NewSection() dependencies index 2210 got = [], want [2205] section_test.go:105: NewSection() dependedby index 2210 got = [], want [2214] section_test.go:105: NewSection() dependedby index 2211 got = [], want [2214] section_test.go:105: NewSection() dependedby index 2213 got = [], want [2214] section_test.go:97: NewSection() dependencies index 2214 got = [], want [2002 2039 2134 2152 2173 2210 2211 2213] section_test.go:105: NewSection() dependedby index 2214 got = [], want [2216] section_test.go:97: NewSection() dependencies index 2215 got = [], want [1999] section_test.go:105: NewSection() dependedby index 2215 got = [], want [2217] section_test.go:97: NewSection() dependencies index 2216 got = [], want [2214] section_test.go:97: NewSection() dependencies index 2217 got = [], want [2215] section_test.go:105: NewSection() dependedby index 2217 got = [], want [2226 2227 2246 2247] section_test.go:97: NewSection() dependencies index 2218 got = [], want [2195] section_test.go:105: NewSection() dependedby index 2218 got = [], want [2219] section_test.go:97: NewSection() dependencies index 2219 got = [], want [2218] section_test.go:105: NewSection() dependedby index 2219 got = [], want [2220] section_test.go:97: NewSection() dependencies index 2220 got = [], want [2219] section_test.go:105: NewSection() dependedby index 2220 got = [], want [2221] section_test.go:97: NewSection() dependencies index 2221 got = [], want [2220] section_test.go:105: NewSection() dependedby index 2221 got = [], want [2222] section_test.go:97: NewSection() dependencies index 2222 got = [], want [2221] section_test.go:105: NewSection() dependedby index 2222 got = [], want [2224] section_test.go:97: NewSection() dependencies index 2223 got = [], want [1658] section_test.go:105: NewSection() dependedby index 2223 got = [], want [2224] section_test.go:97: NewSection() dependencies index 2224 got = [], want [2222 2223] section_test.go:105: NewSection() dependedby index 2224 got = [], want [2225] section_test.go:97: NewSection() dependencies index 2225 got = [], want [2224] section_test.go:105: NewSection() dependedby index 2225 got = [], want [2226] section_test.go:97: NewSection() dependencies index 2226 got = [], want [2204 2217 2225] section_test.go:97: NewSection() dependencies index 2227 got = [], want [2204 2217] section_test.go:105: NewSection() dependedby index 2227 got = [], want [2228] section_test.go:97: NewSection() dependencies index 2228 got = [], want [2227] section_test.go:105: NewSection() dependedby index 2228 got = [], want [2229] section_test.go:97: NewSection() dependencies index 2229 got = [], want [2228] section_test.go:97: NewSection() dependencies index 2230 got = [], want [2205] section_test.go:105: NewSection() dependedby index 2230 got = [], want [2234] section_test.go:105: NewSection() dependedby index 2231 got = [], want [2234] section_test.go:105: NewSection() dependedby index 2233 got = [], want [2234] section_test.go:97: NewSection() dependencies index 2234 got = [], want [2002 2039 2134 2152 2173 2230 2231 2233] section_test.go:105: NewSection() dependedby index 2234 got = [], want [2236] section_test.go:97: NewSection() dependencies index 2235 got = [], want [1999] section_test.go:105: NewSection() dependedby index 2235 got = [], want [2237] section_test.go:97: NewSection() dependencies index 2236 got = [], want [2234] section_test.go:97: NewSection() dependencies index 2237 got = [], want [2235] section_test.go:105: NewSection() dependedby index 2237 got = [], want [2246 2247] section_test.go:97: NewSection() dependencies index 2238 got = [], want [2195] section_test.go:105: NewSection() dependedby index 2238 got = [], want [2239 2240] section_test.go:97: NewSection() dependencies index 2239 got = [], want [2238] section_test.go:105: NewSection() dependedby index 2239 got = [], want [2253] section_test.go:97: NewSection() dependencies index 2240 got = [], want [2238] section_test.go:105: NewSection() dependedby index 2240 got = [], want [2241] section_test.go:97: NewSection() dependencies index 2241 got = [], want [2240] section_test.go:105: NewSection() dependedby index 2241 got = [], want [2242] section_test.go:97: NewSection() dependencies index 2242 got = [], want [2241] section_test.go:105: NewSection() dependedby index 2242 got = [], want [2243] section_test.go:97: NewSection() dependencies index 2243 got = [], want [2242] section_test.go:105: NewSection() dependedby index 2243 got = [], want [2244] section_test.go:97: NewSection() dependencies index 2244 got = [], want [1658 2243] section_test.go:105: NewSection() dependedby index 2244 got = [], want [2245] section_test.go:97: NewSection() dependencies index 2245 got = [], want [2244] section_test.go:105: NewSection() dependedby index 2245 got = [], want [2246] section_test.go:97: NewSection() dependencies index 2246 got = [], want [2204 2217 2237 2245] section_test.go:97: NewSection() dependencies index 2247 got = [], want [2204 2217 2237] section_test.go:105: NewSection() dependedby index 2247 got = [], want [2248] section_test.go:97: NewSection() dependencies index 2248 got = [], want [2247] section_test.go:105: NewSection() dependedby index 2248 got = [], want [2249] section_test.go:97: NewSection() dependencies index 2249 got = [], want [2248] section_test.go:97: NewSection() dependencies index 2250 got = [], want [1667 2154] section_test.go:105: NewSection() dependedby index 2250 got = [], want [2251] section_test.go:97: NewSection() dependencies index 2251 got = [], want [2250] section_test.go:105: NewSection() dependedby index 2251 got = [], want [2252] section_test.go:97: NewSection() dependencies index 2252 got = [], want [2251] section_test.go:97: NewSection() dependencies index 2253 got = [], want [1660 1688 1798 1872 1957 1968 2056 2064 2239] section_test.go:105: NewSection() dependedby index 2253 got = [], want [2254] section_test.go:97: NewSection() dependencies index 2254 got = [], want [2253] section_test.go:105: NewSection() dependedby index 2254 got = [], want [2255] section_test.go:97: NewSection() dependencies index 2255 got = [], want [1668 2254] section_test.go:105: NewSection() dependedby index 2255 got = [], want [2256] section_test.go:97: NewSection() dependencies index 2256 got = [], want [2255] FAIL Process 66472 has exited with status 1 Detaching ```

[Ghostbaby]

问题一：

section_test.go:97: NewSection() dependencies index 880 got = [], want [872 880]

分析：

1. 通过 dlv debug 发现，没有生成依赖关系的指令都是存在循环依赖。
2. 通过在以下代码打断点，添加表达式条件为loopHead == 879，用于确定是否正确获取循环头节点。
   

   bpf-optimizer/pkg/optimizer/dependency.go

   Line 323 in 98ef0e8

   if loopHead != 0 {

3. 在下面代码添加调试loopInfo.Head == 879，用于确认是否递归到处理 879 节点。
   

   bpf-optimizer/pkg/optimizer/dependency.go

   Line 229 in 98ef0e8

   predecessors := make(map[int]bool)

4. 调试发现由于以下代码，错误返回导致应该进入后续逻辑处理的节点，被直接返回没有继续处理
   

   bpf-optimizer/pkg/optimizer/dependency.go

   Lines 301 to 304 in 98ef0e8

   	} else {
   	// Not all predecessors are done, mark this node as waiting (corresponds to Python's loop_info[3].add(base))
   	loopInfo.Waiting[base] = true
   	return state

解决：
删除一下代码可以解决本问题

bpf-optimizer/pkg/optimizer/dependency.go

Line 304 in 98ef0e8

return state

修复之后还遗留下面问题：

Starting: /Users/zhuhuijun/go/bin/dlv dap --listen=127.0.0.1:56591 --log-dest=3 from /Users/zhuhuijun/go/src/github.com/beepfd/bpf-optimizer/pkg/optimizer
DAP server listening at: 127.0.0.1:56591
Type 'dlv help' for list of commands.
--- FAIL: TestNewSection (13.24s)
    --- FAIL: TestNewSection/test1 (13.13s)
        section_test.go:105: NewSection() dependedby index 852 got = [853], want [853 897]
        section_test.go:97: NewSection() dependencies index 880 got = [872], want [872 880]
        section_test.go:105: NewSection() dependedby index 880 got = [881 890], want [880 881 890]
        section_test.go:97: NewSection() dependencies index 886 got = [878 885], want [878 885 889]
        section_test.go:97: NewSection() dependencies index 889 got = [878], want [878 889]
        section_test.go:105: NewSection() dependedby index 889 got = [879], want [879 886 889]
        section_test.go:105: NewSection() dependedby index 894 got = [], want [897]
        section_test.go:105: NewSection() dependedby index 896 got = [], want [897]
        section_test.go:97: NewSection() dependencies index 897 got = [], want [852 894 896]
        section_test.go:105: NewSection() dependedby index 897 got = [], want [898]
        section_test.go:97: NewSection() dependencies index 898 got = [], want [897]
        section_test.go:105: NewSection() dependedby index 1668 got = [1669], want [1669 2255]
        section_test.go:105: NewSection() dependedby index 1688 got = [2253], want [1863 2253]
        section_test.go:97: NewSection() dependencies index 1863 got = [1660], want [1660 1688]
        section_test.go:97: NewSection() dependencies index 2139 got = [2135], want [2135 2153]
        section_test.go:97: NewSection() dependencies index 2146 got = [2134], want [2134 2152]
        section_test.go:105: NewSection() dependedby index 2150 got = [2156], want [2156 2181 2188 2189]
        section_test.go:105: NewSection() dependedby index 2152 got = [2176 2179 2214 2234], want [2146 2176 2179 2182 2214 2234]
        section_test.go:105: NewSection() dependedby index 2153 got = [], want [2139]
        section_test.go:97: NewSection() dependencies index 2155 got = [2046], want [2046 2155]
        section_test.go:105: NewSection() dependedby index 2155 got = [2156 2177], want [2155 2156 2177 2181 2183]
        section_test.go:97: NewSection() dependencies index 2181 got = [2046 2133], want [2046 2133 2150 2155]
        section_test.go:97: NewSection() dependencies index 2182 got = [2134], want [2134 2152]
        section_test.go:97: NewSection() dependencies index 2183 got = [2046 2182], want [2046 2155 2182]
        section_test.go:97: NewSection() dependencies index 2188 got = [2133 2187], want [2133 2150 2187]
        section_test.go:97: NewSection() dependencies index 2189 got = [2133 2187], want [2133 2150 2187]
        section_test.go:105: NewSection() dependedby index 2254 got = [], want [2255]
        section_test.go:97: NewSection() dependencies index 2255 got = [], want [1668 2254]
        section_test.go:105: NewSection() dependedby index 2255 got = [], want [2256]
        section_test.go:97: NewSection() dependencies index 2256 got = [], want [2255]
FAIL
Process 67282 has exited with status 1
Detaching

[Ghostbaby]

问题二：

    section_test.go:97: NewSection() dependencies index 880 got = [872], want [872 880]
    section_test.go:105: NewSection() dependedby index 880 got = [881 890], want [880 881 890]

分析：

1. 断点调试显示，880 被执行两次，第二次执行是由 890 发起，后续从 890 开始查。
2. 断点发现如下代码逻辑错误，此处不应该使用 continueLoop 来判断是否需要对 Waiting / nodesDone 进行清理。
   

   bpf-optimizer/pkg/optimizer/dependency.go

   Lines 270 to 300 in 98ef0e8

   	if continueLoop {
   	// Update loop head state
   	cfg.NodeStats[loopInfo.Head] = mergedState.Clone()
   	// Reset processed nodes in this loop iteration (corresponds to Python's nodes_done -= loop_info[3])
   	for node := range loopInfo.Processed {
   	delete(nodesDone, node)
   	}
   	loopInfo.Processed = make(map[int]bool)
   	// Reset waiting nodes in this loop iteration
   	for node := range loopInfo.Waiting {
   	delete(nodesDone, node)
   	}
   	loopInfo.Waiting = make(map[int]bool)
   	// Recursively process loop with updated state
   	return s.updateDependencies(cfg, loopInfo.Head, mergedState, nodesDone, loopInfo, false)
   	} else {
   	// Loop has converged, handle nested loop completion
   	if loopInfo.Parent != nil {
   	// Notify parent loop that this loop head is complete (corresponds to Python's loop_info[4][3].add(loop_info[0]))
   	delete(loopInfo.Parent.Waiting, loopInfo.Head)
   	}
   	nodesDone[loopInfo.Head] = true
   	// Continue with parent loop if it exists
   	if loopInfo.Parent != nil {
   	return s.updateDependencies(cfg, base, state, nodesDone, loopInfo.Parent, inferOnly)
   	}
   	}

解决：

代码做如下修改：

bpf-optimizer/pkg/optimizer/dependency.go

Lines 258 to 287 in 0114649

	cfg.NodeStats[loopInfo.Head] = simulatedState
	// Reset waiting nodes (corresponds to Python's nodes_done -= loop_info[3])
	for node := range loopInfo.Waiting {
	delete(nodesDone, node)
	}
	// Clear waiting set (corresponds to Python's loop_info[3] = set())
	loopInfo.Waiting = make(map[int]bool)
	// Remove current base from done if it exists (corresponds to Python's if base in nodes_done: nodes_done.remove(base))
	if _, exists := nodesDone[base]; exists {
	delete(nodesDone, base)
	}
	if !continueLoop {
	// Loop has converged
	if loopInfo.Parent != nil {
	// Notify parent loop that this loop head is complete (corresponds to Python's loop_info[4][3].add(loop_info[0]))
	loopInfo.Parent.Waiting[loopInfo.Head] = true
	}
	nodesDone[loopInfo.Head] = true
	// Switch to parent loop (corresponds to Python's loop_info = loop_info[4])
	loopInfo = loopInfo.Parent
	}
	// Continue processing with loop info (corresponds to Python's recursive call)
	if loopInfo != nil {
	return s.updateDependencies(cfg, loopInfo.Head, simulatedState, nodesDone, loopInfo, false)
	}

修复之后遗留问题：

        section_test.go:105: NewSection() dependedby index 1688 got = [2253], want [1863 2253]
        section_test.go:97: NewSection() dependencies index 1863 got = [1660], want [1660 1688]

[Ghostbaby]

问题三：

        section_test.go:105: NewSection() dependedby index 1688 got = [2253], want [1863 2253]
        section_test.go:97: NewSection() dependencies index 1863 got = [1660], want [1660 1688]

分析：

1. nodes_stats 中发现 1858 的 stacks 数据有问题，正确数据应该是:

1858: [[[1674], [1857], [1671], [], [], [], [1667], [1656], [1658], [1668], []], 
  {-56: [1657, 1657], -64: [1659, 1659], -48: [1660, 1688], -36: [1669, 1669]}]

错误数据如下：

*optimizer.RegisterState {Registers: [][]int len: 11, cap: 11, [[1674],[1857],[1671],[],[],[],[1667],[1656],[1658],[1668],[]], 

Stacks: map[int16][]int [-48: [1660], -36: [1669], -56: [1657], -64: [1659], ], RegAlias: []int16 len: 11, cap: 11, [-1,-1,-32,-1,-1,-1,-1,-1,-1,-1,-1]}

2. 对应的 state 中 -48 的数据存在异常，正常数据应该是:

1857 [1660]
1858 [1660]
1859 [1688, 1660]
1860 [1688, 1660]
1694 [1688, 1660]
1695 [1688, 1660]
...
1861 [1688, 1660]
...
2102 [1872, 1968]
2104 [1872, 1968]
2105 [1872, 1968]
1681 [1688, 1660] 

异常数据如下：

1857 [1660]
1858 [1660]
1859 [1660]
1860 [1660]
1694 [1688, 1660]
1695 [1688, 1660]
...
1861 [1660]
...
2102 [1872, 1968]
2104 [1872, 1968]
2105 [1872, 1968]
1681 [1660] 

[Ghostbaby]

问题三目前看来跟这个现象有关系： 4ar0nma0/Merlin#5