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

   1 ; Test 128-bit addition in which the second operand is constant.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s
   4
   5 ; Check additions of 1.  The XOR ensures that we don't instead load the
   6 ; constant into a register and use memory addition.
   7 define void @f1(i128 *%aptr) {
   8 ; CHECK-LABEL: f1:
   9 ; CHECK: algfi {{%r[0-5]}}, 1
  10 ; CHECK: alcgr
  11 ; CHECK: br %r14
  12   %a = load i128 *%aptr
  13   %xor = xor i128 %a, 128
  14   %add = add i128 %xor, 1
  15   store i128 %add, i128 *%aptr
  16   ret void
  17 }
  18
  19 ; Check the high end of the ALGFI range.
  20 define void @f2(i128 *%aptr) {
  21 ; CHECK-LABEL: f2:
  22 ; CHECK: algfi {{%r[0-5]}}, 4294967295
  23 ; CHECK: alcgr
  24 ; CHECK: br %r14
  25   %a = load i128 *%aptr
  26   %xor = xor i128 %a, 128
  27   %add = add i128 %xor, 4294967295
  28   store i128 %add, i128 *%aptr
  29   ret void
  30 }
  31
  32 ; Check the next value up, which must use register addition.
  33 define void @f3(i128 *%aptr) {
  34 ; CHECK-LABEL: f3:
  35 ; CHECK: algr
  36 ; CHECK: alcgr
  37 ; CHECK: br %r14
  38   %a = load i128 *%aptr
  39   %xor = xor i128 %a, 128
  40   %add = add i128 %xor, 4294967296
  41   store i128 %add, i128 *%aptr
  42   ret void
  43 }
  44
  45 ; Check addition of -1, which must also use register addition.
  46 define void @f4(i128 *%aptr) {
  47 ; CHECK-LABEL: f4:
  48 ; CHECK: algr
  49 ; CHECK: alcgr
  50 ; CHECK: br %r14
  51   %a = load i128 *%aptr
  52   %xor = xor i128 %a, 128
  53   %add = add i128 %xor, -1
  54   store i128 %add, i128 *%aptr
  55   ret void
  56 }