test/CodeGen/SystemZ/int-abs-01.ll

   1 ; Test integer absolute.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Test i32->i32 absolute using slt.
   6 define i32 @f1(i32 %val) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: lpr %r2, %r2
   9 ; CHECK: br %r14
  10   %cmp = icmp slt i32 %val, 0
  11   %neg = sub i32 0, %val
  12   %res = select i1 %cmp, i32 %neg, i32 %val
  13   ret i32 %res
  14 }
  15
  16 ; Test i32->i32 absolute using sle.
  17 define i32 @f2(i32 %val) {
  18 ; CHECK-LABEL: f2:
  19 ; CHECK: lpr %r2, %r2
  20 ; CHECK: br %r14
  21   %cmp = icmp sle i32 %val, 0
  22   %neg = sub i32 0, %val
  23   %res = select i1 %cmp, i32 %neg, i32 %val
  24   ret i32 %res
  25 }
  26
  27 ; Test i32->i32 absolute using sgt.
  28 define i32 @f3(i32 %val) {
  29 ; CHECK-LABEL: f3:
  30 ; CHECK: lpr %r2, %r2
  31 ; CHECK: br %r14
  32   %cmp = icmp sgt i32 %val, 0
  33   %neg = sub i32 0, %val
  34   %res = select i1 %cmp, i32 %val, i32 %neg
  35   ret i32 %res
  36 }
  37
  38 ; Test i32->i32 absolute using sge.
  39 define i32 @f4(i32 %val) {
  40 ; CHECK-LABEL: f4:
  41 ; CHECK: lpr %r2, %r2
  42 ; CHECK: br %r14
  43   %cmp = icmp sge i32 %val, 0
  44   %neg = sub i32 0, %val
  45   %res = select i1 %cmp, i32 %val, i32 %neg
  46   ret i32 %res
  47 }
  48
  49 ; Test i32->i64 absolute.
  50 define i64 @f5(i32 %val) {
  51 ; CHECK-LABEL: f5:
  52 ; CHECK: lpgfr %r2, %r2
  53 ; CHECK: br %r14
  54   %ext = sext i32 %val to i64
  55   %cmp = icmp slt i64 %ext, 0
  56   %neg = sub i64 0, %ext
  57   %res = select i1 %cmp, i64 %neg, i64 %ext
  58   ret i64 %res
  59 }
  60
  61 ; Test i32->i64 absolute that uses an "in-register" form of sign extension.
  62 define i64 @f6(i64 %val) {
  63 ; CHECK-LABEL: f6:
  64 ; CHECK: lpgfr %r2, %r2
  65 ; CHECK: br %r14
  66   %trunc = trunc i64 %val to i32
  67   %ext = sext i32 %trunc to i64
  68   %cmp = icmp slt i64 %ext, 0
  69   %neg = sub i64 0, %ext
  70   %res = select i1 %cmp, i64 %neg, i64 %ext
  71   ret i64 %res
  72 }
  73
  74 ; Test i64 absolute.
  75 define i64 @f7(i64 %val) {
  76 ; CHECK-LABEL: f7:
  77 ; CHECK: lpgr %r2, %r2
  78 ; CHECK: br %r14
  79   %cmp = icmp slt i64 %val, 0
  80   %neg = sub i64 0, %val
  81   %res = select i1 %cmp, i64 %neg, i64 %val
  82   ret i64 %res
  83 }