[gcc r13-8739] Fix range-ops operator_addr.

https://gcc.gnu.org/g:421311a31a12b96143eb901fde0e020771fe71d4 commit r13-8739-g421311a31a12b96143eb901fde0e020771fe71d4 Author: Andrew MacLeod Date: Wed May 8 10:22:23 2024 -0400 Fix range-ops operator_addr. Lack of symbolic information prevents op1_range from being able to draw

[gcc r12-10439] Fix range-ops operator_addr.

https://gcc.gnu.org/g:c5c3a4a265256535a66f1656d44e143f05d77f66 commit r12-10439-gc5c3a4a265256535a66f1656d44e143f05d77f66 Author: Andrew MacLeod Date: Fri May 10 13:56:01 2024 -0400 Fix range-ops operator_addr. Lack of symbolic information prevents op1_range from being able to dra

[gcc r15-3529] Before running fast VRP, make sure all edges have EXECUTABLE set.

https://gcc.gnu.org/g:506417dbc8b1cbc1133a5322572cf94b671aadf6 commit r15-3529-g506417dbc8b1cbc1133a5322572cf94b671aadf6 Author: Andrew MacLeod Date: Fri Sep 6 11:42:14 2024 -0400 Before running fast VRP, make sure all edges have EXECUTABLE set. PR tree-optimization/116588

[gcc r15-1589] Make transitive relations an oracle option

https://gcc.gnu.org/g:4c8b085820f057d1397d91c1ed1c20bed09eb054 commit r15-1589-g4c8b085820f057d1397d91c1ed1c20bed09eb054 Author: Andrew MacLeod Date: Mon Jun 24 10:29:06 2024 -0400 Make transitive relations an oracle option This patch makes processing of transitive relations confi

[gcc r15-1622] Add param for bb limit to invoke fast_vrp.

https://gcc.gnu.org/g:1ea95cc5e099d554764b82df8e972129e9d20885 commit r15-1622-g1ea95cc5e099d554764b82df8e972129e9d20885 Author: Andrew MacLeod Date: Mon Jun 17 11:38:46 2024 -0400 Add param for bb limit to invoke fast_vrp. If the basic block count is too high, simply use fast_vrp

[gcc r15-1712] ssa_lazy_cache takes an optional bitmap_obstack pointer.

https://gcc.gnu.org/g:5612541834c063dd4126fb059e59c5dc8d5f2f8e commit r15-1712-g5612541834c063dd4126fb059e59c5dc8d5f2f8e Author: Andrew MacLeod Date: Wed Jun 26 14:53:54 2024 -0400 ssa_lazy_cache takes an optional bitmap_obstack pointer. Allow ssa_lazy cache to allocate bitmaps fr

[gcc r15-2077] range-ops should return the requested boolean type.

https://gcc.gnu.org/g:73a8286d3ae266955fa921da1fa1328a587e7bb7 commit r15-2077-g73a8286d3ae266955fa921da1fa1328a587e7bb7 Author: Andrew MacLeod Date: Tue Jul 16 12:38:11 2024 -0400 range-ops should return the requested boolean type. The pointer based relation operator's fold_range

[gcc r15-2165] Check for SSA_NAME not in the IL yet.

https://gcc.gnu.org/g:01c095ab77f8f43bf77e4c0be6c4f4c0d15a4c29 commit r15-2165-g01c095ab77f8f43bf77e4c0be6c4f4c0d15a4c29 Author: Andrew MacLeod Date: Fri Jul 19 17:39:40 2024 -0400 Check for SSA_NAME not in the IL yet. Check for an SSA_NAME not in the CFG before trying to create a

[gcc r15-2175] Add bitint to options for testcase

https://gcc.gnu.org/g:7357ba20af44698fea9d8ad5573973dd9ec74778 commit r15-2175-g7357ba20af44698fea9d8ad5573973dd9ec74778 Author: Andrew MacLeod Date: Sat Jul 20 11:45:16 2024 -0400 Add bitint to options for testcase Testcase should only be for bitint targets gcc/t

