; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc -mtriple=xtensa -verify-machineinstrs < %s \
; RUN: | FileCheck -check-prefix=XTENSA %s

declare void @foo() noreturn

; Check reverseBranchCondition and analyzeBranch functions

define i32 @eq(i32 %a, ptr %bptr) {
; XTENSA-LABEL: eq:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    beq a2, a8, .LBB0_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB0_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI0_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp eq i32 %a, %b
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @eq_reverse(i32 %a, ptr %bptr) {
; XTENSA-LABEL: eq_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bne a2, a8, .LBB1_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB1_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI1_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp eq i32 %a, %b
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @ne(i32 %a, ptr %bptr) {
; XTENSA-LABEL: ne:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bne a2, a8, .LBB2_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB2_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI2_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp ne i32 %a, %b
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @ne_reverse(i32 %a, ptr %bptr) {
; XTENSA-LABEL: ne_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    beq a2, a8, .LBB3_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB3_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI3_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp ne i32 %a, %b
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @ult(i32 %a, ptr %bptr) {
; XTENSA-LABEL: ult:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bltu a2, a8, .LBB4_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB4_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI4_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp ult i32 %a, %b
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @ult_reverse(i32 %a, ptr %bptr) {
; XTENSA-LABEL: ult_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bgeu a2, a8, .LBB5_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB5_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI5_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp ult i32 %a, %b
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @uge(i32 %a, ptr %bptr) {
; XTENSA-LABEL: uge:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bgeu a2, a8, .LBB6_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB6_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI6_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp uge i32 %a, %b
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @uge_reverse(i32 %a, ptr %bptr) {
; XTENSA-LABEL: uge_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bltu a2, a8, .LBB7_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB7_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI7_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp uge i32 %a, %b
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @slt(i32 %a, ptr %bptr) {
; XTENSA-LABEL: slt:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    blt a2, a8, .LBB8_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB8_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI8_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp slt i32 %a, %b
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @slt_reverse(i32 %a, ptr %bptr) {
; XTENSA-LABEL: slt_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bge a2, a8, .LBB9_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB9_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI9_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp slt i32 %a, %b
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @sle(i32 %a, ptr %bptr) {
; XTENSA-LABEL: sle:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bge a8, a2, .LBB10_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB10_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI10_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp sle i32 %a, %b
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @sle_reverse(i32 %a, ptr %bptr) {
; XTENSA-LABEL: sle_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    blt a8, a2, .LBB11_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB11_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI11_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp sle i32 %a, %b
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @sgt(i32 %a, ptr %bptr) {
; XTENSA-LABEL: sgt:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    blt a8, a2, .LBB12_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB12_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI12_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp sgt i32 %a, %b
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @sgt_reverse(i32 %a, ptr %bptr) {
; XTENSA-LABEL: sgt_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bge a8, a2, .LBB13_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB13_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI13_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp sgt i32 %a, %b
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @sge(i32 %a, ptr %bptr) {
; XTENSA-LABEL: sge:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    bge a2, a8, .LBB14_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB14_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI14_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp sge i32 %a, %b
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @sge_reverse(i32 %a, ptr %bptr) {
; XTENSA-LABEL: sge_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    l32i a8, a3, 0
; XTENSA-NEXT:    blt a2, a8, .LBB15_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB15_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI15_0
; XTENSA-NEXT:    callx0 a8
entry:
  %b = load i32, ptr %bptr
  %cmp = icmp sge i32 %a, %b
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

; Check some cases of comparing operand with constant.

define i32 @eq_zero(ptr %aptr) {
; XTENSA-LABEL: eq_zero:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    memw
; XTENSA-NEXT:    l32i a8, a2, 0
; XTENSA-NEXT:    beqz a8, .LBB16_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB16_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI16_0
; XTENSA-NEXT:    callx0 a8
entry:
  %a = load volatile i32, ptr %aptr
  %cmp = icmp eq i32 %a, 0
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @eq_zero_reverse(ptr %aptr) {
; XTENSA-LABEL: eq_zero_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    memw
; XTENSA-NEXT:    l32i a8, a2, 0
; XTENSA-NEXT:    bnez a8, .LBB17_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB17_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI17_0
; XTENSA-NEXT:    callx0 a8
entry:
  %a = load volatile i32, ptr %aptr
  %cmp = icmp eq i32 %a, 0
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @ne_zero(ptr %aptr) {
; XTENSA-LABEL: ne_zero:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    memw
; XTENSA-NEXT:    l32i a8, a2, 0
; XTENSA-NEXT:    bnez a8, .LBB18_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB18_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI18_0
; XTENSA-NEXT:    callx0 a8
entry:
  %a = load volatile i32, ptr %aptr
  %cmp = icmp ne i32 %a, 0
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @ne_zero_reverse(ptr %aptr) {
; XTENSA-LABEL: ne_zero_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    memw
; XTENSA-NEXT:    l32i a8, a2, 0
; XTENSA-NEXT:    beqz a8, .LBB19_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB19_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI19_0
; XTENSA-NEXT:    callx0 a8
entry:
  %a = load volatile i32, ptr %aptr
  %cmp = icmp ne i32 %a, 0
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @slt_zero(ptr %aptr) {
; XTENSA-LABEL: slt_zero:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    memw
; XTENSA-NEXT:    l32i a8, a2, 0
; XTENSA-NEXT:    bgez a8, .LBB20_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB20_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI20_0
; XTENSA-NEXT:    callx0 a8
entry:
  %a = load volatile i32, ptr %aptr
  %cmp = icmp slt i32 %a, 0
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @eq_imm(i32 %a) {
; XTENSA-LABEL: eq_imm:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    beqi a2, 1, .LBB21_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB21_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI21_0
; XTENSA-NEXT:    callx0 a8
entry:
  %cmp = icmp eq i32 %a, 1
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @eq_imm_reverse(i32 %a) {
; XTENSA-LABEL: eq_imm_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    bnei a2, 1, .LBB22_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB22_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI22_0
; XTENSA-NEXT:    callx0 a8
entry:
  %cmp = icmp eq i32 %a, 1
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @ne_imm(i32 %a) {
; XTENSA-LABEL: ne_imm:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    beqi a2, 1, .LBB23_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB23_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI23_0
; XTENSA-NEXT:    callx0 a8
entry:
  %cmp = icmp eq i32 %a, 1
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @ne_imm_reverse(i32 %a) {
; XTENSA-LABEL: ne_imm_reverse:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    bnei a2, 1, .LBB24_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB24_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI24_0
; XTENSA-NEXT:    callx0 a8
entry:
  %cmp = icmp eq i32 %a, 1
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @slt_imm(i32 %a) {
; XTENSA-LABEL: slt_imm:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    bgei a2, -1, .LBB25_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB25_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI25_0
; XTENSA-NEXT:    callx0 a8
entry:
  %cmp = icmp slt i32 %a, -1
  br i1 %cmp, label %return, label %callit

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @sge_imm(i32 %a) {
; XTENSA-LABEL: sge_imm:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    beqz a2, .LBB26_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB26_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI26_0
; XTENSA-NEXT:    callx0 a8
entry:
  %cmp = icmp ult i32 %a, 1
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}

define i32 @uge_imm(ptr %aptr) {
; XTENSA-LABEL: uge_imm:
; XTENSA:         addi a8, a1, -16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    .cfi_def_cfa_offset 16
; XTENSA-NEXT:    s32i a0, a1, 0 # 4-byte Folded Spill
; XTENSA-NEXT:    .cfi_offset a0, -4
; XTENSA-NEXT:    memw
; XTENSA-NEXT:    l32i a8, a2, 0
; XTENSA-NEXT:    bgeui a8, 2, .LBB27_2
; XTENSA-NEXT:  # %bb.1: # %return
; XTENSA-NEXT:    movi a2, 1
; XTENSA-NEXT:    l32i a0, a1, 0 # 4-byte Folded Reload
; XTENSA-NEXT:    addi a8, a1, 16
; XTENSA-NEXT:    or a1, a8, a8
; XTENSA-NEXT:    ret
; XTENSA-NEXT:  .LBB27_2: # %callit
; XTENSA-NEXT:    l32r a8, .LCPI27_0
; XTENSA-NEXT:    callx0 a8
entry:
  %a = load volatile i32, ptr %aptr
  %cmp = icmp uge i32 %a, 2
  br i1 %cmp, label %callit, label %return

callit:
  call void @foo()
  unreachable

return:
  ret i32 1
}