test/CodeGen/SPARC/64bit.ll

   1 ; RUN: llc < %s -march=sparcv9 | FileCheck %s
   2
   3 ; CHECK: ret2:
   4 ; CHECK: or %g0, %i1, %i0
   5 define i64 @ret2(i64 %a, i64 %b) {
   6   ret i64 %b
   7 }
   8
   9 ; CHECK: shl_imm
  10 ; CHECK: sllx %i0, 7, %i0
  11 define i64 @shl_imm(i64 %a) {
  12   %x = shl i64 %a, 7
  13   ret i64 %x
  14 }
  15
  16 ; CHECK: sra_reg
  17 ; CHECK: srax %i0, %i1, %i0
  18 define i64 @sra_reg(i64 %a, i64 %b) {
  19   %x = ashr i64 %a, %b
  20   ret i64 %x
  21 }
  22
  23 ; Immediate materialization. Many of these patterns could actually be merged
  24 ; into the restore instruction:
  25 ;
  26 ;     restore %g0, %g0, %o0
  27 ;
  28 ; CHECK: ret_imm0
  29 ; CHECK: or %g0, %g0, %i0
  30 define i64 @ret_imm0() {
  31   ret i64 0
  32 }
  33
  34 ; CHECK: ret_simm13
  35 ; CHECK: or %g0, -4096, %i0
  36 define i64 @ret_simm13() {
  37   ret i64 -4096
  38 }
  39
  40 ; CHECK: ret_sethi
  41 ; CHECK: sethi 4, %i0
  42 ; CHECK-NOT: or
  43 ; CHECK: restore
  44 define i64 @ret_sethi() {
  45   ret i64 4096
  46 }
  47
  48 ; CHECK: ret_sethi
  49 ; CHECK: sethi 4, [[R:%[goli][0-7]]]
  50 ; CHECK: or [[R]], 1, %i0
  51 define i64 @ret_sethi_or() {
  52   ret i64 4097
  53 }
  54
  55 ; CHECK: ret_nimm33
  56 ; CHECK: sethi 4, [[R:%[goli][0-7]]]
  57 ; CHECK: xor [[R]], -4, %i0
  58 define i64 @ret_nimm33() {
  59   ret i64 -4100
  60 }
  61
  62 ; CHECK: ret_bigimm
  63 ; CHECK: sethi
  64 ; CHECK: sethi
  65 define i64 @ret_bigimm() {
  66   ret i64 6800754272627607872
  67 }