; RUN: llc -verify-machineinstrs -mcpu=ppc64 < %s | FileCheck %s
target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu"

; Function Attrs: nounwind readnone
define i64 @cn1() #0 {
entry:
  ret i64 281474976710655

; CHECK-LABEL: @cn1
; CHECK: lis [[REG1:[0-9]+]], -1
; CHECK: rldicr 3, [[REG1]], 48, 63
; CHECK: blr
}

; Function Attrs: nounwind readnone
define i64 @cnb() #0 {
entry:
  ret i64 281474976710575

; CHECK-LABEL: @cnb
; CHECK: lis [[REG1:[0-9]+]], -81
; CHECK: rldicr 3, [[REG1]], 48, 63
; CHECK: blr
}

; Function Attrs: nounwind readnone
define i64 @f2(i64 %x) #0 {
entry:
  ret i64 -68719476736

; CHECK-LABEL: @f2
; CHECK: li [[REG1:[0-9]+]], -1
; CHECK: sldi 3, [[REG1]], 36
; CHECK: blr
}

; Function Attrs: nounwind readnone
define i64 @f2a(i64 %x) #0 {
entry:
  ret i64 -361850994688

; CHECK-LABEL: @f2a
; CHECK: li [[REG1:[0-9]+]], -337
; CHECK: sldi 3, [[REG1]], 30
; CHECK: blr
}

; Function Attrs: nounwind readnone
define i64 @f2n(i64 %x) #0 {
entry:
  ret i64 68719476735

; CHECK-LABEL: @f2n
; CHECK: lis [[REG1:[0-9]+]], -4096
; CHECK: rldicr 3, [[REG1]], 36, 63
; CHECK: blr
}

; Function Attrs: nounwind readnone
define i64 @f3(i64 %x) #0 {
entry:
  ret i64 8589934591

; CHECK-LABEL: @f3
; CHECK: lis [[REG1:[0-9]+]], -32768
; CHECK: rldicr 3, [[REG1]], 33, 63
; CHECK: blr
}

; Function Attrs: nounwind readnone
define i64 @cn2n() #0 {
entry:
  ret i64 -1407374887747585

; CHECK-LABEL: @cn2n
; CHECK: lis [[REG1:[0-9]+]], -5121
; CHECK: ori [[REG2:[0-9]+]], [[REG1]], 65534
; CHECK: rldicr 3, [[REG2]], 22, 63
; CHECK: blr
}

attributes #0 = { nounwind readnone }