[gcc r15-2181] Require bitint575 for pr116003.c

https://gcc.gnu.org/g:1824caa07f91c79c46debcd0d80da9568300ecad commit r15-2181-g1824caa07f91c79c46debcd0d80da9568300ecad Author: Andrew MacLeod Date: Sat Jul 20 12:49:39 2024 -0400 Require bitint575 for pr116003.c Require a bitint target large enough. gcc/testsuit

[gcc r15-78] Remove wrapper around gimple_range_global.

https://gcc.gnu.org/g:56aa8ad7cd91fbc42123f1190d3238e293020085 commit r15-78-g56aa8ad7cd91fbc42123f1190d3238e293020085 Author: Andrew MacLeod Date: Tue Feb 20 12:27:51 2024 -0500 Remove wrapper around gimple_range_global. Now that legacy EVRP has been removed, we can remove the wr

[gcc r15-79] Fix ranger when called from SCEV.

https://gcc.gnu.org/g:e8ae56a7dc46e39a48017bb5159e4dc672ec7fad commit r15-79-ge8ae56a7dc46e39a48017bb5159e4dc672ec7fad Author: Andrew MacLeod Date: Wed Mar 13 14:10:41 2024 -0400 Fix ranger when called from SCEV. Do not pre-evaluate PHIs in the cache, and allow fill_block_cache to

[gcc r15-81] Add range_on_entry/exit to value_query API.

https://gcc.gnu.org/g:39fe620963b29e7bdc8dcfa2037490df26b4edf2 commit r15-81-g39fe620963b29e7bdc8dcfa2037490df26b4edf2 Author: Andrew MacLeod Date: Wed Mar 13 14:18:48 2024 -0400 Add range_on_entry/exit to value_query API. Add range_on_entry and range_on_exit to the value_query AP

[gcc r15-82] Remove incorrect asserts.

https://gcc.gnu.org/g:7b3ac57852052822e3845bcd8d50b83d7724dfde commit r15-82-g7b3ac57852052822e3845bcd8d50b83d7724dfde Author: Andrew MacLeod Date: Tue Feb 13 10:07:11 2024 -0500 Remove incorrect asserts. Gimple_range_op handles builtin functions, and a couple of asserts that

[gcc r15-80] Invoke range_of_stmt on ssa_names with no context.

https://gcc.gnu.org/g:0ade358cd72ffa591dd2f1404765b379bbf709d4 commit r15-80-g0ade358cd72ffa591dd2f1404765b379bbf709d4 Author: Andrew MacLeod Date: Wed Mar 13 14:13:28 2024 -0400 Invoke range_of_stmt on ssa_names with no context. Evalaute ssa-names when range_of_expr is called wit

[gcc r15-2858] Adjust rangers recomputation depth based on the number of BBs.

https://gcc.gnu.org/g:9e4da946c4263a4c89d5fc365b3c97ae244c5018 commit r15-2858-g9e4da946c4263a4c89d5fc365b3c97ae244c5018 Author: Andrew MacLeod Date: Thu Aug 8 16:37:28 2024 -0400 Adjust rangers recomputation depth based on the number of BBs. As the number of block increase, recom

[gcc r15-2857] Limit equivalency processing in rangers cache.

https://gcc.gnu.org/g:5ce3874b3c2fdd76f506005cb1171a732af7c807 commit r15-2857-g5ce3874b3c2fdd76f506005cb1171a732af7c807 Author: Andrew MacLeod Date: Thu Aug 8 16:34:15 2024 -0400 Limit equivalency processing in rangers cache. When the number of block exceed VRP's sparse threshold

[gcc r15-797] Move all relation queries into relation_oracle.

https://gcc.gnu.org/g:67afcf28570ff62210e1998f35def2be5cb8cb08 commit r15-797-g67afcf28570ff62210e1998f35def2be5cb8cb08 Author: Andrew MacLeod Date: Mon Apr 29 13:32:00 2024 -0400 Move all relation queries into relation_oracle. Move relation queries from range_query object into th

