index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
polly
/
test
/
ScopInfo
Mode
Name
Size
-rw-r--r--
20110312-Fail-without-basicaa.ll
1002
log
stats
plain
-rw-r--r--
20111108-Parameter-not-detected.ll
2731
log
stats
plain
-rw-r--r--
2012-03-16-Crash-because-of-unsigned-in-scev.ll
810
log
stats
plain
-rw-r--r--
2015-10-04-Crash-in-domain-generation.ll
1367
log
stats
plain
-rw-r--r--
Alias-0.ll
1812
log
stats
plain
-rw-r--r--
Alias-1.ll
1871
log
stats
plain
-rw-r--r--
Alias-2.ll
1972
log
stats
plain
-rw-r--r--
Alias-3.ll
1358
log
stats
plain
-rw-r--r--
Alias-4.ll
1408
log
stats
plain
d---------
BoundChecks
82
log
stats
plain
d---------
NonAffine
1219
log
stats
plain
-rw-r--r--
aliasing_conditional_alias_groups_1.ll
1901
log
stats
plain
-rw-r--r--
aliasing_conditional_alias_groups_2.ll
1820
log
stats
plain
-rw-r--r--
aliasing_dead_access.ll
1779
log
stats
plain
-rw-r--r--
aliasing_many_arrays_to_compare.ll
1991
log
stats
plain
-rw-r--r--
aliasing_many_parameters_not_all_involved.ll
4272
log
stats
plain
-rw-r--r--
aliasing_many_read_only_acesses.ll
9787
log
stats
plain
-rw-r--r--
aliasing_multiple_alias_groups.ll
2609
log
stats
plain
-rw-r--r--
aliasing_with_non_affine_access.ll
3781
log
stats
plain
-rw-r--r--
assume_gep_bounds.ll
3065
log
stats
plain
-rw-r--r--
assume_gep_bounds_2.ll
3559
log
stats
plain
-rw-r--r--
assume_gep_bounds_many.ll
30681
log
stats
plain
-rw-r--r--
avoid_new_parameters_from_geps.ll
2598
log
stats
plain
-rw-r--r--
bool-addrec.ll
1710
log
stats
plain
-rw-r--r--
bounded_loop_assumptions.ll
2319
log
stats
plain
-rw-r--r--
branch-references-loop-scev-with-unknown-iterations-2.ll
1252
log
stats
plain
-rw-r--r--
branch-references-loop-scev-with-unknown-iterations-3.ll
3684
log
stats
plain
-rw-r--r--
branch-references-loop-scev-with-unknown-iterations.ll
2441
log
stats
plain
-rw-r--r--
bug_2010_10_22.ll
1683
log
stats
plain
-rw-r--r--
bug_2011_1_5.ll
2397
log
stats
plain
-rw-r--r--
bug_scev_not_fully_eval.ll
1567
log
stats
plain
-rw-r--r--
cfg_consequences.ll
14220
log
stats
plain
-rw-r--r--
complex-branch-structure.ll
4410
log
stats
plain
-rw-r--r--
complex-condition.ll
5615
log
stats
plain
-rw-r--r--
complex-expression.ll
7575
log
stats
plain
-rw-r--r--
complex-loop-nesting.ll
3007
log
stats
plain
-rw-r--r--
complex-successor-structure-2.ll
21077
log
stats
plain
-rw-r--r--
complex-successor-structure-3.ll
11483
log
stats
plain
-rw-r--r--
complex-successor-structure.ll
21040
log
stats
plain
-rw-r--r--
complex_domain_binary_condition.ll
2665
log
stats
plain
-rw-r--r--
complex_execution_context.ll
2009
log
stats
plain
-rw-r--r--
cond_constant_in_loop.ll
1700
log
stats
plain
-rw-r--r--
cond_in_loop.ll
1839
log
stats
plain
-rw-r--r--
const_srem_sdiv.ll
4090
log
stats
plain
-rw-r--r--
constant-non-integer-branch-condition.ll
870
log
stats
plain
-rw-r--r--
constant_factor_in_parameter.ll
1543
log
stats
plain
-rw-r--r--
constant_start_integer.ll
1894
log
stats
plain
-rw-r--r--
delinearize-together-all-data-refs.ll
3176
log
stats
plain
-rw-r--r--
div_by_zero.ll
1054
log
stats
plain
-rw-r--r--
do-not-model-error-block-accesses.ll
2232
log
stats
plain
-rw-r--r--
eager-binary-and-or-conditions.ll
3749
log
stats
plain
-rw-r--r--
early_exit_for_complex_domains.ll
2885
log
stats
plain
-rw-r--r--
error-blocks-1.ll
2443
log
stats
plain
-rw-r--r--
error-blocks-2.ll
3150
log
stats
plain
-rw-r--r--
error-blocks-3.ll
2792
log
stats
plain
-rw-r--r--
escaping_empty_scop.ll
1647
log
stats
plain
-rw-r--r--
exit-phi-1.ll
2306
log
stats
plain
-rw-r--r--
exit-phi-2.ll
1504
log
stats
plain
-rw-r--r--
exit_phi_accesses-2.ll
1590
log
stats
plain
-rw-r--r--
exit_phi_accesses.ll
1467
log
stats
plain
-rw-r--r--
expensive-boundary-context.ll
15644
log
stats
plain
-rw-r--r--
extract_constant_factor_introduces_new_parameter.ll
1392
log
stats
plain
-rw-r--r--
fortran_array_global_malloc_nonvectored.ll
5413
log
stats
plain
-rw-r--r--
fortran_array_global_nonmalloc_nonvectored.ll
3610
log
stats
plain
-rw-r--r--
fortran_array_param_nonmalloc_nonvectored.ll
2512
log
stats
plain
-rw-r--r--
fortran_array_param_nonmalloc_nonvectored_read_and_write.ll
4199
log
stats
plain
-rw-r--r--
full-function.ll
2602
log
stats
plain
-rw-r--r--
i1_params.ll
1767
log
stats
plain
-rw-r--r--
infeasible-rtc.ll
1761
log
stats
plain
-rw-r--r--
infeasible_invalid_context.ll
3310
log
stats
plain
-rw-r--r--
int2ptr_ptr2int.ll
2881
log
stats
plain
-rw-r--r--
int2ptr_ptr2int_2.ll
2760
log
stats
plain
-rw-r--r--
integers.ll
3954
log
stats
plain
-rw-r--r--
inter-error-bb-dependence.ll
1772
log
stats
plain
-rw-r--r--
inter_bb_scalar_dep.ll
2103
log
stats
plain
-rw-r--r--
intra-non-affine-stmt-phi-node.ll
1674
log
stats
plain
-rw-r--r--
intra_and_inter_bb_scalar_dep.ll
2524
log
stats
plain
-rw-r--r--
intra_bb_scalar_dep.ll
2045
log
stats
plain
-rw-r--r--
invalid_add_rec_after_invariant_load_remapping.ll
3138
log
stats
plain
-rw-r--r--
invariant-loads-leave-read-only-statements.ll
5850
log
stats
plain
-rw-r--r--
invariant_load.ll
1144
log
stats
plain
-rw-r--r--
invariant_load_access_classes_different_base_type.ll
2587
log
stats
plain
-rw-r--r--
invariant_load_access_classes_different_base_type_escaping.ll
3585
log
stats
plain
-rw-r--r--
invariant_load_access_classes_different_base_type_same_pointer.ll
2893
log
stats
plain
-rw-r--r--
invariant_load_access_classes_different_base_type_same_pointer_escaping.ll
3223
log
stats
plain
-rw-r--r--
invariant_load_base_pointer.ll
1169
log
stats
plain
-rw-r--r--
invariant_load_base_pointer_conditional.ll
1706
log
stats
plain
-rw-r--r--
invariant_load_base_pointer_in_conditional.ll
1708
log
stats
plain
-rw-r--r--
invariant_load_canonicalize_array_baseptrs.ll
1282
log
stats
plain
-rw-r--r--
invariant_load_canonicalize_array_baseptrs_2.ll
3235
log
stats
plain
-rw-r--r--
invariant_load_canonicalize_array_baseptrs_3.ll
1738
log
stats
plain
-rw-r--r--
invariant_load_canonicalize_array_baseptrs_4.ll
1525
log
stats
plain
-rw-r--r--
invariant_load_canonicalize_array_baseptrs_4b.ll
1699
log
stats
plain
-rw-r--r--
invariant_load_canonicalize_array_baseptrs_4c.ll
1470
log
stats
plain
-rw-r--r--
invariant_load_canonicalize_array_baseptrs_5.ll
2853
log
stats
plain
-rw-r--r--
invariant_load_condition.ll
1374
log
stats
plain
-rw-r--r--
invariant_load_dereferenceable.ll
2930
log
stats
plain
-rw-r--r--
invariant_load_distinct_parameter_valuations.ll
4812
log
stats
plain
-rw-r--r--
invariant_load_in_non_affine.ll
2159
log
stats
plain
-rw-r--r--
invariant_load_loop_ub.ll
1299
log
stats
plain
-rw-r--r--
invariant_load_ptr_ptr_noalias.ll
1986
log
stats
plain
-rw-r--r--
invariant_load_scalar_dep.ll
1359
log
stats
plain
-rw-r--r--
invariant_load_stmt_domain.ll
2232
log
stats
plain
-rw-r--r--
invariant_load_zext_parameter-2.ll
4471
log
stats
plain
-rw-r--r--
invariant_load_zext_parameter.ll
2738
log
stats
plain
-rw-r--r--
invariant_load_zextended_in_own_execution_context.ll
1109
log
stats
plain
-rw-r--r--
invariant_loads_complicated_dependences.ll
3511
log
stats
plain
-rw-r--r--
invariant_loads_cyclic_dependences.ll
2347
log
stats
plain
-rw-r--r--
invariant_loop_bounds.ll
4993
log
stats
plain
-rw-r--r--
invariant_same_loop_bound_multiple_times-1.ll
4616
log
stats
plain
-rw-r--r--
invariant_same_loop_bound_multiple_times-2.ll
4760
log
stats
plain
-rw-r--r--
isl_aff_out_of_bounds.ll
1466
log
stats
plain
-rw-r--r--
isl_trip_count_01.ll
1039
log
stats
plain
-rw-r--r--
isl_trip_count_02.ll
899
log
stats
plain
-rw-r--r--
isl_trip_count_03.ll
2148
log
stats
plain
-rw-r--r--
isl_trip_count_multiple_exiting_blocks.ll
1376
log
stats
plain
-rw-r--r--
kernel_gemm___%for.cond.1.preheader---%for.end.12.jscop
1029
log
stats
plain
-rw-r--r--
licm_load.ll
2087
log
stats
plain
-rw-r--r--
licm_potential_store.ll
2924
log
stats
plain
-rw-r--r--
licm_reduction.ll
1664
log
stats
plain
-rw-r--r--
licm_reduction_nested.ll
2582
log
stats
plain
-rw-r--r--
licm_store.ll
1673
log
stats
plain
-rw-r--r--
long-compile-time-alias-analysis.ll
10048
log
stats
plain
-rw-r--r--
long-sequence-of-error-blocks-2.ll
10766
log
stats
plain
-rw-r--r--
long-sequence-of-error-blocks.ll
10299
log
stats
plain
-rw-r--r--
loop-multiexit-succ-cond.ll
2776
log
stats
plain
-rw-r--r--
loop_affine_bound_0.ll
2962
log
stats
plain
-rw-r--r--
loop_affine_bound_1.ll
3131
log
stats
plain
-rw-r--r--
loop_affine_bound_2.ll
2659
log
stats
plain
-rw-r--r--
loop_carry.ll
3402
log
stats
plain
-rw-r--r--
many-scalar-dependences.ll
10528
log
stats
plain
-rw-r--r--
max-loop-depth.ll
2606
log
stats
plain
-rw-r--r--
memcpy-raw-source.ll
3484
log
stats
plain
-rw-r--r--
memcpy.ll
3209
log
stats
plain
-rw-r--r--
memmove.ll
3210
log
stats
plain
-rw-r--r--
memset.ll
2490
log
stats
plain
-rw-r--r--
memset_null.ll
1578
log
stats
plain
-rw-r--r--
mismatching-array-dimensions.ll
2375
log
stats
plain
-rw-r--r--
mod_ref_access_pointee_arguments.ll
2120
log
stats
plain
-rw-r--r--
mod_ref_read_pointee_arguments.ll
2428
log
stats
plain
-rw-r--r--
mod_ref_read_pointer.ll
1786
log
stats
plain
-rw-r--r--
mod_ref_read_pointers.ll
2261
log
stats
plain
-rw-r--r--
modulo_zext_1.ll
2000
log
stats
plain
-rw-r--r--
modulo_zext_2.ll
2168
log
stats
plain
-rw-r--r--
modulo_zext_3.ll
1843
log
stats
plain
-rw-r--r--
multi-scop.ll
1416
log
stats
plain
-rw-r--r--
multidim_2d-diagonal-matrix.ll
1117
log
stats
plain
-rw-r--r--
multidim_2d_outer_parametric_offset.ll
1692
log
stats
plain
-rw-r--r--
multidim_2d_parametric_array_static_loop_bounds.ll
1620
log
stats
plain
-rw-r--r--
multidim_2d_with_modref_call.ll
9151
log
stats
plain
-rw-r--r--
multidim_2d_with_modref_call_2.ll
8691
log
stats
plain
-rw-r--r--
multidim_3d_parametric_array_static_loop_bounds.ll
2120
log
stats
plain
-rw-r--r--
multidim_fixedsize_different_dimensionality.ll
10105
log
stats
plain
-rw-r--r--
multidim_fixedsize_multi_offset.ll
2558
log
stats
plain
-rw-r--r--
multidim_fold_constant_dim.ll
3471
log
stats
plain
-rw-r--r--
multidim_fold_constant_dim_zero.ll
2381
log
stats
plain
-rw-r--r--
multidim_fortran_2d.ll
2626
log
stats
plain
-rw-r--r--
multidim_fortran_2d_params.ll
3047
log
stats
plain
-rw-r--r--
multidim_fortran_2d_with_modref_call.ll
9166
log
stats
plain
-rw-r--r--
multidim_fortran_srem.ll
12810
log
stats
plain
-rw-r--r--
multidim_gep_pointercast.ll
2036
log
stats
plain
-rw-r--r--
multidim_gep_pointercast2.ll
1710
log
stats
plain
-rw-r--r--
multidim_ivs_and_integer_offsets_3d.ll
2274
log
stats
plain
-rw-r--r--
multidim_ivs_and_parameteric_offsets_3d.ll
2926
log
stats
plain
-rw-r--r--
multidim_many_references.ll
22255
log
stats
plain
-rw-r--r--
multidim_nested_start_integer.ll
2350
log
stats
plain
-rw-r--r--
multidim_nested_start_share_parameter.ll
2312
log
stats
plain
-rw-r--r--
multidim_only_ivs_2d.ll
1651
log
stats
plain
-rw-r--r--
multidim_only_ivs_3d.ll
2064
log
stats
plain
-rw-r--r--
multidim_only_ivs_3d_cast.ll
2833
log
stats
plain
-rw-r--r--
multidim_only_ivs_3d_reverse.ll
2330
log
stats
plain
-rw-r--r--
multidim_param_in_subscript-2.ll
3198
log
stats
plain
-rw-r--r--
multidim_param_in_subscript.ll
2220
log
stats
plain
-rw-r--r--
multidim_parameter_addrec_product.ll
2237
log
stats
plain
-rw-r--r--
multidim_single_and_multidim_array.ll
4121
log
stats
plain
-rw-r--r--
multidim_srem.ll
4330
log
stats
plain
-rw-r--r--
multidim_with_bitcast.ll
2483
log
stats
plain
-rw-r--r--
multiple-binary-or-conditions.ll
1559
log
stats
plain
-rw-r--r--
multiple-types-access-offset-not-dividable-by-element-size.ll
3519
log
stats
plain
-rw-r--r--
multiple-types-non-affine-2.ll
3593
log
stats
plain
-rw-r--r--
multiple-types-non-affine.ll
3608
log
stats
plain
-rw-r--r--
multiple-types-non-power-of-two-2.ll
2361
log
stats
plain
-rw-r--r--
multiple-types-non-power-of-two.ll
7371
log
stats
plain
-rw-r--r--
multiple-types-two-dimensional-2.ll
2151
log
stats
plain
-rw-r--r--
multiple-types-two-dimensional.ll
2133
log
stats
plain
-rw-r--r--
multiple-types.ll
3013
log
stats
plain
-rw-r--r--
multiple_exiting_blocks.ll
2068
log
stats
plain
-rw-r--r--
multiple_exiting_blocks_two_loop.ll
2424
log
stats
plain
-rw-r--r--
multiple_latch_blocks.ll
1545
log
stats
plain
-rw-r--r--
nested-loops.ll
1194
log
stats
plain
-rw-r--r--
no-scalar-deps-in-non-affine-subregion.ll
2032
log
stats
plain
-rw-r--r--
non-affine-region-phi.ll
2327
log
stats
plain
-rw-r--r--
non-affine-region-with-loop-2.ll
1842
log
stats
plain
-rw-r--r--
non-affine-region-with-loop.ll
1154
log
stats
plain
-rw-r--r--
non-precise-inv-load-1.ll
2131
log
stats
plain
-rw-r--r--
non-precise-inv-load-2.ll
1719
log
stats
plain
-rw-r--r--
non-precise-inv-load-3.ll
1719
log
stats
plain
-rw-r--r--
non-precise-inv-load-4.ll
1961
log
stats
plain
-rw-r--r--
non-precise-inv-load-5.ll
2346
log
stats
plain
-rw-r--r--
non-precise-inv-load-6.ll
1467
log
stats
plain
-rw-r--r--
non-pure-function-call.ll
1538
log
stats
plain
-rw-r--r--
non-pure-function-calls-causes-dead-blocks.ll
4658
log
stats
plain
-rw-r--r--
non-pure-function-calls.ll
3820
log
stats
plain
-rw-r--r--
non_affine_access.ll
1361
log
stats
plain
-rw-r--r--
non_affine_region_1.ll
4048
log
stats
plain
-rw-r--r--
non_affine_region_2.ll
3683
log
stats
plain
-rw-r--r--
non_affine_region_3.ll
3519
log
stats
plain
-rw-r--r--
non_affine_region_4.ll
3379
log
stats
plain
-rw-r--r--
nonaffine-buildMemoryAccess.ll
1540
log
stats
plain
-rw-r--r--
not-a-reduction.ll
1643
log
stats
plain
-rw-r--r--
opaque-struct.ll
748
log
stats
plain
-rw-r--r--
out-of-scop-use-in-region-entry-phi-node-nonaffine-subregion.ll
1763
log
stats
plain
-rw-r--r--
out-of-scop-use-in-region-entry-phi-node.ll
1083
log
stats
plain
-rw-r--r--
parameter-constant-division.ll
5267
log
stats
plain
-rw-r--r--
parameter_in_dead_statement.ll
1610
log
stats
plain
-rw-r--r--
parameter_product.ll
850
log
stats
plain
-rw-r--r--
parameter_with_constant_factor_in_add.ll
2185
log
stats
plain
-rw-r--r--
partially_invariant_load_1.ll
2195
log
stats
plain
-rw-r--r--
partially_invariant_load_2.ll
2326
log
stats
plain
-rw-r--r--
phi-in-non-affine-region.ll
2252
log
stats
plain
-rw-r--r--
phi_condition_modeling_1.ll
2277
log
stats
plain
-rw-r--r--
phi_condition_modeling_2.ll
3331
log
stats
plain
-rw-r--r--
phi_conditional_simple_1.ll
2267
log
stats
plain
-rw-r--r--
phi_loop_carried_float.ll
2348
log
stats
plain
-rw-r--r--
phi_not_grouped_at_top.ll
1100
log
stats
plain
-rw-r--r--
phi_scalar_simple_1.ll
5976
log
stats
plain
-rw-r--r--
phi_scalar_simple_2.ll
7394
log
stats
plain
-rw-r--r--
phi_with_invoke_edge.ll
1045
log
stats
plain
-rw-r--r--
pointer-comparison-no-nsw.ll
1307
log
stats
plain
-rw-r--r--
pointer-comparison.ll
1313
log
stats
plain
-rw-r--r--
pointer-type-expressions.ll
1310
log
stats
plain
-rw-r--r--
pointer-used-as-base-pointer-and-scalar-read.ll
3034
log
stats
plain
-rw-r--r--
process_added_dimensions.ll
5787
log
stats
plain
-rw-r--r--
ranged_parameter.ll
1249
log
stats
plain
-rw-r--r--
ranged_parameter_2.ll
1191
log
stats
plain
-rw-r--r--
ranged_parameter_wrap.ll
1307
log
stats
plain
-rw-r--r--
ranged_parameter_wrap_2.ll
6835
log
stats
plain
-rw-r--r--
read-only-scalar-used-in-phi-2.ll
982
log
stats
plain
-rw-r--r--
read-only-scalar-used-in-phi.ll
2256
log
stats
plain
-rw-r--r--
read-only-scalars.ll
1121
log
stats
plain
-rw-r--r--
read-only-statements.ll
2397
log
stats
plain
-rw-r--r--
reduction_alternating_base.ll
1158
log
stats
plain
-rw-r--r--
reduction_chain_partially_outside_the_scop.ll
1800
log
stats
plain
-rw-r--r--
reduction_disabled_multiplicative.ll
1648
log
stats
plain
-rw-r--r--
reduction_escaping_intermediate.ll
1994
log
stats
plain
-rw-r--r--
reduction_escaping_intermediate_2.ll
2386
log
stats
plain
-rw-r--r--
reduction_invalid_different_operators.ll
1517
log
stats
plain
-rw-r--r--
reduction_invalid_overlapping_accesses.ll
1864
log
stats
plain
-rw-r--r--
reduction_multiple_loops_array_sum.ll
2337
log
stats
plain
-rw-r--r--
reduction_multiple_loops_array_sum_1.ll
2243
log
stats
plain
-rw-r--r--
reduction_multiple_simple_binary.ll
3805
log
stats
plain
-rw-r--r--
reduction_non_overlapping_chains.ll
1908
log
stats
plain
-rw-r--r--
reduction_only_reduction_like_access.ll
1089
log
stats
plain
-rw-r--r--
reduction_simple_fp.ll
1947
log
stats
plain
-rw-r--r--
reduction_simple_w_constant.ll
716
log
stats
plain
-rw-r--r--
reduction_simple_w_iv.ll
752
log
stats
plain
-rw-r--r--
reduction_two_identical_reads.ll
2288
log
stats
plain
-rw-r--r--
redundant_parameter_constraint.ll
1462
log
stats
plain
-rw-r--r--
remarks.ll
17390
log
stats
plain
-rw-r--r--
required-invariant-loop-bounds.ll
2545
log
stats
plain
-rw-r--r--
restriction_in_dead_block.ll
1814
log
stats
plain
-rw-r--r--
run-time-check-many-parameters.ll
4683
log
stats
plain
-rw-r--r--
run-time-check-read-only-arrays.ll
1018
log
stats
plain
-rw-r--r--
same-base-address-scalar-and-array.ll
1152
log
stats
plain
-rw-r--r--
scalar.ll
2131
log
stats
plain
-rw-r--r--
scalar_dependence_cond_br.ll
1621
log
stats
plain
-rw-r--r--
scalar_to_array.ll
7249
log
stats
plain
-rw-r--r--
scev-div-with-evaluatable-divisor.ll
2579
log
stats
plain
-rw-r--r--
scev-invalidated.ll
641
log
stats
plain
-rw-r--r--
schedule-const-post-dominator-walk-2.ll
985
log
stats
plain
-rw-r--r--
schedule-const-post-dominator-walk.ll
999
log
stats
plain
-rw-r--r--
schedule-constuction-endless-loop1.ll
1108
log
stats
plain
-rw-r--r--
schedule-constuction-endless-loop2.ll
1160
log
stats
plain
-rw-r--r--
schedule-incorrectly-contructed-in-case-of-infinite-loop.ll
3162
log
stats
plain
-rw-r--r--
scop-affine-parameter-ordering.ll
1524
log
stats
plain
-rw-r--r--
sign_wrapped_set.ll
1849
log
stats
plain
-rw-r--r--
simple_loop_1.ll
1341
log
stats
plain
-rw-r--r--
simple_loop_2.ll
1374
log
stats
plain
-rw-r--r--
simple_loop_unsigned.ll
1042
log
stats
plain
-rw-r--r--
simple_loop_unsigned_2.ll
971
log
stats
plain
-rw-r--r--
simple_loop_unsigned_3.ll
900
log
stats
plain
-rw-r--r--
simple_nonaffine_loop_not.ll
1597
log
stats
plain
-rw-r--r--
smax.ll
871
log
stats
plain
-rw-r--r--
statistics.ll
7813
log
stats
plain
-rw-r--r--
stride_detection.ll
2962
log
stats
plain
-rw-r--r--
switch-1.ll
4484
log
stats
plain
-rw-r--r--
switch-2.ll
3599
log
stats
plain
-rw-r--r--
switch-3.ll
5297
log
stats
plain
-rw-r--r--
switch-4.ll
5869
log
stats
plain
-rw-r--r--
switch-5.ll
2605
log
stats
plain
-rw-r--r--
switch-6.ll
5231
log
stats
plain
-rw-r--r--
switch-7.ll
4788
log
stats
plain
-rw-r--r--
tempscop-printing.ll
3273
log
stats
plain
-rw-r--r--
test-wrapping-in-condition.ll
1420
log
stats
plain
-rw-r--r--
truncate-1.ll
1445
log
stats
plain
-rw-r--r--
truncate-2.ll
1531
log
stats
plain
-rw-r--r--
truncate-3.ll
939
log
stats
plain
-rw-r--r--
two-loops-one-infinite.ll
1451
log
stats
plain
-rw-r--r--
two-loops-right-after-each-other.ll
1973
log
stats
plain
-rw-r--r--
undef_in_cond.ll
785
log
stats
plain
-rw-r--r--
unnamed_nonaffine.ll
6314
log
stats
plain
-rw-r--r--
unnamed_stmts.ll
6327
log
stats
plain
-rw-r--r--
unprofitable_scalar-accs.ll
4442
log
stats
plain
-rw-r--r--
unsigned-condition.ll
1221
log
stats
plain
-rw-r--r--
unsigned-division-1.ll
1358
log
stats
plain
-rw-r--r--
unsigned-division-2.ll
1389
log
stats
plain
-rw-r--r--
unsigned-division-3.ll
1339
log
stats
plain
-rw-r--r--
unsigned-division-4.ll
1392
log
stats
plain
-rw-r--r--
unsigned-division-5.ll
1846
log
stats
plain
-rw-r--r--
user_context.ll
1248
log
stats
plain
-rw-r--r--
user_provided_assumptions-in-bb-signed-conditional.ll
2052
log
stats
plain
-rw-r--r--
user_provided_assumptions-in-bb-signed.ll
1427
log
stats
plain
-rw-r--r--
user_provided_assumptions-in-bb-unsigned.ll
1843
log
stats
plain
-rw-r--r--
user_provided_assumptions.ll
4919
log
stats
plain
-rw-r--r--
user_provided_assumptions_2.ll
1755
log
stats
plain
-rw-r--r--
user_provided_assumptions_3.ll
1831
log
stats
plain
-rw-r--r--
user_provided_non_dominating_assumptions.ll
2947
log
stats
plain
-rw-r--r--
variant_base_pointer.ll
1371
log
stats
plain
-rw-r--r--
variant_load_empty_domain.ll
1588
log
stats
plain
-rw-r--r--
wraping_signed_expr_0.ll
2207
log
stats
plain
-rw-r--r--
wraping_signed_expr_1.ll
2558
log
stats
plain
-rw-r--r--
wraping_signed_expr_2.ll
1300
log
stats
plain
-rw-r--r--
wraping_signed_expr_3.ll
1071
log
stats
plain
-rw-r--r--
wraping_signed_expr_4.ll
1104
log
stats
plain
-rw-r--r--
wraping_signed_expr_5.ll
1588
log
stats
plain
-rw-r--r--
wraping_signed_expr_6.ll
1270
log
stats
plain
-rw-r--r--
wraping_signed_expr_7.ll
1268
log
stats
plain
-rw-r--r--
wraping_signed_expr_slow_1.ll
2672
log
stats
plain
-rw-r--r--
wraping_signed_expr_slow_2.ll
2788
log
stats
plain
-rw-r--r--
zero_ext_of_truncate.ll
1960
log
stats
plain
-rw-r--r--
zero_ext_of_truncate_2.ll
1897
log
stats
plain
-rw-r--r--
zero_ext_space_mismatch.ll
1160
log
stats
plain