; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=aarch64 %s -o - | FileCheck %s

define void @phi_feeding_phi_args(i8 %a, i8 %b) {
; CHECK-LABEL: phi_feeding_phi_args:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    and w8, w0, #0xff
; CHECK-NEXT:    and w9, w1, #0xff
; CHECK-NEXT:    cmp w8, w9
; CHECK-NEXT:    csel w8, w8, w9, hi
; CHECK-NEXT:  .LBB0_1: // %loop
; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
; CHECK-NEXT:    sub w9, w8, #2
; CHECK-NEXT:    lsl w10, w8, #1
; CHECK-NEXT:    cmp w8, #254
; CHECK-NEXT:    csel w8, w9, w10, lo
; CHECK-NEXT:    cmp w8, #255
; CHECK-NEXT:    b.ne .LBB0_1
; CHECK-NEXT:  // %bb.2: // %exit
; CHECK-NEXT:    ret
entry:
  %0 = icmp ugt i8 %a, %b
  br i1 %0, label %preheader, label %empty

empty:                                            ; preds = %entry
  br label %preheader

preheader:                                        ; preds = %empty, %entry
  %1 = phi i8 [ %a, %entry ], [ %b, %empty ]
  br label %loop

loop:                                             ; preds = %if.end, %preheader
  %val = phi i8 [ %1, %preheader ], [ %inc2, %if.end ]
  %cmp = icmp ult i8 %val, -2
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %loop
  %inc = sub nuw i8 %val, 2
  br label %if.end

if.else:                                          ; preds = %loop
  %inc1 = shl nuw i8 %val, 1
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  %inc2 = phi i8 [ %inc, %if.then ], [ %inc1, %if.else ]
  %cmp1 = icmp eq i8 %inc2, -1
  br i1 %cmp1, label %exit, label %loop

exit:                                             ; preds = %if.end
  ret void
}

define void @phi_feeding_phi_zeroext_args(i8 zeroext %a, i8 zeroext %b) {
; CHECK-LABEL: phi_feeding_phi_zeroext_args:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    cmp w0, w1
; CHECK-NEXT:    csel w8, w0, w1, hi
; CHECK-NEXT:  .LBB1_1: // %loop
; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
; CHECK-NEXT:    sub w9, w8, #2
; CHECK-NEXT:    lsl w10, w8, #1
; CHECK-NEXT:    cmp w8, #254
; CHECK-NEXT:    csel w8, w9, w10, lo
; CHECK-NEXT:    cmp w8, #255
; CHECK-NEXT:    b.ne .LBB1_1
; CHECK-NEXT:  // %bb.2: // %exit
; CHECK-NEXT:    ret
entry:
  %0 = icmp ugt i8 %a, %b
  br i1 %0, label %preheader, label %empty

empty:                                            ; preds = %entry
  br label %preheader

preheader:                                        ; preds = %empty, %entry
  %1 = phi i8 [ %a, %entry ], [ %b, %empty ]
  br label %loop

loop:                                             ; preds = %if.end, %preheader
  %val = phi i8 [ %1, %preheader ], [ %inc2, %if.end ]
  %cmp = icmp ult i8 %val, -2
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %loop
  %inc = sub nuw i8 %val, 2
  br label %if.end

if.else:                                          ; preds = %loop
  %inc1 = shl nuw i8 %val, 1
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  %inc2 = phi i8 [ %inc, %if.then ], [ %inc1, %if.else ]
  %cmp1 = icmp eq i8 %inc2, -1
  br i1 %cmp1, label %exit, label %loop

exit:                                             ; preds = %if.end
  ret void
}

define void @phi_i16() {
; CHECK-LABEL: phi_i16:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    mov w8, wzr
; CHECK-NEXT:    mov w9, #1
; CHECK-NEXT:  .LBB2_1: // %loop
; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
; CHECK-NEXT:    cmp w8, #128
; CHECK-NEXT:    cinc w10, w9, lo
; CHECK-NEXT:    add w8, w8, w10
; CHECK-NEXT:    cmp w8, #253
; CHECK-NEXT:    b.lo .LBB2_1
; CHECK-NEXT:  // %bb.2: // %exit
; CHECK-NEXT:    ret
entry:
  br label %loop

loop:                                             ; preds = %if.end, %entry
  %val = phi i16 [ 0, %entry ], [ %inc2, %if.end ]
  %cmp = icmp ult i16 %val, 128
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %loop
  %inc = add nuw i16 %val, 2
  br label %if.end

if.else:                                          ; preds = %loop
  %inc1 = add nuw i16 %val, 1
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  %inc2 = phi i16 [ %inc, %if.then ], [ %inc1, %if.else ]
  %cmp1 = icmp ult i16 %inc2, 253
  br i1 %cmp1, label %loop, label %exit

exit:                                             ; preds = %if.end
  ret void
}

