SuccessChanges

Summary

  1. [Attributor] Fix AANoUndef initialization (details)
  2. [Attributor] Make use of AANoUndef in AAUndefinedBehavior (details)
Commit 7558e9e5a2a90ee58792e3b1327f400e63054dfe by okuraofvegetable
[Attributor] Fix AANoUndef initialization

When the associated value is undef, we immediately forced to indicate a pessimistic fixpoint so far.
This patch changes the initialization to check the attribute given in IR at first and to indicate an optimistic fixpoint when it is given.
This change will enable us to catch , for example, the following case in AAUB.
```
call void @foo(i32 noundef undef)
```

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D86983
The file was modifiedllvm/lib/Transforms/IPO/AttributorAttributes.cpp (diff)
Commit 5d13479574544f3fb4e7d704a1a6284b658c40d1 by okuraofvegetable
[Attributor] Make use of AANoUndef in AAUndefinedBehavior

This patch makes it possible for AAUB to use information from AANoUndef.
This is the next patch of D86983

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D86984
The file was modifiedllvm/test/Transforms/OpenMP/parallel_deletion.ll (diff)
The file was modifiedllvm/test/Transforms/Attributor/IPConstantProp/PR16052.ll (diff)
The file was modifiedllvm/test/Transforms/Attributor/alwaysinline.ll (diff)
The file was modifiedllvm/lib/Transforms/IPO/AttributorAttributes.cpp (diff)
The file was modifiedllvm/test/Transforms/Attributor/noreturn_sync.ll (diff)
The file was modifiedllvm/test/Transforms/Attributor/undefined_behavior.ll (diff)