Home
last modified time | relevance | path

Searched refs:Inbounds (Results 1 – 6 of 6) sorted by relevance

/llvm-project-15.0.7/polly/test/ScopInfo/
H A Duser_provided_non_dominating_assumptions.ll6 ; CHECK-NEXT: remark: <unknown>:0:0: Inbounds assumption: [i, N, M] -> { : N <= i or (N > i and…
44 ; YAML: - String: 'Inbounds assumption: [i, N, M] -> { : N <= i or (N > i and M <=…
H A Dremarks.ll5 ; CHECK: remark: test/ScopInfo/remarks.c:9:15: Inbounds assumption: [N, M, Debug] -> { : M <= 1…
/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dptrtoint-nullgep.ll173 ; Inbounds constant null-GEP with non-zero could be constant-folded to null/poison,
214 ; Inbounds null-GEP with non-zero offset could be folded to poison/null.
H A Dsub-gep.ll328 ; Inbounds translates to 'nsw' on sub
/llvm-project-15.0.7/llvm/unittests/Transforms/Utils/
H A DCloningTest.cpp139 TEST_F(CloneInstruction, Inbounds) { in TEST_F() argument
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DDependenceAnalysis.cpp1066 bool Inbounds = false; in isKnownNonNegative() local
1068 Inbounds = SrcGEP->isInBounds(); in isKnownNonNegative()
1069 if (Inbounds) { in isKnownNonNegative()