test/CodeGen/SystemZ/int-add-12.ll

   1 ; Test 64-bit additions of constants to memory.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Check additions of 1.
   6 define void @f1(i64 *%ptr) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: agsi 0(%r2), 1
   9 ; CHECK: br %r14
  10   %val = load i64 *%ptr
  11   %add = add i64 %val, 127
  12   store i64 %add, i64 *%ptr
  13   ret void
  14 }
  15
  16 ; Check the high end of the constant range.
  17 define void @f2(i64 *%ptr) {
  18 ; CHECK-LABEL: f2:
  19 ; CHECK: agsi 0(%r2), 127
  20 ; CHECK: br %r14
  21   %val = load i64 *%ptr
  22   %add = add i64 %val, 127
  23   store i64 %add, i64 *%ptr
  24   ret void
  25 }
  26
  27 ; Check the next constant up, which must use an addition and a store.
  28 ; Both LG/AGHI and LGHI/AG would be OK.
  29 define void @f3(i64 *%ptr) {
  30 ; CHECK-LABEL: f3:
  31 ; CHECK-NOT: agsi
  32 ; CHECK: stg %r0, 0(%r2)
  33 ; CHECK: br %r14
  34   %val = load i64 *%ptr
  35   %add = add i64 %val, 128
  36   store i64 %add, i64 *%ptr
  37   ret void
  38 }
  39
  40 ; Check the low end of the constant range.
  41 define void @f4(i64 *%ptr) {
  42 ; CHECK-LABEL: f4:
  43 ; CHECK: agsi 0(%r2), -128
  44 ; CHECK: br %r14
  45   %val = load i64 *%ptr
  46   %add = add i64 %val, -128
  47   store i64 %add, i64 *%ptr
  48   ret void
  49 }
  50
  51 ; Check the next value down, with the same comment as f3.
  52 define void @f5(i64 *%ptr) {
  53 ; CHECK-LABEL: f5:
  54 ; CHECK-NOT: agsi
  55 ; CHECK: stg %r0, 0(%r2)
  56 ; CHECK: br %r14
  57   %val = load i64 *%ptr
  58   %add = add i64 %val, -129
  59   store i64 %add, i64 *%ptr
  60   ret void
  61 }
  62
  63 ; Check the high end of the aligned AGSI range.
  64 define void @f6(i64 *%base) {
  65 ; CHECK-LABEL: f6:
  66 ; CHECK: agsi 524280(%r2), 1
  67 ; CHECK: br %r14
  68   %ptr = getelementptr i64 *%base, i64 65535
  69   %val = load i64 *%ptr
  70   %add = add i64 %val, 1
  71   store i64 %add, i64 *%ptr
  72   ret void
  73 }
  74
  75 ; Check the next doubleword up, which must use separate address logic.
  76 ; Other sequences besides this one would be OK.
  77 define void @f7(i64 *%base) {
  78 ; CHECK-LABEL: f7:
  79 ; CHECK: agfi %r2, 524288
  80 ; CHECK: agsi 0(%r2), 1
  81 ; CHECK: br %r14
  82   %ptr = getelementptr i64 *%base, i64 65536
  83   %val = load i64 *%ptr
  84   %add = add i64 %val, 1
  85   store i64 %add, i64 *%ptr
  86   ret void
  87 }
  88
  89 ; Check the low end of the AGSI range.
  90 define void @f8(i64 *%base) {
  91 ; CHECK-LABEL: f8:
  92 ; CHECK: agsi -524288(%r2), 1
  93 ; CHECK: br %r14
  94   %ptr = getelementptr i64 *%base, i64 -65536
  95   %val = load i64 *%ptr
  96   %add = add i64 %val, 1
  97   store i64 %add, i64 *%ptr
  98   ret void
  99 }
 100
 101 ; Check the next doubleword down, which must use separate address logic.
 102 ; Other sequences besides this one would be OK.
 103 define void @f9(i64 *%base) {
 104 ; CHECK-LABEL: f9:
 105 ; CHECK: agfi %r2, -524296
 106 ; CHECK: agsi 0(%r2), 1
 107 ; CHECK: br %r14
 108   %ptr = getelementptr i64 *%base, i64 -65537
 109   %val = load i64 *%ptr
 110   %add = add i64 %val, 1
 111   store i64 %add, i64 *%ptr
 112   ret void
 113 }
 114
 115 ; Check that AGSI does not allow indices.
 116 define void @f10(i64 %base, i64 %index) {
 117 ; CHECK-LABEL: f10:
 118 ; CHECK: agr %r2, %r3
 119 ; CHECK: agsi 8(%r2), 1
 120 ; CHECK: br %r14
 121   %add1 = add i64 %base, %index
 122   %add2 = add i64 %add1, 8
 123   %ptr = inttoptr i64 %add2 to i64 *
 124   %val = load i64 *%ptr
 125   %add = add i64 %val, 1
 126   store i64 %add, i64 *%ptr
 127   ret void
 128 }