Home
last modified time | relevance | path

Searched refs:IRCE (Results 1 – 12 of 12) sorted by relevance

/llvm-project-15.0.7/llvm/test/Transforms/IRCE/
H A Deq_ne.ll14 ; Show that IRCE can turn 'ne' condition to 'slt' in increasing IV when the IV
47 ; Show that IRCE can turn 'ne' condition to 'ult' in increasing IV when IV is
80 ; Show that if n is not known to be greater than the starting value, IRCE
109 ; Show that IRCE can turn 'eq' condition to 'sge' in increasing IV.
166 ; Show that IRCE can turn 'ne' condition to 'sgt' in decreasing IV.
198 ; Show that IRCE cannot turn 'ne' condition to 'sgt' in decreasing IV if the end
227 ; Show that IRCE can turn 'eq' condition to 'slt' in decreasing IV.
259 ; Show that IRCE cannot turn 'eq' condition to 'slt' in decreasing IV if the end
H A Dstride_more_than_1.ll13 ; IV = 0; IV <s 100; IV += 7; 0 <= Len <= 50. IRCE is allowed.
78 ; IV = 0; IV <s MAX_INT - 7; IV += 7; 0 <= Len <= 50. IRCE is allowed.
144 ; value of Len for which IRCE is allowed.
209 ; IV = 0; IV <s MAX_INT; IV += 7; 0 <= Len <= MAX_INT - 6. IRCE is allowed
251 ; IV = 100; IV >s -1; IV -= 7; 0 <= Len <= 50. IRCE is allowed.
317 ; IV = MAX_INT - 7; IV >u 6; IV -= 7; 10 <= Len <= 50. IRCE is allowed.
383 ; IV = MAX_INT - 7; IV >u 5; IV -= 7; 10 <= Len <= 50. IRCE is not allowed,
412 ; IV = MAX_INT; IV >u 6; IV -= 7; 10 <= Len <= 50. IRCE is allowed.
H A Dbad_expander.ll7 ; IRCE should fail here because the preheader's exiting value is a phi from the
86 ; Show that IRCE would hit test_02 if the division was safe (denom not zero).
H A Dempty_ranges.ll4 ; Make sure that IRCE doesn't apply in case of empty ranges.
H A Dclamp.ll72 ; Now IRCE is smart enough to understand that the safe range here is empty.
H A Drange_intersect_miscompile.ll12 ; in range intersection IRCE manages to eliminate the range check without
123 ; Range check is made against 0, so the safe iteration range is empty. IRCE
H A Dcorrect-loop-info.ll7 ; IRCE creates the pre and post loop, and invokes the
H A Dsingle-access-no-preloop.ll113 ; Make sure that we do not do IRCE if we know that the safe iteration range of
H A Dunsigned_comparisons_ult.ll311 ; range does not prevent us from performing IRCE.
H A Drc-negative-bound.ll9 ; RC against known negative value. We should not do IRCE here.
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DInductiveRangeCheckElimination.cpp1778 InductiveRangeCheckElimination IRCE(SE, &BPI, DT, LI, { getBFI }); in run() local
1806 if (IRCE.run(L, LPMAddNewLoop)) { in run()
1830 InductiveRangeCheckElimination IRCE(SE, &BPI, DT, LI); in runOnFunction() local
1849 Changed |= IRCE.run(L, LPMAddNewLoop); in runOnFunction()
/llvm-project-15.0.7/llvm/docs/Frontend/
H A DPerformanceTips.rst267 #. If your language uses range checks, consider using the IRCE pass. It is not