; Test that we can use XI for byte operations that are expressed as i32
; or i64 operations.
;
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s

; Zero extension to 32 bits, negative constant.
define void @f1(ptr %ptr) {
; CHECK-LABEL: f1:
; CHECK: xi 0(%r2), 254
; CHECK: br %r14
  %val = load i8, ptr %ptr
  %ext = zext i8 %val to i32
  %xor = xor i32 %ext, -2
  %trunc = trunc i32 %xor to i8
  store i8 %trunc, ptr %ptr
  ret void
}

; Zero extension to 64 bits, negative constant.
define void @f2(ptr %ptr) {
; CHECK-LABEL: f2:
; CHECK: xi 0(%r2), 254
; CHECK: br %r14
  %val = load i8, ptr %ptr
  %ext = zext i8 %val to i64
  %xor = xor i64 %ext, -2
  %trunc = trunc i64 %xor to i8
  store i8 %trunc, ptr %ptr
  ret void
}

; Zero extension to 32 bits, positive constant.
define void @f3(ptr %ptr) {
; CHECK-LABEL: f3:
; CHECK: xi 0(%r2), 254
; CHECK: br %r14
  %val = load i8, ptr %ptr
  %ext = zext i8 %val to i32
  %xor = xor i32 %ext, 254
  %trunc = trunc i32 %xor to i8
  store i8 %trunc, ptr %ptr
  ret void
}

; Zero extension to 64 bits, positive constant.
define void @f4(ptr %ptr) {
; CHECK-LABEL: f4:
; CHECK: xi 0(%r2), 254
; CHECK: br %r14
  %val = load i8, ptr %ptr
  %ext = zext i8 %val to i64
  %xor = xor i64 %ext, 254
  %trunc = trunc i64 %xor to i8
  store i8 %trunc, ptr %ptr
  ret void
}

; Sign extension to 32 bits, negative constant.
define void @f5(ptr %ptr) {
; CHECK-LABEL: f5:
; CHECK: xi 0(%r2), 254
; CHECK: br %r14
  %val = load i8, ptr %ptr
  %ext = sext i8 %val to i32
  %xor = xor i32 %ext, -2
  %trunc = trunc i32 %xor to i8
  store i8 %trunc, ptr %ptr
  ret void
}

; Sign extension to 64 bits, negative constant.
define void @f6(ptr %ptr) {
; CHECK-LABEL: f6:
; CHECK: xi 0(%r2), 254
; CHECK: br %r14
  %val = load i8, ptr %ptr
  %ext = sext i8 %val to i64
  %xor = xor i64 %ext, -2
  %trunc = trunc i64 %xor to i8
  store i8 %trunc, ptr %ptr
  ret void
}

; Sign extension to 32 bits, positive constant.
define void @f7(ptr %ptr) {
; CHECK-LABEL: f7:
; CHECK: xi 0(%r2), 254
; CHECK: br %r14
  %val = load i8, ptr %ptr
  %ext = sext i8 %val to i32
  %xor = xor i32 %ext, 254
  %trunc = trunc i32 %xor to i8
  store i8 %trunc, ptr %ptr
  ret void
}

; Sign extension to 64 bits, positive constant.
define void @f8(ptr %ptr) {
; CHECK-LABEL: f8:
; CHECK: xi 0(%r2), 254
; CHECK: br %r14
  %val = load i8, ptr %ptr
  %ext = sext i8 %val to i64
  %xor = xor i64 %ext, 254
  %trunc = trunc i64 %xor to i8
  store i8 %trunc, ptr %ptr
  ret void
}