[gcc r15-798] Move to an always available relation oracle.

https://gcc.gnu.org/g:3be530f6d77ec24c94589341b069b199cfe6c2eb commit r15-798-g3be530f6d77ec24c94589341b069b199cfe6c2eb Author: Andrew MacLeod Date: Tue Apr 30 09:35:23 2024 -0400 Move to an always available relation oracle. This eliminates the need to check if the relation oracle

[gcc r15-799] Rename relation oracle and API.

https://gcc.gnu.org/g:fca649dedaf6c4025ae3471cc1f322a90ebdd19a commit r15-799-gfca649dedaf6c4025ae3471cc1f322a90ebdd19a Author: Andrew MacLeod Date: Fri May 17 10:18:39 2024 -0400 Rename relation oracle and API. With more oracles incoming, rename the range_query oracle () method t

[gcc r15-800] Allow components to be shared among range-queries.

https://gcc.gnu.org/g:6c64a85ebec448503c3247fc30923e14cc7074fd commit r15-800-g6c64a85ebec448503c3247fc30923e14cc7074fd Author: Andrew MacLeod Date: Fri May 17 10:44:27 2024 -0400 Allow components to be shared among range-queries. Ranger and the ranger cache need to share componen

[gcc r15-801] Move infer_manager to a range_query oracle.

https://gcc.gnu.org/g:07441e41f5eb4d385e8ee7cfb50b5d71520bff74 commit r15-801-g07441e41f5eb4d385e8ee7cfb50b5d71520bff74 Author: Andrew MacLeod Date: Fri May 17 10:50:24 2024 -0400 Move infer_manager to a range_query oracle. Turn the infer_manager class into an always available ora

[gcc r15-806] Make GORI a range_query component.

https://gcc.gnu.org/g:ac0bc89aea79b940a17697fb4a758254631c2400 commit r15-806-gac0bc89aea79b940a17697fb4a758254631c2400 Author: Andrew MacLeod Date: Fri May 17 14:27:12 2024 -0400 Make GORI a range_query component. This patch moves the GORI component into the range_query object, a

[gcc r15-803] Default gimple_outgoing_range to not process switches.

https://gcc.gnu.org/g:76153635b9dc811b3ddc2c2e028d74c92d174c2e commit r15-803-g76153635b9dc811b3ddc2c2e028d74c92d174c2e Author: Andrew MacLeod Date: Mon May 6 12:04:24 2024 -0400 Default gimple_outgoing_range to not process switches. Change the default constructor to not process s

[gcc r15-804] Gori_compute no longer inherits from gori_map.

https://gcc.gnu.org/g:a049f08239ada7d4187e9c12fab9c879668a0d05 commit r15-804-ga049f08239ada7d4187e9c12fab9c879668a0d05 Author: Andrew MacLeod Date: Thu May 9 14:14:31 2024 -0400 Gori_compute no longer inherits from gori_map. This patch moves the gori_compute object away from inhe

[gcc r15-802] Add inferred ranges for range-ops based statements.

https://gcc.gnu.org/g:efc4255d4393cba3d2232a7152799e1b161c3062 commit r15-802-gefc4255d4393cba3d2232a7152799e1b161c3062 Author: Andrew MacLeod Date: Thu May 2 12:23:18 2024 -0400 Add inferred ranges for range-ops based statements. Gimple_range_fold contains some shorthand fold_ran

[gcc r15-807] Make gori_map a shared component.

https://gcc.gnu.org/g:fae5e6a4dfcf9270cd09c2240480860b09c2c627 commit r15-807-gfae5e6a4dfcf9270cd09c2240480860b09c2c627 Author: Andrew MacLeod Date: Tue May 21 14:20:52 2024 -0400 Make gori_map a shared component. Move gori_map dependency and import/export object into a range quer

[gcc r15-805] Gori_compute inherits from gimple_outgoing_range.