define i8 @ret_i8() {
; CHECK-LABEL: ret_i8:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    mov w0, wzr
; CHECK-NEXT:    mov w8, #1
; CHECK-NEXT:  .LBB3_1: // %loop
; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
; CHECK-NEXT:    cmp w0, #128
; CHECK-NEXT:    cinc w9, w8, lo
; CHECK-NEXT:    add w0, w0, w9
; CHECK-NEXT:    cmp w0, #252
; CHECK-NEXT:    b.hi .LBB3_1
; CHECK-NEXT:  // %bb.2: // %exit
; CHECK-NEXT:    ret
entry:
  br label %loop

loop:                                             ; preds = %if.end, %entry
  %val = phi i8 [ 0, %entry ], [ %inc2, %if.end ]
  %cmp = icmp ult i8 %val, -128
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %loop
  %inc = add nuw i8 %val, 2
  br label %if.end

if.else:                                          ; preds = %loop
  %inc1 = add nuw i8 %val, 1
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  %inc2 = phi i8 [ %inc, %if.then ], [ %inc1, %if.else ]
  %cmp1 = icmp ult i8 %inc2, -3
  br i1 %cmp1, label %exit, label %loop

exit:                                             ; preds = %if.end
  ret i8 %inc2
}

define i16 @phi_multiple_undefs(i16 zeroext %arg) {
; CHECK-LABEL: phi_multiple_undefs:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    mov w8, #1
; CHECK-NEXT:    // implicit-def: $w9
; CHECK-NEXT:  .LBB4_1: // %loop
; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
; CHECK-NEXT:    cmp w9, #128
; CHECK-NEXT:    cinc w10, w8, lo
; CHECK-NEXT:    add w9, w9, w10
; CHECK-NEXT:    cmp w9, #253
; CHECK-NEXT:    b.lo .LBB4_1
; CHECK-NEXT:  // %bb.2: // %exit
; CHECK-NEXT:    ret
entry:
  br label %loop

loop:                                             ; preds = %if.end, %entry
  %val = phi i16 [ undef, %entry ], [ %inc2, %if.end ]
  %cmp = icmp ult i16 %val, 128
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %loop
  %inc = add nuw i16 %val, 2
  br label %if.end

if.else:                                          ; preds = %loop
  %inc1 = add nuw i16 %val, 1
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  %inc2 = phi i16 [ %inc, %if.then ], [ %inc1, %if.else ]
  %unrelated = phi i16 [ undef, %if.then ], [ %arg, %if.else ]
  %cmp1 = icmp ult i16 %inc2, 253
  br i1 %cmp1, label %loop, label %exit

exit:                                             ; preds = %if.end
  ret i16 %unrelated
}

define i16 @promote_arg_return(i16 zeroext %arg1, i16 zeroext %arg2, i8* %res) {
; CHECK-LABEL: promote_arg_return:
; CHECK:       // %bb.0:
; CHECK-NEXT:    add w8, w0, w0, lsl #1
; CHECK-NEXT:    add w8, w8, #45
; CHECK-NEXT:    cmp w8, w1
; CHECK-NEXT:    cset w8, lo
; CHECK-NEXT:    strb w8, [x2]
; CHECK-NEXT:    ret
  %add = add nuw i16 %arg1, 15
  %mul = mul nuw nsw i16 %add, 3
  %cmp = icmp ult i16 %mul, %arg2
  %conv = zext i1 %cmp to i8
  store i8 %conv, i8* %res, align 1
  ret i16 %arg1
}

define i16 @signext_bitcast_phi_select(i16 signext %start, i16* %in) {
; CHECK-LABEL: signext_bitcast_phi_select:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    and w8, w0, #0xffff
; CHECK-NEXT:    mov w9, #-1
; CHECK-NEXT:    cmp w9, w8, sxth
; CHECK-NEXT:    b.lt .LBB6_3
; CHECK-NEXT:  .LBB6_1: // %if.then
; CHECK-NEXT:    // =>This Inner Loop Header: Depth=1
; CHECK-NEXT:    ldrh w0, [x1, w8, sxtw #1]
; CHECK-NEXT:    cmp w0, w8
; CHECK-NEXT:    b.eq .LBB6_4
; CHECK-NEXT:  // %bb.2: // %if.else
; CHECK-NEXT:    // in Loop: Header=BB6_1 Depth=1
; CHECK-NEXT:    lsr w10, w8, #15
; CHECK-NEXT:    eor w10, w10, #0x1
; CHECK-NEXT:    add w8, w10, w8
; CHECK-NEXT:    cmp w9, w8, sxth
; CHECK-NEXT:    b.ge .LBB6_1
; CHECK-NEXT:  .LBB6_3:
; CHECK-NEXT:    mov w0, wzr
; CHECK-NEXT:  .LBB6_4: // %exit
; CHECK-NEXT:    ret
entry:
  %const = bitcast i16 -1 to i16
  br label %for.body

for.body:                                         ; preds = %if.else, %entry
  %idx = phi i16 [ %select, %if.else ], [ %start, %entry ]
  %cmp.i = icmp sgt i16 %idx, %const
  br i1 %cmp.i, label %exit, label %if.then

if.then:                                          ; preds = %for.body
  %idx.next = getelementptr i16, i16* %in, i16 %idx
  %ld = load i16, i16* %idx.next, align 2
  %cmp1.i = icmp eq i16 %ld, %idx
  br i1 %cmp1.i, label %exit, label %if.else

if.else:                                          ; preds = %if.then
  %lobit = lshr i16 %idx, 15
  %lobit.not = xor i16 %lobit, 1
  %select = add nuw i16 %lobit.not, %idx
  br label %for.body

exit:                                             ; preds = %if.then, %for.body
  %res = phi i16 [ %ld, %if.then ], [ 0, %for.body ]
  ret i16 %res
}