test/CodeGen/R600/split-scalar-i64-add.ll

   1 ; XFAIL:*
   2 ; RUN: llc -march=r600 -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
   3
   4 declare i32 @llvm.r600.read.tidig.x() readnone
   5
   6 ; This is broken because the low half of the 64-bit add remains on the
   7 ; SALU, but the upper half does not. The addc expects the carry bit
   8 ; set in vcc, which is undefined since the low scalar half add sets
   9 ; scc instead.
  10
  11 ; FUNC-LABEL: @imp_def_vcc_split_i64_add_0
  12 define void @imp_def_vcc_split_i64_add_0(i64 addrspace(1)* %out, i32 %val) {
  13   %vec.0 = insertelement <2 x i32> undef, i32 %val, i32 0
  14   %vec.1 = insertelement <2 x i32> %vec.0, i32 999999, i32 1
  15   %bc = bitcast <2 x i32> %vec.1 to i64
  16   %add = add i64 %bc, 399
  17   store i64 %add, i64 addrspace(1)* %out, align 8
  18   ret void
  19 }
  20
  21 ; FUNC-LABEL: @imp_def_vcc_split_i64_add_1
  22 define void @imp_def_vcc_split_i64_add_1(i64 addrspace(1)* %out, i32 %val0, i64 %val1) {
  23   %vec.0 = insertelement <2 x i32> undef, i32 %val0, i32 0
  24   %vec.1 = insertelement <2 x i32> %vec.0, i32 99999, i32 1
  25   %bc = bitcast <2 x i32> %vec.1 to i64
  26   %add = add i64 %bc, %val1
  27   store i64 %add, i64 addrspace(1)* %out, align 8
  28   ret void
  29 }
  30
  31 ; Doesn't use constants
  32 ; FUNC-LABEL @imp_def_vcc_split_i64_add_2
  33 define void @imp_def_vcc_split_i64_add_2(i64 addrspace(1)* %out, i32 addrspace(1)* %in, i32 %val0, i64 %val1) {
  34   %tid = call i32 @llvm.r600.read.tidig.x() readnone
  35   %gep = getelementptr i32 addrspace(1)* %in, i32 %tid
  36   %load = load i32 addrspace(1)* %gep
  37   %vec.0 = insertelement <2 x i32> undef, i32 %val0, i32 0
  38   %vec.1 = insertelement <2 x i32> %vec.0, i32 %load, i32 1
  39   %bc = bitcast <2 x i32> %vec.1 to i64
  40   %add = add i64 %bc, %val1
  41   store i64 %add, i64 addrspace(1)* %out, align 8
  42   ret void
  43 }