https://gcc.gnu.org/g:44db939611a1cd3fdca93ae88d664f9886d549d5 commit r15-805-g44db939611a1cd3fdca93ae88d664f9886d549d5 Author: Andrew MacLeod Date: Thu May 9 16:34:12 2024 -0400 Gori_compute inherits from gimple_outgoing_range. Make gimple_outgoing_range a base class for the GORI

[gcc r15-808] Move condexpr_adjust into gimple-range-fold

https://gcc.gnu.org/g:83bb9ad465f0c92c24658702804ee003183a9028 commit r15-808-g83bb9ad465f0c92c24658702804ee003183a9028 Author: Andrew MacLeod Date: Tue May 21 12:41:49 2024 -0400 Move condexpr_adjust into gimple-range-fold Certain components of GORI were needed in order to proces

[gcc r15-833] Delete gori_map during destruction of GORI.

https://gcc.gnu.org/g:f9810728cf42ea7c3d84198aa582e53cfb2302d1 commit r15-833-gf9810728cf42ea7c3d84198aa582e53cfb2302d1 Author: Andrew MacLeod Date: Sat May 25 12:28:52 2024 -0400 Delete gori_map during destruction of GORI. Forgot to free the gori_mpa object when a gori object is

[gcc r15-869] Strlen pass should set current range query.

https://gcc.gnu.org/g:d52b44aa26aa9976c292f4773a08bbaa2fbb commit r15-869-gd52b44aa26aa9976c292f4773a08bbaa2fbb Author: Andrew MacLeod Date: Mon May 27 13:20:13 2024 -0400 Strlen pass should set current range query. The strlen pass currently has a local ranger instance, bu

[gcc r15-870] Do not invoke SCEV if it will use a different range query.

https://gcc.gnu.org/g:5ada486079d6aa20c64985a20681573f4ac1c86e commit r15-870-g5ada486079d6aa20c64985a20681573f4ac1c86e Author: Andrew MacLeod Date: Mon May 27 11:00:57 2024 -0400 Do not invoke SCEV if it will use a different range query. SCEV always uses the current range_query o

[gcc r15-881] More tweaks from gimple_outgoing_range changes.

https://gcc.gnu.org/g:6f36cc2535c11b9406715836daeb87169fa79473 commit r15-881-g6f36cc2535c11b9406715836daeb87169fa79473 Author: Andrew MacLeod Date: Wed May 22 19:27:01 2024 -0400 More tweaks from gimple_outgoing_range changes. the dom_ranger used for fast vrp no longer needs a lo

[gcc r15-885] Gori_on_edge tweaks.

https://gcc.gnu.org/g:a19f588d0b71a4cbc48b064177de87d3ca46b39f commit r15-885-ga19f588d0b71a4cbc48b064177de87d3ca46b39f Author: Andrew MacLeod Date: Wed May 22 19:51:16 2024 -0400 Gori_on_edge tweaks. FAST_VRP uses a non-ranger gori_on_edge routine which allows an optional out

[gcc r15-1169] Move array_bounds warnings into a separate pass.

https://gcc.gnu.org/g:74ee12ff68243bb177fb8653474dff80c3792139 commit r15-1169-g74ee12ff68243bb177fb8653474dff80c3792139 Author: Andrew MacLeod Date: Wed Jun 5 15:12:27 2024 -0400 Move array_bounds warnings into a separate pass. Array bounds checking is currently tied to VRP. Thi

[gcc r15-1179] scev query mismatch message

https://gcc.gnu.org/g:2f0c09c00b8ccf41c27d4b7ba0cafdeb99242a29 commit r15-1179-g2f0c09c00b8ccf41c27d4b7ba0cafdeb99242a29 Author: Andrew MacLeod Date: Thu May 30 09:40:46 2024 -0400 scev query mismatch message Add a message to the listing if SCEV is not invoked because of a ran

[gcc r15-1345] Do not assume LHS of call is an ssa-name.

https://gcc.gnu.org/g:80c6b6a21b5d3e4f7c5fddbe88e344b608ffb010 commit r15-1345-g80c6b6a21b5d3e4f7c5fddbe88e344b608ffb010 Author: Andrew MacLeod Date: Wed Jun 12 09:20:20 2024 -0400 Do not assume LHS of call is an ssa-name. gimple_range_fold makes an assumption that the LHS of a ca

