[all-commits] [llvm/llvm-project] d24c17: [X86] Regenerate xaluo.ll with common CHECK prefix

[Simon Pilgrim via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d24c1796824b88985252072c4ee8e6ea08aa0fd9
      https://github.com/llvm/llvm-project/commit/d24c1796824b88985252072c4ee8e6ea08aa0fd9
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2023-05-06 (Sat, 06 May 2023)

  Changed paths:
    M llvm/test/CodeGen/X86/xaluo.ll

  Log Message:
  -----------
  [X86] Regenerate xaluo.ll with common CHECK prefix


  Commit: 5e029f0142f24c96c4dc4b87ebea0004c75654ef
      https://github.com/llvm/llvm-project/commit/5e029f0142f24c96c4dc4b87ebea0004c75654ef
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2023-05-06 (Sat, 06 May 2023)

  Changed paths:
    M llvm/test/CodeGen/X86/xaluo.ll

  Log Message:
  -----------
  [X86] xaluo.ll - add test coverage showing the failure to recognise when saddo/ssubo will not overflow

sadd/ssub with both operands with more than one sign bit will not overflow

Alive2: https://alive2.llvm.org/ce/z/a8HmNp


  Commit: 7395f6ae784aada24e490b773b2571f08cf39f37
      https://github.com/llvm/llvm-project/commit/7395f6ae784aada24e490b773b2571f08cf39f37
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2023-05-06 (Sat, 06 May 2023)

  Changed paths:
    M llvm/include/llvm/CodeGen/SelectionDAG.h
    M llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
    M llvm/test/CodeGen/X86/xaluo.ll

  Log Message:
  -----------
  [DAG] Add computeOverflowForSignedAdd and computeOverflowForAdd wrapper

Add basic computeOverflowForSignedAdd helper to recognise that sadd overflow can't occur if both operands have more that one sign bit.

Add computeOverflowForAdd wrapper that calls computeOverflowForSignedAdd/computeOverflowForUnsignedAdd depending on the IsSigned argument, and use this in DAGCombiner::visitADDO


Compare: https://github.com/llvm/llvm-project/compare/1c282052624f...7395f6ae784a