 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
33,185 |
add-nsw.ll
|
|
- |
rw-r--r-- |
26,814 |
add-nuw.ll
|
|
- |
rw-r--r-- |
10,476 |
add.ll
|
|
- |
rw-r--r-- |
2,650 |
analysis-invalidation.ll
|
|
- |
rw-r--r-- |
11,352 |
and-implied-by-operands.ll
|
|
- |
rw-r--r-- |
20,515 |
and.ll
|
|
- |
rw-r--r-- |
22,010 |
assumes.ll
|
|
- |
rw-r--r-- |
7,697 |
cond-used-in-phi.ll
|
|
- |
rw-r--r-- |
3,591 |
constants-signed-predicates.ll
|
|
- |
rw-r--r-- |
3,603 |
constants-unsigned-predicates.ll
|
|
- |
rw-r--r-- |
1,679 |
debug.ll
|
|
- |
rw-r--r-- |
2,686 |
decompose-with-temporary-indices.ll
|
|
- |
rw-r--r-- |
19,445 |
dom.ll
|
|
- |
rw-r--r-- |
1,371 |
empty-constraint.ll
|
|
- |
rw-r--r-- |
15,148 |
eq.ll
|
|
- |
rw-r--r-- |
16,491 |
gep-add-multiple-indices-signed-predicates.ll
|
|
- |
rw-r--r-- |
16,482 |
gep-add-multiple-indices.ll
|
|
- |
rw-r--r-- |
20,255 |
gep-arithmetic-add-signed-predicates.ll
|
|
- |
rw-r--r-- |
20,244 |
gep-arithmetic-add.ll
|
|
- |
rw-r--r-- |
21,693 |
gep-arithmetic-different-types.ll
|
|
- |
rw-r--r-- |
30,327 |
gep-arithmetic-signed-predicates.ll
|
|
- |
rw-r--r-- |
30,143 |
gep-arithmetic.ll
|
|
- |
rw-r--r-- |
20,814 |
gep-chains.ll
|
|
- |
rw-r--r-- |
1,848 |
gep-constexpr.ll
|
|
- |
rw-r--r-- |
27,844 |
gep-sub-signed-predicates.ll
|
|
- |
rw-r--r-- |
29,389 |
gep-sub.ll
|
|
- |
rw-r--r-- |
2,337 |
geps-128-bit-pointers.ll
|
|
- |
rw-r--r-- |
1,438 |
geps-i32-pointer-indexes.ll
|
|
- |
rw-r--r-- |
10,948 |
geps-inbounds-precondition-ub-in-use-blocks.ll
|
|
- |
rw-r--r-- |
14,620 |
geps-inbounds-precondition.ll
|
|
- |
rw-r--r-- |
10,326 |
geps-pointers-to-arrays.ll
|
|
- |
rw-r--r-- |
18,860 |
geps-pointers-to-structs.ll
|
|
- |
rw-r--r-- |
12,829 |
geps-precondition-overflow-check.ll
|
|
- |
rw-r--r-- |
2,668 |
geps-ptrvector.ll
|
|
- |
rw-r--r-- |
28,257 |
geps-signed-predicates.ll
|
|
- |
rw-r--r-- |
28,174 |
geps-unsigned-predicates.ll
|
|
- |
rw-r--r-- |
1,645 |
invoke.ll
|
|
- |
rw-r--r-- |
15,688 |
large-constant-ints.ll
|
|
- |
rw-r--r-- |
3,135 |
large-system-growth.ll
|
|
- |
rw-r--r-- |
3,115 |
loops-bottom-tested-base.ll
|
|
- |
rw-r--r-- |
9,563 |
loops-bottom-tested-pointer-cmps.ll
|
|
- |
rw-r--r-- |
14,265 |
loops-header-tested-base.ll
|
|
- |
rw-r--r-- |
34,421 |
loops-header-tested-pointer-cmps.ll
|
|
- |
rw-r--r-- |
4,312 |
loops-header-tested-pointer-iv.ll
|
|
- |
rw-r--r-- |
16,049 |
loops.ll
|
|
- |
rw-r--r-- |
1,908 |
max-row-limit.ll
|
|
- |
rw-r--r-- |
11,277 |
minmax.ll
|
|
- |
rw-r--r-- |
17,213 |
mixed-signed-unsigned-predicates.ll
|
|
- |
rw-r--r-- |
1,580 |
mixed.ll
|
|
- |
rw-r--r-- |
7,325 |
monotonic-int-phis.ll
|
|
- |
rw-r--r-- |
20,232 |
monotonic-pointer-phis-constant-upper-offset.ll
|
|
- |
rw-r--r-- |
3,095 |
monotonic-pointer-phis-crashes.ll
|
|
- |
rw-r--r-- |
17,318 |
monotonic-pointer-phis-custom-datalayout.ll
|
|
- |
rw-r--r-- |
37,744 |
monotonic-pointer-phis-early-exits.ll
|
|
- |
rw-r--r-- |
49,000 |
monotonic-pointer-phis-struct-types.ll
|
|
- |
rw-r--r-- |
39,111 |
monotonic-pointer-phis.ll
|
|
- |
rw-r--r-- |
38,372 |
mul-nsw.ll
|
|
- |
rw-r--r-- |
52,852 |
mul.ll
|
|
- |
rw-r--r-- |
14,269 |
ne.ll
|
|
- |
rw-r--r-- |
27,857 |
or.ll
|
|
- |
rw-r--r-- |
846 |
overflows.ll
|
|
- |
rw-r--r-- |
6,824 |
pointercast.ll
|
|
- |
rw-r--r-- |
1,940 |
pr54228-variable-name-order.ll
|
|
- |
rw-r--r-- |
6,227 |
range_checks.ll
|
|
- |
rw-r--r-- |
1,029 |
reproducer-remarks-debug.ll
|
|
- |
rw-r--r-- |
8,774 |
reproducer-remarks.ll
|
|
- |
rw-r--r-- |
7,645 |
sge.ll
|
|
- |
rw-r--r-- |
48,780 |
shl.ll
|
|
- |
rw-r--r-- |
5,132 |
signed-query-unsigned-system.ll
|
|
- |
rw-r--r-- |
11,340 |
ssub-with-overflow.ll
|
|
- |
rw-r--r-- |
13,166 |
sub-nuw.ll
|
|
- |
rw-r--r-- |
8,570 |
sub.ll
|
|
- |
rw-r--r-- |
1,409 |
switch.ll
|
|
- |
rw-r--r-- |
24,626 |
transfer-signed-facts-to-unsigned.ll
|
|
- |
rw-r--r-- |
7,723 |
transfer-unsigned-facts-to-signed.ll
|
|
- |
rw-r--r-- |
6,942 |
uge.ll
|
|
- |
rw-r--r-- |
1,031 |
ugt-ule.ll
|
|
- |
rw-r--r-- |
6,945 |
ule.ll
|
|
- |
rw-r--r-- |
2,799 |
uses-in-different-blocks.ll
|
|
- |
rw-r--r-- |
10,166 |
usub-with-overflow.ll
|
|
- |
rw-r--r-- |
2,364 |
vector-compares.ll
|
|
- |
rw-r--r-- |
11,729 |
wrapping-math.ll
|
|
- |
rw-r--r-- |
4,777 |
zext-for-per-formula-reasoning.ll
|
|
- |
rw-r--r-- |
10,046 |
zext.ll
|
