Searched refs:Inbounds (Results 1 – 7 of 7) sorted by relevance
6 ; 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 <=…
5 ; CHECK: remark: test/ScopInfo/remarks.c:9:15: Inbounds assumption: [N, M, Debug] -> { : M <= 1…
130 TEST_F(CloneInstruction, Inbounds) { in TEST_F() argument
328 ; Inbounds translates to 'nsw' on sub
138 TEST_F(CloneInstruction, Inbounds) { in TEST_F() argument
1042 bool Inbounds = false; in isKnownNonNegative() local1044 Inbounds = SrcGEP->isInBounds(); in isKnownNonNegative()1045 if (Inbounds) { in isKnownNonNegative()
1044 bool Inbounds = false; in isKnownNonNegative() local1046 Inbounds = SrcGEP->isInBounds(); in isKnownNonNegative()1047 if (Inbounds) { in isKnownNonNegative()