[gcc r15-1346] Add merge facility to ssa_lazy_cache.

https://gcc.gnu.org/g:d40034c489c3d4ae149759ba051ef1d661a6c243 commit r15-1346-gd40034c489c3d4ae149759ba051ef1d661a6c243 Author: Andrew MacLeod Date: Thu Jun 13 15:35:55 2024 -0400 Add merge facility to ssa_lazy_cache. The ssa_lazy_cache has a routine to merge a range for an ssa-n

[gcc r15-1347] Dont add varying values to gori_on_edge mass calculations.

https://gcc.gnu.org/g:e5e341243bf4a8a93fc9b5776124c64015326356 commit r15-1347-ge5e341243bf4a8a93fc9b5776124c64015326356 Author: Andrew MacLeod Date: Fri Jun 14 11:01:08 2024 -0400 Dont add varying values to gori_on_edge mass calculations. gori_on_edge will return an ssa_lazy_cach

[gcc r15-1542] Add builtin_unreachable processing for fast_vrp.

https://gcc.gnu.org/g:ffaa806c302cca23b36173b65140a1ee1b1826af commit r15-1542-gffaa806c302cca23b36173b65140a1ee1b1826af Author: Andrew MacLeod Date: Mon Jun 17 11:23:12 2024 -0400 Add builtin_unreachable processing for fast_vrp. Add a remove_unreachable object to fast vrp, and ho

[gcc r15-1543] Change fast VRP algorithm

https://gcc.gnu.org/g:68532d3c63725777aaa63b9ac2e4a086c6359bfa commit r15-1543-g68532d3c63725777aaa63b9ac2e4a086c6359bfa Author: Andrew MacLeod Date: Mon Jun 17 11:32:51 2024 -0400 Change fast VRP algorithm Change the fast VRP algorithm to track contextual ranges active within

[gcc r15-1544] Print "Global Exported" to dump_file from set_range_info.

https://gcc.gnu.org/g:747a06017196b6344e3f664706a11231ba712548 commit r15-1544-g747a06017196b6344e3f664706a11231ba712548 Author: Andrew MacLeod Date: Mon Jun 17 16:07:16 2024 -0400 Print "Global Exported" to dump_file from set_range_info. * gimple-range.cc (gimple_ranger::

[gcc r15-4598] Remove pointer_and_operator.

https://gcc.gnu.org/g:f9d94c1d5cf051350a39a9816f35cf94d351f6da commit r15-4598-gf9d94c1d5cf051350a39a9816f35cf94d351f6da Author: Andrew MacLeod Date: Mon Oct 21 18:20:10 2024 -0400 Remove pointer_and_operator. This operator class predates the dispatch system, and is no longer used

[gcc r15-4599] Implement pointer_or_operator.

https://gcc.gnu.org/g:f24e10876689dcd92b05756bd3ec833ddf1e6b7e commit r15-4599-gf24e10876689dcd92b05756bd3ec833ddf1e6b7e Author: Andrew MacLeod Date: Wed Oct 23 10:59:13 2024 -0400 Implement pointer_or_operator. The class pointer_or is no longer used, and can be removed. Its

[gcc r15-4887] Don't call invert on VARYING.

https://gcc.gnu.org/g:766075c47db5cc9d04463bfb2219b593bb4263ee commit r15-4887-g766075c47db5cc9d04463bfb2219b593bb4263ee Author: Andrew MacLeod Date: Sat Nov 2 10:26:24 2024 -0400 Don't call invert on VARYING. When all cases go to one label and resul in a VARYING value, we can't

[gcc r14-10876] Reimplement 'assume' processing pass.

https://gcc.gnu.org/g:393ee6b64579ea5ae5ae88079d271d3a237c7d9f commit r14-10876-g393ee6b64579ea5ae5ae88079d271d3a237c7d9f Author: Andrew MacLeod Date: Fri Nov 1 12:46:39 2024 -0400 Reimplement 'assume' processing pass. Rework the assume pass to work properly and fail conservativel

