[OpenMP] Use AAAssumptionInfo to get assumptions in OpenMPOpt
authorJoseph Huber <jhuber6@vols.utk.edu>
Mon, 4 Oct 2021 21:42:46 +0000 (17:42 -0400)
committerJoseph Huber <jhuber6@vols.utk.edu>
Tue, 9 Nov 2021 22:39:21 +0000 (17:39 -0500)
commite52937eba022c78545d7783693f0fb0e56b8cd35
tree839c519da25b1479ee4da1788f52a34f6911f87b
parentb8a825b4838f96d70488a4def728a47a5eaaf96e
[OpenMP] Use AAAssumptionInfo to get assumptions in OpenMPOpt

This patch uses the abstract attributor introduced in D111054 to get the
assumption values instead of the `hasAssumption` function. This also
calls it so assumption information should propagate throug the device
where applicabile.

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D111445
llvm/lib/Transforms/IPO/OpenMPOpt.cpp
llvm/test/Transforms/OpenMP/spmdization.ll