[all-commits] [llvm/llvm-project] 8c0a19: [AggresiveInstCombine] Add wrapper calls for `Know...

[Anton Afanasyev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8c0a1940c1d8aa7283ec7dadbfa09aef99e739eb
      https://github.com/llvm/llvm-project/commit/8c0a1940c1d8aa7283ec7dadbfa09aef99e739eb
  Author: Anton Afanasyev <anton.a.afanasyev at gmail.com>
  Date:   2021-09-07 (Tue, 07 Sep 2021)

  Changed paths:
    M llvm/lib/Transforms/AggressiveInstCombine/AggressiveInstCombineInternal.h
    M llvm/lib/Transforms/AggressiveInstCombine/TruncInstCombine.cpp

  Log Message:
  -----------
  [AggresiveInstCombine] Add wrapper calls for `KnownBits` computing

Precommit before `AssumptionCache` adding: reviews.llvm.org/D109141

Differential Revision: https://reviews.llvm.org/D109288


  Commit: 388b7a1502b110ff17d27c0aef9ed699b4facff9
      https://github.com/llvm/llvm-project/commit/388b7a1502b110ff17d27c0aef9ed699b4facff9
  Author: Anton Afanasyev <anton.a.afanasyev at gmail.com>
  Date:   2021-09-07 (Tue, 07 Sep 2021)

  Changed paths:
    A llvm/test/Transforms/AggressiveInstCombine/trunc_assume.ll

  Log Message:
  -----------
  [AggressiveInstCombine][Test] Add test for assumptions


  Commit: d1f9b216776d8d9fb85fb17b52066a1246e18a10
      https://github.com/llvm/llvm-project/commit/d1f9b216776d8d9fb85fb17b52066a1246e18a10
  Author: Anton Afanasyev <anton.a.afanasyev at gmail.com>
  Date:   2021-09-07 (Tue, 07 Sep 2021)

  Changed paths:
    M llvm/lib/Transforms/AggressiveInstCombine/AggressiveInstCombine.cpp
    M llvm/lib/Transforms/AggressiveInstCombine/AggressiveInstCombineInternal.h
    M llvm/lib/Transforms/AggressiveInstCombine/TruncInstCombine.cpp
    M llvm/test/Transforms/AggressiveInstCombine/trunc_assume.ll

  Log Message:
  -----------
  [AggressiveInstCombine] Add `AssumptionCache` to aggressive instcombine

Add support for @llvm.assume() to TruncInstCombine allowing
optimizations based on these intrinsics while computing known bits.


Compare: https://github.com/llvm/llvm-project/compare/056b409cebf9...d1f9b216776d