Google GitGoogle Git
Sign in
llvm/llvm-project/56ee698b48ab31be816dbdfd4bea8c3761663dbe/./llvm/test/CodeGen/RISCV/bitinsert-bitextract.ll
blob: 15a59eb593b25f414991007d363b715d596dcfe7 [file]
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=riscv32 < %s | FileCheck %s --check-prefix=RV32
; RUN: llc -mtriple=riscv32 -mattr=+zbb < %s | FileCheck %s --check-prefix=RV32ZBB
; RUN: llc -mtriple=riscv64 < %s | FileCheck %s --check-prefix=RV64
; RUN: llc -mtriple=riscv64 -mattr=+zbb < %s | FileCheck %s --check-prefix=RV64ZBB
define i16 @test_bitextract_var(b32 %src, i32 %off) {
; RV32-LABEL: test_bitextract_var:
; RV32: # %bb.0:
; RV32-NEXT: srl a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: srl a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_var:
; RV64: # %bb.0:
; RV64-NEXT: srlw a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: srlw a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitextract i16, b32 %src, i32 %off
ret i16 %result
}
define i16 @test_bitextract_const(b32 %src) {
; RV32-LABEL: test_bitextract_const:
; RV32: # %bb.0:
; RV32-NEXT: srli a0, a0, 8
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_const:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: srli a0, a0, 8
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_const:
; RV64: # %bb.0:
; RV64-NEXT: srliw a0, a0, 8
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_const:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: srliw a0, a0, 8
; RV64ZBB-NEXT: ret
%result = bitextract i16, b32 %src, i32 8
ret i16 %result
}
define i8 @test_bitextract_narrow(b64 %src) {
; RV32-LABEL: test_bitextract_narrow:
; RV32: # %bb.0:
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_narrow:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_narrow:
; RV64: # %bb.0:
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_narrow:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: ret
%result = bitextract i8, b64 %src, i32 0
ret i8 %result
}
define i1 @test_bitextract_b1(b1 %src) {
; RV32-LABEL: test_bitextract_b1:
; RV32: # %bb.0:
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_b1:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_b1:
; RV64: # %bb.0:
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_b1:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: ret
%result = bitextract i1, b1 %src, i32 0
ret i1 %result
}
define i8 @test_bitextract_b37(b37 %src, i32 %off) {
; RV32-LABEL: test_bitextract_b37:
; RV32: # %bb.0:
; RV32-NEXT: addi a3, a2, -32
; RV32-NEXT: andi a1, a1, 31
; RV32-NEXT: bltz a3, .LBB4_2
; RV32-NEXT: # %bb.1:
; RV32-NEXT: srl a0, a1, a2
; RV32-NEXT: ret
; RV32-NEXT: .LBB4_2:
; RV32-NEXT: not a3, a2
; RV32-NEXT: slli a1, a1, 1
; RV32-NEXT: srl a0, a0, a2
; RV32-NEXT: sll a1, a1, a3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_b37:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi a3, a2, -32
; RV32ZBB-NEXT: andi a1, a1, 31
; RV32ZBB-NEXT: bltz a3, .LBB4_2
; RV32ZBB-NEXT: # %bb.1:
; RV32ZBB-NEXT: srl a0, a1, a2
; RV32ZBB-NEXT: ret
; RV32ZBB-NEXT: .LBB4_2:
; RV32ZBB-NEXT: not a3, a2
; RV32ZBB-NEXT: slli a1, a1, 1
; RV32ZBB-NEXT: srl a0, a0, a2
; RV32ZBB-NEXT: sll a1, a1, a3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_b37:
; RV64: # %bb.0:
; RV64-NEXT: slli a0, a0, 27
; RV64-NEXT: srli a0, a0, 27
; RV64-NEXT: srl a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_b37:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a0, a0, 27
; RV64ZBB-NEXT: srli a0, a0, 27
; RV64ZBB-NEXT: srl a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitextract i8, b37 %src, i32 %off
ret i8 %result
}
define i8 @test_bitextract_b37_const(b37 %src) {
; RV32-LABEL: test_bitextract_b37_const:
; RV32: # %bb.0:
; RV32-NEXT: andi a1, a1, 31
; RV32-NEXT: srli a0, a0, 20
; RV32-NEXT: slli a1, a1, 12
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_b37_const:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: andi a1, a1, 31
; RV32ZBB-NEXT: srli a0, a0, 20
; RV32ZBB-NEXT: slli a1, a1, 12
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_b37_const:
; RV64: # %bb.0:
; RV64-NEXT: slli a0, a0, 27
; RV64-NEXT: srli a0, a0, 47
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_b37_const:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a0, a0, 27
; RV64ZBB-NEXT: srli a0, a0, 47
; RV64ZBB-NEXT: ret
%result = bitextract i8, b37 %src, i32 20
ret i8 %result
}
define i16 @test_bitextract_b87(b87 %src, i32 %off) {
; RV32-LABEL: test_bitextract_b87:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -32
; RV32-NEXT: .cfi_def_cfa_offset 32
; RV32-NEXT: lw a2, 0(a0)
; RV32-NEXT: lw a3, 4(a0)
; RV32-NEXT: lw a0, 8(a0)
; RV32-NEXT: srli a4, a1, 3
; RV32-NEXT: sw zero, 16(sp)
; RV32-NEXT: sw zero, 20(sp)
; RV32-NEXT: sw zero, 24(sp)
; RV32-NEXT: sw zero, 28(sp)
; RV32-NEXT: andi a4, a4, 12
; RV32-NEXT: slli a0, a0, 9
; RV32-NEXT: mv a5, sp
; RV32-NEXT: srli a0, a0, 9
; RV32-NEXT: sw a2, 0(sp)
; RV32-NEXT: sw a3, 4(sp)
; RV32-NEXT: sw a0, 8(sp)
; RV32-NEXT: sw zero, 12(sp)
; RV32-NEXT: add a4, a5, a4
; RV32-NEXT: lw a0, 4(a4)
; RV32-NEXT: lw a2, 0(a4)
; RV32-NEXT: andi a3, a1, 31
; RV32-NEXT: slli a0, a0, 1
; RV32-NEXT: xori a3, a3, 31
; RV32-NEXT: srl a1, a2, a1
; RV32-NEXT: sll a0, a0, a3
; RV32-NEXT: or a0, a1, a0
; RV32-NEXT: addi sp, sp, 32
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_b87:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -32
; RV32ZBB-NEXT: .cfi_def_cfa_offset 32
; RV32ZBB-NEXT: lw a2, 0(a0)
; RV32ZBB-NEXT: lw a3, 4(a0)
; RV32ZBB-NEXT: lw a0, 8(a0)
; RV32ZBB-NEXT: srli a4, a1, 3
; RV32ZBB-NEXT: sw zero, 16(sp)
; RV32ZBB-NEXT: sw zero, 20(sp)
; RV32ZBB-NEXT: sw zero, 24(sp)
; RV32ZBB-NEXT: sw zero, 28(sp)
; RV32ZBB-NEXT: andi a4, a4, 12
; RV32ZBB-NEXT: slli a0, a0, 9
; RV32ZBB-NEXT: mv a5, sp
; RV32ZBB-NEXT: srli a0, a0, 9
; RV32ZBB-NEXT: sw a2, 0(sp)
; RV32ZBB-NEXT: sw a3, 4(sp)
; RV32ZBB-NEXT: sw a0, 8(sp)
; RV32ZBB-NEXT: sw zero, 12(sp)
; RV32ZBB-NEXT: add a4, a5, a4
; RV32ZBB-NEXT: lw a0, 4(a4)
; RV32ZBB-NEXT: lw a2, 0(a4)
; RV32ZBB-NEXT: andi a3, a1, 31
; RV32ZBB-NEXT: slli a0, a0, 1
; RV32ZBB-NEXT: xori a3, a3, 31
; RV32ZBB-NEXT: srl a1, a2, a1
; RV32ZBB-NEXT: sll a0, a0, a3
; RV32ZBB-NEXT: or a0, a1, a0
; RV32ZBB-NEXT: addi sp, sp, 32
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_b87:
; RV64: # %bb.0:
; RV64-NEXT: slli a3, a2, 32
; RV64-NEXT: srli a3, a3, 32
; RV64-NEXT: slli a1, a1, 41
; RV64-NEXT: addi a4, a3, -64
; RV64-NEXT: srli a1, a1, 41
; RV64-NEXT: bltz a4, .LBB6_2
; RV64-NEXT: # %bb.1:
; RV64-NEXT: srl a0, a1, a3
; RV64-NEXT: ret
; RV64-NEXT: .LBB6_2:
; RV64-NEXT: not a3, a3
; RV64-NEXT: slli a1, a1, 1
; RV64-NEXT: srl a0, a0, a2
; RV64-NEXT: sll a1, a1, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_b87:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a3, a2, 32
; RV64ZBB-NEXT: srli a3, a3, 32
; RV64ZBB-NEXT: slli a1, a1, 41
; RV64ZBB-NEXT: addi a4, a3, -64
; RV64ZBB-NEXT: srli a1, a1, 41
; RV64ZBB-NEXT: bltz a4, .LBB6_2
; RV64ZBB-NEXT: # %bb.1:
; RV64ZBB-NEXT: srl a0, a1, a3
; RV64ZBB-NEXT: ret
; RV64ZBB-NEXT: .LBB6_2:
; RV64ZBB-NEXT: not a3, a3
; RV64ZBB-NEXT: slli a1, a1, 1
; RV64ZBB-NEXT: srl a0, a0, a2
; RV64ZBB-NEXT: sll a1, a1, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitextract i16, b87 %src, i32 %off
ret i16 %result
}
define i32 @test_bitextract_b128(b128 %src, i32 %off) {
; RV32-LABEL: test_bitextract_b128:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -32
; RV32-NEXT: .cfi_def_cfa_offset 32
; RV32-NEXT: lw a2, 0(a0)
; RV32-NEXT: lw a3, 4(a0)
; RV32-NEXT: lw a4, 8(a0)
; RV32-NEXT: lw a0, 12(a0)
; RV32-NEXT: srli a5, a1, 3
; RV32-NEXT: sw zero, 16(sp)
; RV32-NEXT: sw zero, 20(sp)
; RV32-NEXT: sw zero, 24(sp)
; RV32-NEXT: sw zero, 28(sp)
; RV32-NEXT: andi a5, a5, 12
; RV32-NEXT: mv a6, sp
; RV32-NEXT: sw a2, 0(sp)
; RV32-NEXT: sw a3, 4(sp)
; RV32-NEXT: sw a4, 8(sp)
; RV32-NEXT: sw a0, 12(sp)
; RV32-NEXT: add a5, a6, a5
; RV32-NEXT: lw a0, 4(a5)
; RV32-NEXT: lw a2, 0(a5)
; RV32-NEXT: andi a3, a1, 31
; RV32-NEXT: slli a0, a0, 1
; RV32-NEXT: xori a3, a3, 31
; RV32-NEXT: srl a1, a2, a1
; RV32-NEXT: sll a0, a0, a3
; RV32-NEXT: or a0, a1, a0
; RV32-NEXT: addi sp, sp, 32
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_b128:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -32
; RV32ZBB-NEXT: .cfi_def_cfa_offset 32
; RV32ZBB-NEXT: lw a2, 0(a0)
; RV32ZBB-NEXT: lw a3, 4(a0)
; RV32ZBB-NEXT: lw a4, 8(a0)
; RV32ZBB-NEXT: lw a0, 12(a0)
; RV32ZBB-NEXT: srli a5, a1, 3
; RV32ZBB-NEXT: sw zero, 16(sp)
; RV32ZBB-NEXT: sw zero, 20(sp)
; RV32ZBB-NEXT: sw zero, 24(sp)
; RV32ZBB-NEXT: sw zero, 28(sp)
; RV32ZBB-NEXT: andi a5, a5, 12
; RV32ZBB-NEXT: mv a6, sp
; RV32ZBB-NEXT: sw a2, 0(sp)
; RV32ZBB-NEXT: sw a3, 4(sp)
; RV32ZBB-NEXT: sw a4, 8(sp)
; RV32ZBB-NEXT: sw a0, 12(sp)
; RV32ZBB-NEXT: add a5, a6, a5
; RV32ZBB-NEXT: lw a0, 4(a5)
; RV32ZBB-NEXT: lw a2, 0(a5)
; RV32ZBB-NEXT: andi a3, a1, 31
; RV32ZBB-NEXT: slli a0, a0, 1
; RV32ZBB-NEXT: xori a3, a3, 31
; RV32ZBB-NEXT: srl a1, a2, a1
; RV32ZBB-NEXT: sll a0, a0, a3
; RV32ZBB-NEXT: or a0, a1, a0
; RV32ZBB-NEXT: addi sp, sp, 32
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_b128:
; RV64: # %bb.0:
; RV64-NEXT: slli a3, a2, 32
; RV64-NEXT: srli a3, a3, 32
; RV64-NEXT: addi a4, a3, -64
; RV64-NEXT: bltz a4, .LBB7_2
; RV64-NEXT: # %bb.1:
; RV64-NEXT: srl a0, a1, a3
; RV64-NEXT: ret
; RV64-NEXT: .LBB7_2:
; RV64-NEXT: slli a1, a1, 1
; RV64-NEXT: not a3, a3
; RV64-NEXT: srl a0, a0, a2
; RV64-NEXT: sll a1, a1, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_b128:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a3, a2, 32
; RV64ZBB-NEXT: srli a3, a3, 32
; RV64ZBB-NEXT: addi a4, a3, -64
; RV64ZBB-NEXT: bltz a4, .LBB7_2
; RV64ZBB-NEXT: # %bb.1:
; RV64ZBB-NEXT: srl a0, a1, a3
; RV64ZBB-NEXT: ret
; RV64ZBB-NEXT: .LBB7_2:
; RV64ZBB-NEXT: slli a1, a1, 1
; RV64ZBB-NEXT: not a3, a3
; RV64ZBB-NEXT: srl a0, a0, a2
; RV64ZBB-NEXT: sll a1, a1, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitextract i32, b128 %src, i32 %off
ret i32 %result
}
define i32 @test_bitextract_b231(b231 %src, i32 %off) {
; RV32-LABEL: test_bitextract_b231:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -64
; RV32-NEXT: .cfi_def_cfa_offset 64
; RV32-NEXT: lw a2, 28(a0)
; RV32-NEXT: lw a3, 16(a0)
; RV32-NEXT: lw a4, 20(a0)
; RV32-NEXT: lw a5, 24(a0)
; RV32-NEXT: lw a6, 0(a0)
; RV32-NEXT: lw a7, 4(a0)
; RV32-NEXT: lw t0, 8(a0)
; RV32-NEXT: lw a0, 12(a0)
; RV32-NEXT: andi a2, a2, 127
; RV32-NEXT: sw zero, 48(sp)
; RV32-NEXT: sw zero, 52(sp)
; RV32-NEXT: sw zero, 56(sp)
; RV32-NEXT: sw zero, 60(sp)
; RV32-NEXT: sw zero, 32(sp)
; RV32-NEXT: sw zero, 36(sp)
; RV32-NEXT: sw zero, 40(sp)
; RV32-NEXT: sw zero, 44(sp)
; RV32-NEXT: srli t1, a1, 3
; RV32-NEXT: sw a6, 0(sp)
; RV32-NEXT: sw a7, 4(sp)
; RV32-NEXT: sw t0, 8(sp)
; RV32-NEXT: sw a0, 12(sp)
; RV32-NEXT: andi a0, t1, 28
; RV32-NEXT: mv a6, sp
; RV32-NEXT: sw a3, 16(sp)
; RV32-NEXT: sw a4, 20(sp)
; RV32-NEXT: sw a5, 24(sp)
; RV32-NEXT: sw a2, 28(sp)
; RV32-NEXT: add a0, a6, a0
; RV32-NEXT: lw a2, 4(a0)
; RV32-NEXT: lw a0, 0(a0)
; RV32-NEXT: andi a3, a1, 31
; RV32-NEXT: slli a2, a2, 1
; RV32-NEXT: xori a3, a3, 31
; RV32-NEXT: srl a0, a0, a1
; RV32-NEXT: sll a1, a2, a3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: addi sp, sp, 64
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitextract_b231:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -64
; RV32ZBB-NEXT: .cfi_def_cfa_offset 64
; RV32ZBB-NEXT: lw a2, 28(a0)
; RV32ZBB-NEXT: lw a3, 16(a0)
; RV32ZBB-NEXT: lw a4, 20(a0)
; RV32ZBB-NEXT: lw a5, 24(a0)
; RV32ZBB-NEXT: lw a6, 0(a0)
; RV32ZBB-NEXT: lw a7, 4(a0)
; RV32ZBB-NEXT: lw t0, 8(a0)
; RV32ZBB-NEXT: lw a0, 12(a0)
; RV32ZBB-NEXT: andi a2, a2, 127
; RV32ZBB-NEXT: sw zero, 48(sp)
; RV32ZBB-NEXT: sw zero, 52(sp)
; RV32ZBB-NEXT: sw zero, 56(sp)
; RV32ZBB-NEXT: sw zero, 60(sp)
; RV32ZBB-NEXT: sw zero, 32(sp)
; RV32ZBB-NEXT: sw zero, 36(sp)
; RV32ZBB-NEXT: sw zero, 40(sp)
; RV32ZBB-NEXT: sw zero, 44(sp)
; RV32ZBB-NEXT: srli t1, a1, 3
; RV32ZBB-NEXT: sw a6, 0(sp)
; RV32ZBB-NEXT: sw a7, 4(sp)
; RV32ZBB-NEXT: sw t0, 8(sp)
; RV32ZBB-NEXT: sw a0, 12(sp)
; RV32ZBB-NEXT: andi a0, t1, 28
; RV32ZBB-NEXT: mv a6, sp
; RV32ZBB-NEXT: sw a3, 16(sp)
; RV32ZBB-NEXT: sw a4, 20(sp)
; RV32ZBB-NEXT: sw a5, 24(sp)
; RV32ZBB-NEXT: sw a2, 28(sp)
; RV32ZBB-NEXT: add a0, a6, a0
; RV32ZBB-NEXT: lw a2, 4(a0)
; RV32ZBB-NEXT: lw a0, 0(a0)
; RV32ZBB-NEXT: andi a3, a1, 31
; RV32ZBB-NEXT: slli a2, a2, 1
; RV32ZBB-NEXT: xori a3, a3, 31
; RV32ZBB-NEXT: srl a0, a0, a1
; RV32ZBB-NEXT: sll a1, a2, a3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: addi sp, sp, 64
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitextract_b231:
; RV64: # %bb.0:
; RV64-NEXT: addi sp, sp, -64
; RV64-NEXT: .cfi_def_cfa_offset 64
; RV64-NEXT: ld a2, 24(a0)
; RV64-NEXT: ld a3, 0(a0)
; RV64-NEXT: ld a4, 8(a0)
; RV64-NEXT: ld a0, 16(a0)
; RV64-NEXT: sd zero, 32(sp)
; RV64-NEXT: sd zero, 40(sp)
; RV64-NEXT: sd zero, 48(sp)
; RV64-NEXT: sd zero, 56(sp)
; RV64-NEXT: srli a5, a1, 3
; RV64-NEXT: slli a2, a2, 25
; RV64-NEXT: andi a5, a5, 24
; RV64-NEXT: srli a2, a2, 25
; RV64-NEXT: mv a6, sp
; RV64-NEXT: sd a3, 0(sp)
; RV64-NEXT: sd a4, 8(sp)
; RV64-NEXT: sd a0, 16(sp)
; RV64-NEXT: sd a2, 24(sp)
; RV64-NEXT: add a5, a6, a5
; RV64-NEXT: ld a0, 8(a5)
; RV64-NEXT: ld a2, 0(a5)
; RV64-NEXT: andi a3, a1, 63
; RV64-NEXT: slli a0, a0, 1
; RV64-NEXT: xori a3, a3, 63
; RV64-NEXT: srl a1, a2, a1
; RV64-NEXT: sll a0, a0, a3
; RV64-NEXT: or a0, a1, a0
; RV64-NEXT: addi sp, sp, 64
; RV64-NEXT: .cfi_def_cfa_offset 0
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitextract_b231:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: addi sp, sp, -64
; RV64ZBB-NEXT: .cfi_def_cfa_offset 64
; RV64ZBB-NEXT: ld a2, 24(a0)
; RV64ZBB-NEXT: ld a3, 0(a0)
; RV64ZBB-NEXT: ld a4, 8(a0)
; RV64ZBB-NEXT: ld a0, 16(a0)
; RV64ZBB-NEXT: sd zero, 32(sp)
; RV64ZBB-NEXT: sd zero, 40(sp)
; RV64ZBB-NEXT: sd zero, 48(sp)
; RV64ZBB-NEXT: sd zero, 56(sp)
; RV64ZBB-NEXT: srli a5, a1, 3
; RV64ZBB-NEXT: slli a2, a2, 25
; RV64ZBB-NEXT: andi a5, a5, 24
; RV64ZBB-NEXT: srli a2, a2, 25
; RV64ZBB-NEXT: mv a6, sp
; RV64ZBB-NEXT: sd a3, 0(sp)
; RV64ZBB-NEXT: sd a4, 8(sp)
; RV64ZBB-NEXT: sd a0, 16(sp)
; RV64ZBB-NEXT: sd a2, 24(sp)
; RV64ZBB-NEXT: add a5, a6, a5
; RV64ZBB-NEXT: ld a0, 8(a5)
; RV64ZBB-NEXT: ld a2, 0(a5)
; RV64ZBB-NEXT: andi a3, a1, 63
; RV64ZBB-NEXT: slli a0, a0, 1
; RV64ZBB-NEXT: xori a3, a3, 63
; RV64ZBB-NEXT: srl a1, a2, a1
; RV64ZBB-NEXT: sll a0, a0, a3
; RV64ZBB-NEXT: or a0, a1, a0
; RV64ZBB-NEXT: addi sp, sp, 64
; RV64ZBB-NEXT: .cfi_def_cfa_offset 0
; RV64ZBB-NEXT: ret
%result = bitextract i32, b231 %src, i32 %off
ret i32 %result
}
; Bitinsert
define b32 @test_bitinsert_var(b32 %base, i16 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_var:
; RV32: # %bb.0:
; RV32-NEXT: lui a3, 16
; RV32-NEXT: addi a3, a3, -1
; RV32-NEXT: sll a4, a3, a2
; RV32-NEXT: and a1, a1, a3
; RV32-NEXT: not a3, a4
; RV32-NEXT: sll a1, a1, a2
; RV32-NEXT: and a0, a0, a3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lui a3, 16
; RV32ZBB-NEXT: addi a3, a3, -1
; RV32ZBB-NEXT: zext.h a1, a1
; RV32ZBB-NEXT: sll a3, a3, a2
; RV32ZBB-NEXT: sll a1, a1, a2
; RV32ZBB-NEXT: andn a0, a0, a3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_var:
; RV64: # %bb.0:
; RV64-NEXT: lui a3, 16
; RV64-NEXT: addi a3, a3, -1
; RV64-NEXT: sllw a4, a3, a2
; RV64-NEXT: and a1, a1, a3
; RV64-NEXT: not a3, a4
; RV64-NEXT: sllw a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: lui a3, 16
; RV64ZBB-NEXT: addi a3, a3, -1
; RV64ZBB-NEXT: zext.h a1, a1
; RV64ZBB-NEXT: sllw a3, a3, a2
; RV64ZBB-NEXT: sllw a1, a1, a2
; RV64ZBB-NEXT: andn a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b32 %base, i16 %val, i32 %off
ret b32 %result
}
define b1 @test_bitinsert_b1(b1 %base, i1 %val) {
; RV32-LABEL: test_bitinsert_b1:
; RV32: # %bb.0:
; RV32-NEXT: mv a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b1:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: mv a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b1:
; RV64: # %bb.0:
; RV64-NEXT: mv a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b1:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: mv a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b1 %base, i1 %val, i32 0
ret b1 %result
}
define b37 @test_bitinsert_b37_var(b37 %base, i8 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_b37_var:
; RV32: # %bb.0:
; RV32-NEXT: zext.b a6, a2
; RV32-NEXT: addi a4, a3, -32
; RV32-NEXT: li a5, 255
; RV32-NEXT: sll a2, a6, a3
; RV32-NEXT: sll a5, a5, a3
; RV32-NEXT: bltz a4, .LBB11_2
; RV32-NEXT: # %bb.1:
; RV32-NEXT: mv a3, a2
; RV32-NEXT: mv a6, a5
; RV32-NEXT: j .LBB11_3
; RV32-NEXT: .LBB11_2:
; RV32-NEXT: not a7, a3
; RV32-NEXT: srli a3, a6, 1
; RV32-NEXT: li a6, 127
; RV32-NEXT: srl a3, a3, a7
; RV32-NEXT: srl a6, a6, a7
; RV32-NEXT: .LBB11_3:
; RV32-NEXT: srai a4, a4, 31
; RV32-NEXT: xori a6, a6, 31
; RV32-NEXT: and a5, a4, a5
; RV32-NEXT: and a1, a1, a6
; RV32-NEXT: not a5, a5
; RV32-NEXT: and a2, a4, a2
; RV32-NEXT: and a0, a0, a5
; RV32-NEXT: or a1, a1, a3
; RV32-NEXT: or a0, a0, a2
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b37_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: zext.b a6, a2
; RV32ZBB-NEXT: addi a4, a3, -32
; RV32ZBB-NEXT: li a5, 255
; RV32ZBB-NEXT: sll a2, a6, a3
; RV32ZBB-NEXT: sll a5, a5, a3
; RV32ZBB-NEXT: bltz a4, .LBB11_2
; RV32ZBB-NEXT: # %bb.1:
; RV32ZBB-NEXT: mv a3, a2
; RV32ZBB-NEXT: mv a6, a5
; RV32ZBB-NEXT: j .LBB11_3
; RV32ZBB-NEXT: .LBB11_2:
; RV32ZBB-NEXT: not a7, a3
; RV32ZBB-NEXT: srli a3, a6, 1
; RV32ZBB-NEXT: li a6, 127
; RV32ZBB-NEXT: srl a3, a3, a7
; RV32ZBB-NEXT: srl a6, a6, a7
; RV32ZBB-NEXT: .LBB11_3:
; RV32ZBB-NEXT: xori a6, a6, 31
; RV32ZBB-NEXT: srai a4, a4, 31
; RV32ZBB-NEXT: and a1, a1, a6
; RV32ZBB-NEXT: and a5, a4, a5
; RV32ZBB-NEXT: and a2, a4, a2
; RV32ZBB-NEXT: andn a0, a0, a5
; RV32ZBB-NEXT: or a1, a1, a3
; RV32ZBB-NEXT: or a0, a0, a2
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b37_var:
; RV64: # %bb.0:
; RV64-NEXT: li a3, 255
; RV64-NEXT: li a4, -1
; RV64-NEXT: sll a3, a3, a2
; RV64-NEXT: srli a4, a4, 27
; RV64-NEXT: xor a3, a3, a4
; RV64-NEXT: zext.b a1, a1
; RV64-NEXT: sll a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b37_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: li a3, 255
; RV64ZBB-NEXT: li a4, -1
; RV64ZBB-NEXT: sll a3, a3, a2
; RV64ZBB-NEXT: srli a4, a4, 27
; RV64ZBB-NEXT: xor a3, a3, a4
; RV64ZBB-NEXT: zext.b a1, a1
; RV64ZBB-NEXT: sll a1, a1, a2
; RV64ZBB-NEXT: and a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b37 %base, i8 %val, i32 %off
ret b37 %result
}
define b87 @test_bitinsert_b87_var(b87 %base, i16 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_b87_var:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -64
; RV32-NEXT: .cfi_def_cfa_offset 64
; RV32-NEXT: lui a4, 16
; RV32-NEXT: addi a5, a4, -1
; RV32-NEXT: and a6, a2, a5
; RV32-NEXT: lw a2, 0(a1)
; RV32-NEXT: lw a4, 4(a1)
; RV32-NEXT: lw a1, 8(a1)
; RV32-NEXT: sw a6, 16(sp)
; RV32-NEXT: sw zero, 20(sp)
; RV32-NEXT: sw zero, 24(sp)
; RV32-NEXT: sw zero, 28(sp)
; RV32-NEXT: sw zero, 0(sp)
; RV32-NEXT: sw zero, 4(sp)
; RV32-NEXT: sw zero, 8(sp)
; RV32-NEXT: sw zero, 12(sp)
; RV32-NEXT: sw a5, 48(sp)
; RV32-NEXT: sw zero, 52(sp)
; RV32-NEXT: sw zero, 56(sp)
; RV32-NEXT: sw zero, 60(sp)
; RV32-NEXT: sw zero, 32(sp)
; RV32-NEXT: sw zero, 36(sp)
; RV32-NEXT: sw zero, 40(sp)
; RV32-NEXT: sw zero, 44(sp)
; RV32-NEXT: srli a5, a3, 3
; RV32-NEXT: andi a5, a5, 12
; RV32-NEXT: addi a6, sp, 16
; RV32-NEXT: sub a6, a6, a5
; RV32-NEXT: addi a7, sp, 48
; RV32-NEXT: lw t0, 4(a6)
; RV32-NEXT: sub a5, a7, a5
; RV32-NEXT: lw a7, 0(a5)
; RV32-NEXT: andi t1, a3, 31
; RV32-NEXT: lw t2, 4(a5)
; RV32-NEXT: lw t3, 0(a6)
; RV32-NEXT: lw a6, 8(a6)
; RV32-NEXT: sll t4, t0, a3
; RV32-NEXT: xori t1, t1, 31
; RV32-NEXT: lw a5, 8(a5)
; RV32-NEXT: srli t5, a7, 1
; RV32-NEXT: sll t6, t2, a3
; RV32-NEXT: srl t5, t5, t1
; RV32-NEXT: or t5, t6, t5
; RV32-NEXT: srli t6, t3, 1
; RV32-NEXT: srl t6, t6, t1
; RV32-NEXT: not t5, t5
; RV32-NEXT: or t4, t4, t6
; RV32-NEXT: and a4, a4, t5
; RV32-NEXT: or a4, a4, t4
; RV32-NEXT: sll a6, a6, a3
; RV32-NEXT: srli t2, t2, 1
; RV32-NEXT: sll a5, a5, a3
; RV32-NEXT: srl t2, t2, t1
; RV32-NEXT: srli t0, t0, 1
; RV32-NEXT: or a5, a5, t2
; RV32-NEXT: srl t0, t0, t1
; RV32-NEXT: not a5, a5
; RV32-NEXT: or a6, a6, t0
; RV32-NEXT: and a1, a1, a5
; RV32-NEXT: or a1, a1, a6
; RV32-NEXT: sll a5, a7, a3
; RV32-NEXT: sll a3, t3, a3
; RV32-NEXT: not a5, a5
; RV32-NEXT: and a2, a2, a5
; RV32-NEXT: slli a5, a1, 9
; RV32-NEXT: or a2, a2, a3
; RV32-NEXT: srli a5, a5, 25
; RV32-NEXT: sw a2, 0(a0)
; RV32-NEXT: sw a4, 4(a0)
; RV32-NEXT: sh a1, 8(a0)
; RV32-NEXT: sb a5, 10(a0)
; RV32-NEXT: addi sp, sp, 64
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b87_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -80
; RV32ZBB-NEXT: .cfi_def_cfa_offset 80
; RV32ZBB-NEXT: sw s0, 76(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: .cfi_offset s0, -4
; RV32ZBB-NEXT: lw a4, 0(a1)
; RV32ZBB-NEXT: lw a5, 4(a1)
; RV32ZBB-NEXT: lw a1, 8(a1)
; RV32ZBB-NEXT: zext.h a2, a2
; RV32ZBB-NEXT: sw a2, 24(sp)
; RV32ZBB-NEXT: sw zero, 28(sp)
; RV32ZBB-NEXT: sw zero, 32(sp)
; RV32ZBB-NEXT: sw zero, 36(sp)
; RV32ZBB-NEXT: lui a2, 16
; RV32ZBB-NEXT: sw zero, 8(sp)
; RV32ZBB-NEXT: sw zero, 12(sp)
; RV32ZBB-NEXT: sw zero, 16(sp)
; RV32ZBB-NEXT: sw zero, 20(sp)
; RV32ZBB-NEXT: addi a2, a2, -1
; RV32ZBB-NEXT: srli a6, a3, 3
; RV32ZBB-NEXT: sw a2, 56(sp)
; RV32ZBB-NEXT: sw zero, 60(sp)
; RV32ZBB-NEXT: sw zero, 64(sp)
; RV32ZBB-NEXT: sw zero, 68(sp)
; RV32ZBB-NEXT: andi a2, a6, 12
; RV32ZBB-NEXT: addi a6, sp, 24
; RV32ZBB-NEXT: sw zero, 40(sp)
; RV32ZBB-NEXT: sw zero, 44(sp)
; RV32ZBB-NEXT: sw zero, 48(sp)
; RV32ZBB-NEXT: sw zero, 52(sp)
; RV32ZBB-NEXT: sub a6, a6, a2
; RV32ZBB-NEXT: addi a7, sp, 56
; RV32ZBB-NEXT: lw t0, 0(a6)
; RV32ZBB-NEXT: lw t1, 4(a6)
; RV32ZBB-NEXT: sub a2, a7, a2
; RV32ZBB-NEXT: andi a7, a3, 31
; RV32ZBB-NEXT: lw t2, 0(a2)
; RV32ZBB-NEXT: lw t3, 4(a2)
; RV32ZBB-NEXT: lw a6, 8(a6)
; RV32ZBB-NEXT: srli t4, t0, 1
; RV32ZBB-NEXT: xori a7, a7, 31
; RV32ZBB-NEXT: sll t5, t1, a3
; RV32ZBB-NEXT: srl t4, t4, a7
; RV32ZBB-NEXT: lw a2, 8(a2)
; RV32ZBB-NEXT: srli t6, t2, 1
; RV32ZBB-NEXT: sll s0, t3, a3
; RV32ZBB-NEXT: srl t6, t6, a7
; RV32ZBB-NEXT: or t4, t5, t4
; RV32ZBB-NEXT: or t5, s0, t6
; RV32ZBB-NEXT: andn a5, a5, t5
; RV32ZBB-NEXT: sll a6, a6, a3
; RV32ZBB-NEXT: srli t1, t1, 1
; RV32ZBB-NEXT: srli t3, t3, 1
; RV32ZBB-NEXT: sll a2, a2, a3
; RV32ZBB-NEXT: srl t3, t3, a7
; RV32ZBB-NEXT: srl a7, t1, a7
; RV32ZBB-NEXT: or a2, a2, t3
; RV32ZBB-NEXT: or a6, a6, a7
; RV32ZBB-NEXT: andn a1, a1, a2
; RV32ZBB-NEXT: or a2, a5, t4
; RV32ZBB-NEXT: or a1, a1, a6
; RV32ZBB-NEXT: sll a5, t0, a3
; RV32ZBB-NEXT: sll a3, t2, a3
; RV32ZBB-NEXT: andn a3, a4, a3
; RV32ZBB-NEXT: slli a4, a1, 9
; RV32ZBB-NEXT: or a3, a3, a5
; RV32ZBB-NEXT: srli a4, a4, 25
; RV32ZBB-NEXT: sw a3, 0(a0)
; RV32ZBB-NEXT: sw a2, 4(a0)
; RV32ZBB-NEXT: sh a1, 8(a0)
; RV32ZBB-NEXT: sb a4, 10(a0)
; RV32ZBB-NEXT: lw s0, 76(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: .cfi_restore s0
; RV32ZBB-NEXT: addi sp, sp, 80
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b87_var:
; RV64: # %bb.0:
; RV64-NEXT: slli a4, a3, 32
; RV64-NEXT: lui a5, 16
; RV64-NEXT: srli a7, a4, 32
; RV64-NEXT: addi a4, a5, -1
; RV64-NEXT: addi a5, a7, -64
; RV64-NEXT: and a6, a2, a4
; RV64-NEXT: bltz a5, .LBB12_2
; RV64-NEXT: # %bb.1:
; RV64-NEXT: sll a2, a6, a7
; RV64-NEXT: sll a7, a4, a7
; RV64-NEXT: j .LBB12_3
; RV64-NEXT: .LBB12_2:
; RV64-NEXT: srli a2, a6, 1
; RV64-NEXT: lui t0, 8
; RV64-NEXT: not a7, a7
; RV64-NEXT: addi t0, t0, -1
; RV64-NEXT: srl a2, a2, a7
; RV64-NEXT: srl a7, t0, a7
; RV64-NEXT: .LBB12_3:
; RV64-NEXT: lui t0, 2048
; RV64-NEXT: sll a6, a6, a3
; RV64-NEXT: srai a5, a5, 63
; RV64-NEXT: addi t0, t0, -1
; RV64-NEXT: sll a3, a4, a3
; RV64-NEXT: xor a4, a7, t0
; RV64-NEXT: and a3, a5, a3
; RV64-NEXT: and a1, a1, a4
; RV64-NEXT: not a3, a3
; RV64-NEXT: and a4, a5, a6
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a1, a1, a2
; RV64-NEXT: or a0, a0, a4
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b87_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a4, a3, 32
; RV64ZBB-NEXT: srli a7, a4, 32
; RV64ZBB-NEXT: addi a4, a7, -64
; RV64ZBB-NEXT: lui a6, 16
; RV64ZBB-NEXT: zext.h a5, a2
; RV64ZBB-NEXT: addi a2, a6, -1
; RV64ZBB-NEXT: bltz a4, .LBB12_2
; RV64ZBB-NEXT: # %bb.1:
; RV64ZBB-NEXT: sll a6, a5, a7
; RV64ZBB-NEXT: sll a7, a2, a7
; RV64ZBB-NEXT: j .LBB12_3
; RV64ZBB-NEXT: .LBB12_2:
; RV64ZBB-NEXT: srli a6, a5, 1
; RV64ZBB-NEXT: lui t0, 8
; RV64ZBB-NEXT: not a7, a7
; RV64ZBB-NEXT: addi t0, t0, -1
; RV64ZBB-NEXT: srl a6, a6, a7
; RV64ZBB-NEXT: srl a7, t0, a7
; RV64ZBB-NEXT: .LBB12_3:
; RV64ZBB-NEXT: lui t0, 1046528
; RV64ZBB-NEXT: sll a5, a5, a3
; RV64ZBB-NEXT: srai a4, a4, 63
; RV64ZBB-NEXT: xnor a7, a7, t0
; RV64ZBB-NEXT: sll a2, a2, a3
; RV64ZBB-NEXT: and a1, a1, a7
; RV64ZBB-NEXT: and a2, a4, a2
; RV64ZBB-NEXT: and a4, a4, a5
; RV64ZBB-NEXT: andn a0, a0, a2
; RV64ZBB-NEXT: or a1, a1, a6
; RV64ZBB-NEXT: or a0, a0, a4
; RV64ZBB-NEXT: ret
%result = bitinsert b87 %base, i16 %val, i32 %off
ret b87 %result
}
define b128 @test_bitinsert_b128_var(b128 %base, i32 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_b128_var:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -80
; RV32-NEXT: .cfi_def_cfa_offset 80
; RV32-NEXT: sw s0, 76(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s1, 72(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s2, 68(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s3, 64(sp) # 4-byte Folded Spill
; RV32-NEXT: .cfi_offset s0, -4
; RV32-NEXT: .cfi_offset s1, -8
; RV32-NEXT: .cfi_offset s2, -12
; RV32-NEXT: .cfi_offset s3, -16
; RV32-NEXT: lw a4, 0(a1)
; RV32-NEXT: lw a6, 4(a1)
; RV32-NEXT: lw a5, 8(a1)
; RV32-NEXT: lw a1, 12(a1)
; RV32-NEXT: sw a2, 16(sp)
; RV32-NEXT: sw zero, 20(sp)
; RV32-NEXT: sw zero, 24(sp)
; RV32-NEXT: sw zero, 28(sp)
; RV32-NEXT: sw zero, 0(sp)
; RV32-NEXT: sw zero, 4(sp)
; RV32-NEXT: sw zero, 8(sp)
; RV32-NEXT: sw zero, 12(sp)
; RV32-NEXT: li a2, -1
; RV32-NEXT: srli a7, a3, 3
; RV32-NEXT: sw a2, 48(sp)
; RV32-NEXT: sw zero, 52(sp)
; RV32-NEXT: sw zero, 56(sp)
; RV32-NEXT: sw zero, 60(sp)
; RV32-NEXT: andi a2, a7, 12
; RV32-NEXT: addi a7, sp, 16
; RV32-NEXT: sw zero, 32(sp)
; RV32-NEXT: sw zero, 36(sp)
; RV32-NEXT: sw zero, 40(sp)
; RV32-NEXT: sw zero, 44(sp)
; RV32-NEXT: sub t0, a7, a2
; RV32-NEXT: lw a7, 4(t0)
; RV32-NEXT: addi t1, sp, 48
; RV32-NEXT: sub t1, t1, a2
; RV32-NEXT: lw a2, 0(t0)
; RV32-NEXT: lw t2, 8(t0)
; RV32-NEXT: lw t0, 12(t0)
; RV32-NEXT: sll t3, a7, a3
; RV32-NEXT: lw t4, 0(t1)
; RV32-NEXT: andi t5, a3, 31
; RV32-NEXT: lw t6, 4(t1)
; RV32-NEXT: srli s0, a2, 1
; RV32-NEXT: xori t5, t5, 31
; RV32-NEXT: srl s0, s0, t5
; RV32-NEXT: lw s1, 8(t1)
; RV32-NEXT: lw t1, 12(t1)
; RV32-NEXT: srli s2, t4, 1
; RV32-NEXT: sll s3, t6, a3
; RV32-NEXT: srl s2, s2, t5
; RV32-NEXT: or t3, t3, s0
; RV32-NEXT: or s0, s3, s2
; RV32-NEXT: not s0, s0
; RV32-NEXT: srli t6, t6, 1
; RV32-NEXT: sll s2, s1, a3
; RV32-NEXT: srl t6, t6, t5
; RV32-NEXT: and a6, a6, s0
; RV32-NEXT: or t6, s2, t6
; RV32-NEXT: sll s0, t2, a3
; RV32-NEXT: srli a7, a7, 1
; RV32-NEXT: srl a7, a7, t5
; RV32-NEXT: not t6, t6
; RV32-NEXT: or a7, s0, a7
; RV32-NEXT: and a5, a5, t6
; RV32-NEXT: or a6, a6, t3
; RV32-NEXT: or a5, a5, a7
; RV32-NEXT: sll a7, t0, a3
; RV32-NEXT: srli t0, t2, 1
; RV32-NEXT: srl t0, t0, t5
; RV32-NEXT: srli s1, s1, 1
; RV32-NEXT: sll t1, t1, a3
; RV32-NEXT: srl t2, s1, t5
; RV32-NEXT: or a7, a7, t0
; RV32-NEXT: or t0, t1, t2
; RV32-NEXT: not t0, t0
; RV32-NEXT: sll t1, t4, a3
; RV32-NEXT: and a1, a1, t0
; RV32-NEXT: not t0, t1
; RV32-NEXT: sll a2, a2, a3
; RV32-NEXT: and a3, a4, t0
; RV32-NEXT: or a1, a1, a7
; RV32-NEXT: or a2, a3, a2
; RV32-NEXT: sw a2, 0(a0)
; RV32-NEXT: sw a6, 4(a0)
; RV32-NEXT: sw a5, 8(a0)
; RV32-NEXT: sw a1, 12(a0)
; RV32-NEXT: lw s0, 76(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s1, 72(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s2, 68(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s3, 64(sp) # 4-byte Folded Reload
; RV32-NEXT: .cfi_restore s0
; RV32-NEXT: .cfi_restore s1
; RV32-NEXT: .cfi_restore s2
; RV32-NEXT: .cfi_restore s3
; RV32-NEXT: addi sp, sp, 80
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b128_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -80
; RV32ZBB-NEXT: .cfi_def_cfa_offset 80
; RV32ZBB-NEXT: sw s0, 76(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s1, 72(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s2, 68(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s3, 64(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: .cfi_offset s0, -4
; RV32ZBB-NEXT: .cfi_offset s1, -8
; RV32ZBB-NEXT: .cfi_offset s2, -12
; RV32ZBB-NEXT: .cfi_offset s3, -16
; RV32ZBB-NEXT: lw a4, 0(a1)
; RV32ZBB-NEXT: lw a6, 4(a1)
; RV32ZBB-NEXT: lw a5, 8(a1)
; RV32ZBB-NEXT: lw a1, 12(a1)
; RV32ZBB-NEXT: sw a2, 16(sp)
; RV32ZBB-NEXT: sw zero, 20(sp)
; RV32ZBB-NEXT: sw zero, 24(sp)
; RV32ZBB-NEXT: sw zero, 28(sp)
; RV32ZBB-NEXT: sw zero, 0(sp)
; RV32ZBB-NEXT: sw zero, 4(sp)
; RV32ZBB-NEXT: sw zero, 8(sp)
; RV32ZBB-NEXT: sw zero, 12(sp)
; RV32ZBB-NEXT: li a2, -1
; RV32ZBB-NEXT: srli a7, a3, 3
; RV32ZBB-NEXT: sw a2, 48(sp)
; RV32ZBB-NEXT: sw zero, 52(sp)
; RV32ZBB-NEXT: sw zero, 56(sp)
; RV32ZBB-NEXT: sw zero, 60(sp)
; RV32ZBB-NEXT: andi a2, a7, 12
; RV32ZBB-NEXT: addi a7, sp, 16
; RV32ZBB-NEXT: sw zero, 32(sp)
; RV32ZBB-NEXT: sw zero, 36(sp)
; RV32ZBB-NEXT: sw zero, 40(sp)
; RV32ZBB-NEXT: sw zero, 44(sp)
; RV32ZBB-NEXT: sub a7, a7, a2
; RV32ZBB-NEXT: lw t0, 4(a7)
; RV32ZBB-NEXT: addi t1, sp, 48
; RV32ZBB-NEXT: sub t1, t1, a2
; RV32ZBB-NEXT: lw a2, 0(a7)
; RV32ZBB-NEXT: lw t2, 8(a7)
; RV32ZBB-NEXT: lw a7, 12(a7)
; RV32ZBB-NEXT: sll t3, t0, a3
; RV32ZBB-NEXT: lw t4, 0(t1)
; RV32ZBB-NEXT: andi t5, a3, 31
; RV32ZBB-NEXT: lw t6, 4(t1)
; RV32ZBB-NEXT: srli s0, a2, 1
; RV32ZBB-NEXT: xori t5, t5, 31
; RV32ZBB-NEXT: srl s0, s0, t5
; RV32ZBB-NEXT: lw s1, 8(t1)
; RV32ZBB-NEXT: lw t1, 12(t1)
; RV32ZBB-NEXT: srli s2, t4, 1
; RV32ZBB-NEXT: sll s3, t6, a3
; RV32ZBB-NEXT: srl s2, s2, t5
; RV32ZBB-NEXT: or t3, t3, s0
; RV32ZBB-NEXT: or s0, s3, s2
; RV32ZBB-NEXT: andn a6, a6, s0
; RV32ZBB-NEXT: srli t6, t6, 1
; RV32ZBB-NEXT: sll s0, s1, a3
; RV32ZBB-NEXT: srl t6, t6, t5
; RV32ZBB-NEXT: srli t0, t0, 1
; RV32ZBB-NEXT: or t6, s0, t6
; RV32ZBB-NEXT: sll s0, t2, a3
; RV32ZBB-NEXT: srl t0, t0, t5
; RV32ZBB-NEXT: or t0, s0, t0
; RV32ZBB-NEXT: andn a5, a5, t6
; RV32ZBB-NEXT: or a6, a6, t3
; RV32ZBB-NEXT: or a5, a5, t0
; RV32ZBB-NEXT: sll a7, a7, a3
; RV32ZBB-NEXT: srli t0, t2, 1
; RV32ZBB-NEXT: srl t0, t0, t5
; RV32ZBB-NEXT: srli s1, s1, 1
; RV32ZBB-NEXT: sll t1, t1, a3
; RV32ZBB-NEXT: srl t2, s1, t5
; RV32ZBB-NEXT: or a7, a7, t0
; RV32ZBB-NEXT: or t0, t1, t2
; RV32ZBB-NEXT: andn a1, a1, t0
; RV32ZBB-NEXT: sll t0, t4, a3
; RV32ZBB-NEXT: sll a2, a2, a3
; RV32ZBB-NEXT: andn a3, a4, t0
; RV32ZBB-NEXT: or a1, a1, a7
; RV32ZBB-NEXT: or a2, a3, a2
; RV32ZBB-NEXT: sw a2, 0(a0)
; RV32ZBB-NEXT: sw a6, 4(a0)
; RV32ZBB-NEXT: sw a5, 8(a0)
; RV32ZBB-NEXT: sw a1, 12(a0)
; RV32ZBB-NEXT: lw s0, 76(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s1, 72(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s2, 68(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s3, 64(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: .cfi_restore s0
; RV32ZBB-NEXT: .cfi_restore s1
; RV32ZBB-NEXT: .cfi_restore s2
; RV32ZBB-NEXT: .cfi_restore s3
; RV32ZBB-NEXT: addi sp, sp, 80
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b128_var:
; RV64: # %bb.0:
; RV64-NEXT: slli a4, a3, 32
; RV64-NEXT: srli a7, a4, 32
; RV64-NEXT: slli a4, a2, 32
; RV64-NEXT: addi a5, a7, -64
; RV64-NEXT: li a6, -1
; RV64-NEXT: srli a4, a4, 32
; RV64-NEXT: srli a6, a6, 32
; RV64-NEXT: bltz a5, .LBB13_2
; RV64-NEXT: # %bb.1:
; RV64-NEXT: sll a2, a4, a7
; RV64-NEXT: sll a7, a6, a7
; RV64-NEXT: j .LBB13_3
; RV64-NEXT: .LBB13_2:
; RV64-NEXT: srliw a2, a2, 1
; RV64-NEXT: lui t0, 524288
; RV64-NEXT: not a7, a7
; RV64-NEXT: addiw t0, t0, -1
; RV64-NEXT: srl a2, a2, a7
; RV64-NEXT: srl a7, t0, a7
; RV64-NEXT: .LBB13_3:
; RV64-NEXT: not a7, a7
; RV64-NEXT: srai a5, a5, 63
; RV64-NEXT: sll a6, a6, a3
; RV64-NEXT: and a1, a1, a7
; RV64-NEXT: and a6, a5, a6
; RV64-NEXT: sll a3, a4, a3
; RV64-NEXT: not a4, a6
; RV64-NEXT: and a3, a5, a3
; RV64-NEXT: and a0, a0, a4
; RV64-NEXT: or a1, a1, a2
; RV64-NEXT: or a0, a0, a3
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b128_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a4, a3, 32
; RV64ZBB-NEXT: srli a7, a4, 32
; RV64ZBB-NEXT: slli a4, a2, 32
; RV64ZBB-NEXT: addi a5, a7, -64
; RV64ZBB-NEXT: li a6, -1
; RV64ZBB-NEXT: srli a4, a4, 32
; RV64ZBB-NEXT: srli a6, a6, 32
; RV64ZBB-NEXT: bltz a5, .LBB13_2
; RV64ZBB-NEXT: # %bb.1:
; RV64ZBB-NEXT: sll a2, a4, a7
; RV64ZBB-NEXT: sll a7, a6, a7
; RV64ZBB-NEXT: j .LBB13_3
; RV64ZBB-NEXT: .LBB13_2:
; RV64ZBB-NEXT: srliw a2, a2, 1
; RV64ZBB-NEXT: lui t0, 524288
; RV64ZBB-NEXT: not a7, a7
; RV64ZBB-NEXT: addiw t0, t0, -1
; RV64ZBB-NEXT: srl a2, a2, a7
; RV64ZBB-NEXT: srl a7, t0, a7
; RV64ZBB-NEXT: .LBB13_3:
; RV64ZBB-NEXT: andn a1, a1, a7
; RV64ZBB-NEXT: srai a5, a5, 63
; RV64ZBB-NEXT: sll a6, a6, a3
; RV64ZBB-NEXT: sll a3, a4, a3
; RV64ZBB-NEXT: and a4, a5, a6
; RV64ZBB-NEXT: and a3, a5, a3
; RV64ZBB-NEXT: andn a0, a0, a4
; RV64ZBB-NEXT: or a1, a1, a2
; RV64ZBB-NEXT: or a0, a0, a3
; RV64ZBB-NEXT: ret
%result = bitinsert b128 %base, i32 %val, i32 %off
ret b128 %result
}
define b231 @test_bitinsert_b231_var(b231 %base, i32 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_b231_var:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -192
; RV32-NEXT: .cfi_def_cfa_offset 192
; RV32-NEXT: sw ra, 188(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s0, 184(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s1, 180(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s2, 176(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s3, 172(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s4, 168(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s5, 164(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s6, 160(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s7, 156(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s8, 152(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s9, 148(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s10, 144(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s11, 140(sp) # 4-byte Folded Spill
; RV32-NEXT: .cfi_offset ra, -4
; RV32-NEXT: .cfi_offset s0, -8
; RV32-NEXT: .cfi_offset s1, -12
; RV32-NEXT: .cfi_offset s2, -16
; RV32-NEXT: .cfi_offset s3, -20
; RV32-NEXT: .cfi_offset s4, -24
; RV32-NEXT: .cfi_offset s5, -28
; RV32-NEXT: .cfi_offset s6, -32
; RV32-NEXT: .cfi_offset s7, -36
; RV32-NEXT: .cfi_offset s8, -40
; RV32-NEXT: .cfi_offset s9, -44
; RV32-NEXT: .cfi_offset s10, -48
; RV32-NEXT: .cfi_offset s11, -52
; RV32-NEXT: lw a4, 0(a1)
; RV32-NEXT: lw t2, 4(a1)
; RV32-NEXT: lw t1, 8(a1)
; RV32-NEXT: lw t0, 12(a1)
; RV32-NEXT: lw a7, 16(a1)
; RV32-NEXT: lw a6, 20(a1)
; RV32-NEXT: lw a5, 24(a1)
; RV32-NEXT: lw a1, 28(a1)
; RV32-NEXT: sw zero, 56(sp)
; RV32-NEXT: sw zero, 60(sp)
; RV32-NEXT: sw zero, 64(sp)
; RV32-NEXT: sw zero, 68(sp)
; RV32-NEXT: sw a2, 40(sp)
; RV32-NEXT: sw zero, 44(sp)
; RV32-NEXT: sw zero, 48(sp)
; RV32-NEXT: sw zero, 52(sp)
; RV32-NEXT: sw zero, 24(sp)
; RV32-NEXT: sw zero, 28(sp)
; RV32-NEXT: sw zero, 32(sp)
; RV32-NEXT: sw zero, 36(sp)
; RV32-NEXT: sw zero, 8(sp)
; RV32-NEXT: sw zero, 12(sp)
; RV32-NEXT: sw zero, 16(sp)
; RV32-NEXT: sw zero, 20(sp)
; RV32-NEXT: li a2, -1
; RV32-NEXT: sw zero, 120(sp)
; RV32-NEXT: sw zero, 124(sp)
; RV32-NEXT: sw zero, 128(sp)
; RV32-NEXT: sw zero, 132(sp)
; RV32-NEXT: sw a2, 104(sp)
; RV32-NEXT: sw zero, 108(sp)
; RV32-NEXT: sw zero, 112(sp)
; RV32-NEXT: sw zero, 116(sp)
; RV32-NEXT: sw zero, 88(sp)
; RV32-NEXT: sw zero, 92(sp)
; RV32-NEXT: sw zero, 96(sp)
; RV32-NEXT: sw zero, 100(sp)
; RV32-NEXT: sw zero, 72(sp)
; RV32-NEXT: sw zero, 76(sp)
; RV32-NEXT: sw zero, 80(sp)
; RV32-NEXT: sw zero, 84(sp)
; RV32-NEXT: srli a2, a3, 3
; RV32-NEXT: andi a2, a2, 28
; RV32-NEXT: addi t3, sp, 40
; RV32-NEXT: sub t5, t3, a2
; RV32-NEXT: addi t3, sp, 104
; RV32-NEXT: sub t4, t3, a2
; RV32-NEXT: lw t3, 24(t5)
; RV32-NEXT: lw t6, 28(t5)
; RV32-NEXT: lw a2, 24(t4)
; RV32-NEXT: lw s3, 28(t4)
; RV32-NEXT: lw s0, 16(t5)
; RV32-NEXT: lw s2, 20(t5)
; RV32-NEXT: andi s1, a3, 31
; RV32-NEXT: srli s4, t3, 1
; RV32-NEXT: xori s1, s1, 31
; RV32-NEXT: sll s5, t6, a3
; RV32-NEXT: srl s4, s4, s1
; RV32-NEXT: sll s3, s3, a3
; RV32-NEXT: srli t6, a2, 1
; RV32-NEXT: srl s6, t6, s1
; RV32-NEXT: lw t6, 0(t5)
; RV32-NEXT: or s4, s5, s4
; RV32-NEXT: or s3, s3, s6
; RV32-NEXT: not s3, s3
; RV32-NEXT: lw s5, 4(t5)
; RV32-NEXT: and a1, a1, s3
; RV32-NEXT: lw s3, 8(t5)
; RV32-NEXT: lw s6, 12(t5)
; RV32-NEXT: srli s7, t6, 1
; RV32-NEXT: lw t5, 0(t4)
; RV32-NEXT: lw s8, 4(t4)
; RV32-NEXT: sll s9, s5, a3
; RV32-NEXT: srl s7, s7, s1
; RV32-NEXT: or a1, a1, s4
; RV32-NEXT: or s4, s9, s7
; RV32-NEXT: lw s7, 8(t4)
; RV32-NEXT: lw s9, 12(t4)
; RV32-NEXT: sll s10, s8, a3
; RV32-NEXT: srli s11, t5, 1
; RV32-NEXT: srl s11, s11, s1
; RV32-NEXT: lw ra, 16(t4)
; RV32-NEXT: lw t4, 20(t4)
; RV32-NEXT: or s10, s10, s11
; RV32-NEXT: not s10, s10
; RV32-NEXT: srli s8, s8, 1
; RV32-NEXT: sll s11, s7, a3
; RV32-NEXT: srl s8, s8, s1
; RV32-NEXT: and t2, t2, s10
; RV32-NEXT: or s8, s11, s8
; RV32-NEXT: sll s10, s3, a3
; RV32-NEXT: srli s5, s5, 1
; RV32-NEXT: srl s5, s5, s1
; RV32-NEXT: not s8, s8
; RV32-NEXT: or s5, s10, s5
; RV32-NEXT: and s8, t1, s8
; RV32-NEXT: or t1, t2, s4
; RV32-NEXT: or t2, s8, s5
; RV32-NEXT: sll s4, s6, a3
; RV32-NEXT: srli s3, s3, 1
; RV32-NEXT: srl s3, s3, s1
; RV32-NEXT: srli s5, s7, 1
; RV32-NEXT: sll s7, s9, a3
; RV32-NEXT: srl s5, s5, s1
; RV32-NEXT: or s3, s4, s3
; RV32-NEXT: or s4, s7, s5
; RV32-NEXT: not s4, s4
; RV32-NEXT: srli s5, s9, 1
; RV32-NEXT: sll s7, ra, a3
; RV32-NEXT: srl s5, s5, s1
; RV32-NEXT: and t0, t0, s4
; RV32-NEXT: or s4, s7, s5
; RV32-NEXT: sll s5, s0, a3
; RV32-NEXT: srli s6, s6, 1
; RV32-NEXT: srl s6, s6, s1
; RV32-NEXT: not s4, s4
; RV32-NEXT: or s5, s5, s6
; RV32-NEXT: and a7, a7, s4
; RV32-NEXT: or t0, t0, s3
; RV32-NEXT: or a7, a7, s5
; RV32-NEXT: sll s3, s2, a3
; RV32-NEXT: srli s4, ra, 1
; RV32-NEXT: sll s5, t4, a3
; RV32-NEXT: srl s4, s4, s1
; RV32-NEXT: srli s0, s0, 1
; RV32-NEXT: or s4, s5, s4
; RV32-NEXT: srl s0, s0, s1
; RV32-NEXT: not s4, s4
; RV32-NEXT: or s0, s3, s0
; RV32-NEXT: and a6, a6, s4
; RV32-NEXT: or a6, a6, s0
; RV32-NEXT: srli s0, s2, 1
; RV32-NEXT: sll t3, t3, a3
; RV32-NEXT: srl s0, s0, s1
; RV32-NEXT: or t3, t3, s0
; RV32-NEXT: srli t4, t4, 1
; RV32-NEXT: sll a2, a2, a3
; RV32-NEXT: srl t4, t4, s1
; RV32-NEXT: or a2, a2, t4
; RV32-NEXT: sll t4, t5, a3
; RV32-NEXT: not a2, a2
; RV32-NEXT: not t4, t4
; RV32-NEXT: sll a3, t6, a3
; RV32-NEXT: and a4, a4, t4
; RV32-NEXT: and a2, a5, a2
; RV32-NEXT: or a3, a4, a3
; RV32-NEXT: or a2, a2, t3
; RV32-NEXT: sw a3, 0(a0)
; RV32-NEXT: sw t1, 4(a0)
; RV32-NEXT: sw t2, 8(a0)
; RV32-NEXT: sw t0, 12(a0)
; RV32-NEXT: andi a1, a1, 127
; RV32-NEXT: sw a7, 16(a0)
; RV32-NEXT: sw a6, 20(a0)
; RV32-NEXT: sw a2, 24(a0)
; RV32-NEXT: sb a1, 28(a0)
; RV32-NEXT: lw ra, 188(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s0, 184(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s1, 180(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s2, 176(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s3, 172(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s4, 168(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s5, 164(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s6, 160(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s7, 156(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s8, 152(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s9, 148(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s10, 144(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s11, 140(sp) # 4-byte Folded Reload
; RV32-NEXT: .cfi_restore ra
; RV32-NEXT: .cfi_restore s0
; RV32-NEXT: .cfi_restore s1
; RV32-NEXT: .cfi_restore s2
; RV32-NEXT: .cfi_restore s3
; RV32-NEXT: .cfi_restore s4
; RV32-NEXT: .cfi_restore s5
; RV32-NEXT: .cfi_restore s6
; RV32-NEXT: .cfi_restore s7
; RV32-NEXT: .cfi_restore s8
; RV32-NEXT: .cfi_restore s9
; RV32-NEXT: .cfi_restore s10
; RV32-NEXT: .cfi_restore s11
; RV32-NEXT: addi sp, sp, 192
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b231_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -192
; RV32ZBB-NEXT: .cfi_def_cfa_offset 192
; RV32ZBB-NEXT: sw ra, 188(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s0, 184(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s1, 180(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s2, 176(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s3, 172(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s4, 168(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s5, 164(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s6, 160(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s7, 156(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s8, 152(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s9, 148(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s10, 144(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s11, 140(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: .cfi_offset ra, -4
; RV32ZBB-NEXT: .cfi_offset s0, -8
; RV32ZBB-NEXT: .cfi_offset s1, -12
; RV32ZBB-NEXT: .cfi_offset s2, -16
; RV32ZBB-NEXT: .cfi_offset s3, -20
; RV32ZBB-NEXT: .cfi_offset s4, -24
; RV32ZBB-NEXT: .cfi_offset s5, -28
; RV32ZBB-NEXT: .cfi_offset s6, -32
; RV32ZBB-NEXT: .cfi_offset s7, -36
; RV32ZBB-NEXT: .cfi_offset s8, -40
; RV32ZBB-NEXT: .cfi_offset s9, -44
; RV32ZBB-NEXT: .cfi_offset s10, -48
; RV32ZBB-NEXT: .cfi_offset s11, -52
; RV32ZBB-NEXT: lw a4, 0(a1)
; RV32ZBB-NEXT: lw t2, 4(a1)
; RV32ZBB-NEXT: lw t1, 8(a1)
; RV32ZBB-NEXT: lw t0, 12(a1)
; RV32ZBB-NEXT: lw a7, 16(a1)
; RV32ZBB-NEXT: lw a6, 20(a1)
; RV32ZBB-NEXT: lw a5, 24(a1)
; RV32ZBB-NEXT: lw a1, 28(a1)
; RV32ZBB-NEXT: sw zero, 56(sp)
; RV32ZBB-NEXT: sw zero, 60(sp)
; RV32ZBB-NEXT: sw zero, 64(sp)
; RV32ZBB-NEXT: sw zero, 68(sp)
; RV32ZBB-NEXT: sw a2, 40(sp)
; RV32ZBB-NEXT: sw zero, 44(sp)
; RV32ZBB-NEXT: sw zero, 48(sp)
; RV32ZBB-NEXT: sw zero, 52(sp)
; RV32ZBB-NEXT: sw zero, 24(sp)
; RV32ZBB-NEXT: sw zero, 28(sp)
; RV32ZBB-NEXT: sw zero, 32(sp)
; RV32ZBB-NEXT: sw zero, 36(sp)
; RV32ZBB-NEXT: sw zero, 8(sp)
; RV32ZBB-NEXT: sw zero, 12(sp)
; RV32ZBB-NEXT: sw zero, 16(sp)
; RV32ZBB-NEXT: sw zero, 20(sp)
; RV32ZBB-NEXT: sw zero, 120(sp)
; RV32ZBB-NEXT: sw zero, 124(sp)
; RV32ZBB-NEXT: sw zero, 128(sp)
; RV32ZBB-NEXT: sw zero, 132(sp)
; RV32ZBB-NEXT: li a2, -1
; RV32ZBB-NEXT: sw a2, 104(sp)
; RV32ZBB-NEXT: sw zero, 108(sp)
; RV32ZBB-NEXT: sw zero, 112(sp)
; RV32ZBB-NEXT: sw zero, 116(sp)
; RV32ZBB-NEXT: srli a2, a3, 3
; RV32ZBB-NEXT: sw zero, 88(sp)
; RV32ZBB-NEXT: sw zero, 92(sp)
; RV32ZBB-NEXT: sw zero, 96(sp)
; RV32ZBB-NEXT: sw zero, 100(sp)
; RV32ZBB-NEXT: andi t5, a2, 28
; RV32ZBB-NEXT: addi a2, sp, 40
; RV32ZBB-NEXT: sw zero, 72(sp)
; RV32ZBB-NEXT: sw zero, 76(sp)
; RV32ZBB-NEXT: sw zero, 80(sp)
; RV32ZBB-NEXT: sw zero, 84(sp)
; RV32ZBB-NEXT: sub a2, a2, t5
; RV32ZBB-NEXT: lw t3, 16(a2)
; RV32ZBB-NEXT: lw t6, 20(a2)
; RV32ZBB-NEXT: lw t4, 24(a2)
; RV32ZBB-NEXT: lw s2, 28(a2)
; RV32ZBB-NEXT: addi s0, sp, 104
; RV32ZBB-NEXT: andi s1, a3, 31
; RV32ZBB-NEXT: sub s5, s0, t5
; RV32ZBB-NEXT: lw t5, 24(s5)
; RV32ZBB-NEXT: lw s4, 16(s5)
; RV32ZBB-NEXT: lw s0, 20(s5)
; RV32ZBB-NEXT: lw s3, 28(s5)
; RV32ZBB-NEXT: srli s6, t4, 1
; RV32ZBB-NEXT: xori s1, s1, 31
; RV32ZBB-NEXT: sll s2, s2, a3
; RV32ZBB-NEXT: srl s6, s6, s1
; RV32ZBB-NEXT: or s6, s2, s6
; RV32ZBB-NEXT: srli s2, t5, 1
; RV32ZBB-NEXT: sll s3, s3, a3
; RV32ZBB-NEXT: srl s2, s2, s1
; RV32ZBB-NEXT: or s3, s3, s2
; RV32ZBB-NEXT: lw s2, 0(s5)
; RV32ZBB-NEXT: andn a1, a1, s3
; RV32ZBB-NEXT: lw s7, 4(s5)
; RV32ZBB-NEXT: or a1, a1, s6
; RV32ZBB-NEXT: lw s3, 0(a2)
; RV32ZBB-NEXT: lw s6, 4(a2)
; RV32ZBB-NEXT: lw s8, 8(s5)
; RV32ZBB-NEXT: lw s5, 12(s5)
; RV32ZBB-NEXT: srli s9, s2, 1
; RV32ZBB-NEXT: sll s10, s7, a3
; RV32ZBB-NEXT: srl s9, s9, s1
; RV32ZBB-NEXT: lw s11, 8(a2)
; RV32ZBB-NEXT: lw ra, 12(a2)
; RV32ZBB-NEXT: srli a2, s3, 1
; RV32ZBB-NEXT: or s9, s10, s9
; RV32ZBB-NEXT: sll s10, s6, a3
; RV32ZBB-NEXT: srl a2, a2, s1
; RV32ZBB-NEXT: or a2, s10, a2
; RV32ZBB-NEXT: andn t2, t2, s9
; RV32ZBB-NEXT: or a2, t2, a2
; RV32ZBB-NEXT: srli t2, s7, 1
; RV32ZBB-NEXT: sll s7, s8, a3
; RV32ZBB-NEXT: srl t2, t2, s1
; RV32ZBB-NEXT: srli s6, s6, 1
; RV32ZBB-NEXT: or t2, s7, t2
; RV32ZBB-NEXT: sll s7, s11, a3
; RV32ZBB-NEXT: srl s6, s6, s1
; RV32ZBB-NEXT: or s6, s7, s6
; RV32ZBB-NEXT: andn t1, t1, t2
; RV32ZBB-NEXT: or t1, t1, s6
; RV32ZBB-NEXT: srli t2, s8, 1
; RV32ZBB-NEXT: sll s6, s5, a3
; RV32ZBB-NEXT: srl t2, t2, s1
; RV32ZBB-NEXT: srli s7, s11, 1
; RV32ZBB-NEXT: or t2, s6, t2
; RV32ZBB-NEXT: sll s6, ra, a3
; RV32ZBB-NEXT: srl s7, s7, s1
; RV32ZBB-NEXT: or s6, s6, s7
; RV32ZBB-NEXT: andn t0, t0, t2
; RV32ZBB-NEXT: or t0, t0, s6
; RV32ZBB-NEXT: srli t2, s5, 1
; RV32ZBB-NEXT: sll s5, s4, a3
; RV32ZBB-NEXT: srl t2, t2, s1
; RV32ZBB-NEXT: srli s6, ra, 1
; RV32ZBB-NEXT: or t2, s5, t2
; RV32ZBB-NEXT: sll s5, t3, a3
; RV32ZBB-NEXT: srl s6, s6, s1
; RV32ZBB-NEXT: or s5, s5, s6
; RV32ZBB-NEXT: andn a7, a7, t2
; RV32ZBB-NEXT: or a7, a7, s5
; RV32ZBB-NEXT: sll t2, t6, a3
; RV32ZBB-NEXT: srli t3, t3, 1
; RV32ZBB-NEXT: srli s4, s4, 1
; RV32ZBB-NEXT: sll s5, s0, a3
; RV32ZBB-NEXT: srl s4, s4, s1
; RV32ZBB-NEXT: srl t3, t3, s1
; RV32ZBB-NEXT: or s4, s5, s4
; RV32ZBB-NEXT: or t2, t2, t3
; RV32ZBB-NEXT: andn a6, a6, s4
; RV32ZBB-NEXT: or a6, a6, t2
; RV32ZBB-NEXT: srli t2, t6, 1
; RV32ZBB-NEXT: sll t3, t4, a3
; RV32ZBB-NEXT: srl t2, t2, s1
; RV32ZBB-NEXT: or t2, t3, t2
; RV32ZBB-NEXT: srli s0, s0, 1
; RV32ZBB-NEXT: sll t3, t5, a3
; RV32ZBB-NEXT: srl t4, s0, s1
; RV32ZBB-NEXT: or t3, t3, t4
; RV32ZBB-NEXT: sll t4, s2, a3
; RV32ZBB-NEXT: sll a3, s3, a3
; RV32ZBB-NEXT: andn a4, a4, t4
; RV32ZBB-NEXT: andn a5, a5, t3
; RV32ZBB-NEXT: or a3, a4, a3
; RV32ZBB-NEXT: or a4, a5, t2
; RV32ZBB-NEXT: sw a3, 0(a0)
; RV32ZBB-NEXT: sw a2, 4(a0)
; RV32ZBB-NEXT: sw t1, 8(a0)
; RV32ZBB-NEXT: sw t0, 12(a0)
; RV32ZBB-NEXT: andi a1, a1, 127
; RV32ZBB-NEXT: sw a7, 16(a0)
; RV32ZBB-NEXT: sw a6, 20(a0)
; RV32ZBB-NEXT: sw a4, 24(a0)
; RV32ZBB-NEXT: sb a1, 28(a0)
; RV32ZBB-NEXT: lw ra, 188(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s0, 184(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s1, 180(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s2, 176(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s3, 172(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s4, 168(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s5, 164(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s6, 160(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s7, 156(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s8, 152(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s9, 148(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s10, 144(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s11, 140(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: .cfi_restore ra
; RV32ZBB-NEXT: .cfi_restore s0
; RV32ZBB-NEXT: .cfi_restore s1
; RV32ZBB-NEXT: .cfi_restore s2
; RV32ZBB-NEXT: .cfi_restore s3
; RV32ZBB-NEXT: .cfi_restore s4
; RV32ZBB-NEXT: .cfi_restore s5
; RV32ZBB-NEXT: .cfi_restore s6
; RV32ZBB-NEXT: .cfi_restore s7
; RV32ZBB-NEXT: .cfi_restore s8
; RV32ZBB-NEXT: .cfi_restore s9
; RV32ZBB-NEXT: .cfi_restore s10
; RV32ZBB-NEXT: .cfi_restore s11
; RV32ZBB-NEXT: addi sp, sp, 192
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b231_var:
; RV64: # %bb.0:
; RV64-NEXT: addi sp, sp, -160
; RV64-NEXT: .cfi_def_cfa_offset 160
; RV64-NEXT: sd s0, 152(sp) # 8-byte Folded Spill
; RV64-NEXT: sd s1, 144(sp) # 8-byte Folded Spill
; RV64-NEXT: sd s2, 136(sp) # 8-byte Folded Spill
; RV64-NEXT: .cfi_offset s0, -8
; RV64-NEXT: .cfi_offset s1, -16
; RV64-NEXT: .cfi_offset s2, -24
; RV64-NEXT: slli a2, a2, 32
; RV64-NEXT: srli a6, a2, 32
; RV64-NEXT: ld a2, 0(a1)
; RV64-NEXT: ld a5, 8(a1)
; RV64-NEXT: ld a4, 16(a1)
; RV64-NEXT: ld a1, 24(a1)
; RV64-NEXT: sd a6, 96(sp)
; RV64-NEXT: sd zero, 104(sp)
; RV64-NEXT: sd zero, 112(sp)
; RV64-NEXT: sd zero, 120(sp)
; RV64-NEXT: li a6, -1
; RV64-NEXT: srli a6, a6, 32
; RV64-NEXT: sd zero, 64(sp)
; RV64-NEXT: sd zero, 72(sp)
; RV64-NEXT: sd zero, 80(sp)
; RV64-NEXT: sd zero, 88(sp)
; RV64-NEXT: sd a6, 32(sp)
; RV64-NEXT: sd zero, 40(sp)
; RV64-NEXT: sd zero, 48(sp)
; RV64-NEXT: sd zero, 56(sp)
; RV64-NEXT: sd zero, 0(sp)
; RV64-NEXT: sd zero, 8(sp)
; RV64-NEXT: sd zero, 16(sp)
; RV64-NEXT: sd zero, 24(sp)
; RV64-NEXT: srli a6, a3, 3
; RV64-NEXT: andi a6, a6, 24
; RV64-NEXT: addi a7, sp, 32
; RV64-NEXT: addi t0, sp, 96
; RV64-NEXT: sub t1, a7, a6
; RV64-NEXT: sub t0, t0, a6
; RV64-NEXT: ld a7, 0(t1)
; RV64-NEXT: ld t2, 8(t1)
; RV64-NEXT: ld a6, 0(t0)
; RV64-NEXT: ld t3, 8(t0)
; RV64-NEXT: andi t4, a3, 63
; RV64-NEXT: xori t4, t4, 63
; RV64-NEXT: ld t5, 16(t1)
; RV64-NEXT: ld t1, 24(t1)
; RV64-NEXT: srli t6, a7, 1
; RV64-NEXT: sll s0, t2, a3
; RV64-NEXT: srl t6, t6, t4
; RV64-NEXT: ld s1, 16(t0)
; RV64-NEXT: ld t0, 24(t0)
; RV64-NEXT: srli s2, a6, 1
; RV64-NEXT: or t6, s0, t6
; RV64-NEXT: sll s0, t3, a3
; RV64-NEXT: srl s2, s2, t4
; RV64-NEXT: or s0, s0, s2
; RV64-NEXT: not t6, t6
; RV64-NEXT: and a5, a5, t6
; RV64-NEXT: srli t2, t2, 1
; RV64-NEXT: sll t6, t5, a3
; RV64-NEXT: srl t2, t2, t4
; RV64-NEXT: or a5, a5, s0
; RV64-NEXT: or t2, t6, t2
; RV64-NEXT: sll t6, s1, a3
; RV64-NEXT: srli t3, t3, 1
; RV64-NEXT: srl t3, t3, t4
; RV64-NEXT: not t2, t2
; RV64-NEXT: or t3, t6, t3
; RV64-NEXT: and a4, a4, t2
; RV64-NEXT: or a4, a4, t3
; RV64-NEXT: sll t0, t0, a3
; RV64-NEXT: srli s1, s1, 1
; RV64-NEXT: srli t2, t5, 1
; RV64-NEXT: sll t1, t1, a3
; RV64-NEXT: srl t2, t2, t4
; RV64-NEXT: srl t3, s1, t4
; RV64-NEXT: or t1, t1, t2
; RV64-NEXT: or t0, t0, t3
; RV64-NEXT: not t1, t1
; RV64-NEXT: and a1, a1, t1
; RV64-NEXT: sll a7, a7, a3
; RV64-NEXT: or a1, a1, t0
; RV64-NEXT: not a7, a7
; RV64-NEXT: sll a3, a6, a3
; RV64-NEXT: and a2, a2, a7
; RV64-NEXT: or a2, a2, a3
; RV64-NEXT: slli a3, a1, 25
; RV64-NEXT: srli a3, a3, 57
; RV64-NEXT: sd a2, 0(a0)
; RV64-NEXT: sd a5, 8(a0)
; RV64-NEXT: sd a4, 16(a0)
; RV64-NEXT: sw a1, 24(a0)
; RV64-NEXT: sb a3, 28(a0)
; RV64-NEXT: ld s0, 152(sp) # 8-byte Folded Reload
; RV64-NEXT: ld s1, 144(sp) # 8-byte Folded Reload
; RV64-NEXT: ld s2, 136(sp) # 8-byte Folded Reload
; RV64-NEXT: .cfi_restore s0
; RV64-NEXT: .cfi_restore s1
; RV64-NEXT: .cfi_restore s2
; RV64-NEXT: addi sp, sp, 160
; RV64-NEXT: .cfi_def_cfa_offset 0
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b231_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: addi sp, sp, -160
; RV64ZBB-NEXT: .cfi_def_cfa_offset 160
; RV64ZBB-NEXT: sd s0, 152(sp) # 8-byte Folded Spill
; RV64ZBB-NEXT: sd s1, 144(sp) # 8-byte Folded Spill
; RV64ZBB-NEXT: sd s2, 136(sp) # 8-byte Folded Spill
; RV64ZBB-NEXT: .cfi_offset s0, -8
; RV64ZBB-NEXT: .cfi_offset s1, -16
; RV64ZBB-NEXT: .cfi_offset s2, -24
; RV64ZBB-NEXT: slli a2, a2, 32
; RV64ZBB-NEXT: srli a6, a2, 32
; RV64ZBB-NEXT: ld a2, 0(a1)
; RV64ZBB-NEXT: ld a5, 8(a1)
; RV64ZBB-NEXT: ld a4, 16(a1)
; RV64ZBB-NEXT: ld a1, 24(a1)
; RV64ZBB-NEXT: sd a6, 96(sp)
; RV64ZBB-NEXT: sd zero, 104(sp)
; RV64ZBB-NEXT: sd zero, 112(sp)
; RV64ZBB-NEXT: sd zero, 120(sp)
; RV64ZBB-NEXT: li a6, -1
; RV64ZBB-NEXT: srli a6, a6, 32
; RV64ZBB-NEXT: sd zero, 64(sp)
; RV64ZBB-NEXT: sd zero, 72(sp)
; RV64ZBB-NEXT: sd zero, 80(sp)
; RV64ZBB-NEXT: sd zero, 88(sp)
; RV64ZBB-NEXT: sd a6, 32(sp)
; RV64ZBB-NEXT: sd zero, 40(sp)
; RV64ZBB-NEXT: sd zero, 48(sp)
; RV64ZBB-NEXT: sd zero, 56(sp)
; RV64ZBB-NEXT: sd zero, 0(sp)
; RV64ZBB-NEXT: sd zero, 8(sp)
; RV64ZBB-NEXT: sd zero, 16(sp)
; RV64ZBB-NEXT: sd zero, 24(sp)
; RV64ZBB-NEXT: srli a6, a3, 3
; RV64ZBB-NEXT: andi a6, a6, 24
; RV64ZBB-NEXT: addi a7, sp, 32
; RV64ZBB-NEXT: addi t0, sp, 96
; RV64ZBB-NEXT: sub t1, a7, a6
; RV64ZBB-NEXT: sub t0, t0, a6
; RV64ZBB-NEXT: ld a6, 0(t1)
; RV64ZBB-NEXT: ld t2, 8(t1)
; RV64ZBB-NEXT: ld a7, 0(t0)
; RV64ZBB-NEXT: ld t3, 8(t0)
; RV64ZBB-NEXT: andi t4, a3, 63
; RV64ZBB-NEXT: xori t4, t4, 63
; RV64ZBB-NEXT: ld t5, 16(t1)
; RV64ZBB-NEXT: ld t1, 24(t1)
; RV64ZBB-NEXT: srli t6, a6, 1
; RV64ZBB-NEXT: sll s0, t2, a3
; RV64ZBB-NEXT: srl t6, t6, t4
; RV64ZBB-NEXT: ld s1, 16(t0)
; RV64ZBB-NEXT: ld t0, 24(t0)
; RV64ZBB-NEXT: srli s2, a7, 1
; RV64ZBB-NEXT: or t6, s0, t6
; RV64ZBB-NEXT: sll s0, t3, a3
; RV64ZBB-NEXT: srl s2, s2, t4
; RV64ZBB-NEXT: or s0, s0, s2
; RV64ZBB-NEXT: andn a5, a5, t6
; RV64ZBB-NEXT: or a5, a5, s0
; RV64ZBB-NEXT: srli t2, t2, 1
; RV64ZBB-NEXT: sll t6, t5, a3
; RV64ZBB-NEXT: srl t2, t2, t4
; RV64ZBB-NEXT: srli t3, t3, 1
; RV64ZBB-NEXT: or t2, t6, t2
; RV64ZBB-NEXT: sll t6, s1, a3
; RV64ZBB-NEXT: srl t3, t3, t4
; RV64ZBB-NEXT: or t3, t6, t3
; RV64ZBB-NEXT: andn a4, a4, t2
; RV64ZBB-NEXT: or a4, a4, t3
; RV64ZBB-NEXT: sll t0, t0, a3
; RV64ZBB-NEXT: srli s1, s1, 1
; RV64ZBB-NEXT: srli t2, t5, 1
; RV64ZBB-NEXT: sll t1, t1, a3
; RV64ZBB-NEXT: srl t2, t2, t4
; RV64ZBB-NEXT: srl t3, s1, t4
; RV64ZBB-NEXT: or t1, t1, t2
; RV64ZBB-NEXT: or t0, t0, t3
; RV64ZBB-NEXT: andn a1, a1, t1
; RV64ZBB-NEXT: or a1, a1, t0
; RV64ZBB-NEXT: sll a6, a6, a3
; RV64ZBB-NEXT: sll a3, a7, a3
; RV64ZBB-NEXT: andn a2, a2, a6
; RV64ZBB-NEXT: or a2, a2, a3
; RV64ZBB-NEXT: slli a3, a1, 25
; RV64ZBB-NEXT: srli a3, a3, 57
; RV64ZBB-NEXT: sd a2, 0(a0)
; RV64ZBB-NEXT: sd a5, 8(a0)
; RV64ZBB-NEXT: sd a4, 16(a0)
; RV64ZBB-NEXT: sw a1, 24(a0)
; RV64ZBB-NEXT: sb a3, 28(a0)
; RV64ZBB-NEXT: ld s0, 152(sp) # 8-byte Folded Reload
; RV64ZBB-NEXT: ld s1, 144(sp) # 8-byte Folded Reload
; RV64ZBB-NEXT: ld s2, 136(sp) # 8-byte Folded Reload
; RV64ZBB-NEXT: .cfi_restore s0
; RV64ZBB-NEXT: .cfi_restore s1
; RV64ZBB-NEXT: .cfi_restore s2
; RV64ZBB-NEXT: addi sp, sp, 160
; RV64ZBB-NEXT: .cfi_def_cfa_offset 0
; RV64ZBB-NEXT: ret
%result = bitinsert b231 %base, i32 %val, i32 %off
ret b231 %result
}
; different inserted value widths
define b1 @test_bitinsert_b1_var(b1 %base, i1 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_b1_var:
; RV32: # %bb.0:
; RV32-NEXT: mv a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b1_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: mv a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b1_var:
; RV64: # %bb.0:
; RV64-NEXT: mv a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b1_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: mv a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b1 %base, i1 %val, i32 %off
ret b1 %result
}
define b8 @test_bitinsert_b8_var(b8 %base, i4 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_b8_var:
; RV32: # %bb.0:
; RV32-NEXT: li a3, 15
; RV32-NEXT: sll a3, a3, a2
; RV32-NEXT: andi a1, a1, 15
; RV32-NEXT: not a3, a3
; RV32-NEXT: sll a1, a1, a2
; RV32-NEXT: and a0, a0, a3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b8_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: li a3, 15
; RV32ZBB-NEXT: andi a1, a1, 15
; RV32ZBB-NEXT: sll a3, a3, a2
; RV32ZBB-NEXT: sll a1, a1, a2
; RV32ZBB-NEXT: andn a0, a0, a3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b8_var:
; RV64: # %bb.0:
; RV64-NEXT: li a3, 15
; RV64-NEXT: sll a3, a3, a2
; RV64-NEXT: andi a1, a1, 15
; RV64-NEXT: not a3, a3
; RV64-NEXT: sll a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b8_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: li a3, 15
; RV64ZBB-NEXT: andi a1, a1, 15
; RV64ZBB-NEXT: sll a3, a3, a2
; RV64ZBB-NEXT: sll a1, a1, a2
; RV64ZBB-NEXT: andn a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b8 %base, i4 %val, i32 %off
ret b8 %result
}
define b8 @test_bitinsert_b8_const(b8 %base, i4 %val) {
; RV32-LABEL: test_bitinsert_b8_const:
; RV32: # %bb.0:
; RV32-NEXT: andi a1, a1, 15
; RV32-NEXT: andi a0, a0, -121
; RV32-NEXT: slli a1, a1, 3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b8_const:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: andi a1, a1, 15
; RV32ZBB-NEXT: andi a0, a0, -121
; RV32ZBB-NEXT: slli a1, a1, 3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b8_const:
; RV64: # %bb.0:
; RV64-NEXT: andi a1, a1, 15
; RV64-NEXT: andi a0, a0, -121
; RV64-NEXT: slli a1, a1, 3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b8_const:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: andi a1, a1, 15
; RV64ZBB-NEXT: andi a0, a0, -121
; RV64ZBB-NEXT: slli a1, a1, 3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b8 %base, i4 %val, i32 3
ret b8 %result
}
define b21 @test_bitinsert_b21_var(b21 %base, i6 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_b21_var:
; RV32: # %bb.0:
; RV32-NEXT: li a3, 63
; RV32-NEXT: lui a4, 512
; RV32-NEXT: sll a3, a3, a2
; RV32-NEXT: addi a4, a4, -1
; RV32-NEXT: xor a3, a3, a4
; RV32-NEXT: andi a1, a1, 63
; RV32-NEXT: sll a1, a1, a2
; RV32-NEXT: and a0, a0, a3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b21_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: li a3, 63
; RV32ZBB-NEXT: sll a3, a3, a2
; RV32ZBB-NEXT: lui a4, 1048064
; RV32ZBB-NEXT: xnor a3, a3, a4
; RV32ZBB-NEXT: andi a1, a1, 63
; RV32ZBB-NEXT: sll a1, a1, a2
; RV32ZBB-NEXT: and a0, a0, a3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b21_var:
; RV64: # %bb.0:
; RV64-NEXT: li a3, 63
; RV64-NEXT: lui a4, 512
; RV64-NEXT: sll a3, a3, a2
; RV64-NEXT: addi a4, a4, -1
; RV64-NEXT: xor a3, a3, a4
; RV64-NEXT: andi a1, a1, 63
; RV64-NEXT: sll a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b21_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: li a3, 63
; RV64ZBB-NEXT: sll a3, a3, a2
; RV64ZBB-NEXT: lui a4, 1048064
; RV64ZBB-NEXT: xnor a3, a3, a4
; RV64ZBB-NEXT: andi a1, a1, 63
; RV64ZBB-NEXT: sll a1, a1, a2
; RV64ZBB-NEXT: and a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b21 %base, i6 %val, i32 %off
ret b21 %result
}
define b21 @test_bitinsert_b21_const(b21 %base, i6 %val) {
; RV32-LABEL: test_bitinsert_b21_const:
; RV32: # %bb.0:
; RV32-NEXT: lui a2, 260
; RV32-NEXT: addi a2, a2, -1
; RV32-NEXT: andi a1, a1, 63
; RV32-NEXT: and a0, a0, a2
; RV32-NEXT: slli a1, a1, 14
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b21_const:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lui a2, 1048316
; RV32ZBB-NEXT: andi a1, a1, 63
; RV32ZBB-NEXT: andn a0, a0, a2
; RV32ZBB-NEXT: slli a1, a1, 14
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b21_const:
; RV64: # %bb.0:
; RV64-NEXT: lui a2, 260
; RV64-NEXT: addi a2, a2, -1
; RV64-NEXT: andi a1, a1, 63
; RV64-NEXT: and a0, a0, a2
; RV64-NEXT: slli a1, a1, 14
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b21_const:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: lui a2, 1048316
; RV64ZBB-NEXT: andi a1, a1, 63
; RV64ZBB-NEXT: andn a0, a0, a2
; RV64ZBB-NEXT: slli a1, a1, 14
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b21 %base, i6 %val, i32 14
ret b21 %result
}
define b123 @test_bitinsert_b123_var(b123 %base, i32 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_b123_var:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -80
; RV32-NEXT: .cfi_def_cfa_offset 80
; RV32-NEXT: sw s0, 76(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s1, 72(sp) # 4-byte Folded Spill
; RV32-NEXT: .cfi_offset s0, -4
; RV32-NEXT: .cfi_offset s1, -8
; RV32-NEXT: lw a4, 0(a1)
; RV32-NEXT: lw a6, 4(a1)
; RV32-NEXT: lw a5, 8(a1)
; RV32-NEXT: lw a1, 12(a1)
; RV32-NEXT: sw a2, 24(sp)
; RV32-NEXT: sw zero, 28(sp)
; RV32-NEXT: sw zero, 32(sp)
; RV32-NEXT: sw zero, 36(sp)
; RV32-NEXT: sw zero, 8(sp)
; RV32-NEXT: sw zero, 12(sp)
; RV32-NEXT: sw zero, 16(sp)
; RV32-NEXT: sw zero, 20(sp)
; RV32-NEXT: li a2, -1
; RV32-NEXT: sw a2, 56(sp)
; RV32-NEXT: sw zero, 60(sp)
; RV32-NEXT: sw zero, 64(sp)
; RV32-NEXT: sw zero, 68(sp)
; RV32-NEXT: srli a2, a3, 3
; RV32-NEXT: sw zero, 40(sp)
; RV32-NEXT: sw zero, 44(sp)
; RV32-NEXT: sw zero, 48(sp)
; RV32-NEXT: sw zero, 52(sp)
; RV32-NEXT: andi a2, a2, 12
; RV32-NEXT: addi a7, sp, 24
; RV32-NEXT: addi t0, sp, 56
; RV32-NEXT: sub a7, a7, a2
; RV32-NEXT: sub a2, t0, a2
; RV32-NEXT: lw t0, 8(a2)
; RV32-NEXT: lw t1, 12(a7)
; RV32-NEXT: lw t2, 8(a7)
; RV32-NEXT: lw t3, 4(a7)
; RV32-NEXT: lw a7, 0(a7)
; RV32-NEXT: lw t4, 12(a2)
; RV32-NEXT: lw t5, 4(a2)
; RV32-NEXT: lw a2, 0(a2)
; RV32-NEXT: sll t1, t1, a3
; RV32-NEXT: andi t6, a3, 31
; RV32-NEXT: xori t6, t6, 31
; RV32-NEXT: srli s0, t0, 1
; RV32-NEXT: sll t4, t4, a3
; RV32-NEXT: srl s0, s0, t6
; RV32-NEXT: srli s1, t2, 1
; RV32-NEXT: or t4, t4, s0
; RV32-NEXT: srl s0, s1, t6
; RV32-NEXT: not t4, t4
; RV32-NEXT: or t1, t1, s0
; RV32-NEXT: and a1, a1, t4
; RV32-NEXT: sll t4, t3, a3
; RV32-NEXT: srli s0, a2, 1
; RV32-NEXT: sll s1, t5, a3
; RV32-NEXT: srl s0, s0, t6
; RV32-NEXT: or s0, s1, s0
; RV32-NEXT: srli s1, a7, 1
; RV32-NEXT: srl s1, s1, t6
; RV32-NEXT: not s0, s0
; RV32-NEXT: or t4, t4, s1
; RV32-NEXT: and a6, a6, s0
; RV32-NEXT: or a1, a1, t1
; RV32-NEXT: or a6, a6, t4
; RV32-NEXT: sll t1, t2, a3
; RV32-NEXT: srli t2, t5, 1
; RV32-NEXT: sll t0, t0, a3
; RV32-NEXT: srl t2, t2, t6
; RV32-NEXT: srli t3, t3, 1
; RV32-NEXT: or t0, t0, t2
; RV32-NEXT: srl t2, t3, t6
; RV32-NEXT: not t0, t0
; RV32-NEXT: or t1, t1, t2
; RV32-NEXT: and a5, a5, t0
; RV32-NEXT: or a5, a5, t1
; RV32-NEXT: sll a2, a2, a3
; RV32-NEXT: sll a3, a7, a3
; RV32-NEXT: not a2, a2
; RV32-NEXT: and a2, a4, a2
; RV32-NEXT: slli a1, a1, 5
; RV32-NEXT: or a2, a2, a3
; RV32-NEXT: srli a1, a1, 5
; RV32-NEXT: sw a2, 0(a0)
; RV32-NEXT: sw a6, 4(a0)
; RV32-NEXT: sw a5, 8(a0)
; RV32-NEXT: sw a1, 12(a0)
; RV32-NEXT: lw s0, 76(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s1, 72(sp) # 4-byte Folded Reload
; RV32-NEXT: .cfi_restore s0
; RV32-NEXT: .cfi_restore s1
; RV32-NEXT: addi sp, sp, 80
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b123_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -80
; RV32ZBB-NEXT: .cfi_def_cfa_offset 80
; RV32ZBB-NEXT: sw s0, 76(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s1, 72(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: .cfi_offset s0, -4
; RV32ZBB-NEXT: .cfi_offset s1, -8
; RV32ZBB-NEXT: lw a4, 0(a1)
; RV32ZBB-NEXT: lw a6, 4(a1)
; RV32ZBB-NEXT: lw a5, 8(a1)
; RV32ZBB-NEXT: lw a1, 12(a1)
; RV32ZBB-NEXT: sw a2, 24(sp)
; RV32ZBB-NEXT: sw zero, 28(sp)
; RV32ZBB-NEXT: sw zero, 32(sp)
; RV32ZBB-NEXT: sw zero, 36(sp)
; RV32ZBB-NEXT: li a2, -1
; RV32ZBB-NEXT: sw zero, 8(sp)
; RV32ZBB-NEXT: sw zero, 12(sp)
; RV32ZBB-NEXT: sw zero, 16(sp)
; RV32ZBB-NEXT: sw zero, 20(sp)
; RV32ZBB-NEXT: sw a2, 56(sp)
; RV32ZBB-NEXT: sw zero, 60(sp)
; RV32ZBB-NEXT: sw zero, 64(sp)
; RV32ZBB-NEXT: sw zero, 68(sp)
; RV32ZBB-NEXT: sw zero, 40(sp)
; RV32ZBB-NEXT: sw zero, 44(sp)
; RV32ZBB-NEXT: sw zero, 48(sp)
; RV32ZBB-NEXT: sw zero, 52(sp)
; RV32ZBB-NEXT: srli a2, a3, 3
; RV32ZBB-NEXT: andi a2, a2, 12
; RV32ZBB-NEXT: addi a7, sp, 24
; RV32ZBB-NEXT: sub a7, a7, a2
; RV32ZBB-NEXT: addi t0, sp, 56
; RV32ZBB-NEXT: sub a2, t0, a2
; RV32ZBB-NEXT: lw t0, 12(a7)
; RV32ZBB-NEXT: lw t1, 8(a7)
; RV32ZBB-NEXT: lw t2, 4(a7)
; RV32ZBB-NEXT: lw a7, 0(a7)
; RV32ZBB-NEXT: lw t3, 8(a2)
; RV32ZBB-NEXT: lw t4, 4(a2)
; RV32ZBB-NEXT: lw t5, 12(a2)
; RV32ZBB-NEXT: lw a2, 0(a2)
; RV32ZBB-NEXT: sll t0, t0, a3
; RV32ZBB-NEXT: srli t6, t1, 1
; RV32ZBB-NEXT: andi s0, a3, 31
; RV32ZBB-NEXT: xori s0, s0, 31
; RV32ZBB-NEXT: srli s1, t3, 1
; RV32ZBB-NEXT: sll t5, t5, a3
; RV32ZBB-NEXT: srl s1, s1, s0
; RV32ZBB-NEXT: srl t6, t6, s0
; RV32ZBB-NEXT: or t5, t5, s1
; RV32ZBB-NEXT: or t0, t0, t6
; RV32ZBB-NEXT: andn a1, a1, t5
; RV32ZBB-NEXT: or a1, a1, t0
; RV32ZBB-NEXT: sll t0, t2, a3
; RV32ZBB-NEXT: srli t5, a7, 1
; RV32ZBB-NEXT: srl t5, t5, s0
; RV32ZBB-NEXT: srli t6, a2, 1
; RV32ZBB-NEXT: sll s1, t4, a3
; RV32ZBB-NEXT: srl t6, t6, s0
; RV32ZBB-NEXT: or t0, t0, t5
; RV32ZBB-NEXT: or t5, s1, t6
; RV32ZBB-NEXT: andn a6, a6, t5
; RV32ZBB-NEXT: sll t1, t1, a3
; RV32ZBB-NEXT: srli t2, t2, 1
; RV32ZBB-NEXT: srli t4, t4, 1
; RV32ZBB-NEXT: sll t3, t3, a3
; RV32ZBB-NEXT: srl t4, t4, s0
; RV32ZBB-NEXT: srl t2, t2, s0
; RV32ZBB-NEXT: or t3, t3, t4
; RV32ZBB-NEXT: or t1, t1, t2
; RV32ZBB-NEXT: andn a5, a5, t3
; RV32ZBB-NEXT: or a6, a6, t0
; RV32ZBB-NEXT: or a5, a5, t1
; RV32ZBB-NEXT: sll a7, a7, a3
; RV32ZBB-NEXT: sll a2, a2, a3
; RV32ZBB-NEXT: andn a2, a4, a2
; RV32ZBB-NEXT: slli a1, a1, 5
; RV32ZBB-NEXT: or a2, a2, a7
; RV32ZBB-NEXT: srli a1, a1, 5
; RV32ZBB-NEXT: sw a2, 0(a0)
; RV32ZBB-NEXT: sw a6, 4(a0)
; RV32ZBB-NEXT: sw a5, 8(a0)
; RV32ZBB-NEXT: sw a1, 12(a0)
; RV32ZBB-NEXT: lw s0, 76(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s1, 72(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: .cfi_restore s0
; RV32ZBB-NEXT: .cfi_restore s1
; RV32ZBB-NEXT: addi sp, sp, 80
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b123_var:
; RV64: # %bb.0:
; RV64-NEXT: slli a4, a3, 32
; RV64-NEXT: srli t0, a4, 32
; RV64-NEXT: slli a4, a2, 32
; RV64-NEXT: addi a5, t0, -64
; RV64-NEXT: li a7, -1
; RV64-NEXT: srli a4, a4, 32
; RV64-NEXT: srli a6, a7, 32
; RV64-NEXT: bltz a5, .LBB20_2
; RV64-NEXT: # %bb.1:
; RV64-NEXT: sll a2, a4, t0
; RV64-NEXT: sll t0, a6, t0
; RV64-NEXT: j .LBB20_3
; RV64-NEXT: .LBB20_2:
; RV64-NEXT: srliw a2, a2, 1
; RV64-NEXT: lui t1, 524288
; RV64-NEXT: not t0, t0
; RV64-NEXT: addiw t1, t1, -1
; RV64-NEXT: srl a2, a2, t0
; RV64-NEXT: srl t0, t1, t0
; RV64-NEXT: .LBB20_3:
; RV64-NEXT: srli a7, a7, 5
; RV64-NEXT: srai a5, a5, 63
; RV64-NEXT: sll a6, a6, a3
; RV64-NEXT: xor a7, t0, a7
; RV64-NEXT: and a6, a5, a6
; RV64-NEXT: and a1, a1, a7
; RV64-NEXT: sll a3, a4, a3
; RV64-NEXT: not a4, a6
; RV64-NEXT: and a3, a5, a3
; RV64-NEXT: and a0, a0, a4
; RV64-NEXT: or a1, a1, a2
; RV64-NEXT: or a0, a0, a3
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b123_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a4, a3, 32
; RV64ZBB-NEXT: srli t0, a4, 32
; RV64ZBB-NEXT: slli a5, a2, 32
; RV64ZBB-NEXT: addi a4, t0, -64
; RV64ZBB-NEXT: li a7, -1
; RV64ZBB-NEXT: srli a6, a5, 32
; RV64ZBB-NEXT: srli a5, a7, 32
; RV64ZBB-NEXT: bltz a4, .LBB20_2
; RV64ZBB-NEXT: # %bb.1:
; RV64ZBB-NEXT: sll a2, a6, t0
; RV64ZBB-NEXT: sll t0, a5, t0
; RV64ZBB-NEXT: j .LBB20_3
; RV64ZBB-NEXT: .LBB20_2:
; RV64ZBB-NEXT: srliw a2, a2, 1
; RV64ZBB-NEXT: lui t1, 524288
; RV64ZBB-NEXT: not t0, t0
; RV64ZBB-NEXT: addiw t1, t1, -1
; RV64ZBB-NEXT: srl a2, a2, t0
; RV64ZBB-NEXT: srl t0, t1, t0
; RV64ZBB-NEXT: .LBB20_3:
; RV64ZBB-NEXT: srli a7, a7, 5
; RV64ZBB-NEXT: sll a6, a6, a3
; RV64ZBB-NEXT: srai a4, a4, 63
; RV64ZBB-NEXT: xor a7, t0, a7
; RV64ZBB-NEXT: sll a3, a5, a3
; RV64ZBB-NEXT: and a1, a1, a7
; RV64ZBB-NEXT: and a3, a4, a3
; RV64ZBB-NEXT: and a4, a4, a6
; RV64ZBB-NEXT: andn a0, a0, a3
; RV64ZBB-NEXT: or a1, a1, a2
; RV64ZBB-NEXT: or a0, a0, a4
; RV64ZBB-NEXT: ret
%result = bitinsert b123 %base, i32 %val, i32 %off
ret b123 %result
}
define b123 @test_bitinsert_b123_crossword(b123 %base, i32 %val) {
; RV32-LABEL: test_bitinsert_b123_crossword:
; RV32: # %bb.0:
; RV32-NEXT: lw a3, 8(a1)
; RV32-NEXT: lw a4, 4(a1)
; RV32-NEXT: lui a5, 983040
; RV32-NEXT: lw a6, 12(a1)
; RV32-NEXT: lw a1, 0(a1)
; RV32-NEXT: and a3, a3, a5
; RV32-NEXT: slli a5, a2, 28
; RV32-NEXT: slli a4, a4, 4
; RV32-NEXT: srli a2, a2, 4
; RV32-NEXT: srli a4, a4, 4
; RV32-NEXT: or a2, a3, a2
; RV32-NEXT: slli a6, a6, 5
; RV32-NEXT: or a4, a4, a5
; RV32-NEXT: srli a3, a6, 5
; RV32-NEXT: sw a1, 0(a0)
; RV32-NEXT: sw a4, 4(a0)
; RV32-NEXT: sw a2, 8(a0)
; RV32-NEXT: sw a3, 12(a0)
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_b123_crossword:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lw a3, 8(a1)
; RV32ZBB-NEXT: lw a4, 4(a1)
; RV32ZBB-NEXT: lui a5, 983040
; RV32ZBB-NEXT: lw a6, 12(a1)
; RV32ZBB-NEXT: lw a1, 0(a1)
; RV32ZBB-NEXT: and a3, a3, a5
; RV32ZBB-NEXT: slli a5, a2, 28
; RV32ZBB-NEXT: slli a4, a4, 4
; RV32ZBB-NEXT: srli a2, a2, 4
; RV32ZBB-NEXT: srli a4, a4, 4
; RV32ZBB-NEXT: or a2, a3, a2
; RV32ZBB-NEXT: slli a6, a6, 5
; RV32ZBB-NEXT: or a4, a4, a5
; RV32ZBB-NEXT: srli a3, a6, 5
; RV32ZBB-NEXT: sw a1, 0(a0)
; RV32ZBB-NEXT: sw a4, 4(a0)
; RV32ZBB-NEXT: sw a2, 8(a0)
; RV32ZBB-NEXT: sw a3, 12(a0)
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_b123_crossword:
; RV64: # %bb.0:
; RV64-NEXT: lui a3, 524288
; RV64-NEXT: addiw a3, a3, -1
; RV64-NEXT: slli a3, a3, 28
; RV64-NEXT: and a1, a1, a3
; RV64-NEXT: slli a3, a2, 60
; RV64-NEXT: slli a0, a0, 4
; RV64-NEXT: srli a0, a0, 4
; RV64-NEXT: srliw a2, a2, 4
; RV64-NEXT: or a0, a0, a3
; RV64-NEXT: or a1, a1, a2
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_b123_crossword:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: lui a3, 524288
; RV64ZBB-NEXT: addiw a3, a3, -1
; RV64ZBB-NEXT: slli a3, a3, 28
; RV64ZBB-NEXT: and a1, a1, a3
; RV64ZBB-NEXT: slli a3, a2, 60
; RV64ZBB-NEXT: slli a0, a0, 4
; RV64ZBB-NEXT: srli a0, a0, 4
; RV64ZBB-NEXT: srliw a2, a2, 4
; RV64ZBB-NEXT: or a0, a0, a3
; RV64ZBB-NEXT: or a1, a1, a2
; RV64ZBB-NEXT: ret
%result = bitinsert b123 %base, i32 %val, i32 60
ret b123 %result
}
define b123 @test_bitinsert_val_b123_full(b123 %base, b123 %val) {
; RV32-LABEL: test_bitinsert_val_b123_full:
; RV32: # %bb.0:
; RV32-NEXT: lw a1, 12(a2)
; RV32-NEXT: lw a3, 0(a2)
; RV32-NEXT: lw a4, 4(a2)
; RV32-NEXT: lw a2, 8(a2)
; RV32-NEXT: slli a1, a1, 5
; RV32-NEXT: srli a1, a1, 5
; RV32-NEXT: sw a3, 0(a0)
; RV32-NEXT: sw a4, 4(a0)
; RV32-NEXT: sw a2, 8(a0)
; RV32-NEXT: sw a1, 12(a0)
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b123_full:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lw a1, 12(a2)
; RV32ZBB-NEXT: lw a3, 0(a2)
; RV32ZBB-NEXT: lw a4, 4(a2)
; RV32ZBB-NEXT: lw a2, 8(a2)
; RV32ZBB-NEXT: slli a1, a1, 5
; RV32ZBB-NEXT: srli a1, a1, 5
; RV32ZBB-NEXT: sw a3, 0(a0)
; RV32ZBB-NEXT: sw a4, 4(a0)
; RV32ZBB-NEXT: sw a2, 8(a0)
; RV32ZBB-NEXT: sw a1, 12(a0)
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b123_full:
; RV64: # %bb.0:
; RV64-NEXT: mv a1, a3
; RV64-NEXT: mv a0, a2
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b123_full:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: mv a1, a3
; RV64ZBB-NEXT: mv a0, a2
; RV64ZBB-NEXT: ret
%result = bitinsert b123 %base, b123 %val, i32 0
ret b123 %result
}
define b8 @test_bitinsert_val_b8_full(b8 %base, b8 %val) {
; container == value width: full overwrite
; RV32-LABEL: test_bitinsert_val_b8_full:
; RV32: # %bb.0:
; RV32-NEXT: mv a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b8_full:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: mv a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b8_full:
; RV64: # %bb.0:
; RV64-NEXT: mv a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b8_full:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: mv a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b8 %base, b8 %val, i32 0
ret b8 %result
}
define b32 @test_bitinsert_val_b8_into_b32_var(b32 %base, b8 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_val_b8_into_b32_var:
; RV32: # %bb.0:
; RV32-NEXT: li a3, 255
; RV32-NEXT: sll a3, a3, a2
; RV32-NEXT: zext.b a1, a1
; RV32-NEXT: not a3, a3
; RV32-NEXT: sll a1, a1, a2
; RV32-NEXT: and a0, a0, a3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b8_into_b32_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: li a3, 255
; RV32ZBB-NEXT: zext.b a1, a1
; RV32ZBB-NEXT: sll a3, a3, a2
; RV32ZBB-NEXT: sll a1, a1, a2
; RV32ZBB-NEXT: andn a0, a0, a3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b8_into_b32_var:
; RV64: # %bb.0:
; RV64-NEXT: li a3, 255
; RV64-NEXT: sllw a3, a3, a2
; RV64-NEXT: zext.b a1, a1
; RV64-NEXT: not a3, a3
; RV64-NEXT: sllw a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b8_into_b32_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: li a3, 255
; RV64ZBB-NEXT: zext.b a1, a1
; RV64ZBB-NEXT: sllw a3, a3, a2
; RV64ZBB-NEXT: sllw a1, a1, a2
; RV64ZBB-NEXT: andn a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b32 %base, b8 %val, i32 %off
ret b32 %result
}
define b32 @test_bitinsert_val_b8_into_b32_const_mid(b32 %base, b8 %val) {
; RV32-LABEL: test_bitinsert_val_b8_into_b32_const_mid:
; RV32: # %bb.0:
; RV32-NEXT: lui a2, 1048321
; RV32-NEXT: addi a2, a2, -1
; RV32-NEXT: zext.b a1, a1
; RV32-NEXT: and a0, a0, a2
; RV32-NEXT: slli a1, a1, 12
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b8_into_b32_const_mid:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lui a2, 255
; RV32ZBB-NEXT: zext.b a1, a1
; RV32ZBB-NEXT: andn a0, a0, a2
; RV32ZBB-NEXT: slli a1, a1, 12
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b8_into_b32_const_mid:
; RV64: # %bb.0:
; RV64-NEXT: lui a2, 1048321
; RV64-NEXT: addi a2, a2, -1
; RV64-NEXT: zext.b a1, a1
; RV64-NEXT: and a0, a0, a2
; RV64-NEXT: slli a1, a1, 12
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b8_into_b32_const_mid:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: lui a2, 255
; RV64ZBB-NEXT: zext.b a1, a1
; RV64ZBB-NEXT: andn a0, a0, a2
; RV64ZBB-NEXT: slli a1, a1, 12
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b32 %base, b8 %val, i32 12
ret b32 %result
}
define b64 @test_bitinsert_val_b8_into_b64_const_top(b64 %base, b8 %val) {
; RV32-LABEL: test_bitinsert_val_b8_into_b64_const_top:
; RV32: # %bb.0:
; RV32-NEXT: slli a1, a1, 8
; RV32-NEXT: slli a2, a2, 24
; RV32-NEXT: srli a1, a1, 8
; RV32-NEXT: or a1, a1, a2
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b8_into_b64_const_top:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: slli a1, a1, 8
; RV32ZBB-NEXT: slli a2, a2, 24
; RV32ZBB-NEXT: srli a1, a1, 8
; RV32ZBB-NEXT: or a1, a1, a2
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b8_into_b64_const_top:
; RV64: # %bb.0:
; RV64-NEXT: slli a0, a0, 8
; RV64-NEXT: slli a1, a1, 56
; RV64-NEXT: srli a0, a0, 8
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b8_into_b64_const_top:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a0, a0, 8
; RV64ZBB-NEXT: slli a1, a1, 56
; RV64ZBB-NEXT: srli a0, a0, 8
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b64 %base, b8 %val, i32 56
ret b64 %result
}
define b8 @test_bitinsert_val_b1_into_b8(b8 %base, b1 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_val_b1_into_b8:
; RV32: # %bb.0:
; RV32-NEXT: li a3, 1
; RV32-NEXT: sll a3, a3, a2
; RV32-NEXT: andi a1, a1, 1
; RV32-NEXT: not a3, a3
; RV32-NEXT: sll a1, a1, a2
; RV32-NEXT: and a0, a0, a3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b1_into_b8:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: li a3, -2
; RV32ZBB-NEXT: andi a1, a1, 1
; RV32ZBB-NEXT: rol a3, a3, a2
; RV32ZBB-NEXT: sll a1, a1, a2
; RV32ZBB-NEXT: and a0, a0, a3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b1_into_b8:
; RV64: # %bb.0:
; RV64-NEXT: li a3, 1
; RV64-NEXT: sll a3, a3, a2
; RV64-NEXT: andi a1, a1, 1
; RV64-NEXT: not a3, a3
; RV64-NEXT: sll a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b1_into_b8:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: li a3, -2
; RV64ZBB-NEXT: andi a1, a1, 1
; RV64ZBB-NEXT: rol a3, a3, a2
; RV64ZBB-NEXT: sll a1, a1, a2
; RV64ZBB-NEXT: and a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b8 %base, b1 %val, i32 %off
ret b8 %result
}
define b32 @test_bitinsert_val_b1_into_b32_const_top(b32 %base, b1 %val) {
; RV32-LABEL: test_bitinsert_val_b1_into_b32_const_top:
; RV32: # %bb.0:
; RV32-NEXT: slli a0, a0, 1
; RV32-NEXT: slli a1, a1, 31
; RV32-NEXT: srli a0, a0, 1
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b1_into_b32_const_top:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: slli a0, a0, 1
; RV32ZBB-NEXT: slli a1, a1, 31
; RV32ZBB-NEXT: srli a0, a0, 1
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b1_into_b32_const_top:
; RV64: # %bb.0:
; RV64-NEXT: slli a0, a0, 33
; RV64-NEXT: slliw a1, a1, 31
; RV64-NEXT: srli a0, a0, 33
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b1_into_b32_const_top:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a0, a0, 33
; RV64ZBB-NEXT: slliw a1, a1, 31
; RV64ZBB-NEXT: srli a0, a0, 33
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b32 %base, b1 %val, i32 31
ret b32 %result
}
define b21 @test_bitinsert_val_b21_full(b21 %base, b21 %val) {
; RV32-LABEL: test_bitinsert_val_b21_full:
; RV32: # %bb.0:
; RV32-NEXT: mv a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b21_full:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: mv a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b21_full:
; RV64: # %bb.0:
; RV64-NEXT: mv a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b21_full:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: mv a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b21 %base, b21 %val, i32 0
ret b21 %result
}
define b32 @test_bitinsert_val_b21_into_b32_var(b32 %base, b21 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_val_b21_into_b32_var:
; RV32: # %bb.0:
; RV32-NEXT: lui a3, 512
; RV32-NEXT: addi a3, a3, -1
; RV32-NEXT: sll a4, a3, a2
; RV32-NEXT: and a1, a1, a3
; RV32-NEXT: not a3, a4
; RV32-NEXT: sll a1, a1, a2
; RV32-NEXT: and a0, a0, a3
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b21_into_b32_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lui a3, 512
; RV32ZBB-NEXT: addi a3, a3, -1
; RV32ZBB-NEXT: and a1, a1, a3
; RV32ZBB-NEXT: sll a3, a3, a2
; RV32ZBB-NEXT: sll a1, a1, a2
; RV32ZBB-NEXT: andn a0, a0, a3
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b21_into_b32_var:
; RV64: # %bb.0:
; RV64-NEXT: lui a3, 512
; RV64-NEXT: addi a3, a3, -1
; RV64-NEXT: sllw a4, a3, a2
; RV64-NEXT: and a1, a1, a3
; RV64-NEXT: not a3, a4
; RV64-NEXT: sllw a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b21_into_b32_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: lui a3, 512
; RV64ZBB-NEXT: addi a3, a3, -1
; RV64ZBB-NEXT: and a1, a1, a3
; RV64ZBB-NEXT: sllw a3, a3, a2
; RV64ZBB-NEXT: sllw a1, a1, a2
; RV64ZBB-NEXT: andn a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b32 %base, b21 %val, i32 %off
ret b32 %result
}
define b32 @test_bitinsert_val_b21_into_b32_const_top(b32 %base, b21 %val) {
; RV32-LABEL: test_bitinsert_val_b21_into_b32_const_top:
; RV32: # %bb.0:
; RV32-NEXT: slli a1, a1, 11
; RV32-NEXT: andi a0, a0, 2047
; RV32-NEXT: or a0, a0, a1
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b21_into_b32_const_top:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: slli a1, a1, 11
; RV32ZBB-NEXT: andi a0, a0, 2047
; RV32ZBB-NEXT: or a0, a0, a1
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b21_into_b32_const_top:
; RV64: # %bb.0:
; RV64-NEXT: slliw a1, a1, 11
; RV64-NEXT: andi a0, a0, 2047
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b21_into_b32_const_top:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slliw a1, a1, 11
; RV64ZBB-NEXT: andi a0, a0, 2047
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b32 %base, b21 %val, i32 11
ret b32 %result
}
define b64 @test_bitinsert_val_b21_into_b64_var(b64 %base, b21 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_val_b21_into_b64_var:
; RV32: # %bb.0:
; RV32-NEXT: lui a4, 512
; RV32-NEXT: addi a4, a4, -1
; RV32-NEXT: and a6, a2, a4
; RV32-NEXT: addi a5, a3, -32
; RV32-NEXT: sll a2, a6, a3
; RV32-NEXT: sll a4, a4, a3
; RV32-NEXT: bltz a5, .LBB32_2
; RV32-NEXT: # %bb.1:
; RV32-NEXT: mv a3, a2
; RV32-NEXT: mv a6, a4
; RV32-NEXT: j .LBB32_3
; RV32-NEXT: .LBB32_2:
; RV32-NEXT: srli a6, a6, 1
; RV32-NEXT: lui a7, 256
; RV32-NEXT: not t0, a3
; RV32-NEXT: addi a7, a7, -1
; RV32-NEXT: srl a3, a6, t0
; RV32-NEXT: srl a6, a7, t0
; RV32-NEXT: .LBB32_3:
; RV32-NEXT: srai a5, a5, 31
; RV32-NEXT: not a6, a6
; RV32-NEXT: and a4, a5, a4
; RV32-NEXT: and a1, a1, a6
; RV32-NEXT: not a4, a4
; RV32-NEXT: and a2, a5, a2
; RV32-NEXT: and a0, a0, a4
; RV32-NEXT: or a1, a1, a3
; RV32-NEXT: or a0, a0, a2
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b21_into_b64_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lui a4, 512
; RV32ZBB-NEXT: addi a4, a4, -1
; RV32ZBB-NEXT: and a6, a2, a4
; RV32ZBB-NEXT: addi a5, a3, -32
; RV32ZBB-NEXT: sll a2, a6, a3
; RV32ZBB-NEXT: sll a4, a4, a3
; RV32ZBB-NEXT: bltz a5, .LBB32_2
; RV32ZBB-NEXT: # %bb.1:
; RV32ZBB-NEXT: mv a3, a2
; RV32ZBB-NEXT: mv a6, a4
; RV32ZBB-NEXT: j .LBB32_3
; RV32ZBB-NEXT: .LBB32_2:
; RV32ZBB-NEXT: srli a6, a6, 1
; RV32ZBB-NEXT: lui a7, 256
; RV32ZBB-NEXT: not t0, a3
; RV32ZBB-NEXT: addi a7, a7, -1
; RV32ZBB-NEXT: srl a3, a6, t0
; RV32ZBB-NEXT: srl a6, a7, t0
; RV32ZBB-NEXT: .LBB32_3:
; RV32ZBB-NEXT: srai a5, a5, 31
; RV32ZBB-NEXT: andn a1, a1, a6
; RV32ZBB-NEXT: and a4, a5, a4
; RV32ZBB-NEXT: and a2, a5, a2
; RV32ZBB-NEXT: andn a0, a0, a4
; RV32ZBB-NEXT: or a1, a1, a3
; RV32ZBB-NEXT: or a0, a0, a2
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b21_into_b64_var:
; RV64: # %bb.0:
; RV64-NEXT: lui a3, 512
; RV64-NEXT: addi a3, a3, -1
; RV64-NEXT: sll a4, a3, a2
; RV64-NEXT: and a1, a1, a3
; RV64-NEXT: not a3, a4
; RV64-NEXT: sll a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b21_into_b64_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: lui a3, 512
; RV64ZBB-NEXT: addi a3, a3, -1
; RV64ZBB-NEXT: and a1, a1, a3
; RV64ZBB-NEXT: sll a3, a3, a2
; RV64ZBB-NEXT: sll a1, a1, a2
; RV64ZBB-NEXT: andn a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b64 %base, b21 %val, i32 %off
ret b64 %result
}
define b128 @test_bitinsert_val_b123_into_b128_var(b128 %base, b123 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_val_b123_into_b128_var:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -80
; RV32-NEXT: .cfi_def_cfa_offset 80
; RV32-NEXT: sw s0, 76(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s1, 72(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s2, 68(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s3, 64(sp) # 4-byte Folded Spill
; RV32-NEXT: .cfi_offset s0, -4
; RV32-NEXT: .cfi_offset s1, -8
; RV32-NEXT: .cfi_offset s2, -12
; RV32-NEXT: .cfi_offset s3, -16
; RV32-NEXT: lw a4, 0(a1)
; RV32-NEXT: lw a6, 4(a1)
; RV32-NEXT: lw a5, 8(a1)
; RV32-NEXT: lw a1, 12(a1)
; RV32-NEXT: lw a7, 0(a2)
; RV32-NEXT: lw t0, 4(a2)
; RV32-NEXT: lw t1, 8(a2)
; RV32-NEXT: lw a2, 12(a2)
; RV32-NEXT: lui t2, 32768
; RV32-NEXT: sw zero, 0(sp)
; RV32-NEXT: sw zero, 4(sp)
; RV32-NEXT: sw zero, 8(sp)
; RV32-NEXT: sw zero, 12(sp)
; RV32-NEXT: addi t2, t2, -1
; RV32-NEXT: and a2, a2, t2
; RV32-NEXT: sw a7, 16(sp)
; RV32-NEXT: sw t0, 20(sp)
; RV32-NEXT: sw t1, 24(sp)
; RV32-NEXT: sw a2, 28(sp)
; RV32-NEXT: li a2, -1
; RV32-NEXT: srli a7, a3, 3
; RV32-NEXT: sw zero, 32(sp)
; RV32-NEXT: sw zero, 36(sp)
; RV32-NEXT: sw zero, 40(sp)
; RV32-NEXT: sw zero, 44(sp)
; RV32-NEXT: andi t0, a7, 12
; RV32-NEXT: addi a7, sp, 16
; RV32-NEXT: sw a2, 48(sp)
; RV32-NEXT: sw a2, 52(sp)
; RV32-NEXT: sw a2, 56(sp)
; RV32-NEXT: sw t2, 60(sp)
; RV32-NEXT: sub t1, a7, t0
; RV32-NEXT: lw a7, 4(t1)
; RV32-NEXT: addi a2, sp, 48
; RV32-NEXT: sub t0, a2, t0
; RV32-NEXT: lw a2, 0(t1)
; RV32-NEXT: lw t2, 8(t1)
; RV32-NEXT: lw t1, 12(t1)
; RV32-NEXT: sll t3, a7, a3
; RV32-NEXT: lw t4, 0(t0)
; RV32-NEXT: andi t5, a3, 31
; RV32-NEXT: lw t6, 4(t0)
; RV32-NEXT: srli s0, a2, 1
; RV32-NEXT: xori t5, t5, 31
; RV32-NEXT: srl s0, s0, t5
; RV32-NEXT: lw s1, 8(t0)
; RV32-NEXT: lw t0, 12(t0)
; RV32-NEXT: srli s2, t4, 1
; RV32-NEXT: sll s3, t6, a3
; RV32-NEXT: srl s2, s2, t5
; RV32-NEXT: or t3, t3, s0
; RV32-NEXT: or s0, s3, s2
; RV32-NEXT: not s0, s0
; RV32-NEXT: srli t6, t6, 1
; RV32-NEXT: sll s2, s1, a3
; RV32-NEXT: srl t6, t6, t5
; RV32-NEXT: and a6, a6, s0
; RV32-NEXT: or t6, s2, t6
; RV32-NEXT: sll s0, t2, a3
; RV32-NEXT: srli a7, a7, 1
; RV32-NEXT: srl a7, a7, t5
; RV32-NEXT: not t6, t6
; RV32-NEXT: or a7, s0, a7
; RV32-NEXT: and a5, a5, t6
; RV32-NEXT: or a6, a6, t3
; RV32-NEXT: or a5, a5, a7
; RV32-NEXT: sll a7, t1, a3
; RV32-NEXT: srli t1, t2, 1
; RV32-NEXT: srl t1, t1, t5
; RV32-NEXT: srli s1, s1, 1
; RV32-NEXT: sll t0, t0, a3
; RV32-NEXT: srl t2, s1, t5
; RV32-NEXT: or a7, a7, t1
; RV32-NEXT: or t0, t0, t2
; RV32-NEXT: not t0, t0
; RV32-NEXT: sll t1, t4, a3
; RV32-NEXT: and a1, a1, t0
; RV32-NEXT: not t0, t1
; RV32-NEXT: sll a2, a2, a3
; RV32-NEXT: and a3, a4, t0
; RV32-NEXT: or a1, a1, a7
; RV32-NEXT: or a2, a3, a2
; RV32-NEXT: sw a2, 0(a0)
; RV32-NEXT: sw a6, 4(a0)
; RV32-NEXT: sw a5, 8(a0)
; RV32-NEXT: sw a1, 12(a0)
; RV32-NEXT: lw s0, 76(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s1, 72(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s2, 68(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s3, 64(sp) # 4-byte Folded Reload
; RV32-NEXT: .cfi_restore s0
; RV32-NEXT: .cfi_restore s1
; RV32-NEXT: .cfi_restore s2
; RV32-NEXT: .cfi_restore s3
; RV32-NEXT: addi sp, sp, 80
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b123_into_b128_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -80
; RV32ZBB-NEXT: .cfi_def_cfa_offset 80
; RV32ZBB-NEXT: sw s0, 76(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s1, 72(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s2, 68(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s3, 64(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: .cfi_offset s0, -4
; RV32ZBB-NEXT: .cfi_offset s1, -8
; RV32ZBB-NEXT: .cfi_offset s2, -12
; RV32ZBB-NEXT: .cfi_offset s3, -16
; RV32ZBB-NEXT: lw a4, 0(a1)
; RV32ZBB-NEXT: lw a6, 4(a1)
; RV32ZBB-NEXT: lw a5, 8(a1)
; RV32ZBB-NEXT: lw a1, 12(a1)
; RV32ZBB-NEXT: lw a7, 0(a2)
; RV32ZBB-NEXT: lw t0, 4(a2)
; RV32ZBB-NEXT: lw t1, 8(a2)
; RV32ZBB-NEXT: lw a2, 12(a2)
; RV32ZBB-NEXT: lui t2, 32768
; RV32ZBB-NEXT: sw zero, 0(sp)
; RV32ZBB-NEXT: sw zero, 4(sp)
; RV32ZBB-NEXT: sw zero, 8(sp)
; RV32ZBB-NEXT: sw zero, 12(sp)
; RV32ZBB-NEXT: addi t2, t2, -1
; RV32ZBB-NEXT: and a2, a2, t2
; RV32ZBB-NEXT: sw a7, 16(sp)
; RV32ZBB-NEXT: sw t0, 20(sp)
; RV32ZBB-NEXT: sw t1, 24(sp)
; RV32ZBB-NEXT: sw a2, 28(sp)
; RV32ZBB-NEXT: li a2, -1
; RV32ZBB-NEXT: srli a7, a3, 3
; RV32ZBB-NEXT: sw zero, 32(sp)
; RV32ZBB-NEXT: sw zero, 36(sp)
; RV32ZBB-NEXT: sw zero, 40(sp)
; RV32ZBB-NEXT: sw zero, 44(sp)
; RV32ZBB-NEXT: andi a7, a7, 12
; RV32ZBB-NEXT: addi t0, sp, 16
; RV32ZBB-NEXT: sw a2, 48(sp)
; RV32ZBB-NEXT: sw a2, 52(sp)
; RV32ZBB-NEXT: sw a2, 56(sp)
; RV32ZBB-NEXT: sw t2, 60(sp)
; RV32ZBB-NEXT: sub t0, t0, a7
; RV32ZBB-NEXT: lw t1, 4(t0)
; RV32ZBB-NEXT: addi a2, sp, 48
; RV32ZBB-NEXT: sub a7, a2, a7
; RV32ZBB-NEXT: lw a2, 0(t0)
; RV32ZBB-NEXT: lw t2, 8(t0)
; RV32ZBB-NEXT: lw t0, 12(t0)
; RV32ZBB-NEXT: sll t3, t1, a3
; RV32ZBB-NEXT: lw t4, 0(a7)
; RV32ZBB-NEXT: andi t5, a3, 31
; RV32ZBB-NEXT: lw t6, 4(a7)
; RV32ZBB-NEXT: srli s0, a2, 1
; RV32ZBB-NEXT: xori t5, t5, 31
; RV32ZBB-NEXT: srl s0, s0, t5
; RV32ZBB-NEXT: lw s1, 8(a7)
; RV32ZBB-NEXT: lw a7, 12(a7)
; RV32ZBB-NEXT: srli s2, t4, 1
; RV32ZBB-NEXT: sll s3, t6, a3
; RV32ZBB-NEXT: srl s2, s2, t5
; RV32ZBB-NEXT: or t3, t3, s0
; RV32ZBB-NEXT: or s0, s3, s2
; RV32ZBB-NEXT: andn a6, a6, s0
; RV32ZBB-NEXT: srli t6, t6, 1
; RV32ZBB-NEXT: sll s0, s1, a3
; RV32ZBB-NEXT: srl t6, t6, t5
; RV32ZBB-NEXT: srli t1, t1, 1
; RV32ZBB-NEXT: or t6, s0, t6
; RV32ZBB-NEXT: sll s0, t2, a3
; RV32ZBB-NEXT: srl t1, t1, t5
; RV32ZBB-NEXT: or t1, s0, t1
; RV32ZBB-NEXT: andn a5, a5, t6
; RV32ZBB-NEXT: or a6, a6, t3
; RV32ZBB-NEXT: or a5, a5, t1
; RV32ZBB-NEXT: sll t0, t0, a3
; RV32ZBB-NEXT: srli t1, t2, 1
; RV32ZBB-NEXT: srl t1, t1, t5
; RV32ZBB-NEXT: srli s1, s1, 1
; RV32ZBB-NEXT: sll a7, a7, a3
; RV32ZBB-NEXT: srl t2, s1, t5
; RV32ZBB-NEXT: or t0, t0, t1
; RV32ZBB-NEXT: or a7, a7, t2
; RV32ZBB-NEXT: andn a1, a1, a7
; RV32ZBB-NEXT: sll a7, t4, a3
; RV32ZBB-NEXT: sll a2, a2, a3
; RV32ZBB-NEXT: andn a3, a4, a7
; RV32ZBB-NEXT: or a1, a1, t0
; RV32ZBB-NEXT: or a2, a3, a2
; RV32ZBB-NEXT: sw a2, 0(a0)
; RV32ZBB-NEXT: sw a6, 4(a0)
; RV32ZBB-NEXT: sw a5, 8(a0)
; RV32ZBB-NEXT: sw a1, 12(a0)
; RV32ZBB-NEXT: lw s0, 76(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s1, 72(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s2, 68(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s3, 64(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: .cfi_restore s0
; RV32ZBB-NEXT: .cfi_restore s1
; RV32ZBB-NEXT: .cfi_restore s2
; RV32ZBB-NEXT: .cfi_restore s3
; RV32ZBB-NEXT: addi sp, sp, 80
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b123_into_b128_var:
; RV64: # %bb.0:
; RV64-NEXT: slli a5, a4, 32
; RV64-NEXT: srli a7, a5, 32
; RV64-NEXT: addi a6, a7, -64
; RV64-NEXT: li a5, -1
; RV64-NEXT: bltz a6, .LBB33_2
; RV64-NEXT: # %bb.1:
; RV64-NEXT: sll a3, a2, a7
; RV64-NEXT: sll a7, a5, a7
; RV64-NEXT: j .LBB33_3
; RV64-NEXT: .LBB33_2:
; RV64-NEXT: srli t0, a5, 5
; RV64-NEXT: srli t1, a2, 1
; RV64-NEXT: not a7, a7
; RV64-NEXT: srl t1, t1, a7
; RV64-NEXT: srli t2, a5, 1
; RV64-NEXT: srl a7, t2, a7
; RV64-NEXT: and a3, a3, t0
; RV64-NEXT: sll a3, a3, a4
; RV64-NEXT: sll t0, t0, a4
; RV64-NEXT: or a3, a3, t1
; RV64-NEXT: or a7, t0, a7
; RV64-NEXT: .LBB33_3:
; RV64-NEXT: not a7, a7
; RV64-NEXT: srai a6, a6, 63
; RV64-NEXT: sll a5, a5, a4
; RV64-NEXT: and a1, a1, a7
; RV64-NEXT: and a5, a6, a5
; RV64-NEXT: sll a2, a2, a4
; RV64-NEXT: not a4, a5
; RV64-NEXT: and a2, a6, a2
; RV64-NEXT: and a0, a0, a4
; RV64-NEXT: or a1, a1, a3
; RV64-NEXT: or a0, a0, a2
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b123_into_b128_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a5, a4, 32
; RV64ZBB-NEXT: srli a7, a5, 32
; RV64ZBB-NEXT: addi a6, a7, -64
; RV64ZBB-NEXT: li a5, -1
; RV64ZBB-NEXT: bltz a6, .LBB33_2
; RV64ZBB-NEXT: # %bb.1:
; RV64ZBB-NEXT: sll a3, a2, a7
; RV64ZBB-NEXT: sll a7, a5, a7
; RV64ZBB-NEXT: j .LBB33_3
; RV64ZBB-NEXT: .LBB33_2:
; RV64ZBB-NEXT: srli t0, a5, 5
; RV64ZBB-NEXT: srli t1, a2, 1
; RV64ZBB-NEXT: not a7, a7
; RV64ZBB-NEXT: srl t1, t1, a7
; RV64ZBB-NEXT: srli t2, a5, 1
; RV64ZBB-NEXT: srl a7, t2, a7
; RV64ZBB-NEXT: and a3, a3, t0
; RV64ZBB-NEXT: sll a3, a3, a4
; RV64ZBB-NEXT: sll t0, t0, a4
; RV64ZBB-NEXT: or a3, a3, t1
; RV64ZBB-NEXT: or a7, t0, a7
; RV64ZBB-NEXT: .LBB33_3:
; RV64ZBB-NEXT: andn a1, a1, a7
; RV64ZBB-NEXT: srai a6, a6, 63
; RV64ZBB-NEXT: sll a5, a5, a4
; RV64ZBB-NEXT: sll a2, a2, a4
; RV64ZBB-NEXT: and a4, a6, a5
; RV64ZBB-NEXT: and a2, a6, a2
; RV64ZBB-NEXT: andn a0, a0, a4
; RV64ZBB-NEXT: or a1, a1, a3
; RV64ZBB-NEXT: or a0, a0, a2
; RV64ZBB-NEXT: ret
%result = bitinsert b128 %base, b123 %val, i32 %off
ret b128 %result
}
define b128 @test_bitinsert_val_b123_into_b128_const_top(b128 %base, b123 %val) {
; RV32-LABEL: test_bitinsert_val_b123_into_b128_const_top:
; RV32: # %bb.0:
; RV32-NEXT: lw a1, 0(a1)
; RV32-NEXT: lw a3, 0(a2)
; RV32-NEXT: lw a4, 4(a2)
; RV32-NEXT: lw a5, 8(a2)
; RV32-NEXT: lw a2, 12(a2)
; RV32-NEXT: slli a6, a3, 5
; RV32-NEXT: andi a1, a1, 31
; RV32-NEXT: srli a3, a3, 27
; RV32-NEXT: slli a7, a4, 5
; RV32-NEXT: or a1, a1, a6
; RV32-NEXT: or a3, a7, a3
; RV32-NEXT: srli a4, a4, 27
; RV32-NEXT: slli a6, a5, 5
; RV32-NEXT: srli a5, a5, 27
; RV32-NEXT: slli a2, a2, 5
; RV32-NEXT: or a4, a6, a4
; RV32-NEXT: or a2, a2, a5
; RV32-NEXT: sw a1, 0(a0)
; RV32-NEXT: sw a3, 4(a0)
; RV32-NEXT: sw a4, 8(a0)
; RV32-NEXT: sw a2, 12(a0)
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b123_into_b128_const_top:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lw a1, 0(a1)
; RV32ZBB-NEXT: lw a3, 0(a2)
; RV32ZBB-NEXT: lw a4, 4(a2)
; RV32ZBB-NEXT: lw a5, 8(a2)
; RV32ZBB-NEXT: lw a2, 12(a2)
; RV32ZBB-NEXT: slli a6, a3, 5
; RV32ZBB-NEXT: andi a1, a1, 31
; RV32ZBB-NEXT: srli a3, a3, 27
; RV32ZBB-NEXT: slli a7, a4, 5
; RV32ZBB-NEXT: or a1, a1, a6
; RV32ZBB-NEXT: or a3, a7, a3
; RV32ZBB-NEXT: srli a4, a4, 27
; RV32ZBB-NEXT: slli a6, a5, 5
; RV32ZBB-NEXT: srli a5, a5, 27
; RV32ZBB-NEXT: slli a2, a2, 5
; RV32ZBB-NEXT: or a4, a6, a4
; RV32ZBB-NEXT: or a2, a2, a5
; RV32ZBB-NEXT: sw a1, 0(a0)
; RV32ZBB-NEXT: sw a3, 4(a0)
; RV32ZBB-NEXT: sw a4, 8(a0)
; RV32ZBB-NEXT: sw a2, 12(a0)
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b123_into_b128_const_top:
; RV64: # %bb.0:
; RV64-NEXT: slli a1, a2, 5
; RV64-NEXT: andi a0, a0, 31
; RV64-NEXT: srli a2, a2, 59
; RV64-NEXT: slli a3, a3, 5
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: or a1, a3, a2
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b123_into_b128_const_top:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a1, a2, 5
; RV64ZBB-NEXT: andi a0, a0, 31
; RV64ZBB-NEXT: srli a2, a2, 59
; RV64ZBB-NEXT: slli a3, a3, 5
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: or a1, a3, a2
; RV64ZBB-NEXT: ret
%result = bitinsert b128 %base, b123 %val, i32 5
ret b128 %result
}
define b231 @test_bitinsert_val_b123_into_b231_var(b231 %base, b123 %val, i32 %off) {
; RV32-LABEL: test_bitinsert_val_b123_into_b231_var:
; RV32: # %bb.0:
; RV32-NEXT: addi sp, sp, -192
; RV32-NEXT: .cfi_def_cfa_offset 192
; RV32-NEXT: sw ra, 188(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s0, 184(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s1, 180(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s2, 176(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s3, 172(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s4, 168(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s5, 164(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s6, 160(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s7, 156(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s8, 152(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s9, 148(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s10, 144(sp) # 4-byte Folded Spill
; RV32-NEXT: sw s11, 140(sp) # 4-byte Folded Spill
; RV32-NEXT: .cfi_offset ra, -4
; RV32-NEXT: .cfi_offset s0, -8
; RV32-NEXT: .cfi_offset s1, -12
; RV32-NEXT: .cfi_offset s2, -16
; RV32-NEXT: .cfi_offset s3, -20
; RV32-NEXT: .cfi_offset s4, -24
; RV32-NEXT: .cfi_offset s5, -28
; RV32-NEXT: .cfi_offset s6, -32
; RV32-NEXT: .cfi_offset s7, -36
; RV32-NEXT: .cfi_offset s8, -40
; RV32-NEXT: .cfi_offset s9, -44
; RV32-NEXT: .cfi_offset s10, -48
; RV32-NEXT: .cfi_offset s11, -52
; RV32-NEXT: lw a4, 0(a1)
; RV32-NEXT: lw t2, 4(a1)
; RV32-NEXT: lw t1, 8(a1)
; RV32-NEXT: lw t0, 12(a1)
; RV32-NEXT: lw a7, 16(a1)
; RV32-NEXT: lw a6, 20(a1)
; RV32-NEXT: lw a5, 24(a1)
; RV32-NEXT: lw a1, 28(a1)
; RV32-NEXT: lw t3, 0(a2)
; RV32-NEXT: lw t4, 4(a2)
; RV32-NEXT: lw t5, 8(a2)
; RV32-NEXT: lw a2, 12(a2)
; RV32-NEXT: sw zero, 56(sp)
; RV32-NEXT: sw zero, 60(sp)
; RV32-NEXT: sw zero, 64(sp)
; RV32-NEXT: sw zero, 68(sp)
; RV32-NEXT: sw zero, 24(sp)
; RV32-NEXT: sw zero, 28(sp)
; RV32-NEXT: sw zero, 32(sp)
; RV32-NEXT: sw zero, 36(sp)
; RV32-NEXT: lui t6, 32768
; RV32-NEXT: addi t6, t6, -1
; RV32-NEXT: sw zero, 8(sp)
; RV32-NEXT: sw zero, 12(sp)
; RV32-NEXT: sw zero, 16(sp)
; RV32-NEXT: sw zero, 20(sp)
; RV32-NEXT: and a2, a2, t6
; RV32-NEXT: sw t3, 40(sp)
; RV32-NEXT: sw t4, 44(sp)
; RV32-NEXT: sw t5, 48(sp)
; RV32-NEXT: sw a2, 52(sp)
; RV32-NEXT: sw zero, 120(sp)
; RV32-NEXT: sw zero, 124(sp)
; RV32-NEXT: sw zero, 128(sp)
; RV32-NEXT: sw zero, 132(sp)
; RV32-NEXT: li a2, -1
; RV32-NEXT: sw zero, 88(sp)
; RV32-NEXT: sw zero, 92(sp)
; RV32-NEXT: sw zero, 96(sp)
; RV32-NEXT: sw zero, 100(sp)
; RV32-NEXT: sw zero, 72(sp)
; RV32-NEXT: sw zero, 76(sp)
; RV32-NEXT: sw zero, 80(sp)
; RV32-NEXT: sw zero, 84(sp)
; RV32-NEXT: sw a2, 104(sp)
; RV32-NEXT: sw a2, 108(sp)
; RV32-NEXT: sw a2, 112(sp)
; RV32-NEXT: sw t6, 116(sp)
; RV32-NEXT: srli a2, a3, 3
; RV32-NEXT: andi a2, a2, 28
; RV32-NEXT: addi t3, sp, 40
; RV32-NEXT: sub t5, t3, a2
; RV32-NEXT: addi t3, sp, 104
; RV32-NEXT: sub t4, t3, a2
; RV32-NEXT: lw t3, 24(t5)
; RV32-NEXT: lw t6, 28(t5)
; RV32-NEXT: lw a2, 24(t4)
; RV32-NEXT: lw s3, 28(t4)
; RV32-NEXT: lw s0, 16(t5)
; RV32-NEXT: lw s2, 20(t5)
; RV32-NEXT: andi s1, a3, 31
; RV32-NEXT: srli s4, t3, 1
; RV32-NEXT: xori s1, s1, 31
; RV32-NEXT: sll s5, t6, a3
; RV32-NEXT: srl s4, s4, s1
; RV32-NEXT: sll s3, s3, a3
; RV32-NEXT: srli t6, a2, 1
; RV32-NEXT: srl s6, t6, s1
; RV32-NEXT: lw t6, 0(t5)
; RV32-NEXT: or s4, s5, s4
; RV32-NEXT: or s3, s3, s6
; RV32-NEXT: not s3, s3
; RV32-NEXT: lw s5, 4(t5)
; RV32-NEXT: and a1, a1, s3
; RV32-NEXT: lw s3, 8(t5)
; RV32-NEXT: lw s6, 12(t5)
; RV32-NEXT: srli s7, t6, 1
; RV32-NEXT: lw t5, 0(t4)
; RV32-NEXT: lw s8, 4(t4)
; RV32-NEXT: sll s9, s5, a3
; RV32-NEXT: srl s7, s7, s1
; RV32-NEXT: or a1, a1, s4
; RV32-NEXT: or s4, s9, s7
; RV32-NEXT: lw s7, 8(t4)
; RV32-NEXT: lw s9, 12(t4)
; RV32-NEXT: sll s10, s8, a3
; RV32-NEXT: srli s11, t5, 1
; RV32-NEXT: srl s11, s11, s1
; RV32-NEXT: lw ra, 16(t4)
; RV32-NEXT: lw t4, 20(t4)
; RV32-NEXT: or s10, s10, s11
; RV32-NEXT: not s10, s10
; RV32-NEXT: srli s8, s8, 1
; RV32-NEXT: sll s11, s7, a3
; RV32-NEXT: srl s8, s8, s1
; RV32-NEXT: and t2, t2, s10
; RV32-NEXT: or s8, s11, s8
; RV32-NEXT: sll s10, s3, a3
; RV32-NEXT: srli s5, s5, 1
; RV32-NEXT: srl s5, s5, s1
; RV32-NEXT: not s8, s8
; RV32-NEXT: or s5, s10, s5
; RV32-NEXT: and s8, t1, s8
; RV32-NEXT: or t1, t2, s4
; RV32-NEXT: or t2, s8, s5
; RV32-NEXT: sll s4, s6, a3
; RV32-NEXT: srli s3, s3, 1
; RV32-NEXT: srl s3, s3, s1
; RV32-NEXT: srli s5, s7, 1
; RV32-NEXT: sll s7, s9, a3
; RV32-NEXT: srl s5, s5, s1
; RV32-NEXT: or s3, s4, s3
; RV32-NEXT: or s4, s7, s5
; RV32-NEXT: not s4, s4
; RV32-NEXT: srli s5, s9, 1
; RV32-NEXT: sll s7, ra, a3
; RV32-NEXT: srl s5, s5, s1
; RV32-NEXT: and t0, t0, s4
; RV32-NEXT: or s4, s7, s5
; RV32-NEXT: sll s5, s0, a3
; RV32-NEXT: srli s6, s6, 1
; RV32-NEXT: srl s6, s6, s1
; RV32-NEXT: not s4, s4
; RV32-NEXT: or s5, s5, s6
; RV32-NEXT: and a7, a7, s4
; RV32-NEXT: or t0, t0, s3
; RV32-NEXT: or a7, a7, s5
; RV32-NEXT: sll s3, s2, a3
; RV32-NEXT: srli s4, ra, 1
; RV32-NEXT: sll s5, t4, a3
; RV32-NEXT: srl s4, s4, s1
; RV32-NEXT: srli s0, s0, 1
; RV32-NEXT: or s4, s5, s4
; RV32-NEXT: srl s0, s0, s1
; RV32-NEXT: not s4, s4
; RV32-NEXT: or s0, s3, s0
; RV32-NEXT: and a6, a6, s4
; RV32-NEXT: or a6, a6, s0
; RV32-NEXT: srli s0, s2, 1
; RV32-NEXT: sll t3, t3, a3
; RV32-NEXT: srl s0, s0, s1
; RV32-NEXT: or t3, t3, s0
; RV32-NEXT: srli t4, t4, 1
; RV32-NEXT: sll a2, a2, a3
; RV32-NEXT: srl t4, t4, s1
; RV32-NEXT: or a2, a2, t4
; RV32-NEXT: sll t4, t5, a3
; RV32-NEXT: not a2, a2
; RV32-NEXT: not t4, t4
; RV32-NEXT: sll a3, t6, a3
; RV32-NEXT: and a4, a4, t4
; RV32-NEXT: and a2, a5, a2
; RV32-NEXT: or a3, a4, a3
; RV32-NEXT: or a2, a2, t3
; RV32-NEXT: sw a3, 0(a0)
; RV32-NEXT: sw t1, 4(a0)
; RV32-NEXT: sw t2, 8(a0)
; RV32-NEXT: sw t0, 12(a0)
; RV32-NEXT: andi a1, a1, 127
; RV32-NEXT: sw a7, 16(a0)
; RV32-NEXT: sw a6, 20(a0)
; RV32-NEXT: sw a2, 24(a0)
; RV32-NEXT: sb a1, 28(a0)
; RV32-NEXT: lw ra, 188(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s0, 184(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s1, 180(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s2, 176(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s3, 172(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s4, 168(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s5, 164(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s6, 160(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s7, 156(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s8, 152(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s9, 148(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s10, 144(sp) # 4-byte Folded Reload
; RV32-NEXT: lw s11, 140(sp) # 4-byte Folded Reload
; RV32-NEXT: .cfi_restore ra
; RV32-NEXT: .cfi_restore s0
; RV32-NEXT: .cfi_restore s1
; RV32-NEXT: .cfi_restore s2
; RV32-NEXT: .cfi_restore s3
; RV32-NEXT: .cfi_restore s4
; RV32-NEXT: .cfi_restore s5
; RV32-NEXT: .cfi_restore s6
; RV32-NEXT: .cfi_restore s7
; RV32-NEXT: .cfi_restore s8
; RV32-NEXT: .cfi_restore s9
; RV32-NEXT: .cfi_restore s10
; RV32-NEXT: .cfi_restore s11
; RV32-NEXT: addi sp, sp, 192
; RV32-NEXT: .cfi_def_cfa_offset 0
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b123_into_b231_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi sp, sp, -192
; RV32ZBB-NEXT: .cfi_def_cfa_offset 192
; RV32ZBB-NEXT: sw ra, 188(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s0, 184(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s1, 180(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s2, 176(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s3, 172(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s4, 168(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s5, 164(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s6, 160(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s7, 156(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s8, 152(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s9, 148(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s10, 144(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: sw s11, 140(sp) # 4-byte Folded Spill
; RV32ZBB-NEXT: .cfi_offset ra, -4
; RV32ZBB-NEXT: .cfi_offset s0, -8
; RV32ZBB-NEXT: .cfi_offset s1, -12
; RV32ZBB-NEXT: .cfi_offset s2, -16
; RV32ZBB-NEXT: .cfi_offset s3, -20
; RV32ZBB-NEXT: .cfi_offset s4, -24
; RV32ZBB-NEXT: .cfi_offset s5, -28
; RV32ZBB-NEXT: .cfi_offset s6, -32
; RV32ZBB-NEXT: .cfi_offset s7, -36
; RV32ZBB-NEXT: .cfi_offset s8, -40
; RV32ZBB-NEXT: .cfi_offset s9, -44
; RV32ZBB-NEXT: .cfi_offset s10, -48
; RV32ZBB-NEXT: .cfi_offset s11, -52
; RV32ZBB-NEXT: lw a4, 0(a1)
; RV32ZBB-NEXT: lw t2, 4(a1)
; RV32ZBB-NEXT: lw t1, 8(a1)
; RV32ZBB-NEXT: lw t0, 12(a1)
; RV32ZBB-NEXT: lw a7, 16(a1)
; RV32ZBB-NEXT: lw a6, 20(a1)
; RV32ZBB-NEXT: lw a5, 24(a1)
; RV32ZBB-NEXT: lw a1, 28(a1)
; RV32ZBB-NEXT: lw t3, 0(a2)
; RV32ZBB-NEXT: lw t4, 4(a2)
; RV32ZBB-NEXT: lw t5, 8(a2)
; RV32ZBB-NEXT: lw a2, 12(a2)
; RV32ZBB-NEXT: sw zero, 56(sp)
; RV32ZBB-NEXT: sw zero, 60(sp)
; RV32ZBB-NEXT: sw zero, 64(sp)
; RV32ZBB-NEXT: sw zero, 68(sp)
; RV32ZBB-NEXT: sw zero, 24(sp)
; RV32ZBB-NEXT: sw zero, 28(sp)
; RV32ZBB-NEXT: sw zero, 32(sp)
; RV32ZBB-NEXT: sw zero, 36(sp)
; RV32ZBB-NEXT: lui t6, 32768
; RV32ZBB-NEXT: sw zero, 8(sp)
; RV32ZBB-NEXT: sw zero, 12(sp)
; RV32ZBB-NEXT: sw zero, 16(sp)
; RV32ZBB-NEXT: sw zero, 20(sp)
; RV32ZBB-NEXT: addi t6, t6, -1
; RV32ZBB-NEXT: and a2, a2, t6
; RV32ZBB-NEXT: sw t3, 40(sp)
; RV32ZBB-NEXT: sw t4, 44(sp)
; RV32ZBB-NEXT: sw t5, 48(sp)
; RV32ZBB-NEXT: sw a2, 52(sp)
; RV32ZBB-NEXT: sw zero, 120(sp)
; RV32ZBB-NEXT: sw zero, 124(sp)
; RV32ZBB-NEXT: sw zero, 128(sp)
; RV32ZBB-NEXT: sw zero, 132(sp)
; RV32ZBB-NEXT: li a2, -1
; RV32ZBB-NEXT: sw zero, 88(sp)
; RV32ZBB-NEXT: sw zero, 92(sp)
; RV32ZBB-NEXT: sw zero, 96(sp)
; RV32ZBB-NEXT: sw zero, 100(sp)
; RV32ZBB-NEXT: srli t3, a3, 3
; RV32ZBB-NEXT: sw zero, 72(sp)
; RV32ZBB-NEXT: sw zero, 76(sp)
; RV32ZBB-NEXT: sw zero, 80(sp)
; RV32ZBB-NEXT: sw zero, 84(sp)
; RV32ZBB-NEXT: andi t5, t3, 28
; RV32ZBB-NEXT: addi t3, sp, 40
; RV32ZBB-NEXT: sw a2, 104(sp)
; RV32ZBB-NEXT: sw a2, 108(sp)
; RV32ZBB-NEXT: sw a2, 112(sp)
; RV32ZBB-NEXT: sw t6, 116(sp)
; RV32ZBB-NEXT: sub a2, t3, t5
; RV32ZBB-NEXT: lw t3, 16(a2)
; RV32ZBB-NEXT: lw t6, 20(a2)
; RV32ZBB-NEXT: lw t4, 24(a2)
; RV32ZBB-NEXT: lw s2, 28(a2)
; RV32ZBB-NEXT: addi s0, sp, 104
; RV32ZBB-NEXT: andi s1, a3, 31
; RV32ZBB-NEXT: sub s5, s0, t5
; RV32ZBB-NEXT: lw t5, 24(s5)
; RV32ZBB-NEXT: lw s4, 16(s5)
; RV32ZBB-NEXT: lw s0, 20(s5)
; RV32ZBB-NEXT: lw s3, 28(s5)
; RV32ZBB-NEXT: srli s6, t4, 1
; RV32ZBB-NEXT: xori s1, s1, 31
; RV32ZBB-NEXT: sll s2, s2, a3
; RV32ZBB-NEXT: srl s6, s6, s1
; RV32ZBB-NEXT: or s6, s2, s6
; RV32ZBB-NEXT: srli s2, t5, 1
; RV32ZBB-NEXT: sll s3, s3, a3
; RV32ZBB-NEXT: srl s2, s2, s1
; RV32ZBB-NEXT: or s3, s3, s2
; RV32ZBB-NEXT: lw s2, 0(s5)
; RV32ZBB-NEXT: andn a1, a1, s3
; RV32ZBB-NEXT: lw s7, 4(s5)
; RV32ZBB-NEXT: or a1, a1, s6
; RV32ZBB-NEXT: lw s3, 0(a2)
; RV32ZBB-NEXT: lw s6, 4(a2)
; RV32ZBB-NEXT: lw s8, 8(s5)
; RV32ZBB-NEXT: lw s5, 12(s5)
; RV32ZBB-NEXT: srli s9, s2, 1
; RV32ZBB-NEXT: sll s10, s7, a3
; RV32ZBB-NEXT: srl s9, s9, s1
; RV32ZBB-NEXT: lw s11, 8(a2)
; RV32ZBB-NEXT: lw ra, 12(a2)
; RV32ZBB-NEXT: srli a2, s3, 1
; RV32ZBB-NEXT: or s9, s10, s9
; RV32ZBB-NEXT: sll s10, s6, a3
; RV32ZBB-NEXT: srl a2, a2, s1
; RV32ZBB-NEXT: or a2, s10, a2
; RV32ZBB-NEXT: andn t2, t2, s9
; RV32ZBB-NEXT: or a2, t2, a2
; RV32ZBB-NEXT: srli t2, s7, 1
; RV32ZBB-NEXT: sll s7, s8, a3
; RV32ZBB-NEXT: srl t2, t2, s1
; RV32ZBB-NEXT: srli s6, s6, 1
; RV32ZBB-NEXT: or t2, s7, t2
; RV32ZBB-NEXT: sll s7, s11, a3
; RV32ZBB-NEXT: srl s6, s6, s1
; RV32ZBB-NEXT: or s6, s7, s6
; RV32ZBB-NEXT: andn t1, t1, t2
; RV32ZBB-NEXT: or t1, t1, s6
; RV32ZBB-NEXT: srli t2, s8, 1
; RV32ZBB-NEXT: sll s6, s5, a3
; RV32ZBB-NEXT: srl t2, t2, s1
; RV32ZBB-NEXT: srli s7, s11, 1
; RV32ZBB-NEXT: or t2, s6, t2
; RV32ZBB-NEXT: sll s6, ra, a3
; RV32ZBB-NEXT: srl s7, s7, s1
; RV32ZBB-NEXT: or s6, s6, s7
; RV32ZBB-NEXT: andn t0, t0, t2
; RV32ZBB-NEXT: or t0, t0, s6
; RV32ZBB-NEXT: srli t2, s5, 1
; RV32ZBB-NEXT: sll s5, s4, a3
; RV32ZBB-NEXT: srl t2, t2, s1
; RV32ZBB-NEXT: srli s6, ra, 1
; RV32ZBB-NEXT: or t2, s5, t2
; RV32ZBB-NEXT: sll s5, t3, a3
; RV32ZBB-NEXT: srl s6, s6, s1
; RV32ZBB-NEXT: or s5, s5, s6
; RV32ZBB-NEXT: andn a7, a7, t2
; RV32ZBB-NEXT: or a7, a7, s5
; RV32ZBB-NEXT: sll t2, t6, a3
; RV32ZBB-NEXT: srli t3, t3, 1
; RV32ZBB-NEXT: srli s4, s4, 1
; RV32ZBB-NEXT: sll s5, s0, a3
; RV32ZBB-NEXT: srl s4, s4, s1
; RV32ZBB-NEXT: srl t3, t3, s1
; RV32ZBB-NEXT: or s4, s5, s4
; RV32ZBB-NEXT: or t2, t2, t3
; RV32ZBB-NEXT: andn a6, a6, s4
; RV32ZBB-NEXT: or a6, a6, t2
; RV32ZBB-NEXT: srli t2, t6, 1
; RV32ZBB-NEXT: sll t3, t4, a3
; RV32ZBB-NEXT: srl t2, t2, s1
; RV32ZBB-NEXT: or t2, t3, t2
; RV32ZBB-NEXT: srli s0, s0, 1
; RV32ZBB-NEXT: sll t3, t5, a3
; RV32ZBB-NEXT: srl t4, s0, s1
; RV32ZBB-NEXT: or t3, t3, t4
; RV32ZBB-NEXT: sll t4, s2, a3
; RV32ZBB-NEXT: sll a3, s3, a3
; RV32ZBB-NEXT: andn a4, a4, t4
; RV32ZBB-NEXT: andn a5, a5, t3
; RV32ZBB-NEXT: or a3, a4, a3
; RV32ZBB-NEXT: or a4, a5, t2
; RV32ZBB-NEXT: sw a3, 0(a0)
; RV32ZBB-NEXT: sw a2, 4(a0)
; RV32ZBB-NEXT: sw t1, 8(a0)
; RV32ZBB-NEXT: sw t0, 12(a0)
; RV32ZBB-NEXT: andi a1, a1, 127
; RV32ZBB-NEXT: sw a7, 16(a0)
; RV32ZBB-NEXT: sw a6, 20(a0)
; RV32ZBB-NEXT: sw a4, 24(a0)
; RV32ZBB-NEXT: sb a1, 28(a0)
; RV32ZBB-NEXT: lw ra, 188(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s0, 184(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s1, 180(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s2, 176(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s3, 172(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s4, 168(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s5, 164(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s6, 160(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s7, 156(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s8, 152(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s9, 148(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s10, 144(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: lw s11, 140(sp) # 4-byte Folded Reload
; RV32ZBB-NEXT: .cfi_restore ra
; RV32ZBB-NEXT: .cfi_restore s0
; RV32ZBB-NEXT: .cfi_restore s1
; RV32ZBB-NEXT: .cfi_restore s2
; RV32ZBB-NEXT: .cfi_restore s3
; RV32ZBB-NEXT: .cfi_restore s4
; RV32ZBB-NEXT: .cfi_restore s5
; RV32ZBB-NEXT: .cfi_restore s6
; RV32ZBB-NEXT: .cfi_restore s7
; RV32ZBB-NEXT: .cfi_restore s8
; RV32ZBB-NEXT: .cfi_restore s9
; RV32ZBB-NEXT: .cfi_restore s10
; RV32ZBB-NEXT: .cfi_restore s11
; RV32ZBB-NEXT: addi sp, sp, 192
; RV32ZBB-NEXT: .cfi_def_cfa_offset 0
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b123_into_b231_var:
; RV64: # %bb.0:
; RV64-NEXT: addi sp, sp, -160
; RV64-NEXT: .cfi_def_cfa_offset 160
; RV64-NEXT: sd s0, 152(sp) # 8-byte Folded Spill
; RV64-NEXT: sd s1, 144(sp) # 8-byte Folded Spill
; RV64-NEXT: sd s2, 136(sp) # 8-byte Folded Spill
; RV64-NEXT: .cfi_offset s0, -8
; RV64-NEXT: .cfi_offset s1, -16
; RV64-NEXT: .cfi_offset s2, -24
; RV64-NEXT: li t0, -1
; RV64-NEXT: ld a5, 0(a1)
; RV64-NEXT: ld a7, 8(a1)
; RV64-NEXT: ld a6, 16(a1)
; RV64-NEXT: ld a1, 24(a1)
; RV64-NEXT: srli t1, t0, 5
; RV64-NEXT: and a3, a3, t1
; RV64-NEXT: sd a2, 96(sp)
; RV64-NEXT: sd a3, 104(sp)
; RV64-NEXT: sd zero, 112(sp)
; RV64-NEXT: sd zero, 120(sp)
; RV64-NEXT: sd zero, 64(sp)
; RV64-NEXT: sd zero, 72(sp)
; RV64-NEXT: sd zero, 80(sp)
; RV64-NEXT: sd zero, 88(sp)
; RV64-NEXT: sd t0, 32(sp)
; RV64-NEXT: sd t1, 40(sp)
; RV64-NEXT: sd zero, 48(sp)
; RV64-NEXT: sd zero, 56(sp)
; RV64-NEXT: sd zero, 0(sp)
; RV64-NEXT: sd zero, 8(sp)
; RV64-NEXT: sd zero, 16(sp)
; RV64-NEXT: sd zero, 24(sp)
; RV64-NEXT: srli a2, a4, 3
; RV64-NEXT: andi a2, a2, 24
; RV64-NEXT: addi a3, sp, 32
; RV64-NEXT: addi t0, sp, 96
; RV64-NEXT: sub t1, a3, a2
; RV64-NEXT: sub t0, t0, a2
; RV64-NEXT: ld a3, 0(t1)
; RV64-NEXT: ld t2, 8(t1)
; RV64-NEXT: ld a2, 0(t0)
; RV64-NEXT: ld t3, 8(t0)
; RV64-NEXT: andi t4, a4, 63
; RV64-NEXT: xori t4, t4, 63
; RV64-NEXT: ld t5, 16(t1)
; RV64-NEXT: ld t1, 24(t1)
; RV64-NEXT: srli t6, a3, 1
; RV64-NEXT: sll s0, t2, a4
; RV64-NEXT: srl t6, t6, t4
; RV64-NEXT: ld s1, 16(t0)
; RV64-NEXT: ld t0, 24(t0)
; RV64-NEXT: srli s2, a2, 1
; RV64-NEXT: or t6, s0, t6
; RV64-NEXT: sll s0, t3, a4
; RV64-NEXT: srl s2, s2, t4
; RV64-NEXT: or s0, s0, s2
; RV64-NEXT: not t6, t6
; RV64-NEXT: and a7, a7, t6
; RV64-NEXT: srli t2, t2, 1
; RV64-NEXT: sll t6, t5, a4
; RV64-NEXT: srl t2, t2, t4
; RV64-NEXT: or a7, a7, s0
; RV64-NEXT: or t2, t6, t2
; RV64-NEXT: sll t6, s1, a4
; RV64-NEXT: srli t3, t3, 1
; RV64-NEXT: srl t3, t3, t4
; RV64-NEXT: not t2, t2
; RV64-NEXT: or t3, t6, t3
; RV64-NEXT: and a6, a6, t2
; RV64-NEXT: or a6, a6, t3
; RV64-NEXT: sll t0, t0, a4
; RV64-NEXT: srli s1, s1, 1
; RV64-NEXT: srli t2, t5, 1
; RV64-NEXT: sll t1, t1, a4
; RV64-NEXT: srl t2, t2, t4
; RV64-NEXT: srl t3, s1, t4
; RV64-NEXT: or t1, t1, t2
; RV64-NEXT: or t0, t0, t3
; RV64-NEXT: not t1, t1
; RV64-NEXT: and a1, a1, t1
; RV64-NEXT: sll a3, a3, a4
; RV64-NEXT: or a1, a1, t0
; RV64-NEXT: not a3, a3
; RV64-NEXT: sll a2, a2, a4
; RV64-NEXT: and a3, a5, a3
; RV64-NEXT: or a2, a3, a2
; RV64-NEXT: slli a3, a1, 25
; RV64-NEXT: srli a3, a3, 57
; RV64-NEXT: sd a2, 0(a0)
; RV64-NEXT: sd a7, 8(a0)
; RV64-NEXT: sd a6, 16(a0)
; RV64-NEXT: sw a1, 24(a0)
; RV64-NEXT: sb a3, 28(a0)
; RV64-NEXT: ld s0, 152(sp) # 8-byte Folded Reload
; RV64-NEXT: ld s1, 144(sp) # 8-byte Folded Reload
; RV64-NEXT: ld s2, 136(sp) # 8-byte Folded Reload
; RV64-NEXT: .cfi_restore s0
; RV64-NEXT: .cfi_restore s1
; RV64-NEXT: .cfi_restore s2
; RV64-NEXT: addi sp, sp, 160
; RV64-NEXT: .cfi_def_cfa_offset 0
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b123_into_b231_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: addi sp, sp, -160
; RV64ZBB-NEXT: .cfi_def_cfa_offset 160
; RV64ZBB-NEXT: sd s0, 152(sp) # 8-byte Folded Spill
; RV64ZBB-NEXT: sd s1, 144(sp) # 8-byte Folded Spill
; RV64ZBB-NEXT: sd s2, 136(sp) # 8-byte Folded Spill
; RV64ZBB-NEXT: .cfi_offset s0, -8
; RV64ZBB-NEXT: .cfi_offset s1, -16
; RV64ZBB-NEXT: .cfi_offset s2, -24
; RV64ZBB-NEXT: li t0, -1
; RV64ZBB-NEXT: ld a5, 0(a1)
; RV64ZBB-NEXT: ld a7, 8(a1)
; RV64ZBB-NEXT: ld a6, 16(a1)
; RV64ZBB-NEXT: ld a1, 24(a1)
; RV64ZBB-NEXT: srli t1, t0, 5
; RV64ZBB-NEXT: and a3, a3, t1
; RV64ZBB-NEXT: sd a2, 96(sp)
; RV64ZBB-NEXT: sd a3, 104(sp)
; RV64ZBB-NEXT: sd zero, 112(sp)
; RV64ZBB-NEXT: sd zero, 120(sp)
; RV64ZBB-NEXT: sd zero, 64(sp)
; RV64ZBB-NEXT: sd zero, 72(sp)
; RV64ZBB-NEXT: sd zero, 80(sp)
; RV64ZBB-NEXT: sd zero, 88(sp)
; RV64ZBB-NEXT: sd t0, 32(sp)
; RV64ZBB-NEXT: sd t1, 40(sp)
; RV64ZBB-NEXT: sd zero, 48(sp)
; RV64ZBB-NEXT: sd zero, 56(sp)
; RV64ZBB-NEXT: sd zero, 0(sp)
; RV64ZBB-NEXT: sd zero, 8(sp)
; RV64ZBB-NEXT: sd zero, 16(sp)
; RV64ZBB-NEXT: sd zero, 24(sp)
; RV64ZBB-NEXT: srli a2, a4, 3
; RV64ZBB-NEXT: andi a2, a2, 24
; RV64ZBB-NEXT: addi a3, sp, 32
; RV64ZBB-NEXT: addi t0, sp, 96
; RV64ZBB-NEXT: sub t1, a3, a2
; RV64ZBB-NEXT: sub t0, t0, a2
; RV64ZBB-NEXT: ld a2, 0(t1)
; RV64ZBB-NEXT: ld t2, 8(t1)
; RV64ZBB-NEXT: ld a3, 0(t0)
; RV64ZBB-NEXT: ld t3, 8(t0)
; RV64ZBB-NEXT: andi t4, a4, 63
; RV64ZBB-NEXT: xori t4, t4, 63
; RV64ZBB-NEXT: ld t5, 16(t1)
; RV64ZBB-NEXT: ld t1, 24(t1)
; RV64ZBB-NEXT: srli t6, a2, 1
; RV64ZBB-NEXT: sll s0, t2, a4
; RV64ZBB-NEXT: srl t6, t6, t4
; RV64ZBB-NEXT: ld s1, 16(t0)
; RV64ZBB-NEXT: ld t0, 24(t0)
; RV64ZBB-NEXT: srli s2, a3, 1
; RV64ZBB-NEXT: or t6, s0, t6
; RV64ZBB-NEXT: sll s0, t3, a4
; RV64ZBB-NEXT: srl s2, s2, t4
; RV64ZBB-NEXT: or s0, s0, s2
; RV64ZBB-NEXT: andn a7, a7, t6
; RV64ZBB-NEXT: or a7, a7, s0
; RV64ZBB-NEXT: srli t2, t2, 1
; RV64ZBB-NEXT: sll t6, t5, a4
; RV64ZBB-NEXT: srl t2, t2, t4
; RV64ZBB-NEXT: srli t3, t3, 1
; RV64ZBB-NEXT: or t2, t6, t2
; RV64ZBB-NEXT: sll t6, s1, a4
; RV64ZBB-NEXT: srl t3, t3, t4
; RV64ZBB-NEXT: or t3, t6, t3
; RV64ZBB-NEXT: andn a6, a6, t2
; RV64ZBB-NEXT: or a6, a6, t3
; RV64ZBB-NEXT: sll t0, t0, a4
; RV64ZBB-NEXT: srli s1, s1, 1
; RV64ZBB-NEXT: srli t2, t5, 1
; RV64ZBB-NEXT: sll t1, t1, a4
; RV64ZBB-NEXT: srl t2, t2, t4
; RV64ZBB-NEXT: srl t3, s1, t4
; RV64ZBB-NEXT: or t1, t1, t2
; RV64ZBB-NEXT: or t0, t0, t3
; RV64ZBB-NEXT: andn a1, a1, t1
; RV64ZBB-NEXT: or a1, a1, t0
; RV64ZBB-NEXT: sll a2, a2, a4
; RV64ZBB-NEXT: sll a3, a3, a4
; RV64ZBB-NEXT: andn a2, a5, a2
; RV64ZBB-NEXT: or a2, a2, a3
; RV64ZBB-NEXT: slli a3, a1, 25
; RV64ZBB-NEXT: srli a3, a3, 57
; RV64ZBB-NEXT: sd a2, 0(a0)
; RV64ZBB-NEXT: sd a7, 8(a0)
; RV64ZBB-NEXT: sd a6, 16(a0)
; RV64ZBB-NEXT: sw a1, 24(a0)
; RV64ZBB-NEXT: sb a3, 28(a0)
; RV64ZBB-NEXT: ld s0, 152(sp) # 8-byte Folded Reload
; RV64ZBB-NEXT: ld s1, 144(sp) # 8-byte Folded Reload
; RV64ZBB-NEXT: ld s2, 136(sp) # 8-byte Folded Reload
; RV64ZBB-NEXT: .cfi_restore s0
; RV64ZBB-NEXT: .cfi_restore s1
; RV64ZBB-NEXT: .cfi_restore s2
; RV64ZBB-NEXT: addi sp, sp, 160
; RV64ZBB-NEXT: .cfi_def_cfa_offset 0
; RV64ZBB-NEXT: ret
%result = bitinsert b231 %base, b123 %val, i32 %off
ret b231 %result
}
define b231 @test_bitinsert_val_b123_into_b231_const_wordcross(b231 %base, b123 %val) {
; RV32-LABEL: test_bitinsert_val_b123_into_b231_const_wordcross:
; RV32: # %bb.0:
; RV32-NEXT: lw a3, 4(a1)
; RV32-NEXT: lw a4, 0(a2)
; RV32-NEXT: lw a5, 4(a2)
; RV32-NEXT: lw a6, 8(a2)
; RV32-NEXT: lw a2, 12(a2)
; RV32-NEXT: lw a7, 20(a1)
; RV32-NEXT: lw t0, 0(a1)
; RV32-NEXT: lw t1, 24(a1)
; RV32-NEXT: lw a1, 28(a1)
; RV32-NEXT: slli t2, a4, 28
; RV32-NEXT: slli a3, a3, 4
; RV32-NEXT: lui t3, 1046528
; RV32-NEXT: and a7, a7, t3
; RV32-NEXT: slli t3, a2, 5
; RV32-NEXT: srli a3, a3, 4
; RV32-NEXT: srli t3, t3, 9
; RV32-NEXT: or a3, a3, t2
; RV32-NEXT: or a7, a7, t3
; RV32-NEXT: slli t2, a5, 28
; RV32-NEXT: srli a4, a4, 4
; RV32-NEXT: srli a5, a5, 4
; RV32-NEXT: slli t3, a6, 28
; RV32-NEXT: or a4, a4, t2
; RV32-NEXT: or a5, t3, a5
; RV32-NEXT: slli a2, a2, 28
; RV32-NEXT: srli a6, a6, 4
; RV32-NEXT: or a2, a6, a2
; RV32-NEXT: andi a1, a1, 127
; RV32-NEXT: sw a2, 16(a0)
; RV32-NEXT: sw a7, 20(a0)
; RV32-NEXT: sw t1, 24(a0)
; RV32-NEXT: sb a1, 28(a0)
; RV32-NEXT: sw t0, 0(a0)
; RV32-NEXT: sw a3, 4(a0)
; RV32-NEXT: sw a4, 8(a0)
; RV32-NEXT: sw a5, 12(a0)
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_val_b123_into_b231_const_wordcross:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lw a3, 4(a1)
; RV32ZBB-NEXT: lw a4, 0(a2)
; RV32ZBB-NEXT: lw a5, 4(a2)
; RV32ZBB-NEXT: lw a6, 8(a2)
; RV32ZBB-NEXT: lw a2, 12(a2)
; RV32ZBB-NEXT: lw a7, 20(a1)
; RV32ZBB-NEXT: lw t0, 0(a1)
; RV32ZBB-NEXT: lw t1, 24(a1)
; RV32ZBB-NEXT: lw a1, 28(a1)
; RV32ZBB-NEXT: slli t2, a4, 28
; RV32ZBB-NEXT: slli a3, a3, 4
; RV32ZBB-NEXT: lui t3, 1046528
; RV32ZBB-NEXT: and a7, a7, t3
; RV32ZBB-NEXT: slli t3, a2, 5
; RV32ZBB-NEXT: srli a3, a3, 4
; RV32ZBB-NEXT: srli t3, t3, 9
; RV32ZBB-NEXT: or a3, a3, t2
; RV32ZBB-NEXT: or a7, a7, t3
; RV32ZBB-NEXT: slli t2, a5, 28
; RV32ZBB-NEXT: srli a4, a4, 4
; RV32ZBB-NEXT: srli a5, a5, 4
; RV32ZBB-NEXT: slli t3, a6, 28
; RV32ZBB-NEXT: or a4, a4, t2
; RV32ZBB-NEXT: or a5, t3, a5
; RV32ZBB-NEXT: slli a2, a2, 28
; RV32ZBB-NEXT: srli a6, a6, 4
; RV32ZBB-NEXT: or a2, a6, a2
; RV32ZBB-NEXT: andi a1, a1, 127
; RV32ZBB-NEXT: sw a2, 16(a0)
; RV32ZBB-NEXT: sw a7, 20(a0)
; RV32ZBB-NEXT: sw t1, 24(a0)
; RV32ZBB-NEXT: sb a1, 28(a0)
; RV32ZBB-NEXT: sw t0, 0(a0)
; RV32ZBB-NEXT: sw a3, 4(a0)
; RV32ZBB-NEXT: sw a4, 8(a0)
; RV32ZBB-NEXT: sw a5, 12(a0)
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_val_b123_into_b231_const_wordcross:
; RV64: # %bb.0:
; RV64-NEXT: ld a4, 0(a1)
; RV64-NEXT: ld a5, 16(a1)
; RV64-NEXT: ld a1, 24(a1)
; RV64-NEXT: slli a6, a3, 5
; RV64-NEXT: slli a7, a2, 60
; RV64-NEXT: srli a6, a6, 9
; RV64-NEXT: slli a4, a4, 4
; RV64-NEXT: srli a5, a5, 55
; RV64-NEXT: srli a4, a4, 4
; RV64-NEXT: slli a5, a5, 55
; RV64-NEXT: or a4, a4, a7
; RV64-NEXT: or a5, a5, a6
; RV64-NEXT: srli a2, a2, 4
; RV64-NEXT: slli a3, a3, 60
; RV64-NEXT: or a2, a3, a2
; RV64-NEXT: slli a3, a1, 25
; RV64-NEXT: srli a3, a3, 57
; RV64-NEXT: sd a4, 0(a0)
; RV64-NEXT: sd a2, 8(a0)
; RV64-NEXT: sd a5, 16(a0)
; RV64-NEXT: sw a1, 24(a0)
; RV64-NEXT: sb a3, 28(a0)
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_val_b123_into_b231_const_wordcross:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: ld a4, 0(a1)
; RV64ZBB-NEXT: ld a5, 16(a1)
; RV64ZBB-NEXT: ld a1, 24(a1)
; RV64ZBB-NEXT: slli a6, a3, 5
; RV64ZBB-NEXT: slli a7, a2, 60
; RV64ZBB-NEXT: srli a6, a6, 9
; RV64ZBB-NEXT: slli a4, a4, 4
; RV64ZBB-NEXT: srli a5, a5, 55
; RV64ZBB-NEXT: srli a4, a4, 4
; RV64ZBB-NEXT: slli a5, a5, 55
; RV64ZBB-NEXT: or a4, a4, a7
; RV64ZBB-NEXT: or a5, a5, a6
; RV64ZBB-NEXT: srli a2, a2, 4
; RV64ZBB-NEXT: slli a3, a3, 60
; RV64ZBB-NEXT: or a2, a3, a2
; RV64ZBB-NEXT: slli a3, a1, 25
; RV64ZBB-NEXT: srli a3, a3, 57
; RV64ZBB-NEXT: sd a4, 0(a0)
; RV64ZBB-NEXT: sd a2, 8(a0)
; RV64ZBB-NEXT: sd a5, 16(a0)
; RV64ZBB-NEXT: sw a1, 24(a0)
; RV64ZBB-NEXT: sb a3, 28(a0)
; RV64ZBB-NEXT: ret
%result = bitinsert b231 %base, b123 %val, i32 60
ret b231 %result
}
; pointer values
define b64 @test_bitinsert_ptr_var(b64 %base, ptr %val, i32 %off) {
; RV32-LABEL: test_bitinsert_ptr_var:
; RV32: # %bb.0:
; RV32-NEXT: addi a5, a3, -32
; RV32-NEXT: li a6, -1
; RV32-NEXT: sll a4, a2, a3
; RV32-NEXT: sll a6, a6, a3
; RV32-NEXT: bltz a5, .LBB37_2
; RV32-NEXT: # %bb.1:
; RV32-NEXT: mv a2, a4
; RV32-NEXT: mv a3, a6
; RV32-NEXT: j .LBB37_3
; RV32-NEXT: .LBB37_2:
; RV32-NEXT: not a3, a3
; RV32-NEXT: lui a7, 524288
; RV32-NEXT: srli a2, a2, 1
; RV32-NEXT: addi a7, a7, -1
; RV32-NEXT: srl a2, a2, a3
; RV32-NEXT: srl a3, a7, a3
; RV32-NEXT: .LBB37_3:
; RV32-NEXT: srai a5, a5, 31
; RV32-NEXT: not a3, a3
; RV32-NEXT: and a6, a5, a6
; RV32-NEXT: and a1, a1, a3
; RV32-NEXT: not a3, a6
; RV32-NEXT: and a4, a5, a4
; RV32-NEXT: and a0, a0, a3
; RV32-NEXT: or a1, a1, a2
; RV32-NEXT: or a0, a0, a4
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_ptr_var:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi a5, a3, -32
; RV32ZBB-NEXT: li a6, -1
; RV32ZBB-NEXT: sll a4, a2, a3
; RV32ZBB-NEXT: sll a6, a6, a3
; RV32ZBB-NEXT: bltz a5, .LBB37_2
; RV32ZBB-NEXT: # %bb.1:
; RV32ZBB-NEXT: mv a2, a4
; RV32ZBB-NEXT: mv a3, a6
; RV32ZBB-NEXT: j .LBB37_3
; RV32ZBB-NEXT: .LBB37_2:
; RV32ZBB-NEXT: not a3, a3
; RV32ZBB-NEXT: lui a7, 524288
; RV32ZBB-NEXT: srli a2, a2, 1
; RV32ZBB-NEXT: addi a7, a7, -1
; RV32ZBB-NEXT: srl a2, a2, a3
; RV32ZBB-NEXT: srl a3, a7, a3
; RV32ZBB-NEXT: .LBB37_3:
; RV32ZBB-NEXT: srai a5, a5, 31
; RV32ZBB-NEXT: andn a1, a1, a3
; RV32ZBB-NEXT: and a3, a5, a6
; RV32ZBB-NEXT: and a4, a5, a4
; RV32ZBB-NEXT: andn a0, a0, a3
; RV32ZBB-NEXT: or a1, a1, a2
; RV32ZBB-NEXT: or a0, a0, a4
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_ptr_var:
; RV64: # %bb.0:
; RV64-NEXT: li a3, -1
; RV64-NEXT: sll a3, a3, a2
; RV64-NEXT: not a3, a3
; RV64-NEXT: sll a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_ptr_var:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: li a3, -1
; RV64ZBB-NEXT: sll a3, a3, a2
; RV64ZBB-NEXT: sll a1, a1, a2
; RV64ZBB-NEXT: andn a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b64 %base, ptr %val, i32 %off
ret b64 %result
}
define b128 @test_bitinsert_ptr_const(b128 %base, ptr %val) {
; RV32-LABEL: test_bitinsert_ptr_const:
; RV32: # %bb.0:
; RV32-NEXT: lw a3, 0(a1)
; RV32-NEXT: lw a4, 8(a1)
; RV32-NEXT: lw a1, 12(a1)
; RV32-NEXT: sw a3, 0(a0)
; RV32-NEXT: sw a2, 4(a0)
; RV32-NEXT: sw a4, 8(a0)
; RV32-NEXT: sw a1, 12(a0)
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_ptr_const:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lw a3, 0(a1)
; RV32ZBB-NEXT: lw a4, 8(a1)
; RV32ZBB-NEXT: lw a1, 12(a1)
; RV32ZBB-NEXT: sw a3, 0(a0)
; RV32ZBB-NEXT: sw a2, 4(a0)
; RV32ZBB-NEXT: sw a4, 8(a0)
; RV32ZBB-NEXT: sw a1, 12(a0)
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_ptr_const:
; RV64: # %bb.0:
; RV64-NEXT: slli a3, a2, 32
; RV64-NEXT: slli a0, a0, 32
; RV64-NEXT: srli a0, a0, 32
; RV64-NEXT: srli a1, a1, 32
; RV64-NEXT: srli a2, a2, 32
; RV64-NEXT: slli a1, a1, 32
; RV64-NEXT: or a0, a0, a3
; RV64-NEXT: or a1, a1, a2
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_ptr_const:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: slli a3, a2, 32
; RV64ZBB-NEXT: slli a0, a0, 32
; RV64ZBB-NEXT: srli a0, a0, 32
; RV64ZBB-NEXT: srli a1, a1, 32
; RV64ZBB-NEXT: srli a2, a2, 32
; RV64ZBB-NEXT: slli a1, a1, 32
; RV64ZBB-NEXT: or a0, a0, a3
; RV64ZBB-NEXT: or a1, a1, a2
; RV64ZBB-NEXT: ret
%result = bitinsert b128 %base, ptr %val, i32 32
ret b128 %result
}
; pointers in non-default address spaces
define b64 @test_bitinsert_ptr_addrspace1(b64 %base, ptr addrspace(1) %val, i32 %off) {
; RV32-LABEL: test_bitinsert_ptr_addrspace1:
; RV32: # %bb.0:
; RV32-NEXT: addi a5, a3, -32
; RV32-NEXT: li a6, -1
; RV32-NEXT: sll a4, a2, a3
; RV32-NEXT: sll a6, a6, a3
; RV32-NEXT: bltz a5, .LBB39_2
; RV32-NEXT: # %bb.1:
; RV32-NEXT: mv a2, a4
; RV32-NEXT: mv a3, a6
; RV32-NEXT: j .LBB39_3
; RV32-NEXT: .LBB39_2:
; RV32-NEXT: not a3, a3
; RV32-NEXT: lui a7, 524288
; RV32-NEXT: srli a2, a2, 1
; RV32-NEXT: addi a7, a7, -1
; RV32-NEXT: srl a2, a2, a3
; RV32-NEXT: srl a3, a7, a3
; RV32-NEXT: .LBB39_3:
; RV32-NEXT: srai a5, a5, 31
; RV32-NEXT: not a3, a3
; RV32-NEXT: and a6, a5, a6
; RV32-NEXT: and a1, a1, a3
; RV32-NEXT: not a3, a6
; RV32-NEXT: and a4, a5, a4
; RV32-NEXT: and a0, a0, a3
; RV32-NEXT: or a1, a1, a2
; RV32-NEXT: or a0, a0, a4
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_ptr_addrspace1:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: addi a5, a3, -32
; RV32ZBB-NEXT: li a6, -1
; RV32ZBB-NEXT: sll a4, a2, a3
; RV32ZBB-NEXT: sll a6, a6, a3
; RV32ZBB-NEXT: bltz a5, .LBB39_2
; RV32ZBB-NEXT: # %bb.1:
; RV32ZBB-NEXT: mv a2, a4
; RV32ZBB-NEXT: mv a3, a6
; RV32ZBB-NEXT: j .LBB39_3
; RV32ZBB-NEXT: .LBB39_2:
; RV32ZBB-NEXT: not a3, a3
; RV32ZBB-NEXT: lui a7, 524288
; RV32ZBB-NEXT: srli a2, a2, 1
; RV32ZBB-NEXT: addi a7, a7, -1
; RV32ZBB-NEXT: srl a2, a2, a3
; RV32ZBB-NEXT: srl a3, a7, a3
; RV32ZBB-NEXT: .LBB39_3:
; RV32ZBB-NEXT: srai a5, a5, 31
; RV32ZBB-NEXT: andn a1, a1, a3
; RV32ZBB-NEXT: and a3, a5, a6
; RV32ZBB-NEXT: and a4, a5, a4
; RV32ZBB-NEXT: andn a0, a0, a3
; RV32ZBB-NEXT: or a1, a1, a2
; RV32ZBB-NEXT: or a0, a0, a4
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_ptr_addrspace1:
; RV64: # %bb.0:
; RV64-NEXT: li a3, -1
; RV64-NEXT: sll a3, a3, a2
; RV64-NEXT: not a3, a3
; RV64-NEXT: sll a1, a1, a2
; RV64-NEXT: and a0, a0, a3
; RV64-NEXT: or a0, a0, a1
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_ptr_addrspace1:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: li a3, -1
; RV64ZBB-NEXT: sll a3, a3, a2
; RV64ZBB-NEXT: sll a1, a1, a2
; RV64ZBB-NEXT: andn a0, a0, a3
; RV64ZBB-NEXT: or a0, a0, a1
; RV64ZBB-NEXT: ret
%result = bitinsert b64 %base, ptr addrspace(1) %val, i32 %off
ret b64 %result
}
define b128 @test_bitinsert_ptr_addrspace3_const(b128 %base, ptr addrspace(3) %val) {
; RV32-LABEL: test_bitinsert_ptr_addrspace3_const:
; RV32: # %bb.0:
; RV32-NEXT: lhu a3, 6(a1)
; RV32-NEXT: lhu a4, 0(a1)
; RV32-NEXT: lw a5, 8(a1)
; RV32-NEXT: lw a1, 12(a1)
; RV32-NEXT: srli a6, a2, 16
; RV32-NEXT: slli a2, a2, 16
; RV32-NEXT: slli a3, a3, 16
; RV32-NEXT: or a2, a4, a2
; RV32-NEXT: or a3, a3, a6
; RV32-NEXT: sw a2, 0(a0)
; RV32-NEXT: sw a3, 4(a0)
; RV32-NEXT: sw a5, 8(a0)
; RV32-NEXT: sw a1, 12(a0)
; RV32-NEXT: ret
;
; RV32ZBB-LABEL: test_bitinsert_ptr_addrspace3_const:
; RV32ZBB: # %bb.0:
; RV32ZBB-NEXT: lhu a3, 6(a1)
; RV32ZBB-NEXT: lhu a4, 0(a1)
; RV32ZBB-NEXT: lw a5, 8(a1)
; RV32ZBB-NEXT: lw a1, 12(a1)
; RV32ZBB-NEXT: srli a6, a2, 16
; RV32ZBB-NEXT: slli a2, a2, 16
; RV32ZBB-NEXT: slli a3, a3, 16
; RV32ZBB-NEXT: or a2, a4, a2
; RV32ZBB-NEXT: or a3, a3, a6
; RV32ZBB-NEXT: sw a2, 0(a0)
; RV32ZBB-NEXT: sw a3, 4(a0)
; RV32ZBB-NEXT: sw a5, 8(a0)
; RV32ZBB-NEXT: sw a1, 12(a0)
; RV32ZBB-NEXT: ret
;
; RV64-LABEL: test_bitinsert_ptr_addrspace3_const:
; RV64: # %bb.0:
; RV64-NEXT: lui a3, 1048560
; RV64-NEXT: and a1, a1, a3
; RV64-NEXT: srli a3, a2, 48
; RV64-NEXT: slli a0, a0, 48
; RV64-NEXT: slli a2, a2, 16
; RV64-NEXT: srli a0, a0, 48
; RV64-NEXT: or a1, a1, a3
; RV64-NEXT: or a0, a0, a2
; RV64-NEXT: ret
;
; RV64ZBB-LABEL: test_bitinsert_ptr_addrspace3_const:
; RV64ZBB: # %bb.0:
; RV64ZBB-NEXT: lui a3, 1048560
; RV64ZBB-NEXT: and a1, a1, a3
; RV64ZBB-NEXT: slli a3, a2, 16
; RV64ZBB-NEXT: zext.h a0, a0
; RV64ZBB-NEXT: srli a2, a2, 48
; RV64ZBB-NEXT: or a0, a0, a3
; RV64ZBB-NEXT: or a1, a1, a2
; RV64ZBB-NEXT: ret
%result = bitinsert b128 %base, ptr addrspace(3) %val, i32 16
ret b128 %result
}