[all-commits] [llvm/llvm-project] a1652f: [InstCombine] Add tests for incorrect shift nneg i...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a1652fdb5ebf4a7d94d28200765232ebc2ba7c62
      https://github.com/llvm/llvm-project/commit/a1652fdb5ebf4a7d94d28200765232ebc2ba7c62
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-11-21 (Tue, 21 Nov 2023)

  Changed paths:
    M llvm/test/Transforms/InstCombine/shift.ll

  Log Message:
  -----------
  [InstCombine] Add tests for incorrect shift nneg inference (NFC)

The second test is a miscompile.


  Commit: ac75171d41f0000d53eadf64a943d6fabc24af6c
      https://github.com/llvm/llvm-project/commit/ac75171d41f0000d53eadf64a943d6fabc24af6c
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-11-21 (Tue, 21 Nov 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp
    M llvm/test/Transforms/InstCombine/shift.ll

  Log Message:
  -----------
  [InstCombine] Fix incorrect nneg inference on shift amount

Whether this is valid depends on the bit widths of the involved
integers.

Fixes https://github.com/llvm/llvm-project/issues/72927.


Compare: https://github.com/llvm/llvm-project/compare/6088e9cdba90...ac75171d41f0