Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
81fe1fbf4abd00b24e078a80cb15a2d2c1343f11
/
llvm
/
lib
/
Analysis
/
LazyValueInfo.cpp
3a1c9d5
[LVI] run transfer function for binary operator even when the RHS isn't a constant
by John Regehr
· 7 years ago
f78650a
Remove trailing space
by Fangrui Song
· 7 years ago
77eeac3
llvm: Add support for "-fno-delete-null-pointer-checks"
by Manoj Gupta
· 7 years ago
d34e60c
Rename DEBUG macro to LLVM_DEBUG.
by Nicola Zaghen
· 7 years ago
5f8f34e4
Remove \brief commands from doxygen comments.
by Adrian Prantl
· 7 years ago
adb5bfe
[LVI] Fix typo. NFC
by Xin Tong
· 7 years ago
252165b
[LazyValueInfo] PR33357 prevent infinite recursion on BinaryOperator
by Brian M. Rzycki
· 8 years ago
f1a7df5
[JumpThreading] PR36133 enable/disable DominatorTree for LVI analysis
by Brian M. Rzycki
· 8 years ago
8f976ba
[NFC] fix trivial typos in comments
by Hiroshi Inoue
· 8 years ago
1acab00
[LVI] Support for ashr in LVI
by Max Kazantsev
· 8 years ago
b45595b
Remove redundant includes from lib/Analysis.
by Michael Zolotukhin
· 8 years ago
8af0157
[LVI] Move LVILatticeVal class to separate header file (NFC).
by Florian Hahn
· 8 years ago
404f106
Merge isKnownNonNull into isKnownNonZero
by Nuno Lopes
· 8 years ago
ccd412f
[LVI] Fix LVI compile time regression around constantFoldUser()
by Hiroshi Yamauchi
· 8 years ago
4e22ee6
[ConstantInt] Use ConstantInt::getValue instead of Constant::getUniqueInteger in a few places where we obviously have a ConstantInt. NFC
by Craig Topper
· 8 years ago
144ee2b
[LVI] Constant-propagate a zero extension of the switch condition value through case edges
by Hiroshi Yamauchi
· 8 years ago
43cd2ef
Revert r309415: "[LVI] Constant-propagate a zero extension of the switch condition value through case edges"
by Daniel Jasper
· 8 years ago
1b179bc
[LVI] Constant-propagate a zero extension of the switch condition value through case edges
by Hiroshi Yamauchi
· 8 years ago
2c20c42
[JumpThreading] Teach jump threading how to analyze (and (cmp A, C1), (cmp A, C2)) after InstCombine has turned it into (cmp (add A, C3), C4)
by Craig Topper
· 8 years ago
b60f866
[LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ANDs of icmps
by Craig Topper
· 8 years ago
7ad13f2
[LVI] Fix spelling error in comment. NFC
by Craig Topper
· 8 years ago
6dd9dcf
[LVI] Const correct and rename the LVILatticeVal parameter to getPredicateResult. NFC
by Craig Topper
· 8 years ago
31ce4ec
[LazyValueInfo] Don't run the more complex predicate handling code for EQ and NE in getPredicateResult
by Craig Topper
· 8 years ago
db52809
[LazyValueInfo] Make LVILatticeVal intersect method take arguments by reference so we don't copy ConstantRanges unless we need to.
by Craig Topper
· 8 years ago
7945248
[LazyValueInfo] Remove redundant calls to ConstantRange::contains. The same exact call was made in the if above and we already know it returned true. NFC
by Craig Topper
· 8 years ago
4acfc7e
[LVI Printer] Rely on the LVI analysis functions rather than the LVI cache
by Anna Thomas
· 8 years ago
a803d5b
[LazyValueInfo] Use Type::getIntegerBitWidth instead of casting to IntegerType to call getBitWidth. NFC
by Craig Topper
· 8 years ago
0e5f109
[LazyValueInfo] Make solveBlockValueCast take a CastInst* instead of Instruction*. Makes getOpcode return the appropriate enum without a cast. NFC
by Craig Topper
· 8 years ago
9277a86
[LazyValueInfo] Fix formatting NFC.
by Craig Topper
· 8 years ago
3778c89
[LazyValueInfo] Make solveBlockValueBinaryOp take a BinaryOperator* instead of Instruction*. This removes a cast of getOpcode to BinaryOps.
by Craig Topper
· 8 years ago
84a9f16
[LazyValueInfo] Fix typo in comment. NFC
by Craig Topper
· 8 years ago
2b195fd
[LazyValueInfo] Avoid unnecessary copies of ConstantRanges
by Craig Topper
· 8 years ago
96d6ee85
[LazyValueInfo] Fix typo in comment. NFC
by Craig Topper
· 8 years ago
927d8e6
[IR] Redesign the case iterator in SwitchInst to actually be an iterator
by Chandler Carruth
· 8 years ago
a8ce8fa
[LVIPrinterPass] Print LVI info for function arguments
by Anna Thomas
· 9 years ago
e27b39a
[LVI] Add an LVI printer pass to capture test LVI cache after transformations
by Anna Thomas
· 9 years ago
a10e3e4
[LVI] Add Datalayout to the class LazyValueInfo since all its Impls require it. NFC
by Anna Thomas
· 9 years ago
68ea9aa
Fix Indentation. NFCI
by Xin Tong
· 9 years ago
9987d98
LVI: Fix use-of-uninitialized-value after r294463
by Vitaly Buka
· 9 years ago
9c92a46
LVI: Add a per-value worklist limit to LazyValueInfo.
by Daniel Berlin
· 9 years ago
c80bd04
[LVI] Switch from BFS to DFS exploration order
by Philip Reames
· 9 years ago
41421df
[PM] Use PoisoningVH correctly when merely deleting entries in a map with it.
by Chandler Carruth
· 9 years ago
6acdca7
[PH] Replace uses of AssertingVH from members of analysis results with
by Chandler Carruth
· 9 years ago
a504f2b
[PM] Teach LVI to correctly invalidate itself when its dependencies
by Chandler Carruth
· 9 years ago
8a9a783
Make processing @llvm.assume more efficient - Add affected values to the assumption cache
by Hal Finkel
· 9 years ago
fdbb05b
[LVI] Remove count/erase idiom in favor of checking result value of erase
by Philip Reames
· 9 years ago
1e48efc
[LVI] Manually hoist computation from loop
by Philip Reames
· 9 years ago
aec2fa3
Revert @llvm.assume with operator bundles (r289755-r289757)
by Daniel Jasper
· 9 years ago
3ca4a6b
Remove the AssumptionCache
by Hal Finkel
· 9 years ago
cb9f78e
Make processing @llvm.assume more efficient by using operand bundles
by Hal Finkel
· 9 years ago
02bb6a6
Reintroduce a check accidentally removed in 288873 to fix clang bots
by Philip Reames
· 9 years ago
29b19f0
Fix a warning introduced in r288874
by Philip Reames
· 9 years ago
71a4967
[LVI] Remove used return value from markX functions
by Philip Reames
· 9 years ago
b47a719
[LVI] Simplify mergeIn code
by Philip Reames
· 9 years ago
864ab5c
[LVI] Simplify obfuscated code
by Philip Reames
· 9 years ago
b486c49
[LVI] Remove dead code in mergeIn
by Philip Reames
· 9 years ago
05c435e
[LVI] Extract a helper function
by Philip Reames
· 9 years ago
1baaef1
[LVI] Hide the last markX function on LVILatticeVal
by Philip Reames
· 9 years ago
b294962
[LVI] Hide a confusing internal interface
by Philip Reames
· 9 years ago
0e613f7
[LVI] Remove duplicate code using existing helper function
by Philip Reames
· 9 years ago
4d00af1
Factor out common parts of LVI and Float2Int into ConstantRange [NFCI]
by Philip Reames
· 9 years ago
812476b
Revert previous whitespace change
by Philip Reames
· 9 years ago
d6f7024
Test commit of whitespace to check permissions.
by Philip Reames
· 9 years ago
dab4eae
[PM] Change the static object whose address is used to uniquely identify
by Chandler Carruth
· 9 years ago
47dc098
[LVI] Fix a bug with a guard being the very first instruction in a BB not taken into account
by Artur Pilipenko
· 9 years ago
1f7b813
Remove duplicated code; NFC
by Sanjoy Das
· 9 years ago
f160e34
Add some shortcuts in LazyValueInfo to reduce compile time of Correlated Value Propagation.
by Wei Mi
· 9 years ago
9db7948
[LVI] Complete the abstract of the cache layer [NFCI]
by Philip Reames
· 9 years ago
b627aec
[LVI] Sink a couple more cache manipulation routines into the cache itself [NFCI]
by Philip Reames
· 9 years ago
92e5e1b
[LVI] Abstract out the actual cache logic [NFCI]
by Philip Reames
· 9 years ago
2e8f82d
[LVI] Take guards into account
by Artur Pilipenko
· 9 years ago
b623088
[LVI] Fix potential memory corruption in getValueFromCondition
by Artur Pilipenko
· 9 years ago
6669f25
[LVI] Take range metadata into account while calculating icmp condition constraints
by Artur Pilipenko
· 9 years ago
6356258
[LVI] Handle any predicate in comparisons like icmp <pred> (add Val, Offset), ...
by Artur Pilipenko
· 9 years ago
fd223d5
[LVI] Handle conditions in the form of (cond1 && cond2)
by Artur Pilipenko
· 9 years ago
933c07a
[LVI] NFC. Make getValueFromCondition return LVILatticeValue instead of changing reference argument
by Artur Pilipenko
· 9 years ago
a4b6a70
[LVI] Relax the assertion about LVILatticeVal type in getConstantRange
by Artur Pilipenko
· 9 years ago
c710a46
[LVI] Make LVI smarter about comparisons with non-constants
by Artur Pilipenko
· 9 years ago
d97eedff
Revert 278107 which causes buildbot failures and in addition has wrong commit message
by Artur Pilipenko
· 9 years ago
a410d81
Teach CorrelatedValuePropagation to mark adds as no wrap
by Artur Pilipenko
· 9 years ago
adcd01f
[LVI] NFC. Fix a typo Bofore -> Before
by Artur Pilipenko
· 9 years ago
eed618d
[LVI] NFC. On the fast dest path use inverse predicate instead of inverse range result
by Artur Pilipenko
· 9 years ago
54b50cc
[LVI] NFC. Rename confusing local NegOffset to Offset
by Artur Pilipenko
· 9 years ago
2147291
[LVI] NFC. Extract LHS, RHS, Predicate locals in getValueFromCondition
by Artur Pilipenko
· 9 years ago
2e19f59
[LVI] NFC. Sink a condition type check from the caller down to getValueFromCondition
by Artur Pilipenko
· 9 years ago
2a8f96f
[LVI] NFC. Fix a typo getValueFromFromCondition -> getValueFromCondition
by Artur Pilipenko
· 9 years ago
58b377e
[LVI] Use DenseMap::find_as in LazyValueInfo.
by Justin Lebar
· 9 years ago
bd072a9
Trailing whitespace.
by NAKAMURA Takumi
· 9 years ago
4cb46e6
Reformat blank lines.
by NAKAMURA Takumi
· 9 years ago
f252951
Reformat comment lines.
by NAKAMURA Takumi
· 9 years ago
940cd93
Untabify.
by NAKAMURA Takumi
· 9 years ago
f4c6441
Reformat.
by NAKAMURA Takumi
· 9 years ago
aa20915
Apply clang-tidy's modernize-loop-convert to lib/Analysis.
by Benjamin Kramer
· 9 years ago
687019f
[PM] Port LVI to the new PM.
by Sean Silva
· 9 years ago
c321e53
Apply most suggestions of clang-tidy's performance-unnecessary-value-param
by Benjamin Kramer
· 9 years ago
bd543d0
[LazyValueInfo] Simplify `return after else`. NFCI.
by Davide Italiano
· 9 years ago
e1c481d
by John Regehr
· 9 years ago
c67651d
[LVI] Delete stale and misleading comment.
by Philip Reames
· 9 years ago
2ab964e
[LVI] Add a comment explaining a subtle piece of code
by Philip Reames
· 9 years ago
3f83dbe
[LVI] Reduce compile time by lazily scanning blocks if needed
by Philip Reames
· 9 years ago
Next »