test/CodeGen/SPARC/basictest.ll

   1 ; RUN: llc < %s -march=sparc | FileCheck %s
   2
   3 define i32 @test0(i32 %X) {
   4         %tmp.1 = add i32 %X, 1
   5         ret i32 %tmp.1
   6 ; CHECK-LABEL: test0:
   7 ; CHECK: add %o0, 1, %o0
   8 }
   9
  10
  11 ;; xnor tests.
  12 define i32 @test1(i32 %X, i32 %Y) {
  13         %A = xor i32 %X, %Y
  14         %B = xor i32 %A, -1
  15         ret i32 %B
  16 ; CHECK-LABEL: test1:
  17 ; CHECK: xnor %o0, %o1, %o0
  18 }
  19
  20 define i32 @test2(i32 %X, i32 %Y) {
  21         %A = xor i32 %X, -1
  22         %B = xor i32 %A, %Y
  23         ret i32 %B
  24 ; CHECK-LABEL: test2:
  25 ; CHECK: xnor %o0, %o1, %o0
  26 }
  27
  28 ; CHECK-LABEL: store_zero:
  29 ; CHECK: st   %g0, [%o0]
  30 ; CHECK: st   %g0, [%o1+4]
  31 define i32 @store_zero(i32* %a, i32* %b) {
  32 entry:
  33   store i32 0, i32* %a, align 4
  34   %0 = getelementptr inbounds i32, i32* %b, i32 1
  35   store i32 0, i32* %0, align 4
  36   ret i32 0
  37 }
  38
  39 ; CHECK-LABEL: signed_divide:
  40 ; CHECK: sra %o0, 31, %o2
  41 ; CHECK: wr %g0, %o2, %y
  42 ; CHECK: sdiv %o0, %o1, %o0
  43 define i32 @signed_divide(i32 %a, i32 %b) {
  44   %r = sdiv i32 %a, %b
  45   ret i32 %r
  46 }
  47
  48 ; CHECK-LABEL: unsigned_divide:
  49 ; CHECK: wr %g0, %g0, %y
  50 ; CHECK: udiv %o0, %o1, %o0
  51 define i32 @unsigned_divide(i32 %a, i32 %b) {
  52   %r = udiv i32 %a, %b
  53   ret i32 %r
  54 }
  55
  56 ; CHECK-LABEL: multiply_32x32:
  57 ; CHECK: smul %o0, %o1, %o0
  58 define i32 @multiply_32x32(i32 %a, i32 %b) {
  59   %r = mul i32 %a, %b
  60   ret i32 %r
  61 }
  62
  63 ; CHECK-LABEL: signed_multiply_32x32_64:
  64 ; CHECK: smul %o0, %o1, %o1
  65 ; CHECK: rd %y, %o0
  66 define i64 @signed_multiply_32x32_64(i32 %a, i32 %b) {
  67   %xa = sext i32 %a to i64
  68   %xb = sext i32 %b to i64
  69   %r = mul i64 %xa, %xb
  70   ret i64 %r
  71 }
  72
  73 ; CHECK-LABEL: unsigned_multiply_32x32_64:
  74 ; CHECK: umul %o0, %o1, %o2
  75 ; CHECK: rd %y, %o2
  76 ;FIXME: the smul in the output is totally redundant and should not there.
  77 ; CHECK: smul %o0, %o1, %o1
  78 ; CHECK: retl
  79 ; CHECK: mov      %o2, %o0
  80 define i64 @unsigned_multiply_32x32_64(i32 %a, i32 %b) {
  81   %xa = zext i32 %a to i64
  82   %xb = zext i32 %b to i64
  83   %r = mul i64 %xa, %xb
  84   ret i64 %r
  85 }
  86
  87 ; CHECK-LABEL: load_store_64bit:
  88 ; CHECK: ldd [%o0], %o2
  89 ; CHECK: addcc %o3, 3, %o5
  90 ; CHECK: addxcc %o2, 0, %o4
  91 ; CHECK: retl
  92 ; CHECK: std %o4, [%o1]
  93 define void @load_store_64bit(i64* %x, i64* %y) {
  94 entry:
  95   %0 = load i64, i64* %x
  96   %add = add nsw i64 %0, 3
  97   store i64 %add, i64* %y
  98   ret void
  99 }