[gcc r14-10875] Make fur_edge accessible.

https://gcc.gnu.org/g:08054021c88d028ce313ec80c034d42a84ee8276 commit r14-10875-g08054021c88d028ce313ec80c034d42a84ee8276 Author: Andrew MacLeod Date: Fri Nov 1 10:56:54 2024 -0400 Make fur_edge accessible. Move the decl of fur_edge out of the source file into the header file.

[gcc r14-10877] Update bitwise_or op_range.

https://gcc.gnu.org/g:2a9fbe1920779b65eb817db7ce0c60096b0cea9e commit r14-10877-g2a9fbe1920779b65eb817db7ce0c60096b0cea9e Author: Andrew MacLeod Date: Thu Oct 31 14:07:00 2024 -0400 Update bitwise_or op_range. If the LHS of a bitwise OR is positive, then so are both operands when

[gcc r14-10884] Don't call invert on VARYING.

https://gcc.gnu.org/g:e1154e294b3d8f7267612afb2113b2572cb39e33 commit r14-10884-ge1154e294b3d8f7267612afb2113b2572cb39e33 Author: Andrew MacLeod Date: Sat Nov 2 10:26:24 2024 -0400 Don't call invert on VARYING. When all cases go to one label and resul in a VARYING value, we can't

[gcc r13-9169] Don't call invert on VARYING.

https://gcc.gnu.org/g:84b713589646c63b38ec55352fb87c1e80b69b66 commit r13-9169-g84b713589646c63b38ec55352fb87c1e80b69b66 Author: Andrew MacLeod Date: Mon Nov 4 10:02:35 2024 -0500 Don't call invert on VARYING. When all cases go to one label and resul in a VARYING value, we can't

[gcc r12-10802] Don't call invert on VARYING.

https://gcc.gnu.org/g:78d3156d53567cb2794c3df21dc0d914abe43543 commit r12-10802-g78d3156d53567cb2794c3df21dc0d914abe43543 Author: Andrew MacLeod Date: Mon Nov 4 10:02:35 2024 -0500 Don't call invert on VARYING. When all cases go to one label and resul in a VARYING value, we can't

[gcc r15-4851] Reimplement 'assume' processing pass.

https://gcc.gnu.org/g:62420dbd105bbc4fe732881875c5c85aa55b6069 commit r15-4851-g62420dbd105bbc4fe732881875c5c85aa55b6069 Author: Andrew MacLeod Date: Mon Oct 28 10:19:27 2024 -0400 Reimplement 'assume' processing pass. Rework the assume pass to work properly and fail conservativel

[gcc r15-4852] Update bitwise_or op_range.

https://gcc.gnu.org/g:253fe0f6269516e37b3ef12a0d18e539b3cabd62 commit r15-4852-g253fe0f6269516e37b3ef12a0d18e539b3cabd62 Author: Andrew MacLeod Date: Thu Oct 31 14:07:00 2024 -0400 Update bitwise_or op_range. If the LHS of a bitwise OR is positive, then so are both operands when

[gcc r15-4850] Make fur_edge accessible.

https://gcc.gnu.org/g:fe22e18c1b00f4d95aec6d40333aecd1e9c700c7 commit r15-4850-gfe22e18c1b00f4d95aec6d40333aecd1e9c700c7 Author: Andrew MacLeod Date: Thu Oct 31 15:44:15 2024 -0400 Make fur_edge accessible. Move the decl of fur_edge out of the source file into the header file.

[gcc r15-4596] Cleanup pointer_plus_operator.

https://gcc.gnu.org/g:20d80c84ee4d19950c7d39f5c8be52836e90cad9 commit r15-4596-g20d80c84ee4d19950c7d39f5c8be52836e90cad9 Author: Andrew MacLeod Date: Mon Oct 21 16:47:32 2024 -0400 Cleanup pointer_plus_operator. The POINTER_PLUS operator still carries some remnamts of the old

