[all-commits] [llvm/llvm-project] 6dd1ba: ValueTracking: Add baseline test for computeKnownF...

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6dd1ba20611d6203c57406b84f5733c68518e7bb
      https://github.com/llvm/llvm-project/commit/6dd1ba20611d6203c57406b84f5733c68518e7bb
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    A llvm/test/Transforms/Attributor/nofpclass-sqrt.ll

  Log Message:
  -----------
  ValueTracking: Add baseline test for computeKnownFPClass for sqrt


  Commit: 677b5aca8e840361ea5f9ebbaa729c1e9ac8da49
      https://github.com/llvm/llvm-project/commit/677b5aca8e840361ea5f9ebbaa729c1e9ac8da49
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    M llvm/test/Transforms/Attributor/nofpclass-trunc.ll

  Log Message:
  -----------
  ValueTracking: Add more tests for trunc handling in computeKnownFPClass


  Commit: 11d7daaf03c71823b3e2b6055b698efad8bfc1e6
      https://github.com/llvm/llvm-project/commit/11d7daaf03c71823b3e2b6055b698efad8bfc1e6
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    M llvm/test/Transforms/Attributor/nofpclass.ll

  Log Message:
  -----------
  Attributor: Add baseline tests for nofpclass changes


  Commit: e7bcfea6223cb1b3f738bcf57ef7f010820737b8
      https://github.com/llvm/llvm-project/commit/e7bcfea6223cb1b3f738bcf57ef7f010820737b8
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass.ll

  Log Message:
  -----------
  ValueTracking: Fix backwards handling of fpclass assumes

This was a bit confused because nofpclass expresses the opposite
from what an assume of class expresses. We need to assume
the intersection of assumed classes, which also needs to be inverted
to convert to nofpclass.


  Commit: 66a06e285b83063ff96ce6ad21e60de4acaa884d
      https://github.com/llvm/llvm-project/commit/66a06e285b83063ff96ce6ad21e60de4acaa884d
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    A llvm/test/Transforms/Attributor/nofpclass-fdiv.ll

  Log Message:
  -----------
  ValueTracking: Add baseline tests for computeKnownFPClass fdiv handling


  Commit: f6d79ad9eba4815ed4381106333e0e285f89ad02
      https://github.com/llvm/llvm-project/commit/f6d79ad9eba4815ed4381106333e0e285f89ad02
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass-fdiv.ll

  Log Message:
  -----------
  ValueTracking: Implement computeKnownFPClass for fdiv for nan handling


  Commit: 02f647f8923c29f0a0352f9ef128e51b7bf28a2c
      https://github.com/llvm/llvm-project/commit/02f647f8923c29f0a0352f9ef128e51b7bf28a2c
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass.ll

  Log Message:
  -----------
  ValueTracking: Handle sign bit of constrained sitofp/uitofp

This is for parity with CannotBeNegativeZero which is close to
droppable.


  Commit: 83adfc91e811815955a34a5ce72eb4a0ea2ff0e3
      https://github.com/llvm/llvm-project/commit/83adfc91e811815955a34a5ce72eb4a0ea2ff0e3
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2023-04-19 (Wed, 19 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/nofpclass.ll
    M llvm/unittests/Analysis/ValueTrackingTest.cpp

  Log Message:
  -----------
  ValueTracking: uitofp/sitofp cannot return denormal results


Compare: https://github.com/llvm/llvm-project/compare/f4f588ab0bcd...83adfc91e811