)]}' { "commit": "02a4fcec6bb2d0eec645c039d17cf947269d5fa1", "tree": "9317ca9a7681e27e16f39e5e65eda1d73b7ca0fd", "parents": [ "bfd94882f2648e2a5ed651bca6cfeb4fb7788b86" ], "author": { "name": "Johannes Doerfert", "email": "johannes@jdoerfert.de", "time": "Sun Jul 02 15:59:55 2023 -0700" }, "committer": { "name": "Johannes Doerfert", "email": "johannes@jdoerfert.de", "time": "Sun Jul 09 16:04:19 2023 -0700" }, "message": "[Attributor] Port AANonNull to the isImpliedByIR interface\n\nAANonNull is now the first AA that is always queried via the new APIs\nand not created manually. Others will follow shortly to avoid trivial\nAAs whenever possible.\n\nThis commit introduced some helper logic that will make it simpler to\nport the next one. It also untangles AADereferenceable and AANonNull\nsuch that the former does not keep a handle on the latter. Finally,\nwe stop deducing `nonnull` for `undef`, which was incorrect.\n", "tree_diff": [ { "type": "modify", "old_id": "193d1bed454048b175d35da30e1de11e9ca81dfd", "old_mode": 33188, "old_path": "llvm/include/llvm/Transforms/IPO/Attributor.h", "new_id": "f9ce417277a8bc8fc6361092e218bc98e3448a06", "new_mode": 33188, "new_path": "llvm/include/llvm/Transforms/IPO/Attributor.h" }, { "type": "modify", "old_id": "887978e8872e6a766b1082c25b4a8a274ab0643a", "old_mode": 33188, "old_path": "llvm/lib/Target/AMDGPU/AMDGPUAttributor.cpp", "new_id": "8d87a2230aaa95e527da2e346aa644c6051caa6a", "new_mode": 33188, "new_path": "llvm/lib/Target/AMDGPU/AMDGPUAttributor.cpp" }, { "type": "modify", "old_id": "632c710717a3d27d0b6844c5b813565c9d8604fc", "old_mode": 33188, "old_path": "llvm/lib/Transforms/IPO/Attributor.cpp", "new_id": "964c3927040e51a42a1865fc54589890adee1d5d", "new_mode": 33188, "new_path": "llvm/lib/Transforms/IPO/Attributor.cpp" }, { "type": "modify", "old_id": "0c2f39974f5a2f89318c5cee85b3b75498d8d318", "old_mode": 33188, "old_path": "llvm/lib/Transforms/IPO/AttributorAttributes.cpp", "new_id": "3cc9618c77169eb4e7876f49e5e735689d638e47", "new_mode": 33188, "new_path": "llvm/lib/Transforms/IPO/AttributorAttributes.cpp" }, { "type": "modify", "old_id": "e9c356a7a15555cc4b025fb3c669dc20ea68de6b", "old_mode": 33188, "old_path": "llvm/lib/Transforms/IPO/OpenMPOpt.cpp", "new_id": "ddff766353346378a79591bc9ba97244c1506651", "new_mode": 33188, "new_path": "llvm/lib/Transforms/IPO/OpenMPOpt.cpp" }, { "type": "modify", "old_id": "153aa30667f276341ba5ffb2f1e748fcc87040c6", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/attrs.ll", "new_id": "38953c1fde5b76498aa87eaff08c531dffa42e22", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/attrs.ll" }, { "type": "modify", "old_id": "1f19aa948bbb134e860364d3bd7d57b9ab701597", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/byval-2.ll", "new_id": "96e41fd8535b2a5251210414e21506966fdd2a04", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/byval-2.ll" }, { "type": "modify", "old_id": "eaea49a41928d4d2f52bf7fa154e90ee1a7ac270", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/live_called_from_dead_2.ll", "new_id": "732a55101e890c55868df8d4c118e2d06a6b9254", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/live_called_from_dead_2.ll" }, { "type": "modify", "old_id": "4dc42666a4ea7ea6b11021b4c24957579d786ee7", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/musttail.ll", "new_id": "393653cbbb988220ac1e1f5a0ba1ecbc0fd8c0c9", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/musttail.ll" }, { "type": "modify", "old_id": "3f6d155684338d1aff5bccbda7a7e9ca72a8e190", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/variadic.ll", "new_id": "c0811d36724aa94a81280074cc8193263c3b82ee", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/ArgumentPromotion/variadic.ll" }, { "type": "modify", "old_id": "50b5ff64c9858b0efa14222f975bd0a69cfef77d", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/IPConstantProp/openmp_parallel_for.ll", "new_id": "e3cdacf5f85b3efbfb0744c47fcbe4573e328cac", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/IPConstantProp/openmp_parallel_for.ll" }, { "type": "modify", "old_id": "935d154d0f867262ea3f1cdfb0e0e2bf7f3dcf54", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/callbacks.ll", "new_id": "d49a61690bebf1bdd77602fedafb1520b99c25b1", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/callbacks.ll" }, { "type": "modify", "old_id": "5a754d7f2ca5c3f800983853de879c22f070b7d8", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/callgraph.ll", "new_id": "61c6ce92491fabc7a1b8ffecbc09e51ca0ea6df1", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/callgraph.ll" }, { "type": "modify", "old_id": "d98da2627d314d808462a32cf149806a49011086", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/chain.ll", "new_id": "acf3ee792041411181f92dae21005d09fd5e72c9", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/chain.ll" }, { "type": "modify", "old_id": "4dd740b11c7041f35726c2a8d49efeace2e68926", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/depgraph.ll", "new_id": "a8a41b35d7588474ff5daabb39ff5e2964d389a4", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/depgraph.ll" }, { "type": "modify", "old_id": "f5dbf313df54887558d95d4018c5290713a32f32", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/dereferenceable-1.ll", "new_id": "e2f280cb90ef8ff96eb611ffcd7fa36eab8d774a", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/dereferenceable-1.ll" }, { "type": "modify", "old_id": "a4f4f7a34b508f62307e13021899f2545d108cd0", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/liveness.ll", "new_id": "1f14c92109568822f6eb75730a03156c475a93fb", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/liveness.ll" }, { "type": "modify", "old_id": "0a57f4baeac0921b13b82cfc5304cf395531eea3", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/memory_locations.ll", "new_id": "dcebb434466db3ebbd91c0b33cc156949322d8c1", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/memory_locations.ll" }, { "type": "modify", "old_id": "830558c072444fc3c5e536bb0579450e9ce20e89", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/misc.ll", "new_id": "8b1ac70909639516e2cee5f94c3e41eb27f914e1", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/misc.ll" }, { "type": "modify", "old_id": "363192a0fdc337507c6e9d550a865ac4271f992b", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/nocapture-2.ll", "new_id": "0480f3fbff92dacfe3f1d0e0eb7a6bfa32ed9880", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/nocapture-2.ll" }, { "type": "modify", "old_id": "a9740e2f68bdbee00cf2f7b5e3237d5450b45ab0", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/nofree.ll", "new_id": "68f0e5b06cc223a8a748b77bc246bdf364e4752c", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/nofree.ll" }, { "type": "modify", "old_id": "3eb43af5cabf483f7d0b3eff5282e3c55ca1adc9", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/nonnull.ll", "new_id": "0b50e805db678598680601d2037c327ef82596e5", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/nonnull.ll" }, { "type": "modify", "old_id": "2025f92279313b98379fb28cc75372bf57586310", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/noundef.ll", "new_id": "6fda4348310a984707928befbfff7db16dcbcb62", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/noundef.ll" }, { "type": "modify", "old_id": "6ba086a39ad78ff0a155c68e994f128a8adcb6ac", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/openmp_parallel.ll", "new_id": "ec319772ce69fa8317595b6ae6d11c30dc68887a", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/openmp_parallel.ll" }, { "type": "modify", "old_id": "ac4b252e3b84e2d28cde737480558b31667ba520", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/read_write_returned_arguments_scc.ll", "new_id": "bd520090400414a22e0d3eb1431d26f22cb7117f", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/read_write_returned_arguments_scc.ll" }, { "type": "modify", "old_id": "6a980579d63fc692252d50b117de1b51a2b18dbd", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/readattrs.ll", "new_id": "765ff021523d5b4c01845a2333b57fe4c81dd3cb", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/readattrs.ll" }, { "type": "modify", "old_id": "9de7e8e0414807b2f9f6c1183151fe29f3798299", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/returned.ll", "new_id": "25543bfd478c8b99683e5d67637c9d99afa52a81", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/returned.ll" }, { "type": "modify", "old_id": "c007e31494174a59910f2f2312fde9b2061af22d", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/value-simplify-instances.ll", "new_id": "9c0b1b7573735397e67861a0d8c918cb42616c28", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/value-simplify-instances.ll" }, { "type": "modify", "old_id": "f5be89e8f4a9c75f5bfa631e16d37859aa71a14b", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/value-simplify-pointer-info-struct.ll", "new_id": "7a427f62f4368452776a2f93dfe8f035a13fb2eb", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/value-simplify-pointer-info-struct.ll" }, { "type": "modify", "old_id": "9ab11c3ad6e43648e242dde1971add3f969db55f", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll", "new_id": "3e57219c9cdb7e3b5d185f27d373cc755f7c62ef", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll" }, { "type": "modify", "old_id": "f55ad745568ce5845382d561ae3d8697f204c3be", "old_mode": 33188, "old_path": "llvm/test/Transforms/Attributor/value-simplify.ll", "new_id": "66720dd74f5b9df6974eb771eb0291439d44be25", "new_mode": 33188, "new_path": "llvm/test/Transforms/Attributor/value-simplify.ll" }, { "type": "modify", "old_id": "731265fa5f39dad445066d4c0b0c116f781d1015", "old_mode": 33188, "old_path": "llvm/test/Transforms/OpenMP/parallel_deletion.ll", "new_id": "c1d8bcbcf8a07215cda0c7605fcf5c2216cf9d0a", "new_mode": 33188, "new_path": "llvm/test/Transforms/OpenMP/parallel_deletion.ll" }, { "type": "modify", "old_id": "1ab939b547bb171a9d7399ca12310847faff798d", "old_mode": 33188, "old_path": "llvm/test/Transforms/OpenMP/parallel_region_merging.ll", "new_id": "f169fea09d0ea3a1d3ed8138126c47cd58d3dcb0", "new_mode": 33188, "new_path": "llvm/test/Transforms/OpenMP/parallel_region_merging.ll" }, { "type": "modify", "old_id": "2cc12945fe3500c092cee2bf7700ccd09dde7683", "old_mode": 33188, "old_path": "llvm/test/Transforms/OpenMP/value-simplify-openmp-opt.ll", "new_id": "148a971d7f071d7e8adbcebeb1b2617fe04a7cc3", "new_mode": 33188, "new_path": "llvm/test/Transforms/OpenMP/value-simplify-openmp-opt.ll" } ] }