100644 blob b9a0c4963211fa96725da601327abb6c5ff7e57d	abs.ll
100644 blob 5127e92a7c345b7d983dcb7cf7360cff2a22a683	add-nsw.ll
100644 blob a8a474e6d4502a0b3a3accedbb78367f331f258f	add-nuw.ll
100644 blob d2504be22f3fe11b4e87a2b0ba0994af65eaa6be	add.ll
100644 blob cb51f8c8525038378c4fda0fff17c5e0bd3ae8a0	analysis-invalidation.ll
100644 blob deefe05ddb3174e4dd91e3df35c719603145186e	and-implied-by-operands.ll
100644 blob f9824df3975e97a122f77c21a62d6b29445e441f	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 f36ac311878b2979806944c00dfc7ad19132b9b4	constraint-overflow.ll
100644 blob 2409af09735d1e7c8837a6a963bc9f19e334cfcf	debug.ll
100644 blob bb1f1c7fd0bc8d6478bb024ded8e9c6fe18d75d9	decompose-with-temporary-indices.ll
100644 blob 7397360b23ec158b3c3d41e032468eab523b53fd	dom.ll
100644 blob 4d9e060ce1814d8d483c51d62da40702501cbc7b	empty-constraint.ll
100644 blob 511a08f7796a3daaa344a06b2a4aba5397c77762	eq.ll
100644 blob df7eb6d83ef0f37f4c776ddafec2e456355e295d	gep-add-multiple-indices-signed-predicates.ll
100644 blob 277e611d4f6d51baef1fab8b1ab41f99ac29ef92	gep-add-multiple-indices.ll
100644 blob b0a869683cc600218a245e57346022358764b854	gep-arithmetic-add-signed-predicates.ll
100644 blob 52adc78b4e159bfbfd0d222d234aa767ee3129ee	gep-arithmetic-add.ll
100644 blob fe67e0a822d9af8f1371754de2397471e6120c72	gep-arithmetic-different-types.ll
100644 blob c9f4984bcba6015448b7c1c1a2d063bb58daee00	gep-arithmetic-signed-predicates.ll
100644 blob 23e1698136f5e2e5b0e657581347924e979e342d	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 6bc2a342eae828b17ce949a735fb2f9cbe527a60	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 a86cd5c04d5b9d605647873737fa1ec290a2cf74	geps-pointers-to-structs.ll
100644 blob d90b986c8e539275366cccc93d6f1694f45328e9	geps-precondition-overflow-check.ll
100644 blob d261868e6f341cc4e45f57ae266283e8a65468ec	geps-ptrvector.ll
100644 blob 8c285554619781feb0ed30c1720065fcc6013bb5	geps-signed-predicates.ll
100644 blob 6b185bc623813297b7064e870dfe249f96b83997	geps-unsigned-predicates.ll
100644 blob 90caf52d04164579d100b60e1cefb084845efaea	implied-by-bounded-memory-access.ll
100644 blob a04b06e1bf0a52009a102010f2b6939dda04b9cc	induction-condition-in-loop-exit.ll
100644 blob 5d57d1c078fe3b552fb826a92725ad9f7f90c936	invoke.ll
100644 blob a80e492e082468c00f0947f71bdb9a42d0775c27	large-constant-ints.ll
100644 blob 147bc4210d55705104a43ff833a3ef2bda81f5fc	large-system-growth.ll
100644 blob 3dbea9496da8d7599abf30aeb2a4c441dbb7e165	loops-bottom-tested-base.ll
100644 blob 91546d4abf4384ffbabb876ca9feabe3a67274cb	loops-bottom-tested-pointer-cmps.ll
100644 blob 7b928a030614b5d2c319c2f2ad7a001d51a92a60	loops-header-tested-base.ll
100644 blob df0cb4096543017637389e539e78b69ce561e34e	loops-header-tested-pointer-cmps.ll
100644 blob eb252d1a5444eae233e4f7edc31174654256a979	loops-header-tested-pointer-iv.ll
100644 blob 25d4ac436ce8c1d41728bfb159c6a546a8bea0c4	loops.ll
100644 blob 0e078109ed6637d205a4285ca571597a6e94e2ae	max-row-limit.ll
100644 blob 029b6508a2106e465e71ad739ea37c2e71757eaa	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 155423d33a69a8e456c441cd342bf47ff86dbc0b	monotonic-int-phis-decrement.ll
100644 blob a952c4048b450aeb01e9cc9d135f52a80715b4ee	monotonic-int-phis-multiples.ll
100644 blob 11fb48ff007f5479763b845c63eeaa1725c1d35f	monotonic-int-phis-nested-loops.ll
100644 blob 7273469fc59e8072bf9ffd6d751c34b78431f694	monotonic-int-phis-signed.ll
100644 blob 17aa4d54abfbab5fda2499125617bcc32f95a434	monotonic-int-phis-wrapping.ll
100644 blob 8adc886f698dfdeaec05398f35efb7de1605e143	monotonic-int-phis.ll
100644 blob 51f08adae09cdcd213e5969f91cf18150abbdaa0	monotonic-phis-adjacent-loops.ll
100644 blob 6b128d9e525ca365c511431b40f0a60f441b568b	monotonic-pointer-phis-chain-of-exits.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 362cd33fe65059597c8490c62506e2990fe70708	mul.ll
100644 blob 4753860db2851b508518c7b2688822d9ac19f6c5	ne.ll
100644 blob 4303cacc59ed1ec78f70bee0d6f7280d1939c969	or-implied-by-operands.ll
100644 blob 0827669f1bcbe26b9ff178a450b4b64415623c98	or.ll
100644 blob 556ae0c56f9aad7ce90a88e950529425bb140d50	overflows.ll
100644 blob 75130269ed2ab19ba76495e8b7e02a69f4d2377d	pointercast.ll
100644 blob 83b7461720f09c8b8dc73e1e57c74957a7046268	pr105785.ll
100644 blob d52f7ddcdf01e462911a81c6f3d574d8f27cf334	pr54228-variable-name-order.ll
100644 blob 32427d7a0474cdd16db0e3ff4fa6bda1226a6107	pr70510.ll
100644 blob fc3b46b180b4a4a8176302f6fe80acda04065855	range_checks.ll
100644 blob fb13417c7a6c71c5502660858b6f006e60093bbc	reason-about-add-operands.ll
100644 blob f0b20fb36059756aa86f14fe61131c59b824efc4	reproducer-remarks-debug.ll
100644 blob 63e1826ece5d7d5146e57ba5295953fc233fd737	reproducer-remarks.ll
100644 blob 5c70c8ee4cb78590a24ca43e03f00d7ce6415491	salvage-dbg-values-replaced-by-constant-2.ll
100644 blob 5caa14b3b52b899de7fc60a63ae0b2901849959b	salvage-dbg-values-replaced-by-constant.ll
100644 blob 34f023e4ba5f180836541e5af6ed0d527df20502	sext-signed-predicates.ll
100644 blob 00dc48ef89c99a79a492b729cc1e2340ae86189a	sext-unsigned-predicates.ll
100644 blob d02006b9cd28ff6c70d75ede188768b826d0860c	sge.ll
100644 blob a7cc438fe21020732df50a9152c3e30980c24bce	shl.ll
100644 blob 63d0c3ea3609c7ec7f7a1e14ffc518dac113e771	signed-query-unsigned-system.ll
100644 blob 254a6a662025e62254ffcf04961964caa449019d	ssub-with-overflow.ll
100644 blob 3ea60d267043d94d53dba3fd8f11e53e28d46014	sub-nsw.ll
100644 blob 5ae559dc2b1b6d27434a5f79cf1958c5086cf8b6	sub-nuw.ll
100644 blob 78143dc62883ccbe4d11f93f9bc134f8307863ff	sub.ll
100644 blob b104b26e83cff221bd047aad134059660e1b1a88	switch.ll
100644 blob 44565f8d1341fe0e4685b3ac18a3eb01654256f1	transfer-samesign-facts.ll
100644 blob efb218ff099fb0285f0753a8542331ff78499a2e	transfer-signed-facts-to-unsigned-is-known-non-negative.ll
100644 blob 68e48c7d2944b18d2feae645d9a8175842f9a0d4	transfer-signed-facts-to-unsigned.ll
100644 blob b127361ff024450875702d49004f2b6019194f68	transfer-unsigned-facts-to-signed-is-known-non-negative.ll
100644 blob 23953f18f07d5fe488c17a23e6c4b6946a6a563c	transfer-unsigned-facts-to-signed.ll
100644 blob 620d9781498749859acecf29790cbba93628a355	trunc.ll
100644 blob c19a0548d78b2068ed5fdf112e1992d2e6b71ecf	uadd-usub-sat.ll
100644 blob 2ac078eefe14bc2368255ebd55b4689698a9f72e	uge.ll
100644 blob 468a23fda7f134c43b9128c441e88e10f814f039	ugt-ule.ll
100644 blob 6d82c372521840b07374f7cee7284e24104e9724	ule.ll
100644 blob 6d1d95ec4fdba7c441f54bcb2530be87b1fab425	umin-result-may-be-poison.ll
100644 blob 63ac050f2c3c5e66605dc4ff482a810647b3caa1	uscmp.ll
100644 blob 6a2fb027e323552f103d391b9010d80a9a749883	uses-in-different-blocks.ll
100644 blob 06bfd8269d97d7ebe5655f8f37ee4c87c2734f28	usub-with-overflow.ll
100644 blob e87439fbaf3b0879c208773305e0c2c40b0f4ac4	vector-compares.ll
100644 blob 09dea55ba01c7d210c1c4f136aac12eac5aff83e	wrapping-math.ll
100644 blob 7844651a01f9a3b1e5c4525786480009e1823aec	zext-for-per-formula-reasoning.ll
100644 blob d78328701b03924b98a76747931ff26ed29836e2	zext.ll