Home
last modified time | relevance | path

Searched refs:overdefined (Results 1 – 15 of 15) sorted by relevance

/llvm-project-15.0.7/llvm/test/Analysis/LazyValueAnalysis/
H A Dlvi-after-jumpthreading.ll15 ; CHECK-NEXT: ; LatticeVal for: 'i32 %a' is: overdefined
16 ; CHECK-NEXT: ; LatticeVal for: 'i32 %length' is: overdefined
20 ; CHECK-NEXT: ; LatticeVal for: 'i32 %a' is: overdefined
21 ; CHECK-NEXT: ; LatticeVal for: 'i32 %length' is: overdefined
50 ; CHECK-NEXT: ; LatticeVal for: 'i32 %n' is: overdefined
56 ; CHECK-NEXT: ; LatticeVal for: 'i32 %n' is: overdefined
76 ; CHECK: ; LatticeVal for: ' %cnd = and i1 %cnd1, %cnd2' in BB: '%loop' is: overdefined
78 ; CHECK-DAG: ; LatticeVal for: ' %cnd = and i1 %cnd1, %cnd2' in BB: '%exit' is: overdefined
84 ; CHECK-NEXT: ; LatticeVal for: 'i32 %n' is: overdefined
111 ; CHECK: ; LatticeVal for: 'i32 %i' is: overdefined
[all …]
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DValueLattice.h78 overdefined, enumerator
96 case overdefined: in destroy()
164 case overdefined: in ValueLatticeElement()
183 case overdefined: in ValueLatticeElement()
256 bool isOverdefined() const { return Tag == overdefined; } in isOverdefined()
291 Tag = overdefined; in markOverdefined()
/llvm-project-15.0.7/llvm/test/Transforms/SCCP/
H A Doverdefined-div.ll3 ; Test that SCCP has basic knowledge of when div can nuke overdefined values.
5 ; 0 / X = 0 even if X is overdefined.
H A Dlogical-nuke.ll4 ; Test that SCCP has basic knowledge of when and/or/mul nuke overdefined values.
40 ; X * 0 = 0 even if X is overdefined.
H A Dfloat-nan-simplification.ll6 ; %p will we overdefined and %v.1 will be simplified to 0.0. Make sure we go to
7 ; overdefined, instead of crashing.
H A Dloadtest2.ll5 ; Make sure we do not mark loads from undef as overdefined.
H A Dip-ranges-casts.ll163 ; There's nothing we can do besides going to the full range or overdefined.
204 ; There's nothing we can do besides going to the full range or overdefined.
232 ; There's nothing we can do besides going to the full range or overdefined.
246 ; There's nothing we can do besides going to the full range or overdefined.
H A Dconstant-struct.ll34 ; Test(s) for overdefined values.
H A Dload-store-range.ll167 ; Make sure stored values are correctly updated to overdefined.
H A Drange-and.ll67 ; Check that we go to overdefined when merging a constant range with undef. We
/llvm-project-15.0.7/mlir/test/Transforms/
H A Dsccp.mlir37 /// Check that the arguments go to overdefined if the branch cannot detect when
55 /// Check that the arguments go to overdefined if there are conflicting
74 /// Check that the arguments go to overdefined if the branch is unknown.
161 /// Check that arguments go to overdefined when loop backedges produce a
H A Dsccp-callgraph.mlir122 /// Check that return values are overdefined in the presence of an unknown terminator.
140 /// Check that return values are overdefined when the constant conflicts.
161 /// Check that return values are overdefined when the constant conflicts with a
244 /// Check that non-symbol defining callables currently go to overdefined.
H A Dsccp-structured.mlir40 /// Check that the arguments go to overdefined if the branch cannot detect when
57 /// Check that the arguments go to overdefined if there are conflicting
91 /// Check that arguments go to overdefined when loop backedges produce a
/llvm-project-15.0.7/mlir/docs/Tutorials/
H A DDataFlowAnalysis.md40 * `top`/`overdefined`/`unknown`
61 * `top`/`overdefined`/`unknown`
63 - If one of the elements being joined is `overdefined`, the result is
64 `overdefined`.
78 /// Return a pessimistic value state, i.e. the `top`/`overdefined`/`unknown`
82 // The `top`/`overdefined`/`unknown` state is when we know nothing about any
97 // `top`/`overdefined`/`unknown` state.
/llvm-project-15.0.7/llvm/test/Transforms/CorrelatedValuePropagation/
H A Dmerge-range-and-undef.ll44 ; Check that we go to overdefined when merging a constant range with undef. We