Rebase && Fix AArch64 postidx test

Author: HighW4y2H3ll

llvm/test/Transforms/LoopStrengthReduce/AArch64/postidx-load.ll

@@ -7,25 +7,18 @@
 define i32 @i32_initially_postidx(ptr %p, i64 %n) {
 ; CHECK-LABEL: i32_initially_postidx:
 ; CHECK:       // %bb.0: // %entry
-; CHECK-NEXT:    cmp x1, #1
-; CHECK-NEXT:    b.lt .LBB0_5
-; CHECK-NEXT:  // %bb.1: // %for.body.preheader
 ; CHECK-NEXT:    mov w8, wzr
-; CHECK-NEXT:  .LBB0_2: // %for.body
+; CHECK-NEXT:    subs x9, x1, #1
+; CHECK-NEXT:    b.lt .LBB0_2
+; CHECK-NEXT:  .LBB0_1: // %for.body
 ; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
-; CHECK-NEXT:    ldr w9, [x0], #4
-; CHECK-NEXT:    add w8, w8, w9
+; CHECK-NEXT:    ldr w10, [x0], #4
+; CHECK-NEXT:    add w8, w8, w10
 ; CHECK-NEXT:    cmp w8, #0
-; CHECK-NEXT:    b.lo .LBB0_5
-; CHECK-NEXT:  // %bb.3: // %for.inc
-; CHECK-NEXT:    // in Loop: Header=BB0_2 Depth=1
-; CHECK-NEXT:    subs x1, x1, #1
-; CHECK-NEXT:    b.ne .LBB0_2
-; CHECK-NEXT:  // %bb.4: // %cleanup
-; CHECK-NEXT:    mov w0, w8
-; CHECK-NEXT:    ret
-; CHECK-NEXT:  .LBB0_5:
-; CHECK-NEXT:    mov w8, wzr
+; CHECK-NEXT:    ccmp x9, #0, #4, hs
+; CHECK-NEXT:    sub x9, x9, #1
+; CHECK-NEXT:    b.ne .LBB0_1
+; CHECK-NEXT:  .LBB0_2: // %cleanup
 ; CHECK-NEXT:    mov w0, w8
 ; CHECK-NEXT:    ret
 entry:
@@ -55,25 +48,18 @@ cleanup:
 define i32 @i32_initially_offset(ptr %p, i64 %n) {
 ; CHECK-LABEL: i32_initially_offset:
 ; CHECK:       // %bb.0: // %entry
-; CHECK-NEXT:    cmp x1, #1
-; CHECK-NEXT:    b.lt .LBB1_5
-; CHECK-NEXT:  // %bb.1: // %for.body.preheader
 ; CHECK-NEXT:    mov w8, wzr
-; CHECK-NEXT:  .LBB1_2: // %for.body
+; CHECK-NEXT:    subs x9, x1, #1
+; CHECK-NEXT:    b.lt .LBB1_2
+; CHECK-NEXT:  .LBB1_1: // %for.body
 ; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
-; CHECK-NEXT:    ldr w9, [x0], #4
-; CHECK-NEXT:    add w8, w8, w9
+; CHECK-NEXT:    ldr w10, [x0], #4
+; CHECK-NEXT:    add w8, w8, w10
 ; CHECK-NEXT:    cmp w8, #0
-; CHECK-NEXT:    b.lo .LBB1_5
-; CHECK-NEXT:  // %bb.3: // %for.cond
-; CHECK-NEXT:    // in Loop: Header=BB1_2 Depth=1
-; CHECK-NEXT:    subs x1, x1, #1
-; CHECK-NEXT:    b.ne .LBB1_2
-; CHECK-NEXT:  // %bb.4: // %cleanup
-; CHECK-NEXT:    mov w0, w8
-; CHECK-NEXT:    ret
-; CHECK-NEXT:  .LBB1_5:
-; CHECK-NEXT:    mov w8, wzr
+; CHECK-NEXT:    ccmp x9, #0, #4, hs
+; CHECK-NEXT:    sub x9, x9, #1
+; CHECK-NEXT:    b.ne .LBB1_1
+; CHECK-NEXT:  .LBB1_2: // %cleanup
 ; CHECK-NEXT:    mov w0, w8
 ; CHECK-NEXT:    ret
 entry:
@@ -102,20 +88,21 @@ cleanup:
 define float @float_initially_postidx(ptr %p, i64 %n) {
 ; CHECK-LABEL: float_initially_postidx:
 ; CHECK:       // %bb.0: // %entry
-; CHECK-NEXT:    movi d0, #0000000000000000
-; CHECK-NEXT:    cmp x1, #1
-; CHECK-NEXT:    b.lt .LBB2_3
-; CHECK-NEXT:  .LBB2_1: // %for.body
+; CHECK-NEXT:    subs x8, x1, #1
+; CHECK-NEXT:    b.lt .LBB2_4
+; CHECK-NEXT:  // %bb.1: // %for.body.preheader
+; CHECK-NEXT:    movi d1, #0000000000000000
+; CHECK-NEXT:    movi d2, #0000000000000000
+; CHECK-NEXT:  .LBB2_2: // %for.body
 ; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
-; CHECK-NEXT:    ldr s1, [x0], #4
-; CHECK-NEXT:    fadd s0, s0, s1
-; CHECK-NEXT:    fcmp s0, #0.0
-; CHECK-NEXT:    b.mi .LBB2_4
-; CHECK-NEXT:  // %bb.2: // %for.inc
-; CHECK-NEXT:    // in Loop: Header=BB2_1 Depth=1
-; CHECK-NEXT:    subs x1, x1, #1
-; CHECK-NEXT:    b.ne .LBB2_1
-; CHECK-NEXT:  .LBB2_3: // %cleanup
+; CHECK-NEXT:    ldr s0, [x0], #4
+; CHECK-NEXT:    fadd s2, s2, s0
+; CHECK-NEXT:    fcmp s2, #0.0
+; CHECK-NEXT:    fcsel s0, s1, s2, mi
+; CHECK-NEXT:    ccmp x8, #0, #4, pl
+; CHECK-NEXT:    sub x8, x8, #1
+; CHECK-NEXT:    b.ne .LBB2_2
+; CHECK-NEXT:  // %bb.3: // %cleanup
 ; CHECK-NEXT:    ret
 ; CHECK-NEXT:  .LBB2_4:
 ; CHECK-NEXT:    movi d0, #0000000000000000
@@ -147,20 +134,21 @@ cleanup:
 define float @float_initially_offset(ptr %p, i64 %n) {
 ; CHECK-LABEL: float_initially_offset:
 ; CHECK:       // %bb.0: // %entry
-; CHECK-NEXT:    movi d0, #0000000000000000
-; CHECK-NEXT:    cmp x1, #1
-; CHECK-NEXT:    b.lt .LBB3_3
-; CHECK-NEXT:  .LBB3_1: // %for.body
+; CHECK-NEXT:    subs x8, x1, #1
+; CHECK-NEXT:    b.lt .LBB3_4
+; CHECK-NEXT:  // %bb.1: // %for.body.preheader
+; CHECK-NEXT:    movi d1, #0000000000000000
+; CHECK-NEXT:    movi d2, #0000000000000000
+; CHECK-NEXT:  .LBB3_2: // %for.body
 ; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
-; CHECK-NEXT:    ldr s1, [x0], #4
-; CHECK-NEXT:    fadd s0, s0, s1
-; CHECK-NEXT:    fcmp s0, #0.0
-; CHECK-NEXT:    b.mi .LBB3_4
-; CHECK-NEXT:  // %bb.2: // %for.cond
-; CHECK-NEXT:    // in Loop: Header=BB3_1 Depth=1
-; CHECK-NEXT:    subs x1, x1, #1
-; CHECK-NEXT:    b.ne .LBB3_1
-; CHECK-NEXT:  .LBB3_3: // %cleanup
+; CHECK-NEXT:    ldr s0, [x0], #4
+; CHECK-NEXT:    fadd s2, s2, s0
+; CHECK-NEXT:    fcmp s2, #0.0
+; CHECK-NEXT:    fcsel s0, s1, s2, mi
+; CHECK-NEXT:    ccmp x8, #0, #4, pl
+; CHECK-NEXT:    sub x8, x8, #1
+; CHECK-NEXT:    b.ne .LBB3_2
+; CHECK-NEXT:  // %bb.3: // %cleanup
 ; CHECK-NEXT:    ret
 ; CHECK-NEXT:  .LBB3_4:
 ; CHECK-NEXT:    movi d0, #0000000000000000