[gcc r15-4578] Implement operator_pointer_diff::fold_range

https://gcc.gnu.org/g:774ad67fba458dd1beaa0f2d3e389aac46ca18b5 commit r15-4578-g774ad67fba458dd1beaa0f2d3e389aac46ca18b5 Author: Andrew MacLeod Date: Mon Oct 21 16:32:00 2024 -0400 Implement operator_pointer_diff::fold_range prange has no default fold_range processing like irange

[gcc r15-4722] Fix bitwise_or logic for prange.

https://gcc.gnu.org/g:1c0ecf06c0c9f3268ba52d4027e9b78aae4acb51 commit r15-4722-g1c0ecf06c0c9f3268ba52d4027e9b78aae4acb51 Author: Andrew MacLeod Date: Mon Oct 28 09:47:03 2024 -0400 Fix bitwise_or logic for prange. Set non-zero only if at least one of the two operands does not cont

[gcc r15-4597] Remove pointer_min_max_operator.

https://gcc.gnu.org/g:7173e2ff30c1e42168db4ac1dedc12ae1518faab commit r15-4597-g7173e2ff30c1e42168db4ac1dedc12ae1518faab Author: Andrew MacLeod Date: Mon Oct 21 18:11:43 2024 -0400 Remove pointer_min_max_operator. The pointer_min_max_operator class was used before the current disp

[gcc r15-4984] Add details output for assume processing.

https://gcc.gnu.org/g:137b26412f681bb1f8b3eb52b8f9efd79e6bda2a commit r15-4984-g137b26412f681bb1f8b3eb52b8f9efd79e6bda2a Author: Andrew MacLeod Date: Tue Nov 5 12:52:51 2024 -0500 Add details output for assume processing. The Assume pass simply produces results, with no indication

[gcc r15-5998] Do not calculate an entry range for invariant names.

https://gcc.gnu.org/g:48eda34624fe5de050ae5ee38a360155ab188c39 commit r15-5998-g48eda34624fe5de050ae5ee38a360155ab188c39 Author: Andrew MacLeod Date: Mon Nov 25 09:50:33 2024 -0500 Do not calculate an entry range for invariant names. If an SSA_NAME is invariant, do not calculate a

[gcc r15-5999] Add a range query to inferred ranges.

https://gcc.gnu.org/g:faddf22942884a4c951ca0eeffc364296378eeff commit r15-5999-gfaddf22942884a4c951ca0eeffc364296378eeff Author: Andrew MacLeod Date: Sat Nov 16 08:29:30 2024 -0500 Add a range query to inferred ranges. Provide a range_query for any inferred range processing which

[gcc r15-6000] Only add inferred ranges if they change the value.

https://gcc.gnu.org/g:c7fd6c4369ef1a009b40c1787ea9d2dad2cf449f commit r15-6000-gc7fd6c4369ef1a009b40c1787ea9d2dad2cf449f Author: Andrew MacLeod Date: Sat Nov 23 14:05:54 2024 -0500 Only add inferred ranges if they change the value. Do not add an inferred range if it is already inc

[gcc r15-6815] Use relations when simplifying MIN and MAX.

https://gcc.gnu.org/g:b0eeb540497c7b9dee01f8724f9a4978b53a12ae commit r15-6815-gb0eeb540497c7b9dee01f8724f9a4978b53a12ae Author: Andrew MacLeod Date: Fri Jan 10 13:33:01 2025 -0500 Use relations when simplifying MIN and MAX. Query for known relations between the operands, and pass

[gcc r15-9008] If the LHS does not contain zero, neither do multiply operands.

https://gcc.gnu.org/g:dd9ed951f4002419ceff744bbd87ae9b8affdaf4 commit r15-9008-gdd9ed951f4002419ceff744bbd87ae9b8affdaf4 Author: Andrew MacLeod Date: Wed Mar 26 10:34:42 2025 -0400 If the LHS does not contain zero, neither do multiply operands. Given ~[0,0] = op1 * op2, range-ops