Skip to content

Record conditional definedness guards when merging if branches with a side-effect-free condition #29689

Record conditional definedness guards when merging if branches with a side-effect-free condition

Record conditional definedness guards when merging if branches with a side-effect-free condition #29689

Job Run time
1m 38s
18s
15s
13s
-1s
-1s
-1s
-1s
1m 12s
1m 7s
35s
48s
54s
43s
35s
39s
1m 4s
43s
1m 9s
33s
38s
1m 8s
41s
46s
50s
35s
47s
6m 14s
1m 27s
1m 20s
42s
6m 20s
52s
38s
48s
7m 18s
1m 0s
53s
35s
35s
1m 32s
30s
1m 6s
27s
40s
43s
51s
1m 49s
51s
43s
56s
2m 34s
31s
34s
28s
36s
33s
57s
37s
28s
36s
41s
34s
36s
36s
40s
1m 16s
40s
34s
32s
28s
27s
41s
29s
35s
35s
38s
1m 29s
27s
31s
38s
26s
39s
32s
36s
39s
44s
1m 45s
1m 12s
30s
28s
38s
30s
27s
29s
29s
38s
1m 19s
35s
44s
33s
29s
26s
30s
1m 30s
35s
56s
32s
36s
30s
38s
28s
37s
34s
35s
30s
38s
1m 12s
39s
34s
31s
39s
41s
37s
39s
33s
34s
30s
31s
39s
53s
34s
1m 42s
36s
40s
39s
1m 21s
30s
41s
33s
38s
36s
40s
35s
32s
35s
39s
49s
40s
38s
40s
32s
34s
36s
31s
37s
40s
42s
34s
33s
29s
34s
32s
34s
26s
35s
31s
35s
29s
1m 15s
25s
26s
29s
32s
53s
26s
27s
31s
39s
30s
1m 6s
29s
45s
35s
37s
35s
35s
32s
38s
36s
36s
27s
47s
31s
37s
28s
34s
40s
46s
42s
29s
33s
36s
26s
34s
30s
27s
30s
27s
28s
32s
21s
27s
25s
28s
31s
35s
37s
27s
26s
21s
35s
28s
27s
21s
23s
29s
28s
23s
28s
22s
26s
22s
31s
28s
31s
27s
27s
30s
25s
26s
23s
21s
28s
28s
1m 1s
22s
26s
31s
28s
26s
22s
27s
30s
21s
34s
23s
30s
29s
26s
29s
31s
34s
27s
22s
32s
35s
24s
29s
28s
27s
21s
23s
31s
36s
24s
21s
31s
21s
25s
24s
44s
23s
25s
29s
20s
24s
51s
21s
22s
21s
27s
31s
-1s
3h 17m 33s