Lines Matching refs:backedge

4 ; E.g.: %rhs = 255, %start = 99, backedge taken 156 times
16 ; CHECK-NEXT: Loop %loop: backedge-taken count is (-100 + (-1 * %rhs) + ((100 + %rhs) umax %rhs))
17 ; CHECK-NEXT: Loop %loop: max backedge-taken count is -1
25 ; E.g.: %start = 99, %rhs = 255, backedge taken 156 times
36 ; CHECK-NEXT: Loop %loop: backedge-taken count is ((-1 * %start) + ((-100 + %start) umax %start))
37 ; CHECK-NEXT: Loop %loop: max backedge-taken count is -1
45 ; E.g.: %rhs = 127, %start = -29, backedge taken 156 times
56 ; CHECK-NEXT: Loop %loop: backedge-taken count is (-100 + (-1 * %rhs) + ((100 + %rhs) smax %rhs))
57 ; CHECK-NEXT: Loop %loop: max backedge-taken count is -1
65 ; E.g.: start = -29, %rhs = 127, %backedge taken 156 times
76 ; CHECK-NEXT: Loop %loop: backedge-taken count is ((-1 * %start) + ((-100 + %start) smax %start))
77 ; CHECK-NEXT: Loop %loop: max backedge-taken count is -1