[all-commits] [llvm/llvm-project] 7224cf: Intrinsics: Fix not speculating llvm.fptrunc.round

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7224cffd62f555d82f6475738e0646c37730cc24
      https://github.com/llvm/llvm-project/commit/7224cffd62f555d82f6475738e0646c37730cc24
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-05 (Mon, 05 Dec 2022)

  Changed paths:
    M llvm/include/llvm/IR/Intrinsics.td
    M llvm/test/Transforms/SpeculativeExecution/spec-calls.ll

  Log Message:
  -----------
  Intrinsics: Fix not speculating llvm.fptrunc.round

Move its definition to be with the other FP rounding intrinsics.


  Commit: dac496fb1f1d96a433311a30e62ff21319795a4e
      https://github.com/llvm/llvm-project/commit/dac496fb1f1d96a433311a30e62ff21319795a4e
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-05 (Mon, 05 Dec 2022)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/floating-point-compare.ll

  Log Message:
  -----------
  ValueTracking: Teach isKnownNeverInfinity about arithmetic.fence


  Commit: db0f258479e3bdf3db9fb231d8f3f2fa05a41e0b
      https://github.com/llvm/llvm-project/commit/db0f258479e3bdf3db9fb231d8f3f2fa05a41e0b
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-05 (Mon, 05 Dec 2022)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/known-never-nan.ll

  Log Message:
  -----------
  ValueTracking: Teach isKnownNeverNaN about arithmetic_fence


  Commit: dbca874faa503f22110ed848eea019c8da90b7f4
      https://github.com/llvm/llvm-project/commit/dbca874faa503f22110ed848eea019c8da90b7f4
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-05 (Mon, 05 Dec 2022)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/floating-point-arithmetic.ll

  Log Message:
  -----------
  ValueTracking: Teach CannotBeOrderedLessThanZero about trivial ops

Handle canonicalize and arithmetic.fence


Compare: https://github.com/llvm/llvm-project/compare/f32cafedf053...dbca874faa50