llvm/test/Assembler/auto_upgrade_nvvm_intrinsics.ll

   1 ; Test to make sure NVVM intrinsics are automatically upgraded.
   2 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   3 ; RUN: verify-uselistorder %s
   4
   5 declare i32 @llvm.nvvm.brev32(i32)
   6 declare i64 @llvm.nvvm.brev64(i64)
   7 declare i32 @llvm.nvvm.clz.i(i32)
   8 declare i32 @llvm.nvvm.clz.ll(i64)
   9 declare i32 @llvm.nvvm.popc.i(i32)
  10 declare i32 @llvm.nvvm.popc.ll(i64)
  11 declare float @llvm.nvvm.h2f(i16)
  12
  13 declare i32 @llvm.nvvm.abs.i(i32)
  14 declare i64 @llvm.nvvm.abs.ll(i64)
  15
  16 declare i16 @llvm.nvvm.max.s(i16, i16)
  17 declare i32 @llvm.nvvm.max.i(i32, i32)
  18 declare i64 @llvm.nvvm.max.ll(i64, i64)
  19 declare i16 @llvm.nvvm.max.us(i16, i16)
  20 declare i32 @llvm.nvvm.max.ui(i32, i32)
  21 declare i64 @llvm.nvvm.max.ull(i64, i64)
  22 declare i16 @llvm.nvvm.min.s(i16, i16)
  23 declare i32 @llvm.nvvm.min.i(i32, i32)
  24 declare i64 @llvm.nvvm.min.ll(i64, i64)
  25 declare i16 @llvm.nvvm.min.us(i16, i16)
  26 declare i32 @llvm.nvvm.min.ui(i32, i32)
  27 declare i64 @llvm.nvvm.min.ull(i64, i64)
  28
  29 ; CHECK-LABEL: @simple_upgrade
  30 define void @simple_upgrade(i32 %a, i64 %b, i16 %c) {
  31 ; CHECK: call i32 @llvm.bitreverse.i32(i32 %a)
  32   %r1 = call i32 @llvm.nvvm.brev32(i32 %a)
  33
  34 ; CHECK: call i64 @llvm.bitreverse.i64(i64 %b)
  35   %r2 = call i64 @llvm.nvvm.brev64(i64 %b)
  36
  37 ; CHECK: call i32 @llvm.ctlz.i32(i32 %a, i1 false)
  38   %r3 = call i32 @llvm.nvvm.clz.i(i32 %a)
  39
  40 ; CHECK: [[clz:%[a-zA-Z0-9.]+]] = call i64 @llvm.ctlz.i64(i64 %b, i1 false)
  41 ; CHECK: trunc i64 [[clz]] to i32
  42   %r4 = call i32 @llvm.nvvm.clz.ll(i64 %b)
  43
  44 ; CHECK: call i32 @llvm.ctpop.i32(i32 %a)
  45   %r5 = call i32 @llvm.nvvm.popc.i(i32 %a)
  46
  47 ; CHECK: [[popc:%[a-zA-Z0-9.]+]] = call i64 @llvm.ctpop.i64(i64 %b)
  48 ; CHECK: trunc i64 [[popc]] to i32
  49   %r6 = call i32 @llvm.nvvm.popc.ll(i64 %b)
  50
  51 ; CHECK: call float @llvm.convert.from.fp16.f32(i16 %c)
  52   %r7 = call float @llvm.nvvm.h2f(i16 %c)
  53   ret void
  54 }
  55
  56 ; CHECK-LABEL: @abs
  57 define void @abs(i32 %a, i64 %b) {
  58 ; CHECK-DAG: [[negi:%[a-zA-Z0-9.]+]] = sub i32 0, %a
  59 ; CHECK-DAG: [[cmpi:%[a-zA-Z0-9.]+]] = icmp sge i32 %a, 0
  60 ; CHECK: select i1 [[cmpi]], i32 %a, i32 [[negi]]
  61   %r1 = call i32 @llvm.nvvm.abs.i(i32 %a)
  62
  63 ; CHECK-DAG: [[negll:%[a-zA-Z0-9.]+]] = sub i64 0, %b
  64 ; CHECK-DAG: [[cmpll:%[a-zA-Z0-9.]+]] = icmp sge i64 %b, 0
  65 ; CHECK: select i1 [[cmpll]], i64 %b, i64 [[negll]]
  66   %r2 = call i64 @llvm.nvvm.abs.ll(i64 %b)
  67
  68   ret void
  69 }
  70
  71 ; CHECK-LABEL: @min_max
  72 define void @min_max(i16 %a1, i16 %a2, i32 %b1, i32 %b2, i64 %c1, i64 %c2) {
  73 ; CHECK: [[maxs:%[a-zA-Z0-9.]+]] = icmp sge i16 %a1, %a2
  74 ; CHECK: select i1 [[maxs]], i16 %a1, i16 %a2
  75   %r1 = call i16 @llvm.nvvm.max.s(i16 %a1, i16 %a2)
  76
  77 ; CHECK: [[maxi:%[a-zA-Z0-9.]+]] = icmp sge i32 %b1, %b2
  78 ; CHECK: select i1 [[maxi]], i32 %b1, i32 %b2
  79   %r2 = call i32 @llvm.nvvm.max.i(i32 %b1, i32 %b2)
  80
  81 ; CHECK: [[maxll:%[a-zA-Z0-9.]+]] = icmp sge i64 %c1, %c2
  82 ; CHECK: select i1 [[maxll]], i64 %c1, i64 %c2
  83   %r3 = call i64 @llvm.nvvm.max.ll(i64 %c1, i64 %c2)
  84
  85 ; CHECK: [[maxus:%[a-zA-Z0-9.]+]] = icmp uge i16 %a1, %a2
  86 ; CHECK: select i1 [[maxus]], i16 %a1, i16 %a2
  87   %r4 = call i16 @llvm.nvvm.max.us(i16 %a1, i16 %a2)
  88
  89 ; CHECK: [[maxui:%[a-zA-Z0-9.]+]] = icmp uge i32 %b1, %b2
  90 ; CHECK: select i1 [[maxui]], i32 %b1, i32 %b2
  91   %r5 = call i32 @llvm.nvvm.max.ui(i32 %b1, i32 %b2)
  92
  93 ; CHECK: [[maxull:%[a-zA-Z0-9.]+]] = icmp uge i64 %c1, %c2
  94 ; CHECK: select i1 [[maxull]], i64 %c1, i64 %c2
  95   %r6 = call i64 @llvm.nvvm.max.ull(i64 %c1, i64 %c2)
  96
  97 ; CHECK: [[mins:%[a-zA-Z0-9.]+]] = icmp sle i16 %a1, %a2
  98 ; CHECK: select i1 [[mins]], i16 %a1, i16 %a2
  99   %r7 = call i16 @llvm.nvvm.min.s(i16 %a1, i16 %a2)
 100
 101 ; CHECK: [[mini:%[a-zA-Z0-9.]+]] = icmp sle i32 %b1, %b2
 102 ; CHECK: select i1 [[mini]], i32 %b1, i32 %b2
 103   %r8 = call i32 @llvm.nvvm.min.i(i32 %b1, i32 %b2)
 104
 105 ; CHECK: [[minll:%[a-zA-Z0-9.]+]] = icmp sle i64 %c1, %c2
 106 ; CHECK: select i1 [[minll]], i64 %c1, i64 %c2
 107   %r9 = call i64 @llvm.nvvm.min.ll(i64 %c1, i64 %c2)
 108
 109 ; CHECK: [[minus:%[a-zA-Z0-9.]+]] = icmp ule i16 %a1, %a2
 110 ; CHECK: select i1 [[minus]], i16 %a1, i16 %a2
 111   %r10 = call i16 @llvm.nvvm.min.us(i16 %a1, i16 %a2)
 112
 113 ; CHECK: [[minui:%[a-zA-Z0-9.]+]] = icmp ule i32 %b1, %b2
 114 ; CHECK: select i1 [[minui]], i32 %b1, i32 %b2
 115   %r11 = call i32 @llvm.nvvm.min.ui(i32 %b1, i32 %b2)
 116
 117 ; CHECK: [[minull:%[a-zA-Z0-9.]+]] = icmp ule i64 %c1, %c2
 118 ; CHECK: select i1 [[minull]], i64 %c1, i64 %c2
 119   %r12 = call i64 @llvm.nvvm.min.ull(i64 %c1, i64 %c2)
 120
 121   ret void
 122 }