Lines Matching refs:backedge

5 ; E.g.: %rhs = 255, %start = 99, backedge taken 156 times
17 ; CHECK-NEXT: Loop %loop: backedge-taken count is (-100 + (-1 * %rhs) + ((100 + %rhs) umax %rhs))
18 ; CHECK-NEXT: Loop %loop: max backedge-taken count is -100, actual taken count either this or zero.
26 ; E.g.: %start = 99, %rhs = 255, backedge taken 156 times
37 ; CHECK-NEXT: Loop %loop: backedge-taken count is ((-1 * %start) + ((-100 + %start) umax %start))
38 ; CHECK-NEXT: Loop %loop: max backedge-taken count is -100, actual taken count either this or zero.
46 ; E.g.: %rhs = 127, %start = -29, backedge taken 156 times
57 ; CHECK-NEXT: Loop %loop: backedge-taken count is (-100 + (-1 * %rhs) + ((100 + %rhs) smax %rhs))
58 ; CHECK-NEXT: Loop %loop: max backedge-taken count is -100, actual taken count either this or zero.
66 ; E.g.: start = -29, %rhs = 127, %backedge taken 156 times
77 ; CHECK-NEXT: Loop %loop: backedge-taken count is ((-1 * %start) + ((-100 + %start) smax %start))
78 ; CHECK-NEXT: Loop %loop: max backedge-taken count is -100, actual taken count either this or zero.