 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
5,929 |
abs.ll
|
|
- |
rw-r--r-- |
31,885 |
add-nsw.ll
|
|
- |
rw-r--r-- |
24,450 |
add-nuw.ll
|
|
- |
rw-r--r-- |
10,476 |
add.ll
|
|
- |
rw-r--r-- |
3,316 |
analysis-invalidation.ll
|
|
- |
rw-r--r-- |
14,613 |
and-implied-by-operands.ll
|
|
- |
rw-r--r-- |
19,174 |
and.ll
|
|
- |
rw-r--r-- |
20,454 |
assumes.ll
|
|
- |
rw-r--r-- |
7,382 |
cond-used-in-phi.ll
|
|
- |
rw-r--r-- |
3,027 |
constants-signed-predicates.ll
|
|
- |
rw-r--r-- |
2,851 |
constants-unsigned-predicates.ll
|
|
- |
rw-r--r-- |
1,376 |
constraint-overflow.ll
|
|
- |
rw-r--r-- |
1,670 |
debug.ll
|
|
- |
rw-r--r-- |
2,374 |
decompose-with-temporary-indices.ll
|
|
- |
rw-r--r-- |
18,278 |
dom.ll
|
|
- |
rw-r--r-- |
1,196 |
empty-constraint.ll
|
|
- |
rw-r--r-- |
13,000 |
eq.ll
|
|
- |
rw-r--r-- |
16,491 |
gep-add-multiple-indices-signed-predicates.ll
|
|
- |
rw-r--r-- |
15,497 |
gep-add-multiple-indices.ll
|
|
- |
rw-r--r-- |
20,255 |
gep-arithmetic-add-signed-predicates.ll
|
|
- |
rw-r--r-- |
19,726 |
gep-arithmetic-add.ll
|
|
- |
rw-r--r-- |
20,904 |
gep-arithmetic-different-types.ll
|
|
- |
rw-r--r-- |
29,936 |
gep-arithmetic-signed-predicates.ll
|
|
- |
rw-r--r-- |
28,244 |
gep-arithmetic.ll
|
|
- |
rw-r--r-- |
19,981 |
gep-chains.ll
|
|
- |
rw-r--r-- |
1,733 |
gep-constexpr.ll
|
|
- |
rw-r--r-- |
27,844 |
gep-sub-signed-predicates.ll
|
|
- |
rw-r--r-- |
31,948 |
gep-sub.ll
|
|
- |
rw-r--r-- |
2,337 |
geps-128-bit-pointers.ll
|
|
- |
rw-r--r-- |
1,373 |
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,194 |
geps-pointers-to-arrays.ll
|
|
- |
rw-r--r-- |
18,294 |
geps-pointers-to-structs.ll
|
|
- |
rw-r--r-- |
12,821 |
geps-precondition-overflow-check.ll
|
|
- |
rw-r--r-- |
2,374 |
geps-ptrvector.ll
|
|
- |
rw-r--r-- |
28,257 |
geps-signed-predicates.ll
|
|
- |
rw-r--r-- |
26,485 |
geps-unsigned-predicates.ll
|
|
- |
rw-r--r-- |
31,053 |
induction-condition-in-loop-exit.ll
|
|
- |
rw-r--r-- |
1,537 |
invoke.ll
|
|
- |
rw-r--r-- |
15,367 |
large-constant-ints.ll
|
|
- |
rw-r--r-- |
3,017 |
large-system-growth.ll
|
|
- |
rw-r--r-- |
5,788 |
loops-bottom-tested-base.ll
|
|
- |
rw-r--r-- |
9,318 |
loops-bottom-tested-pointer-cmps.ll
|
|
- |
rw-r--r-- |
13,326 |
loops-header-tested-base.ll
|
|
- |
rw-r--r-- |
32,516 |
loops-header-tested-pointer-cmps.ll
|
|
- |
rw-r--r-- |
4,128 |
loops-header-tested-pointer-iv.ll
|
|
- |
rw-r--r-- |
15,347 |
loops.ll
|
|
- |
rw-r--r-- |
2,837 |
max-row-limit.ll
|
|
- |
rw-r--r-- |
21,270 |
minmax.ll
|
|
- |
rw-r--r-- |
16,310 |
mixed-signed-unsigned-predicates.ll
|
|
- |
rw-r--r-- |
1,580 |
mixed.ll
|
|
- |
rw-r--r-- |
5,459 |
monotonic-int-phis-cfg.ll
|
|
- |
rw-r--r-- |
8,515 |
monotonic-int-phis-decrement.ll
|
|
- |
rw-r--r-- |
9,350 |
monotonic-int-phis-multiples.ll
|
|
- |
rw-r--r-- |
5,481 |
monotonic-int-phis-nested-loops.ll
|
|
- |
rw-r--r-- |
9,591 |
monotonic-int-phis-signed.ll
|
|
- |
rw-r--r-- |
8,704 |
monotonic-int-phis-wrapping.ll
|
|
- |
rw-r--r-- |
7,093 |
monotonic-int-phis.ll
|
|
- |
rw-r--r-- |
3,683 |
monotonic-phis-adjacent-loops.ll
|
|
- |
rw-r--r-- |
19,059 |
monotonic-pointer-phis-constant-upper-offset.ll
|
|
- |
rw-r--r-- |
3,095 |
monotonic-pointer-phis-crashes.ll
|
|
- |
rw-r--r-- |
16,352 |
monotonic-pointer-phis-custom-datalayout.ll
|
|
- |
rw-r--r-- |
36,987 |
monotonic-pointer-phis-early-exits.ll
|
|
- |
rw-r--r-- |
46,585 |
monotonic-pointer-phis-struct-types.ll
|
|
- |
rw-r--r-- |
39,844 |
monotonic-pointer-phis.ll
|
|
- |
rw-r--r-- |
37,338 |
mul-nsw.ll
|
|
- |
rw-r--r-- |
51,431 |
mul.ll
|
|
- |
rw-r--r-- |
13,074 |
ne.ll
|
|
- |
rw-r--r-- |
8,236 |
or-implied-by-operands.ll
|
|
- |
rw-r--r-- |
27,835 |
or.ll
|
|
- |
rw-r--r-- |
1,180 |
overflows.ll
|
|
- |
rw-r--r-- |
6,422 |
pointercast.ll
|
|
- |
rw-r--r-- |
1,900 |
pr105785.ll
|
|
- |
rw-r--r-- |
1,940 |
pr54228-variable-name-order.ll
|
|
- |
rw-r--r-- |
3,099 |
pr70510.ll
|
|
- |
rw-r--r-- |
6,079 |
range_checks.ll
|
|
- |
rw-r--r-- |
14,464 |
reason-about-add-operands.ll
|
|
- |
rw-r--r-- |
1,035 |
reproducer-remarks-debug.ll
|
|
- |
rw-r--r-- |
8,773 |
reproducer-remarks.ll
|
|
- |
rw-r--r-- |
7,828 |
sext-signed-predicates.ll
|
|
- |
rw-r--r-- |
4,319 |
sext-unsigned-predicates.ll
|
|
- |
rw-r--r-- |
6,983 |
sge.ll
|
|
- |
rw-r--r-- |
51,432 |
shl.ll
|
|
- |
rw-r--r-- |
4,643 |
signed-query-unsigned-system.ll
|
|
- |
rw-r--r-- |
11,340 |
ssub-with-overflow.ll
|
|
- |
rw-r--r-- |
15,542 |
sub-nuw.ll
|
|
- |
rw-r--r-- |
8,570 |
sub.ll
|
|
- |
rw-r--r-- |
5,145 |
switch.ll
|
|
- |
rw-r--r-- |
15,186 |
transfer-signed-facts-to-unsigned-is-known-non-negative.ll
|
|
- |
rw-r--r-- |
23,086 |
transfer-signed-facts-to-unsigned.ll
|
|
- |
rw-r--r-- |
7,411 |
transfer-unsigned-facts-to-signed-is-known-non-negative.ll
|
|
- |
rw-r--r-- |
10,115 |
transfer-unsigned-facts-to-signed.ll
|
|
- |
rw-r--r-- |
6,396 |
uge.ll
|
|
- |
rw-r--r-- |
909 |
ugt-ule.ll
|
|
- |
rw-r--r-- |
6,399 |
ule.ll
|
|
- |
rw-r--r-- |
2,230 |
umin-result-may-be-poison.ll
|
|
- |
rw-r--r-- |
3,934 |
uscmp.ll
|
|
- |
rw-r--r-- |
2,643 |
uses-in-different-blocks.ll
|
|
- |
rw-r--r-- |
10,111 |
usub-with-overflow.ll
|
|
- |
rw-r--r-- |
2,202 |
vector-compares.ll
|
|
- |
rw-r--r-- |
11,098 |
wrapping-math.ll
|
|
- |
rw-r--r-- |
4,351 |
zext-for-per-formula-reasoning.ll
|
|
- |
rw-r--r-- |
10,105 |
zext.ll
|
