test/CodeGen/SystemZ/tdc-01.ll

   1 ; Test the Test Data Class instruction, selected manually via the intrinsic.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 declare i32 @llvm.s390.tdc.f32(float, i64)
   6 declare i32 @llvm.s390.tdc.f64(double, i64)
   7 declare i32 @llvm.s390.tdc.f128(fp128, i64)
   8
   9 ; Check using as i32 - f32
  10 define i32 @f1(float %x) {
  11 ; CHECK-LABEL: f1
  12 ; CHECK: tceb %f0, 123
  13 ; CHECK: ipm %r2
  14 ; CHECK: srl %r2, 28
  15   %res = call i32 @llvm.s390.tdc.f32(float %x, i64 123)
  16   ret i32 %res
  17 }
  18
  19 ; Check using as i32 - f64
  20 define i32 @f2(double %x) {
  21 ; CHECK-LABEL: f2
  22 ; CHECK: tcdb %f0, 123
  23 ; CHECK: ipm %r2
  24 ; CHECK: srl %r2, 28
  25   %res = call i32 @llvm.s390.tdc.f64(double %x, i64 123)
  26   ret i32 %res
  27 }
  28
  29 ; Check using as i32 - f128
  30 define i32 @f3(fp128 %x) {
  31 ; CHECK-LABEL: f3
  32 ; CHECK: ld %f0, 0(%r2)
  33 ; CHECK: ld %f2, 8(%r2)
  34 ; CHECK: tcxb %f0, 123
  35 ; CHECK: ipm %r2
  36 ; CHECK: srl %r2, 28
  37   %res = call i32 @llvm.s390.tdc.f128(fp128 %x, i64 123)
  38   ret i32 %res
  39 }
  40
  41 declare void @g()
  42
  43 ; Check branch
  44 define void @f4(float %x) {
  45 ; CHECK-LABEL: f4
  46 ; CHECK: tceb %f0, 123
  47 ; CHECK: jgl g
  48 ; CHECK: br %r14
  49   %res = call i32 @llvm.s390.tdc.f32(float %x, i64 123)
  50   %cond = icmp ne i32 %res, 0
  51   br i1 %cond, label %call, label %exit
  52
  53 call:
  54   tail call void @g()
  55   br label %exit
  56
  57 exit:
  58   ret void
  59 }
  60
  61 ; Check branch negated
  62 define void @f5(float %x) {
  63 ; CHECK-LABEL: f5
  64 ; CHECK: tceb %f0, 123
  65 ; CHECK: jge g
  66 ; CHECK: br %r14
  67   %res = call i32 @llvm.s390.tdc.f32(float %x, i64 123)
  68   %cond = icmp eq i32 %res, 0
  69   br i1 %cond, label %call, label %exit
  70
  71 call:
  72   tail call void @g()
  73   br label %exit
  74
  75 exit:
  76   ret void
  77 }
  78
  79 ; Check non-const mask
  80 define void @f6(float %x, i64 %y) {
  81 ; CHECK-LABEL: f6
  82 ; CHECK: tceb %f0, 0(%r2)
  83 ; CHECK: jge g
  84 ; CHECK: br %r14
  85   %res = call i32 @llvm.s390.tdc.f32(float %x, i64 %y)
  86   %cond = icmp eq i32 %res, 0
  87   br i1 %cond, label %call, label %exit
  88
  89 call:
  90   tail call void @g()
  91   br label %exit
  92
  93 exit:
  94   ret void
  95 }