Home
last modified time | relevance | path

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

/external/llvm-project/polly/test/ScopInfo/
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 <=…
Dremarks.ll5 ; CHECK: remark: test/ScopInfo/remarks.c:9:15: Inbounds assumption: [N, M, Debug] -> { : M <= 1…
/external/llvm/unittests/Transforms/Utils/
DCloning.cpp130 TEST_F(CloneInstruction, Inbounds) { in TEST_F() argument
/external/llvm-project/llvm/test/Transforms/InstCombine/
Dsub-gep.ll328 ; Inbounds translates to 'nsw' on sub
/external/llvm-project/llvm/unittests/Transforms/Utils/
DCloningTest.cpp138 TEST_F(CloneInstruction, Inbounds) { in TEST_F() argument
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
DDependenceAnalysis.cpp1042 bool Inbounds = false; in isKnownNonNegative() local
1044 Inbounds = SrcGEP->isInBounds(); in isKnownNonNegative()
1045 if (Inbounds) { in isKnownNonNegative()
/external/llvm-project/llvm/lib/Analysis/
DDependenceAnalysis.cpp1044 bool Inbounds = false; in isKnownNonNegative() local
1046 Inbounds = SrcGEP->isInBounds(); in isKnownNonNegative()
1047 if (Inbounds) { in isKnownNonNegative()