FailedChanges

Summary

  1. [ValueTracking] Convert computeKnownBitsFromRangeMetadata to use KnownBits struct.
  2. [EarlyCSE] Mark the condition of assume intrinsic as true EarlyCSE should not just ignore assumes. It should use the fact that its condition is true for all dominated instructions. Reviewers: sanjoy, reames, apilipenko, anna, skatkov Reviewed By: reames, sanjoy Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D32482
  3. Update to isl-0.18-592-gb50ad59 This is just a general maintenance update.
  4. [EarlyCSE] Remove guards with conditions known to be true If a condition is calculated only once, and there are multiple guards on this condition, we should be able to remove all guards dominated by the first of them. This patch allows EarlyCSE to try to find the condition of a guard among the known values, and if it is true, remove the guard. Otherwise we keep the guard and mark its condition as 'true' for future consideration. Reviewers: sanjoy, reames, apilipenko, skatkov, anna, dberlin Reviewed By: reames, sanjoy Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D32476
Revision 301626 by ctopper:
[ValueTracking] Convert computeKnownBitsFromRangeMetadata to use KnownBits struct.
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/include/llvm/Analysis/ValueTracking.h (diff)llvm-revision.src/llvm/trunk/include/llvm/Analysis/ValueTracking.h
The file was modified/llvm/trunk/lib/Analysis/ValueTracking.cpp (diff)llvm-revision.src/llvm/trunk/lib/Analysis/ValueTracking.cpp
The file was modified/llvm/trunk/lib/CodeGen/SelectionDAG/SelectionDAG.cpp (diff)llvm-revision.src/llvm/trunk/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
Revision 301625 by mkazantsev:
[EarlyCSE] Mark the condition of assume intrinsic as true

EarlyCSE should not just ignore assumes. It should use the fact that its condition is true for all dominated instructions.

Reviewers: sanjoy, reames, apilipenko, anna, skatkov

Reviewed By: reames, sanjoy

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D32482
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/lib/Transforms/Scalar/EarlyCSE.cpp (diff)llvm-revision.src/llvm/trunk/lib/Transforms/Scalar/EarlyCSE.cpp
The file was modified/llvm/trunk/test/Transforms/EarlyCSE/guards.ll (diff)llvm-revision.src/llvm/trunk/test/Transforms/EarlyCSE/guards.ll
Revision 301624 by grosser:
Update to isl-0.18-592-gb50ad59

This is just a general maintenance update.
Change TypePath in RepositoryPath in Workspace
The file was modified/polly/trunk/lib/External/isl/GIT_HEAD_ID (diff)llvm-revision.src/polly/trunk/lib/External/isl/GIT_HEAD_ID
The file was modified/polly/trunk/lib/External/isl/basis_reduction_templ.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/basis_reduction_templ.c
The file was modified/polly/trunk/lib/External/isl/doc/user.pod (diff)llvm-revision.src/polly/trunk/lib/External/isl/doc/user.pod
The file was modified/polly/trunk/lib/External/isl/include/isl/constraint.h (diff)llvm-revision.src/polly/trunk/lib/External/isl/include/isl/constraint.h
The file was modified/polly/trunk/lib/External/isl/include/isl/map.h (diff)llvm-revision.src/polly/trunk/lib/External/isl/include/isl/map.h
The file was modified/polly/trunk/lib/External/isl/include/isl/mat.h (diff)llvm-revision.src/polly/trunk/lib/External/isl/include/isl/mat.h
The file was modified/polly/trunk/lib/External/isl/include/isl/set.h (diff)llvm-revision.src/polly/trunk/lib/External/isl/include/isl/set.h
The file was modified/polly/trunk/lib/External/isl/include/isl/space.h (diff)llvm-revision.src/polly/trunk/lib/External/isl/include/isl/space.h
The file was modified/polly/trunk/lib/External/isl/isl_aff.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_aff.c
The file was modified/polly/trunk/lib/External/isl/isl_affine_hull.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_affine_hull.c
The file was modified/polly/trunk/lib/External/isl/isl_coalesce.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_coalesce.c
The file was modified/polly/trunk/lib/External/isl/isl_constraint.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_constraint.c
The file was modified/polly/trunk/lib/External/isl/isl_convex_hull.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_convex_hull.c
The file was modified/polly/trunk/lib/External/isl/isl_equalities.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_equalities.c
The file was modified/polly/trunk/lib/External/isl/isl_equalities.h (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_equalities.h
The file was modified/polly/trunk/lib/External/isl/isl_ilp.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_ilp.c
The file was modified/polly/trunk/lib/External/isl/isl_lp.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_lp.c
The file was modified/polly/trunk/lib/External/isl/isl_map.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_map.c
The file was modified/polly/trunk/lib/External/isl/isl_map_private.h (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_map_private.h
The file was modified/polly/trunk/lib/External/isl/isl_map_simplify.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_map_simplify.c
The file was modified/polly/trunk/lib/External/isl/isl_mat.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_mat.c
The file was modified/polly/trunk/lib/External/isl/isl_output.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_output.c
The file was modified/polly/trunk/lib/External/isl/isl_sample.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_sample.c
The file was modified/polly/trunk/lib/External/isl/isl_sample.h (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_sample.h
The file was modified/polly/trunk/lib/External/isl/isl_scheduler.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_scheduler.c
The file was modified/polly/trunk/lib/External/isl/isl_space.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_space.c
The file was modified/polly/trunk/lib/External/isl/isl_tab_pip.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_tab_pip.c
The file was modified/polly/trunk/lib/External/isl/isl_test.c (diff)llvm-revision.src/polly/trunk/lib/External/isl/isl_test.c
Revision 301623 by mkazantsev:
[EarlyCSE] Remove guards with conditions known to be true

If a condition is calculated only once, and there are multiple guards on this condition, we should be able
to remove all guards dominated by the first of them. This patch allows EarlyCSE to try to find the condition
of a guard among the known values, and if it is true, remove the guard. Otherwise we keep the guard and
mark its condition as 'true' for future consideration.

Reviewers: sanjoy, reames, apilipenko, skatkov, anna, dberlin

Reviewed By: reames, sanjoy

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D32476
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/lib/Transforms/Scalar/EarlyCSE.cpp (diff)llvm-revision.src/llvm/trunk/lib/Transforms/Scalar/EarlyCSE.cpp
The file was modified/llvm/trunk/test/Transforms/EarlyCSE/guards.ll (diff)llvm-revision.src/llvm/trunk/test/Transforms/EarlyCSE/guards.ll