llvm/test/CodeGen/SystemZ/int-add-07.ll

   1 ; Test 64-bit addition in which the second operand is constant.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Check additions of 1.
   6 define i64 @f1(i64 %a) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: {{aghi %r2, 1|la %r[0-5], 1\(%r2\)}}
   9 ; CHECK: br %r14
  10   %add = add i64 %a, 1
  11   ret i64 %add
  12 }
  13
  14 ; Check the high end of the AGHI range.
  15 define i64 @f2(i64 %a) {
  16 ; CHECK-LABEL: f2:
  17 ; CHECK: aghi %r2, 32767
  18 ; CHECK: br %r14
  19   %add = add i64 %a, 32767
  20   ret i64 %add
  21 }
  22
  23 ; Check the next value up, which must use AGFI instead.
  24 define i64 @f3(i64 %a) {
  25 ; CHECK-LABEL: f3:
  26 ; CHECK: {{agfi %r2, 32768|lay %r[0-5], 32768\(%r2\)}}
  27 ; CHECK: br %r14
  28   %add = add i64 %a, 32768
  29   ret i64 %add
  30 }
  31
  32 ; Check the high end of the AGFI range.
  33 define i64 @f4(i64 %a) {
  34 ; CHECK-LABEL: f4:
  35 ; CHECK: agfi %r2, 2147483647
  36 ; CHECK: br %r14
  37   %add = add i64 %a, 2147483647
  38   ret i64 %add
  39 }
  40
  41 ; Check the next value up, which must use ALGFI instead.
  42 define i64 @f5(i64 %a) {
  43 ; CHECK-LABEL: f5:
  44 ; CHECK: algfi %r2, 2147483648
  45 ; CHECK: br %r14
  46   %add = add i64 %a, 2147483648
  47   ret i64 %add
  48 }
  49
  50 ; Check the high end of the ALGFI range.
  51 define i64 @f6(i64 %a) {
  52 ; CHECK-LABEL: f6:
  53 ; CHECK: algfi %r2, 4294967295
  54 ; CHECK: br %r14
  55   %add = add i64 %a, 4294967295
  56   ret i64 %add
  57 }
  58
  59 ; Check the next value up, which must be loaded into a register first.
  60 define i64 @f7(i64 %a) {
  61 ; CHECK-LABEL: f7:
  62 ; CHECK: llihl %r0, 1
  63 ; CHECK: agr
  64 ; CHECK: br %r14
  65   %add = add i64 %a, 4294967296
  66   ret i64 %add
  67 }
  68
  69 ; Check the high end of the negative AGHI range.
  70 define i64 @f8(i64 %a) {
  71 ; CHECK-LABEL: f8:
  72 ; CHECK: aghi %r2, -1
  73 ; CHECK: br %r14
  74   %add = add i64 %a, -1
  75   ret i64 %add
  76 }
  77
  78 ; Check the low end of the AGHI range.
  79 define i64 @f9(i64 %a) {
  80 ; CHECK-LABEL: f9:
  81 ; CHECK: aghi %r2, -32768
  82 ; CHECK: br %r14
  83   %add = add i64 %a, -32768
  84   ret i64 %add
  85 }
  86
  87 ; Check the next value down, which must use AGFI instead.
  88 define i64 @f10(i64 %a) {
  89 ; CHECK-LABEL: f10:
  90 ; CHECK: {{agfi %r2, -32769|lay %r[0-5]+, -32769\(%r2\)}}
  91 ; CHECK: br %r14
  92   %add = add i64 %a, -32769
  93   ret i64 %add
  94 }
  95
  96 ; Check the low end of the AGFI range.
  97 define i64 @f11(i64 %a) {
  98 ; CHECK-LABEL: f11:
  99 ; CHECK: agfi %r2, -2147483648
 100 ; CHECK: br %r14
 101   %add = add i64 %a, -2147483648
 102   ret i64 %add
 103 }
 104
 105 ; Check the next value down, which must use SLGFI instead.
 106 define i64 @f12(i64 %a) {
 107 ; CHECK-LABEL: f12:
 108 ; CHECK: slgfi %r2, 2147483649
 109 ; CHECK: br %r14
 110   %add = add i64 %a, -2147483649
 111   ret i64 %add
 112 }
 113
 114 ; Check the low end of the SLGFI range.
 115 define i64 @f13(i64 %a) {
 116 ; CHECK-LABEL: f13:
 117 ; CHECK: slgfi %r2, 4294967295
 118 ; CHECK: br %r14
 119   %add = add i64 %a, -4294967295
 120   ret i64 %add
 121 }
 122
 123 ; Check the next value down, which must use register addition instead.
 124 define i64 @f14(i64 %a) {
 125 ; CHECK-LABEL: f14:
 126 ; CHECK: llihf %r0, 4294967295
 127 ; CHECK: agr
 128 ; CHECK: br %r14
 129   %add = add i64 %a, -4294967296
 130   ret i64 %add
 131 }