100644 blob 5127e92a7c345b7d983dcb7cf7360cff2a22a683	add-nsw.ll
100644 blob be3b66af10e0868ab8467435f7c32f6b2ede6231	add-nuw.ll
100644 blob d2504be22f3fe11b4e87a2b0ba0994af65eaa6be	add.ll
100644 blob 932be125fceae77774e6641dfdd2ac2f750d9ee6	analysis-invalidation.ll
100644 blob 22f20f739b9e6f5da08fa5b20f57e311598d4614	and-implied-by-operands.ll
100644 blob 389a676651a42838f03e9f2713e600539336fa5b	and.ll
100644 blob 5ec231fab15d6f7eb0f5bc782a5b305136d86799	assumes.ll
100644 blob d38c46b0256385e4eb2d4aff3f39d4d3a21ccfa5	cond-used-in-phi.ll
100644 blob bedc569cb425290204c29a7cdb4fdee79ae38f02	constants-signed-predicates.ll
100644 blob 9e3d63b7b5165abe1b43b5a3618afc7ad38fc641	constants-unsigned-predicates.ll
100644 blob f3f0f5056135c2163ed08097b57ce12afb029499	debug.ll
100644 blob bb1f1c7fd0bc8d6478bb024ded8e9c6fe18d75d9	decompose-with-temporary-indices.ll
100644 blob 7397360b23ec158b3c3d41e032468eab523b53fd	dom.ll
100644 blob 4d9e060ce1814d8d483c51d62da40702501cbc7b	empty-constraint.ll
100644 blob a9e4dffdcebb0d0c3c837fe6675aeca0e078d832	eq.ll
100644 blob df7eb6d83ef0f37f4c776ddafec2e456355e295d	gep-add-multiple-indices-signed-predicates.ll
100644 blob 34a6c7786831ede485408661e6960ee89e40fd73	gep-add-multiple-indices.ll
100644 blob b0a869683cc600218a245e57346022358764b854	gep-arithmetic-add-signed-predicates.ll
100644 blob ea65e890e4f3baa34b85daa48432a3a644f1b9ad	gep-arithmetic-add.ll
100644 blob fe67e0a822d9af8f1371754de2397471e6120c72	gep-arithmetic-different-types.ll
100644 blob d8ed479f3ee671c636a3535b2029ed502e810ac8	gep-arithmetic-signed-predicates.ll
100644 blob 0a835fb38a243d676539d9bb061554439e0e9082	gep-arithmetic.ll
100644 blob 5e2416462bddca031696665d0989438f0d0de3fa	gep-chains.ll
100644 blob cd57e0713417b15633b97d9ebe502dde0c5249e0	gep-constexpr.ll
100644 blob 9de9afd5ee9be4c1d6d67fe8618f9a269fe5776f	gep-sub-signed-predicates.ll
100644 blob 2e33674dda2b7dddc0628c6a3e46b07fee70f62d	gep-sub.ll
100644 blob c790a62a30c520efb73ebb6612b691e4833de9f0	geps-128-bit-pointers.ll
100644 blob 71941bb9b2ce2cfe23f984545877744d236c4f85	geps-i32-pointer-indexes.ll
100644 blob 7bd2aca8160264b60c5b147778b5dd0e93636d03	geps-inbounds-precondition-ub-in-use-blocks.ll
100644 blob e22317fb8c794b1d4f9b027d2776e9d39a375ecc	geps-inbounds-precondition.ll
100644 blob 366cfac120a488a7d70e6c366f12891d4c4be051	geps-pointers-to-arrays.ll
100644 blob e72f1ee9b37069b20fea3909b11c262b542ed36a	geps-pointers-to-structs.ll
100644 blob 479238361878459b8ba374ce6799b6f2ac8bcc2d	geps-precondition-overflow-check.ll
100644 blob 88df92fbada075e0bd8e26c97a481427801c01ef	geps-ptrvector.ll
100644 blob 8c285554619781feb0ed30c1720065fcc6013bb5	geps-signed-predicates.ll
100644 blob 6b185bc623813297b7064e870dfe249f96b83997	geps-unsigned-predicates.ll
100644 blob 5d57d1c078fe3b552fb826a92725ad9f7f90c936	invoke.ll
100644 blob 8e6fa126a594060c785d478c81073de56dc28aa0	large-constant-ints.ll
100644 blob 147bc4210d55705104a43ff833a3ef2bda81f5fc	large-system-growth.ll
100644 blob 3dbea9496da8d7599abf30aeb2a4c441dbb7e165	loops-bottom-tested-base.ll
100644 blob 17a54b6ecbe2eee621dbcf4edff04242bd870132	loops-bottom-tested-pointer-cmps.ll
100644 blob 8245e84108e4260e562504aaadaf57e7e0e0cb1b	loops-header-tested-base.ll
100644 blob b8ae10f42f03668094936ff8baecf36666bcc1ff	loops-header-tested-pointer-cmps.ll
100644 blob eb252d1a5444eae233e4f7edc31174654256a979	loops-header-tested-pointer-iv.ll
100644 blob 25d4ac436ce8c1d41728bfb159c6a546a8bea0c4	loops.ll
100644 blob 752e012791ee454d3434a7cca09f1aefd28f3897	max-row-limit.ll
100644 blob a31cf6845ad67da5504f426a39258b46fadcbf7e	minmax.ll
100644 blob 757a949fbc2d71278d4f658ff0a1a0cf9f301718	mixed-signed-unsigned-predicates.ll
100644 blob 50997dcb9269b1ea3466bc06eba492526a0a62be	mixed.ll
100644 blob bf35d3c3228ea7f1a53d103354484e56484c1008	monotonic-int-phis-cfg.ll
100644 blob 17aa4d54abfbab5fda2499125617bcc32f95a434	monotonic-int-phis-wrapping.ll
100644 blob 8adc886f698dfdeaec05398f35efb7de1605e143	monotonic-int-phis.ll
100644 blob 7a2cc35389a2ba07f3cf1607b2727f0b11cd0cef	monotonic-pointer-phis-constant-upper-offset.ll
100644 blob db241cefd59f5079f7530cd838bb7518b35e4ef6	monotonic-pointer-phis-crashes.ll
100644 blob ad1c7231a594136df9328cde5882998d0f6f786a	monotonic-pointer-phis-custom-datalayout.ll
100644 blob f05f324ef9322f276036846b4047c83552d97d56	monotonic-pointer-phis-early-exits.ll
100644 blob cc75ccd5965fe716a9246cf87d71f8bef26b7cbf	monotonic-pointer-phis-struct-types.ll
100644 blob b3432695a96a58703ba1dea99c5b41116d8e1ed1	monotonic-pointer-phis.ll
100644 blob f2f6a91ebc9e8259b133e645e75aa5e97a46b00f	mul-nsw.ll
100644 blob c8a1d31a48d564f66da37eb586bbc90f21b1f48a	mul.ll
100644 blob 566e73dc8d626ed972a537d5f6a4154f2a9e3e47	ne.ll
100644 blob 4f46f546bd32f37e21937110ed4792518b507116	or.ll
100644 blob 556ae0c56f9aad7ce90a88e950529425bb140d50	overflows.ll
100644 blob 75130269ed2ab19ba76495e8b7e02a69f4d2377d	pointercast.ll
100644 blob d52f7ddcdf01e462911a81c6f3d574d8f27cf334	pr54228-variable-name-order.ll
100644 blob fc3b46b180b4a4a8176302f6fe80acda04065855	range_checks.ll
100644 blob 56a4b69f7425476be10b71f2ceffc8b059f43c14	reproducer-remarks-debug.ll
100644 blob 9f8ae3825a8d894439b6f5b0037ee84580273128	reproducer-remarks.ll
100644 blob d02006b9cd28ff6c70d75ede188768b826d0860c	sge.ll
100644 blob 982e0e745833351f3c30a0bc56b884b94d66b65f	shl.ll
100644 blob 63d0c3ea3609c7ec7f7a1e14ffc518dac113e771	signed-query-unsigned-system.ll
100644 blob 254a6a662025e62254ffcf04961964caa449019d	ssub-with-overflow.ll
100644 blob 30051080178e183ffeb102b2c71f7f090321d84c	sub-nuw.ll
100644 blob 78143dc62883ccbe4d11f93f9bc134f8307863ff	sub.ll
100644 blob b104b26e83cff221bd047aad134059660e1b1a88	switch.ll
100644 blob 2fe92628dfa3b6472f4a4829dc31f8511afb2198	transfer-signed-facts-to-unsigned.ll
100644 blob 23953f18f07d5fe488c17a23e6c4b6946a6a563c	transfer-unsigned-facts-to-signed.ll
100644 blob 2ac078eefe14bc2368255ebd55b4689698a9f72e	uge.ll
100644 blob 468a23fda7f134c43b9128c441e88e10f814f039	ugt-ule.ll
100644 blob 6d82c372521840b07374f7cee7284e24104e9724	ule.ll
100644 blob 6a2fb027e323552f103d391b9010d80a9a749883	uses-in-different-blocks.ll
100644 blob 06bfd8269d97d7ebe5655f8f37ee4c87c2734f28	usub-with-overflow.ll
100644 blob 3fa0e18ec5cf2cb3ff402aeb5e9573b804620c88	vector-compares.ll
100644 blob 09dea55ba01c7d210c1c4f136aac12eac5aff83e	wrapping-math.ll
100644 blob 63f5d4d4ba347b38d93169e33cb0e1bee66a9bf2	zext-for-per-formula-reasoning.ll
100644 blob d78328701b03924b98a76747931ff26ed29836e2	zext.ll