)]}' { "commit": "82821254f532c1dbdfd5d985ef7130511efaaa83", "tree": "bbce4637e6590556d9ba297c82624cd39af13033", "parents": [ "831469fb552ba03d15fb717eeb526a71bfac8b6d" ], "author": { "name": "Florian Hahn", "email": "flo@fhahn.com", "time": "Thu Nov 28 10:12:41 2024 +0000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Thu Nov 28 10:12:41 2024 +0000" }, "message": "[LV] Use IVUpdateMayOverflow to set HasNUW. (#111758)\n\nIf IVUpdateMayOverflow is false, we proved that the induction increment\r\ncannot overflow in the vector loop. This allows setting NUW in some\r\ncases when folding the tail.\r\n\r\nPR: https://github.com/llvm/llvm-project/pull/111758", "tree_diff": [ { "type": "modify", "old_id": "95a5c65e2b4f89bf9bc1d9e9d7279b539e74ae51", "old_mode": 33188, "old_path": "llvm/lib/Transforms/Vectorize/LoopVectorize.cpp", "new_id": "78a3d7216f87e310dca92c5c8d9740582a2e51dd", "new_mode": 33188, "new_path": "llvm/lib/Transforms/Vectorize/LoopVectorize.cpp" }, { "type": "modify", "old_id": "1acc400a2c9ffb5bb17ae5a8f02ca694254b813f", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/AArch64/conditional-branches-cost.ll", "new_id": "dff0bbe59a7065b0f68d6529eef53dbe190d802c", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/AArch64/conditional-branches-cost.ll" }, { "type": "modify", "old_id": "6011ccfd156148216953f7b19606d441846f9a3b", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/ARM/mve-reduction-predselect.ll", "new_id": "af43b747c0043fca236c452fb7ed6f00ed2dd36b", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/ARM/mve-reduction-predselect.ll" }, { "type": "modify", "old_id": "832d4db53036fb60cd68280ad201ad57336eefab", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/ARM/mve-reduction-types.ll", "new_id": "6f78982d7ab0290cd6b93063197044b1b3d66831", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/ARM/mve-reduction-types.ll" }, { "type": "modify", "old_id": "c115c91cff896cdc3e959f2254dabd769eadac30", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/ARM/mve-reductions.ll", "new_id": "baad7a84a891a676cd8d49f5672c3fd6f668605d", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/ARM/mve-reductions.ll" }, { "type": "modify", "old_id": "ed6254074c8b5c92d12011a19e1fc91b5ca272cb", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/ARM/prefer-tail-loop-folding.ll", "new_id": "e9642a55bc341b6275becdeb617b83e4a75a6e9f", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/ARM/prefer-tail-loop-folding.ll" }, { "type": "modify", "old_id": "77cc3b70edb93956ab8c53ab5505c64be9d412a2", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/ARM/tail-folding-loop-hint.ll", "new_id": "573a9f75f305493709342f28122aa4d65276f801", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/ARM/tail-folding-loop-hint.ll" }, { "type": "modify", "old_id": "8f3cfc5b20ee9e6176297ddded8cfb4aa0be51e0", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/ARM/tail-folding-prefer-flag.ll", "new_id": "f0464a085d390bb9c5aba99d170021b3dd8654a8", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/ARM/tail-folding-prefer-flag.ll" }, { "type": "modify", "old_id": "8368022bceed92c869ad309991fd14a45e91b310", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/inloop-reduction.ll", "new_id": "c09b2de500d8cb156c8b154cb127c5ea07155e40", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/inloop-reduction.ll" }, { "type": "modify", "old_id": "44c5348296deab0d87f444250d3934b305b0fa4b", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/low-trip-count.ll", "new_id": "5c5600b9cfdf8e721c541b4876ab473f07a893a3", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/low-trip-count.ll" }, { "type": "modify", "old_id": "02b7ce3795ad5208abcc0075682a135225c451ed", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/pr88802.ll", "new_id": "305d26d7f3bc132e0d18563433865b7f380c8a92", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/pr88802.ll" }, { "type": "modify", "old_id": "aa7b7a5676eef9bc860b30276cf70daffb9230f5", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/scalable-tailfold.ll", "new_id": "3c35c272d33891c3526a6cacae4ecccbb431ae89", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/scalable-tailfold.ll" }, { "type": "modify", "old_id": "1583e071fe7bc905e2fdaeaa29f63b635d6d6155", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/short-trip-count.ll", "new_id": "375278eea38f9752bd6e44c986424d33ccf3f387", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/short-trip-count.ll" }, { "type": "modify", "old_id": "d0e14e5ba44c7be1d6a917d5a4cfbf2fa143493d", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/truncate-to-minimal-bitwidth-cost.ll", "new_id": "bfdcfbf5139b3d2535cb411266922320b62cf707", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/truncate-to-minimal-bitwidth-cost.ll" }, { "type": "modify", "old_id": "30f1f0ca75e1dc39553f7e2dd06d24990fd8de58", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/uniform-load-store.ll", "new_id": "9bba6e43766121af305c0e230947eac956369803", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/uniform-load-store.ll" }, { "type": "modify", "old_id": "f18a098e162a8591220bbe57184a17cdc8cee610", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-bin-unary-ops-args.ll", "new_id": "40ae96f378b6c9318ed050e220600667be161371", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-bin-unary-ops-args.ll" }, { "type": "modify", "old_id": "fbc4ad0bac50aea52f1550f9a836f5303e601e18", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-known-no-overflow.ll", "new_id": "dc74f44688fdfad77ab919e63d25e4e06dd07870", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-known-no-overflow.ll" }, { "type": "modify", "old_id": "79471ab21dc78ab561ee5ee8bd6e375ef377ab2e", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-reverse-load-store.ll", "new_id": "209c251f6a6a478da028a87bf874c67acc72e84c", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-reverse-load-store.ll" }, { "type": "modify", "old_id": "6c2c2612fe2d44bd22081bbdcbf7265d29cd023f", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-safe-dep-distance.ll", "new_id": "313511d017f6516a9f25a8d2af008958e647a52f", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-safe-dep-distance.ll" }, { "type": "modify", "old_id": "107ae504612968ffc61e72c3edbe91e2ed766f90", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/SystemZ/force-target-instruction-cost.ll", "new_id": "385f7621801b4705856510434a701ce5bfd57998", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/SystemZ/force-target-instruction-cost.ll" }, { "type": "modify", "old_id": "f828b74bc8bf6997ab9e85c0b134b4cd4e2633f6", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/SystemZ/pr47665.ll", "new_id": "98245fcc0f0af3369d7eb7cacee7c52826d5d54a", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/SystemZ/pr47665.ll" }, { "type": "modify", "old_id": "699b8487a065a51fa8c88e8fa4be95f820876b40", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/SystemZ/predicated-first-order-recurrence.ll", "new_id": "d0754f1c2bb5554be12c92f4888a9461f7affbcd", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/SystemZ/predicated-first-order-recurrence.ll" }, { "type": "modify", "old_id": "64e57747bf2ae148f10038e6bf894ec213b109b8", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/consecutive-ptr-uniforms.ll", "new_id": "e685a83d9ccbb2ba7aedd9ac1bc01e79bd12de42", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/consecutive-ptr-uniforms.ll" }, { "type": "modify", "old_id": "9f6362b3616859cdb50404ae049a9530db08e97f", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/cost-model.ll", "new_id": "f8de81f43afc5801d456c5694d198ed708406e1b", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/cost-model.ll" }, { "type": "modify", "old_id": "bc74742d952abee76c8325f0455d29f31e7595fa", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/induction-costs.ll", "new_id": "f6c3219c90a986b2d1650547485ee23ab00a120c", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/induction-costs.ll" }, { "type": "modify", "old_id": "a12aed7239c9df3d2aee53446cd979fdf4729faa", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/optsize.ll", "new_id": "597be33ca63f64c9b06a776c7065e540331d6561", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/optsize.ll" }, { "type": "modify", "old_id": "73bdae71654f12e07b8bd26144152758c7430fc6", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/pr81872.ll", "new_id": "a190e94a01489326ff70ed24c52c540dd173bdb6", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/pr81872.ll" }, { "type": "modify", "old_id": "99aaecf9a073c458810f7bdb475ea669059f7e6f", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/small-size.ll", "new_id": "0a4b46b2c41fa00302035c4fde7f670491f5a806", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/small-size.ll" }, { "type": "modify", "old_id": "de906598775eb04bbcd5cb2ede2968d3f2d0c914", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/tail_loop_folding.ll", "new_id": "428ed94dadb8963cb388d728fb3bcf9b53c9f629", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/tail_loop_folding.ll" }, { "type": "modify", "old_id": "cf913a4fcc7a1b570f800caa4580a548170344f2", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/vect.omp.force.small-tc.ll", "new_id": "90ba702ed232ee54d4a67b81acd5d6df8712ca70", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/vect.omp.force.small-tc.ll" }, { "type": "modify", "old_id": "3af3ad9ab3cf5ba9d89771b2d423da4733acc89f", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/vectorize-interleaved-accesses-gap.ll", "new_id": "844fe1873bc98bd7ecb68475a0662d4fd87175ff", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/vectorize-interleaved-accesses-gap.ll" }, { "type": "modify", "old_id": "4174aa4e897bca8b6ab56a44dbcced8aa69b36ef", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/x86-interleaved-accesses-masked-group.ll", "new_id": "d490055b4ff39aa040b2a60229bce53478db78ab", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/x86-interleaved-accesses-masked-group.ll" }, { "type": "modify", "old_id": "bd54f87b5048961d154c04a9380d3d5481606339", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/X86/x86-interleaved-store-accesses-with-gaps.ll", "new_id": "0d674ca2bc76a9cb564ddf4282fd434a07d24be1", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/X86/x86-interleaved-store-accesses-with-gaps.ll" }, { "type": "modify", "old_id": "c2edb54f6f3b57b746ddc84c29a205278a29d75c", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/dead_instructions.ll", "new_id": "e1fd07bf590c41e1d0986b7f800fabb2f1d57880", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/dead_instructions.ll" }, { "type": "modify", "old_id": "d0c811763a522a635654c125ffe9d1a663d40e28", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/first-order-recurrence-sink-replicate-region.ll", "new_id": "fbcd9cb95f2fc8107989e38bed7cf9e44ab24df0", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/first-order-recurrence-sink-replicate-region.ll" }, { "type": "modify", "old_id": "6c94f5bfc836a7763354b779a6284faecc091a58", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/first-order-recurrence.ll", "new_id": "87b0d5b83f82c4b5d44fddc5c64916b44e3db515", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/first-order-recurrence.ll" }, { "type": "modify", "old_id": "c71ff2b9fa4c478d8afda81d9734de0ae395548f", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/icmp-uniforms.ll", "new_id": "71701474383274656359b34d77ad77eedd27426d", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/icmp-uniforms.ll" }, { "type": "modify", "old_id": "b59cb66b11acf577c2645c6851a41be9198f4645", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/loop-form.ll", "new_id": "730d488119d1396e5905e4dc4005d441396d8a26", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/loop-form.ll" }, { "type": "modify", "old_id": "c3d8a75acaaaf7c88762f41fef50c4055d2c11e9", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/memdep-fold-tail.ll", "new_id": "d1ad7e3f4fc0d8c80ebe64225a0fb63ec347d42e", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/memdep-fold-tail.ll" }, { "type": "modify", "old_id": "0f5dcca81d3718eefc28c6f136da8f2b0c2ccadd", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/optsize.ll", "new_id": "738f265b89d6557fa00094455e2c16cd37a62fe8", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/optsize.ll" }, { "type": "modify", "old_id": "ee6975fa0c9e6c165f42a780563175af39228597", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/pr45679-fold-tail-by-masking.ll", "new_id": "c301ef3c5319a22d60b6bd114e77bd6594b6ab43", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/pr45679-fold-tail-by-masking.ll" }, { "type": "modify", "old_id": "f0220f5e766b232ae89f450b5bb48bdec0f6070f", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/pr46525-expander-insertpoint.ll", "new_id": "1e1b03b6cd8cfa743d234e43e4cef1b8aaa74e3e", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/pr46525-expander-insertpoint.ll" }, { "type": "modify", "old_id": "d7f5f646f1873c6c4e22fbc251759aee2db61cef", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/pr51614-fold-tail-by-masking.ll", "new_id": "705152662be24ad1988ced144ea211c1499ec914", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/pr51614-fold-tail-by-masking.ll" }, { "type": "modify", "old_id": "6771f561913130cf128b387a0355c912912b6fd6", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/reduction-inloop-pred.ll", "new_id": "8e132ed8399cd68e4d56766de994fd61528ede6b", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/reduction-inloop-pred.ll" }, { "type": "modify", "old_id": "f65f62bbf54bf2c5ca239043b409d2922a068496", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/reduction-inloop-uf4.ll", "new_id": "1d35a18c98faea3d4857cdde724661828ba3ea77", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/reduction-inloop-uf4.ll" }, { "type": "modify", "old_id": "491a9ec0f0d4da7d74dc2ed8ca5eff35c821f501", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/reduction-predselect.ll", "new_id": "f95be1a221e73b3ba5d9132d2a96c1e7de745d08", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/reduction-predselect.ll" }, { "type": "modify", "old_id": "b7fc1e83ce23f43d4cc9e6c2499bf1f6fbbd359e", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/select-reduction.ll", "new_id": "5e28192997695797f642746c93e9b871a295fa52", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/select-reduction.ll" }, { "type": "modify", "old_id": "b3fc0283affdf0f579cdcb259cc44fc2b1253472", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/strict-fadd-interleave-only.ll", "new_id": "9e7c667f9c8ad7ecc4ff99cb0b9b6c90de6b967b", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/strict-fadd-interleave-only.ll" }, { "type": "modify", "old_id": "9efc8d12f44a3902c6733de71f4815ef3bad348b", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/tail-folding-alloca-in-loop.ll", "new_id": "56fc8eac35bad6a1d7443fa561ab6dd2d1880752", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/tail-folding-alloca-in-loop.ll" }, { "type": "modify", "old_id": "dd2fd0de9938efd25bbf6bf638f13903139b7467", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/tail-folding-switch.ll", "new_id": "31732f027f6dd47a9699f9dc7d216142b658e576", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/tail-folding-switch.ll" }, { "type": "modify", "old_id": "92ca77bc841ca1748cb538fef46a0f386e268ab0", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/tail-folding-vectorization-factor-1.ll", "new_id": "336c5ea4331b8011abdace03ee3a795b6bbebae0", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/tail-folding-vectorization-factor-1.ll" }, { "type": "modify", "old_id": "88e7aaccfe2f35606e1a81c237bc8ce2b302b188", "old_mode": 33188, "old_path": "llvm/test/Transforms/LoopVectorize/vplan-sink-scalars-and-merge.ll", "new_id": "8872ad4e3897dedcecfa92bab0a1bd4db3a84eaa", "new_mode": 33188, "new_path": "llvm/test/Transforms/LoopVectorize/vplan-sink-scalars-and-merge.ll" } ] }