llvm/test/CodeGen/PowerPC/bitinsert-bitextract-common-offsets.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s

; bitextract
define i1 @test_bitextract_b8_off0(b8 %src) {
; CHECK-LABEL: test_bitextract_b8_off0:
; CHECK:       # %bb.0:
; CHECK-NEXT:    blr
  %result = bitextract i1, b8 %src, i32 0
  ret i1 %result
}

define i4 @test_bitextract_b8_nibble_hi(b8 %src) {
; CHECK-LABEL: test_bitextract_b8_nibble_hi:
; CHECK:       # %bb.0:
; CHECK-NEXT:    rlwinm 3, 3, 28, 28, 31
; CHECK-NEXT:    blr
  %result = bitextract i4, b8 %src, i32 4
  ret i4 %result
}

define i1 @test_bitextract_b8_off_top(b8 %src) {
; CHECK-LABEL: test_bitextract_b8_off_top:
; CHECK:       # %bb.0:
; CHECK-NEXT:    rlwinm 3, 3, 25, 31, 31
; CHECK-NEXT:    blr
  %result = bitextract i1, b8 %src, i32 7
  ret i1 %result
}

define i8 @test_bitextract_b16_byte_hi(b16 %src) {
; CHECK-LABEL: test_bitextract_b16_byte_hi:
; CHECK:       # %bb.0:
; CHECK-NEXT:    rlwinm 3, 3, 24, 24, 31
; CHECK-NEXT:    blr
  %result = bitextract i8, b16 %src, i32 8
  ret i8 %result
}

define i32 @test_bitextract_b64_dword_hi(b64 %src) {
; CHECK-LABEL: test_bitextract_b64_dword_hi:
; CHECK:       # %bb.0:
; CHECK-NEXT:    rldicl 3, 3, 32, 32
; CHECK-NEXT:    blr
  %result = bitextract i32, b64 %src, i32 32
  ret i32 %result
}

define i64 @test_bitextract_b128_lo64(b128 %src) {
; CHECK-LABEL: test_bitextract_b128_lo64:
; CHECK:       # %bb.0:
; CHECK-NEXT:    mr 3, 4
; CHECK-NEXT:    blr
  %result = bitextract i64, b128 %src, i32 0
  ret i64 %result
}

define b8 @test_bitinsert_b8_off1(b8 %base, i1 %val) {
; CHECK-LABEL: test_bitinsert_b8_off1:
; CHECK:       # %bb.0:
; CHECK-NEXT:    rlwimi 3, 4, 1, 30, 30
; CHECK-NEXT:    blr
  %result = bitinsert b8 %base, i1 %val, i32 1
  ret b8 %result
}

define b16 @test_bitinsert_b16_off8(b16 %base, i8 %val) {
; CHECK-LABEL: test_bitinsert_b16_off8:
; CHECK:       # %bb.0:
; CHECK-NEXT:    rlwimi 3, 4, 8, 0, 23
; CHECK-NEXT:    blr
  %result = bitinsert b16 %base, i8 %val, i32 8
  ret b16 %result
}

; b32 container: offsets 1, 2, 4, 8, 16

define b32 @test_bitinsert_b32_off8(b32 %base, i8 %val) {
; CHECK-LABEL: test_bitinsert_b32_off8:
; CHECK:       # %bb.0:
; CHECK-NEXT:    rlwimi 3, 4, 8, 16, 23
; CHECK-NEXT:    blr
  %result = bitinsert b32 %base, i8 %val, i32 8
  ret b32 %result
}

define b64 @test_bitinsert_b64_off32(b64 %base, i32 %val) {
; CHECK-LABEL: test_bitinsert_b64_off32:
; CHECK:       # %bb.0:
; CHECK-NEXT:    rldimi 3, 4, 32, 0
; CHECK-NEXT:    blr
  %result = bitinsert b64 %base, i32 %val, i32 32
  ret b64 %result
}


; b128 container: offsets 1, 2, 4, 8, 16, 32, 64

define b128 @test_bitinsert_b128_off64(b128 %base, i64 %val) {
; CHECK-LABEL: test_bitinsert_b128_off64:
; CHECK:       # %bb.0:
; CHECK-NEXT:    mr 3, 5
; CHECK-NEXT:    blr
  %result = bitinsert b128 %base, i64 %val, i32 64
  ret b128 %result
}