llvm-project/llvm/test/Transforms/Util
Daniel Berlin 439042b7ad Add PredicateInfo utility and printing pass
Summary:
This patch adds a utility to build extended SSA (see "ABCD: eliminating
array bounds checks on demand"), and an intrinsic to support it. This
is then used to get functionality equivalent to propagateEquality in
GVN, in NewGVN (without having to replace instructions as we go). It
would work similarly in SCCP or other passes. This has been talked
about a few times, so i built a real implementation and tried to
productionize it.

Copies are inserted for operands used in assumes and conditional
branches that are based on comparisons (see below for more)

Every use affected by the predicate is renamed to the appropriate
intrinsic result.

E.g.
%cmp = icmp eq i32 %x, 50
br i1 %cmp, label %true, label %false
true:
ret i32 %x
false:
ret i32 1

will become

%cmp = icmp eq i32, %x, 50
br i1 %cmp, label %true, label %false
true:
; Has predicate info
; branch predicate info { TrueEdge: 1 Comparison: %cmp = icmp eq i32 %x, 50 }
%x.0 = call @llvm.ssa_copy.i32(i32 %x)
ret i32 %x.0
false:
ret i23 1

(you can use -print-predicateinfo to get an annotated-with-predicateinfo dump)

This enables us to easily determine what operations are affected by a
given predicate, and how operations affected by a chain of
predicates.

Reviewers: davide, sanjoy

Subscribers: mgorny, llvm-commits, Prazek

Differential Revision: https://reviews.llvm.org/D29519

Update for review comments

Fix a bug Nuno noticed where we are giving information about and/or on edges where the info is not useful and easy to use wrong

Update for review comments

llvm-svn: 294351
2017-02-07 21:10:46 +00:00
..
MemorySSA [MemorySSA] Add new tests for invariant.groups 2017-01-23 16:38:10 +00:00
PredicateInfo Add PredicateInfo utility and printing pass 2017-02-07 21:10:46 +00:00
clone-dicompileunit.ll IR: Consider two DISubprograms to be odr-equal if they have the same template parameters. 2017-02-06 21:23:03 +00:00
combine-alias-scope-metadata.ll
flattencfg.ll
libcalls-shrinkwrap-double.ll Conditionally eliminate library calls where the result value is not used 2016-10-18 21:36:27 +00:00
libcalls-shrinkwrap-float.ll Conditionally eliminate library calls where the result value is not used 2016-10-18 21:36:27 +00:00
libcalls-shrinkwrap-long-double.ll Conditionally eliminate library calls where the result value is not used 2016-10-18 21:36:27 +00:00
lowerswitch.ll
simplify-dbg-declare-load.ll Fix some broken CHECK lines. 2017-01-22 20:28:56 +00:00
split-bit-piece.ll [DIExpression] Introduce a dedicated DW_OP_LLVM_fragment operation 2016-12-05 18:04:47 +00:00
store-first-op.ll [Verifier] Add verification for TBAA metadata 2016-12-11 20:07:15 +00:00
strip-gc-relocates.ll [StripGCRelocates] New pass to remove gc.relocates added by RS4GC 2016-10-21 18:43:16 +00:00
strip-nonlinetable-debuginfo-containingtypes.ll Renumber testcase metadata nodes after r290153. 2016-12-22 00:45:21 +00:00
strip-nonlinetable-debuginfo-cus.ll Add -strip-nonlinetable-debuginfo capability 2016-10-25 18:44:13 +00:00
strip-nonlinetable-debuginfo-localvars.ll Add -strip-nonlinetable-debuginfo capability 2016-10-25 18:44:13 +00:00
strip-nonlinetable-debuginfo-subroutinetypes.ll Add -strip-nonlinetable-debuginfo capability 2016-10-25 18:44:13 +00:00