Public Git Hosting - llvm-project.git/tree - llvm/test/Transforms/ConstraintElimination/

drwxr-xr-x		..
-rw-r--r--	4342	abs.ll	blob \| blame \| history \| raw
-rw-r--r--	31885	add-nsw.ll	blob \| blame \| history \| raw
-rw-r--r--	24450	add-nuw.ll	blob \| blame \| history \| raw
-rw-r--r--	10476	add.ll	blob \| blame \| history \| raw
-rw-r--r--	3316	analysis-invalidation.ll	blob \| blame \| history \| raw
-rw-r--r--	14613	and-implied-by-operands.ll	blob \| blame \| history \| raw
-rw-r--r--	19174	and.ll	blob \| blame \| history \| raw
-rw-r--r--	20454	assumes.ll	blob \| blame \| history \| raw
-rw-r--r--	7382	cond-used-in-phi.ll	blob \| blame \| history \| raw
-rw-r--r--	3027	constants-signed-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	2851	constants-unsigned-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	1376	constraint-overflow.ll	blob \| blame \| history \| raw
-rw-r--r--	1670	debug.ll	blob \| blame \| history \| raw
-rw-r--r--	2374	decompose-with-temporary-indices.ll	blob \| blame \| history \| raw
-rw-r--r--	18278	dom.ll	blob \| blame \| history \| raw
-rw-r--r--	1196	empty-constraint.ll	blob \| blame \| history \| raw
-rw-r--r--	13000	eq.ll	blob \| blame \| history \| raw
-rw-r--r--	16491	gep-add-multiple-indices-signed-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	15497	gep-add-multiple-indices.ll	blob \| blame \| history \| raw
-rw-r--r--	20255	gep-arithmetic-add-signed-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	19726	gep-arithmetic-add.ll	blob \| blame \| history \| raw
-rw-r--r--	20904	gep-arithmetic-different-types.ll	blob \| blame \| history \| raw
-rw-r--r--	29936	gep-arithmetic-signed-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	28244	gep-arithmetic.ll	blob \| blame \| history \| raw
-rw-r--r--	19981	gep-chains.ll	blob \| blame \| history \| raw
-rw-r--r--	1733	gep-constexpr.ll	blob \| blame \| history \| raw
-rw-r--r--	27844	gep-sub-signed-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	31948	gep-sub.ll	blob \| blame \| history \| raw
-rw-r--r--	2337	geps-128-bit-pointers.ll	blob \| blame \| history \| raw
-rw-r--r--	1373	geps-i32-pointer-indexes.ll	blob \| blame \| history \| raw
-rw-r--r--	10948	geps-inbounds-precondition-ub-in-use-blocks.ll	blob \| blame \| history \| raw
-rw-r--r--	14620	geps-inbounds-precondition.ll	blob \| blame \| history \| raw
-rw-r--r--	10194	geps-pointers-to-arrays.ll	blob \| blame \| history \| raw
-rw-r--r--	18294	geps-pointers-to-structs.ll	blob \| blame \| history \| raw
-rw-r--r--	12821	geps-precondition-overflow-check.ll	blob \| blame \| history \| raw
-rw-r--r--	2374	geps-ptrvector.ll	blob \| blame \| history \| raw
-rw-r--r--	28257	geps-signed-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	26485	geps-unsigned-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	1537	invoke.ll	blob \| blame \| history \| raw
-rw-r--r--	15367	large-constant-ints.ll	blob \| blame \| history \| raw
-rw-r--r--	3017	large-system-growth.ll	blob \| blame \| history \| raw
-rw-r--r--	5788	loops-bottom-tested-base.ll	blob \| blame \| history \| raw
-rw-r--r--	9518	loops-bottom-tested-pointer-cmps.ll	blob \| blame \| history \| raw
-rw-r--r--	13326	loops-header-tested-base.ll	blob \| blame \| history \| raw
-rw-r--r--	33252	loops-header-tested-pointer-cmps.ll	blob \| blame \| history \| raw
-rw-r--r--	4128	loops-header-tested-pointer-iv.ll	blob \| blame \| history \| raw
-rw-r--r--	15347	loops.ll	blob \| blame \| history \| raw
-rw-r--r--	2837	max-row-limit.ll	blob \| blame \| history \| raw
-rw-r--r--	10287	minmax.ll	blob \| blame \| history \| raw
-rw-r--r--	16310	mixed-signed-unsigned-predicates.ll	blob \| blame \| history \| raw
-rw-r--r--	1580	mixed.ll	blob \| blame \| history \| raw
-rw-r--r--	5459	monotonic-int-phis-cfg.ll	blob \| blame \| history \| raw
-rw-r--r--	8515	monotonic-int-phis-decrement.ll	blob \| blame \| history \| raw
-rw-r--r--	9350	monotonic-int-phis-multiples.ll	blob \| blame \| history \| raw
-rw-r--r--	5481	monotonic-int-phis-nested-loops.ll	blob \| blame \| history \| raw
-rw-r--r--	9591	monotonic-int-phis-signed.ll	blob \| blame \| history \| raw
-rw-r--r--	8704	monotonic-int-phis-wrapping.ll	blob \| blame \| history \| raw
-rw-r--r--	7093	monotonic-int-phis.ll	blob \| blame \| history \| raw
-rw-r--r--	3683	monotonic-phis-adjacent-loops.ll	blob \| blame \| history \| raw
-rw-r--r--	19059	monotonic-pointer-phis-constant-upper-offset.ll	blob \| blame \| history \| raw
-rw-r--r--	3095	monotonic-pointer-phis-crashes.ll	blob \| blame \| history \| raw
-rw-r--r--	16352	monotonic-pointer-phis-custom-datalayout.ll	blob \| blame \| history \| raw
-rw-r--r--	36987	monotonic-pointer-phis-early-exits.ll	blob \| blame \| history \| raw
-rw-r--r--	46585	monotonic-pointer-phis-struct-types.ll	blob \| blame \| history \| raw
-rw-r--r--	39844	monotonic-pointer-phis.ll	blob \| blame \| history \| raw
-rw-r--r--	37338	mul-nsw.ll	blob \| blame \| history \| raw
-rw-r--r--	51431	mul.ll	blob \| blame \| history \| raw
-rw-r--r--	13074	ne.ll	blob \| blame \| history \| raw
-rw-r--r--	8236	or-implied-by-operands.ll	blob \| blame \| history \| raw
-rw-r--r--	27835	or.ll	blob \| blame \| history \| raw
-rw-r--r--	1180	overflows.ll	blob \| blame \| history \| raw
-rw-r--r--	6422	pointercast.ll	blob \| blame \| history \| raw
-rw-r--r--	1940	pr54228-variable-name-order.ll	blob \| blame \| history \| raw
-rw-r--r--	3099	pr70510.ll	blob \| blame \| history \| raw
-rw-r--r--	6079	range_checks.ll	blob \| blame \| history \| raw
-rw-r--r--	14464	reason-about-add-operands.ll	blob \| blame \| history \| raw
-rw-r--r--	1035	reproducer-remarks-debug.ll	blob \| blame \| history \| raw
-rw-r--r--	8774	reproducer-remarks.ll	blob \| blame \| history \| raw
-rw-r--r--	6983	sge.ll	blob \| blame \| history \| raw
-rw-r--r--	51432	shl.ll	blob \| blame \| history \| raw
-rw-r--r--	4643	signed-query-unsigned-system.ll	blob \| blame \| history \| raw
-rw-r--r--	11340	ssub-with-overflow.ll	blob \| blame \| history \| raw
-rw-r--r--	15542	sub-nuw.ll	blob \| blame \| history \| raw
-rw-r--r--	8570	sub.ll	blob \| blame \| history \| raw
-rw-r--r--	5145	switch.ll	blob \| blame \| history \| raw
-rw-r--r--	15186	transfer-signed-facts-to-unsigned-is-known-non-negative.ll	blob \| blame \| history \| raw
-rw-r--r--	23221	transfer-signed-facts-to-unsigned.ll	blob \| blame \| history \| raw
-rw-r--r--	7411	transfer-unsigned-facts-to-signed-is-known-non-negative.ll	blob \| blame \| history \| raw
-rw-r--r--	10115	transfer-unsigned-facts-to-signed.ll	blob \| blame \| history \| raw
-rw-r--r--	6396	uge.ll	blob \| blame \| history \| raw
-rw-r--r--	909	ugt-ule.ll	blob \| blame \| history \| raw
-rw-r--r--	6399	ule.ll	blob \| blame \| history \| raw
-rw-r--r--	2643	uses-in-different-blocks.ll	blob \| blame \| history \| raw
-rw-r--r--	10111	usub-with-overflow.ll	blob \| blame \| history \| raw
-rw-r--r--	2202	vector-compares.ll	blob \| blame \| history \| raw
-rw-r--r--	11098	wrapping-math.ll	blob \| blame \| history \| raw
-rw-r--r--	4482	zext-for-per-formula-reasoning.ll	blob \| blame \| history \| raw
-rw-r--r--	10105	zext.ll	blob \| blame \| history \| raw