Skip to content

use default macro for builtin_assume and avoid integer promotion #5301

use default macro for builtin_assume and avoid integer promotion

use default macro for builtin_assume and avoid integer promotion #5301

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