[all-commits] [llvm/llvm-project] b022e0: llvm-reduce: Don't use unreachable blocks in remov...

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b022e08c185b42a875766ce12d34f7b3c1c759c2
      https://github.com/llvm/llvm-project/commit/b022e08c185b42a875766ce12d34f7b3c1c759c2
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-10-23 (Sun, 23 Oct 2022)

  Changed paths:
    M llvm/test/tools/llvm-reduce/remove-bbs.ll

  Log Message:
  -----------
  llvm-reduce: Don't use unreachable blocks in remove-bbs test

A future change will skip the reduction for functions with
unreachable blocks. Also stop using the hard to follow python based
interestingness check in favor of FileCheck.


  Commit: 27902eea0f0aa9ca373847d750df4370cd9492bb
      https://github.com/llvm/llvm-project/commit/27902eea0f0aa9ca373847d750df4370cd9492bb
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-10-23 (Sun, 23 Oct 2022)

  Changed paths:
    A llvm/test/tools/llvm-reduce/reduce-flags.ll
    M llvm/tools/llvm-reduce/CMakeLists.txt
    M llvm/tools/llvm-reduce/DeltaManager.cpp
    A llvm/tools/llvm-reduce/deltas/ReduceInstructionFlags.cpp
    A llvm/tools/llvm-reduce/deltas/ReduceInstructionFlags.h

  Log Message:
  -----------
  llvm-reduce: Add flag reduction pass

Try to remove each flag from instructions. It may make more
sense to introduce these flags instead.


  Commit: 596fdf75d99f83473295e6a619ffac5afa23dd8e
      https://github.com/llvm/llvm-project/commit/596fdf75d99f83473295e6a619ffac5afa23dd8e
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-10-23 (Sun, 23 Oct 2022)

  Changed paths:
    A llvm/test/tools/llvm-reduce/reduce-volatile.ll
    M llvm/tools/llvm-reduce/CMakeLists.txt
    M llvm/tools/llvm-reduce/DeltaManager.cpp
    A llvm/tools/llvm-reduce/deltas/ReduceMemoryOperations.cpp
    A llvm/tools/llvm-reduce/deltas/ReduceMemoryOperations.h

  Log Message:
  -----------
  llvm-reduce: Add volatile reduction pass

Removing volatile may help optimization passes do more to the IR. However,
this will increase scheduler freedom.


  Commit: b1e17199052a757e0173e9570e8ce52eec2b0048
      https://github.com/llvm/llvm-project/commit/b1e17199052a757e0173e9570e8ce52eec2b0048
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-10-23 (Sun, 23 Oct 2022)

  Changed paths:
    A llvm/test/tools/llvm-reduce/reduce-atomic-syncscope.ll
    M llvm/tools/llvm-reduce/DeltaManager.cpp
    M llvm/tools/llvm-reduce/deltas/ReduceMemoryOperations.cpp
    M llvm/tools/llvm-reduce/deltas/ReduceMemoryOperations.h

  Log Message:
  -----------
  llvm-reduce: Add atomic syncscope reduction


  Commit: 83da1a6a3fe81c382ea03177a4422d0ec8cfcff6
      https://github.com/llvm/llvm-project/commit/83da1a6a3fe81c382ea03177a4422d0ec8cfcff6
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-10-23 (Sun, 23 Oct 2022)

  Changed paths:
    A llvm/test/tools/llvm-reduce/reduce-atomic-ordering.ll
    M llvm/tools/llvm-reduce/DeltaManager.cpp
    M llvm/tools/llvm-reduce/deltas/ReduceMemoryOperations.cpp
    M llvm/tools/llvm-reduce/deltas/ReduceMemoryOperations.h

  Log Message:
  -----------
  llvm-reduce: Add a reduction to replace atomics with non-atomics

Make load and store non-atomic. Make the others monotonic.

We could probably try to incrementally relax the orderings; not sure
how useful that would be.


  Commit: f45ef230f311ddff4292cbdbdaa6e5a49f573ce2
      https://github.com/llvm/llvm-project/commit/f45ef230f311ddff4292cbdbdaa6e5a49f573ce2
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-10-23 (Sun, 23 Oct 2022)

  Changed paths:
    M llvm/test/tools/llvm-reduce/reduce-opcodes.ll

  Log Message:
  -----------
  llvm-reduce: Fix some broken test checks


  Commit: 827f01c275bec1dc695338719046a12e4a6e096b
      https://github.com/llvm/llvm-project/commit/827f01c275bec1dc695338719046a12e4a6e096b
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-10-23 (Sun, 23 Oct 2022)

  Changed paths:
    M llvm/test/tools/llvm-reduce/remove-bbs-unreachable.ll
    M llvm/tools/llvm-reduce/deltas/ReduceBasicBlocks.cpp

  Log Message:
  -----------
  llvm-reduce: Remove okToRemove logic in block reduction

This was making decisions based on BBsToDelete, while being
used to determine BBsToDelete which doesn't really work.
Additionally, this is a lot of logic just to avoid deleting
the entry block when we can just skip it.


  Commit: 597b9b7e8eaae1fbbab4f2603f1fe99c02f0ff5e
      https://github.com/llvm/llvm-project/commit/597b9b7e8eaae1fbbab4f2603f1fe99c02f0ff5e
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-10-23 (Sun, 23 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/CodeExtractor.cpp
    A llvm/test/tools/llvm-extract/address-space-assert.ll

  Log Message:
  -----------
  CodeExtractor: Fix assertion with non-0 alloca address spaces

emitCallAndSwitchStatement creates placeholder allocas to pass
to these, so the types need to match.


Compare: https://github.com/llvm/llvm-project/compare/a6f621b8cacc...597b9b7e8eaa