[all-commits] [llvm/llvm-project] 938b92: [InstCombine] Add more tests for transforming `(bi...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 938b9204684222d192a3f817da0c33076ed813e2
      https://github.com/llvm/llvm-project/commit/938b9204684222d192a3f817da0c33076ed813e2
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-09 (Sat, 09 Mar 2024)

  Changed paths:
    M llvm/test/Transforms/InstCombine/binop-itofp.ll

  Log Message:
  -----------
  [InstCombine] Add more tests for transforming `(binop (uitofp), -C)`; NFC


  Commit: 8d976c7f20fe8d92fe6f54af411594e15fac25ae
      https://github.com/llvm/llvm-project/commit/8d976c7f20fe8d92fe6f54af411594e15fac25ae
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-09 (Sat, 09 Mar 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineInternal.h
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
    M llvm/test/Transforms/InstCombine/add-sitofp.ll
    M llvm/test/Transforms/InstCombine/binop-itofp.ll

  Log Message:
  -----------
  [InstCombine] Make `(binop ({s|u}itofp),({s|u}itofp))` transform more flexible to mismatched signs

Instead of taking the sign of the cast operation as the required since
for the transform, only force a sign if an operation is maybe
negative.

This gives us more flexability when checking if the floats are safely
converable to integers.

Closes #84389


Compare: https://github.com/llvm/llvm-project/compare/e19e8600cf74...8d976c7f20fe

To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications