test/CodeGen/RISCV/stack-folding.ll - llvm-project/llvm - Git at Google

 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
 ; RUN: llc < %s -mtriple=riscv64 | FileCheck %s --check-prefixes=CHECK,RV64I
 ; RUN: llc < %s -mtriple=riscv64 -mattr=+zba,+zbb | \
 ; RUN:   FileCheck %s --check-prefixes=CHECK,RV64ZB

 ; Make sure we emit an lw for the stack reload in 'truebb'.
 define i1 @test_sext_w(i64 %x, i32 %y) nounwind {
 ; CHECK-LABEL: test_sext_w:
 ; CHECK:       # %bb.0:
 ; CHECK-NEXT:    addi sp, sp, -144
 ; CHECK-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    #APP
 ; CHECK-NEXT:    #NO_APP
 ; CHECK-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    beqz a0, .LBB0_2
 ; CHECK-NEXT:  # %bb.1: # %falsebb
 ; CHECK-NEXT:    li a0, 0
 ; CHECK-NEXT:    j .LBB0_3
 ; CHECK-NEXT:  .LBB0_2: # %truebb
 ; CHECK-NEXT:    lw a0, 8(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    slti a0, a0, 0
 ; CHECK-NEXT:  .LBB0_3: # %falsebb
 ; CHECK-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    addi sp, sp, 144
 ; CHECK-NEXT:    ret
   tail call void asm sideeffect "", "~{x1},~{x3},~{x4},~{x5},~{x6},~{x7},~{x8},~{x9},~{x10},~{x11},~{x12},~{x13},~{x14},~{x15},~{x16},~{x17},~{x18},~{x19},~{x20},~{x21},~{x22},~{x23},~{x24},~{x25},~{x26},~{x27},~{x28},~{x29},~{x30},~{x31}"()
   %a = icmp eq i64 %x, 0
   br i1 %a, label %truebb, label %falsebb
 truebb:
   %b = icmp slt i32 %y, 0
   ret i1 %b
 falsebb:
   ret i1 0
 }

 ; Make sure we emit an lb for the stack reload in 'truebb' with Zbb.
 define i64 @test_sext_b(i64 %x, i8 %y) nounwind {
 ; RV64I-LABEL: test_sext_b:
 ; RV64I:       # %bb.0:
 ; RV64I-NEXT:    addi sp, sp, -144
 ; RV64I-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    #APP
 ; RV64I-NEXT:    #NO_APP
 ; RV64I-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    beqz a0, .LBB1_2
 ; RV64I-NEXT:  # %bb.1: # %falsebb
 ; RV64I-NEXT:    li a0, 0
 ; RV64I-NEXT:    j .LBB1_3
 ; RV64I-NEXT:  .LBB1_2: # %truebb
 ; RV64I-NEXT:    ld a0, 8(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    slli a0, a0, 56
 ; RV64I-NEXT:    srai a0, a0, 56
 ; RV64I-NEXT:  .LBB1_3: # %falsebb
 ; RV64I-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    addi sp, sp, 144
 ; RV64I-NEXT:    ret
 ;
 ; RV64ZB-LABEL: test_sext_b:
 ; RV64ZB:       # %bb.0:
 ; RV64ZB-NEXT:    addi sp, sp, -144
 ; RV64ZB-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    #APP
 ; RV64ZB-NEXT:    #NO_APP
 ; RV64ZB-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    beqz a0, .LBB1_2
 ; RV64ZB-NEXT:  # %bb.1: # %falsebb
 ; RV64ZB-NEXT:    li a0, 0
 ; RV64ZB-NEXT:    j .LBB1_3
 ; RV64ZB-NEXT:  .LBB1_2: # %truebb
 ; RV64ZB-NEXT:    lb a0, 8(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:  .LBB1_3: # %falsebb
 ; RV64ZB-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    addi sp, sp, 144
 ; RV64ZB-NEXT:    ret
   tail call void asm sideeffect "", "~{x1},~{x3},~{x4},~{x5},~{x6},~{x7},~{x8},~{x9},~{x10},~{x11},~{x12},~{x13},~{x14},~{x15},~{x16},~{x17},~{x18},~{x19},~{x20},~{x21},~{x22},~{x23},~{x24},~{x25},~{x26},~{x27},~{x28},~{x29},~{x30},~{x31}"()
   %a = icmp eq i64 %x, 0
   br i1 %a, label %truebb, label %falsebb
 truebb:
   %b = sext i8 %y to i64
   ret i64 %b
 falsebb:
   ret i64 0
 }

 ; Make sure we emit an lh for the stack reload in 'truebb' with Zbb.
 define i64 @test_sext_h(i64 %x, i16 %y) nounwind {
 ; RV64I-LABEL: test_sext_h:
 ; RV64I:       # %bb.0:
 ; RV64I-NEXT:    addi sp, sp, -144
 ; RV64I-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    #APP
 ; RV64I-NEXT:    #NO_APP
 ; RV64I-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    beqz a0, .LBB2_2
 ; RV64I-NEXT:  # %bb.1: # %falsebb
 ; RV64I-NEXT:    li a0, 0
 ; RV64I-NEXT:    j .LBB2_3
 ; RV64I-NEXT:  .LBB2_2: # %truebb
 ; RV64I-NEXT:    ld a0, 8(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    slli a0, a0, 48
 ; RV64I-NEXT:    srai a0, a0, 48
 ; RV64I-NEXT:  .LBB2_3: # %falsebb
 ; RV64I-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    addi sp, sp, 144
 ; RV64I-NEXT:    ret
 ;
 ; RV64ZB-LABEL: test_sext_h:
 ; RV64ZB:       # %bb.0:
 ; RV64ZB-NEXT:    addi sp, sp, -144
 ; RV64ZB-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    #APP
 ; RV64ZB-NEXT:    #NO_APP
 ; RV64ZB-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    beqz a0, .LBB2_2
 ; RV64ZB-NEXT:  # %bb.1: # %falsebb
 ; RV64ZB-NEXT:    li a0, 0
 ; RV64ZB-NEXT:    j .LBB2_3
 ; RV64ZB-NEXT:  .LBB2_2: # %truebb
 ; RV64ZB-NEXT:    lh a0, 8(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:  .LBB2_3: # %falsebb
 ; RV64ZB-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    addi sp, sp, 144
 ; RV64ZB-NEXT:    ret
   tail call void asm sideeffect "", "~{x1},~{x3},~{x4},~{x5},~{x6},~{x7},~{x8},~{x9},~{x10},~{x11},~{x12},~{x13},~{x14},~{x15},~{x16},~{x17},~{x18},~{x19},~{x20},~{x21},~{x22},~{x23},~{x24},~{x25},~{x26},~{x27},~{x28},~{x29},~{x30},~{x31}"()
   %a = icmp eq i64 %x, 0
   br i1 %a, label %truebb, label %falsebb
 truebb:
   %b = sext i16 %y to i64
   ret i64 %b
 falsebb:
   ret i64 0
 }

 ; Make sure we emit an lbu for the stack reload in 'truebb' with Zbb.
 define i64 @test_zext_b(i64 %x, i8 %y) nounwind {
 ; CHECK-LABEL: test_zext_b:
 ; CHECK:       # %bb.0:
 ; CHECK-NEXT:    addi sp, sp, -144
 ; CHECK-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; CHECK-NEXT:    #APP
 ; CHECK-NEXT:    #NO_APP
 ; CHECK-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    beqz a0, .LBB3_2
 ; CHECK-NEXT:  # %bb.1: # %falsebb
 ; CHECK-NEXT:    li a0, 0
 ; CHECK-NEXT:    j .LBB3_3
 ; CHECK-NEXT:  .LBB3_2: # %truebb
 ; CHECK-NEXT:    lbu a0, 8(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:  .LBB3_3: # %falsebb
 ; CHECK-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; CHECK-NEXT:    addi sp, sp, 144
 ; CHECK-NEXT:    ret
   tail call void asm sideeffect "", "~{x1},~{x3},~{x4},~{x5},~{x6},~{x7},~{x8},~{x9},~{x10},~{x11},~{x12},~{x13},~{x14},~{x15},~{x16},~{x17},~{x18},~{x19},~{x20},~{x21},~{x22},~{x23},~{x24},~{x25},~{x26},~{x27},~{x28},~{x29},~{x30},~{x31}"()
   %a = icmp eq i64 %x, 0
   br i1 %a, label %truebb, label %falsebb
 truebb:
   %b = zext i8 %y to i64
   ret i64 %b
 falsebb:
   ret i64 0
 }

 ; Make sure we emit an lhu for the stack reload in 'truebb' with Zbb.
 define i64 @test_zext_h(i64 %x, i16 %y) nounwind {
 ; RV64I-LABEL: test_zext_h:
 ; RV64I:       # %bb.0:
 ; RV64I-NEXT:    addi sp, sp, -144
 ; RV64I-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    #APP
 ; RV64I-NEXT:    #NO_APP
 ; RV64I-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    beqz a0, .LBB4_2
 ; RV64I-NEXT:  # %bb.1: # %falsebb
 ; RV64I-NEXT:    li a0, 0
 ; RV64I-NEXT:    j .LBB4_3
 ; RV64I-NEXT:  .LBB4_2: # %truebb
 ; RV64I-NEXT:    ld a0, 8(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    slli a0, a0, 48
 ; RV64I-NEXT:    srli a0, a0, 48
 ; RV64I-NEXT:  .LBB4_3: # %falsebb
 ; RV64I-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    addi sp, sp, 144
 ; RV64I-NEXT:    ret
 ;
 ; RV64ZB-LABEL: test_zext_h:
 ; RV64ZB:       # %bb.0:
 ; RV64ZB-NEXT:    addi sp, sp, -144
 ; RV64ZB-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    #APP
 ; RV64ZB-NEXT:    #NO_APP
 ; RV64ZB-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    beqz a0, .LBB4_2
 ; RV64ZB-NEXT:  # %bb.1: # %falsebb
 ; RV64ZB-NEXT:    li a0, 0
 ; RV64ZB-NEXT:    j .LBB4_3
 ; RV64ZB-NEXT:  .LBB4_2: # %truebb
 ; RV64ZB-NEXT:    lhu a0, 8(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:  .LBB4_3: # %falsebb
 ; RV64ZB-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    addi sp, sp, 144
 ; RV64ZB-NEXT:    ret
   tail call void asm sideeffect "", "~{x1},~{x3},~{x4},~{x5},~{x6},~{x7},~{x8},~{x9},~{x10},~{x11},~{x12},~{x13},~{x14},~{x15},~{x16},~{x17},~{x18},~{x19},~{x20},~{x21},~{x22},~{x23},~{x24},~{x25},~{x26},~{x27},~{x28},~{x29},~{x30},~{x31}"()
   %a = icmp eq i64 %x, 0
   br i1 %a, label %truebb, label %falsebb
 truebb:
   %b = zext i16 %y to i64
   ret i64 %b
 falsebb:
   ret i64 0
 }

 ; Make sure we emit an lwu for the stack reload in 'truebb' with Zbb.
 define i64 @test_zext_w(i64 %x, i32 %y) nounwind {
 ; RV64I-LABEL: test_zext_w:
 ; RV64I:       # %bb.0:
 ; RV64I-NEXT:    addi sp, sp, -144
 ; RV64I-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; RV64I-NEXT:    #APP
 ; RV64I-NEXT:    #NO_APP
 ; RV64I-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    beqz a0, .LBB5_2
 ; RV64I-NEXT:  # %bb.1: # %falsebb
 ; RV64I-NEXT:    li a0, 0
 ; RV64I-NEXT:    j .LBB5_3
 ; RV64I-NEXT:  .LBB5_2: # %truebb
 ; RV64I-NEXT:    ld a0, 8(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    slli a0, a0, 32
 ; RV64I-NEXT:    srli a0, a0, 32
 ; RV64I-NEXT:  .LBB5_3: # %falsebb
 ; RV64I-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; RV64I-NEXT:    addi sp, sp, 144
 ; RV64I-NEXT:    ret
 ;
 ; RV64ZB-LABEL: test_zext_w:
 ; RV64ZB:       # %bb.0:
 ; RV64ZB-NEXT:    addi sp, sp, -144
 ; RV64ZB-NEXT:    sd ra, 136(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd gp, 128(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd tp, 120(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s0, 112(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s1, 104(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s2, 96(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s3, 88(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s4, 80(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s5, 72(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s6, 64(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s7, 56(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s8, 48(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s9, 40(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s10, 32(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd s11, 24(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd a1, 8(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    sd a0, 16(sp) # 8-byte Folded Spill
 ; RV64ZB-NEXT:    #APP
 ; RV64ZB-NEXT:    #NO_APP
 ; RV64ZB-NEXT:    ld a0, 16(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    beqz a0, .LBB5_2
 ; RV64ZB-NEXT:  # %bb.1: # %falsebb
 ; RV64ZB-NEXT:    li a0, 0
 ; RV64ZB-NEXT:    j .LBB5_3
 ; RV64ZB-NEXT:  .LBB5_2: # %truebb
 ; RV64ZB-NEXT:    lwu a0, 8(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:  .LBB5_3: # %falsebb
 ; RV64ZB-NEXT:    ld ra, 136(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld gp, 128(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld tp, 120(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s0, 112(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s1, 104(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s2, 96(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s3, 88(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s4, 80(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s5, 72(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s6, 64(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s7, 56(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s8, 48(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s9, 40(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s10, 32(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    ld s11, 24(sp) # 8-byte Folded Reload
 ; RV64ZB-NEXT:    addi sp, sp, 144
 ; RV64ZB-NEXT:    ret
   tail call void asm sideeffect "", "~{x1},~{x3},~{x4},~{x5},~{x6},~{x7},~{x8},~{x9},~{x10},~{x11},~{x12},~{x13},~{x14},~{x15},~{x16},~{x17},~{x18},~{x19},~{x20},~{x21},~{x22},~{x23},~{x24},~{x25},~{x26},~{x27},~{x28},~{x29},~{x30},~{x31}"()
   %a = icmp eq i64 %x, 0
   br i1 %a, label %truebb, label %falsebb
 truebb:
   %b = zext i32 %y to i64
   ret i64 %b
 falsebb:
   ret i64 0
 }