ConstraintElimination\Transforms\test\llvm - rocket-tools/riscv-gnu-toolchain/llvm.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	abs.ll	9014	log plain
-rw-r--r--	add-nsw.ll	31885	log plain
-rw-r--r--	add-nuw.ll	24450	log plain
-rw-r--r--	add.ll	10476	log plain
-rw-r--r--	analysis-invalidation.ll	4216	log plain
-rw-r--r--	and-implied-by-operands.ll	20800	log plain
-rw-r--r--	and.ll	19174	log plain
-rw-r--r--	assumes.ll	20454	log plain
-rw-r--r--	cond-used-in-phi.ll	7382	log plain
-rw-r--r--	constants-signed-predicates.ll	3027	log plain
-rw-r--r--	constants-unsigned-predicates.ll	2851	log plain
-rw-r--r--	constraint-overflow.ll	2501	log plain
-rw-r--r--	debug.ll	1670	log plain
-rw-r--r--	decompose-with-temporary-indices.ll	2374	log plain
-rw-r--r--	dom.ll	18278	log plain
-rw-r--r--	empty-constraint.ll	1196	log plain
-rw-r--r--	eq.ll	14907	log plain
-rw-r--r--	gep-add-multiple-indices-signed-predicates.ll	16491	log plain
-rw-r--r--	gep-add-multiple-indices.ll	15497	log plain
-rw-r--r--	gep-arithmetic-add-signed-predicates.ll	20255	log plain
-rw-r--r--	gep-arithmetic-add.ll	19726	log plain
-rw-r--r--	gep-arithmetic-different-types.ll	20904	log plain
-rw-r--r--	gep-arithmetic-signed-predicates.ll	29791	log plain
-rw-r--r--	gep-arithmetic.ll	33879	log plain
-rw-r--r--	gep-chains.ll	19981	log plain
-rw-r--r--	gep-constexpr.ll	1733	log plain
-rw-r--r--	gep-sub-signed-predicates.ll	27844	log plain
-rw-r--r--	gep-sub.ll	31948	log plain
-rw-r--r--	geps-128-bit-pointers.ll	2337	log plain
-rw-r--r--	geps-i32-pointer-indexes.ll	1373	log plain
-rw-r--r--	geps-inbounds-precondition-ub-in-use-blocks.ll	10948	log plain
-rw-r--r--	geps-inbounds-precondition.ll	14620	log plain
-rw-r--r--	geps-pointers-to-arrays.ll	10194	log plain
-rw-r--r--	geps-pointers-to-structs.ll	18294	log plain
-rw-r--r--	geps-precondition-overflow-check.ll	12615	log plain
-rw-r--r--	geps-ptrvector.ll	2234	log plain
-rw-r--r--	geps-signed-predicates.ll	28257	log plain
-rw-r--r--	geps-unsigned-predicates.ll	26485	log plain
-rw-r--r--	induction-condition-in-loop-exit.ll	31053	log plain
-rw-r--r--	invoke.ll	1537	log plain
-rw-r--r--	large-constant-ints.ll	15367	log plain
-rw-r--r--	large-system-growth.ll	3017	log plain
-rw-r--r--	loops-bottom-tested-base.ll	5788	log plain
-rw-r--r--	loops-bottom-tested-pointer-cmps.ll	9196	log plain
-rw-r--r--	loops-header-tested-base.ll	13326	log plain
-rw-r--r--	loops-header-tested-pointer-cmps.ll	32408	log plain
-rw-r--r--	loops-header-tested-pointer-iv.ll	4128	log plain
-rw-r--r--	loops.ll	15347	log plain
-rw-r--r--	max-row-limit.ll	2837	log plain
-rw-r--r--	minmax.ll	21270	log plain
-rw-r--r--	mixed-signed-unsigned-predicates.ll	16310	log plain
-rw-r--r--	mixed.ll	1580	log plain
-rw-r--r--	monotonic-int-phis-cfg.ll	5459	log plain
-rw-r--r--	monotonic-int-phis-decrement.ll	8515	log plain
-rw-r--r--	monotonic-int-phis-multiples.ll	9350	log plain
-rw-r--r--	monotonic-int-phis-nested-loops.ll	5481	log plain
-rw-r--r--	monotonic-int-phis-signed.ll	9591	log plain
-rw-r--r--	monotonic-int-phis-wrapping.ll	8704	log plain
-rw-r--r--	monotonic-int-phis.ll	7093	log plain
-rw-r--r--	monotonic-phis-adjacent-loops.ll	3683	log plain
-rw-r--r--	monotonic-pointer-phis-chain-of-exits.ll	11918	log plain
-rw-r--r--	monotonic-pointer-phis-constant-upper-offset.ll	19059	log plain
-rw-r--r--	monotonic-pointer-phis-crashes.ll	3095	log plain
-rw-r--r--	monotonic-pointer-phis-custom-datalayout.ll	16352	log plain
-rw-r--r--	monotonic-pointer-phis-early-exits.ll	36987	log plain
-rw-r--r--	monotonic-pointer-phis-struct-types.ll	46585	log plain
-rw-r--r--	monotonic-pointer-phis.ll	39844	log plain
-rw-r--r--	mul-nsw.ll	37338	log plain
-rw-r--r--	mul.ll	51431	log plain
-rw-r--r--	ne.ll	12961	log plain
-rw-r--r--	or-implied-by-operands.ll	8303	log plain
-rw-r--r--	or.ll	27775	log plain
-rw-r--r--	overflows.ll	1180	log plain
-rw-r--r--	pointercast.ll	6422	log plain
-rw-r--r--	pr105785.ll	1810	log plain
-rw-r--r--	pr54228-variable-name-order.ll	1940	log plain
-rw-r--r--	pr70510.ll	3099	log plain
-rw-r--r--	range_checks.ll	6079	log plain
-rw-r--r--	reason-about-add-operands.ll	14464	log plain
-rw-r--r--	reproducer-remarks-debug.ll	1035	log plain
-rw-r--r--	reproducer-remarks.ll	8773	log plain
-rw-r--r--	salvage-dbg-values-replaced-by-constant-2.ll	4049	log plain
-rw-r--r--	salvage-dbg-values-replaced-by-constant.ll	2912	log plain
-rw-r--r--	sext-signed-predicates.ll	7828	log plain
-rw-r--r--	sext-unsigned-predicates.ll	4319	log plain
-rw-r--r--	sge.ll	6983	log plain
-rw-r--r--	shl.ll	51432	log plain
-rw-r--r--	signed-query-unsigned-system.ll	4643	log plain
-rw-r--r--	ssub-with-overflow.ll	11340	log plain
-rw-r--r--	sub-nsw.ll	3761	log plain
-rw-r--r--	sub-nuw.ll	15542	log plain
-rw-r--r--	sub.ll	8570	log plain
-rw-r--r--	switch.ll	5145	log plain
-rw-r--r--	transfer-samesign-facts.ll	10914	log plain
-rw-r--r--	transfer-signed-facts-to-unsigned-is-known-non-negative.ll	15186	log plain
-rw-r--r--	transfer-signed-facts-to-unsigned.ll	23086	log plain
-rw-r--r--	transfer-unsigned-facts-to-signed-is-known-non-negative.ll	7411	log plain
-rw-r--r--	transfer-unsigned-facts-to-signed.ll	10115	log plain
-rw-r--r--	trunc.ll	6867	log plain
-rw-r--r--	uadd-usub-sat.ll	2387	log plain
-rw-r--r--	uge.ll	6396	log plain
-rw-r--r--	ugt-ule.ll	909	log plain
-rw-r--r--	ule.ll	6399	log plain
-rw-r--r--	umin-result-may-be-poison.ll	2230	log plain
-rw-r--r--	uscmp.ll	3934	log plain
-rw-r--r--	uses-in-different-blocks.ll	2643	log plain
-rw-r--r--	usub-with-overflow.ll	10111	log plain
-rw-r--r--	vector-compares.ll	2190	log plain
-rw-r--r--	wrapping-math.ll	11098	log plain
-rw-r--r--	zext-for-per-formula-reasoning.ll	4351	log plain
-rw-r--r--	zext.ll	10105	log plain