[all-commits] [llvm/llvm-project] 5e1698: [Attributor][NFC] Fix function name spelling

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5e169818fb71d7baeb9d3dd92c747fbcd0bc8507
      https://github.com/llvm/llvm-project/commit/5e169818fb71d7baeb9d3dd92c747fbcd0bc8507
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor][NFC] Fix function name spelling


  Commit: 205c520387ded946d22fd6c5ef1dd2d10aeaf294
      https://github.com/llvm/llvm-project/commit/205c520387ded946d22fd6c5ef1dd2d10aeaf294
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

  Changed paths:
    M llvm/test/Transforms/OpenMP/custom_state_machines.ll

  Log Message:
  -----------
  [OpenMP] Remove XFAIL and update check lines properly

Undo 15c5701c8324d2dea519fa379c04d5c619a570ab and update check lines.


  Commit: 9c00aabd6090d4cb9c31342b6c7ce9bd00ae9558
      https://github.com/llvm/llvm-project/commit/9c00aabd6090d4cb9c31342b6c7ce9bd00ae9558
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor][NFCI] Expose `getAssumedUnderlyingObjects` API


  Commit: 5fbb51d8d58fef32a88c9d9d54f094db076c2c2a
      https://github.com/llvm/llvm-project/commit/5fbb51d8d58fef32a88c9d9d54f094db076c2c2a
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/ArgumentPromotion/alignment.ll
    M llvm/test/Transforms/Attributor/ArgumentPromotion/inalloca.ll
    M llvm/test/Transforms/Attributor/IPConstantProp/2009-09-24-byval-ptr.ll
    M llvm/test/Transforms/Attributor/IPConstantProp/PR26044.ll
    M llvm/test/Transforms/Attributor/IPConstantProp/openmp_parallel_for.ll
    M llvm/test/Transforms/Attributor/align.ll
    M llvm/test/Transforms/Attributor/cgscc_bugs.ll
    M llvm/test/Transforms/Attributor/depgraph.ll
    M llvm/test/Transforms/Attributor/heap_to_stack.ll
    M llvm/test/Transforms/Attributor/heap_to_stack_gpu.ll
    M llvm/test/Transforms/Attributor/liveness.ll
    M llvm/test/Transforms/Attributor/memory_locations.ll
    M llvm/test/Transforms/Attributor/read_write_returned_arguments_scc.ll
    M llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll
    M llvm/test/Transforms/Attributor/value-simplify.ll

  Log Message:
  -----------
  [Attributor] Extend the AAValueSimplify compare simplification logic

We first simplify the operands of a compare and then reason on the
simplified versions, e.g., with AANonNull.

This does improve the simplification capabilities but also fixes a
potential problem that has not yet been observed by simplifying the
operands first.


  Commit: b96ea6b1fd260f09a246b9d168ea166bb7a199d1
      https://github.com/llvm/llvm-project/commit/b96ea6b1fd260f09a246b9d168ea166bb7a199d1
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor] Ensure to simplify operands in AAValueConstantRange

As with other patches before, the simplification callback interface
requires us to go through the Attributor::getAssumedSimplified API first
before we recurs.

It is unclear if the problem can be explicitly tested with our current
infrastructure.


  Commit: 49f2b41e6f9d5bea4d6803cc27bf667dd2bf4b63
      https://github.com/llvm/llvm-project/commit/49f2b41e6f9d5bea4d6803cc27bf667dd2bf4b63
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h

  Log Message:
  -----------
  [Attributor] Gracefully handle interprocedural reachability queries

This does ensure `InformationCache::getPotentiallyReachable` will not
crash/assert on instructions from different functions but simply return
that one is reachable, which is conservatively correct.


Compare: https://github.com/llvm/llvm-project/compare/d9b6e32dd74c...49f2b41e6f9d