test/CodeGen/R600/sgpr-copy.ll

   1 ; RUN: llc < %s -march=r600 -mcpu=SI | FileCheck %s
   2
   3 ; This test checks that no VGPR to SGPR copies are created by the register
   4 ; allocator.
   5 ; CHECK-LABEL: @phi1
   6 ; CHECK: S_BUFFER_LOAD_DWORD [[DST:SGPR[0-9]]], {{[SGPR_[0-9]+}}, 0
   7 ; CHECK: V_MOV_B32_e32 VGPR{{[0-9]}}, [[DST]]
   8
   9 define void @phi1(<16 x i8> addrspace(2)* inreg, <16 x i8> addrspace(2)* inreg, <32 x i8> addrspace(2)* inreg, i32 inreg, <2 x i32>, <2 x i32>, <2 x i32>, <3 x i32>, <2 x i32>, <2 x i32>, <2 x i32>, float, float, float, float, float, float, float, float, float) #0 {
  10 main_body:
  11   %20 = getelementptr <16 x i8> addrspace(2)* %0, i32 0
  12   %21 = load <16 x i8> addrspace(2)* %20, !tbaa !0
  13   %22 = call float @llvm.SI.load.const(<16 x i8> %21, i32 0)
  14   %23 = call float @llvm.SI.load.const(<16 x i8> %21, i32 16)
  15   %24 = call float @llvm.SI.load.const(<16 x i8> %21, i32 32)
  16   %25 = fptosi float %23 to i32
  17   %26 = icmp ne i32 %25, 0
  18   br i1 %26, label %ENDIF, label %ELSE
  19
  20 ELSE:                                             ; preds = %main_body
  21   %27 = fsub float -0.000000e+00, %22
  22   br label %ENDIF
  23
  24 ENDIF:                                            ; preds = %main_body, %ELSE
  25   %temp.0 = phi float [ %27, %ELSE ], [ %22, %main_body ]
  26   %28 = fadd float %temp.0, %24
  27   call void @llvm.SI.export(i32 15, i32 1, i32 1, i32 0, i32 0, float %28, float %28, float 0.000000e+00, float 1.000000e+00)
  28   ret void
  29 }
  30
  31 ; Make sure this program doesn't crash
  32 ; CHECK-LABEL: @phi2
  33 define void @phi2(<16 x i8> addrspace(2)* inreg, <16 x i8> addrspace(2)* inreg, <32 x i8> addrspace(2)* inreg, i32 inreg, <2 x i32>, <2 x i32>, <2 x i32>, <3 x i32>, <2 x i32>, <2 x i32>, <2 x i32>, float, float, float, float, float, float, float, float, float) #0 {
  34 main_body:
  35   %20 = getelementptr <16 x i8> addrspace(2)* %0, i32 0
  36   %21 = load <16 x i8> addrspace(2)* %20, !tbaa !0
  37   %22 = call float @llvm.SI.load.const(<16 x i8> %21, i32 16)
  38   %23 = call float @llvm.SI.load.const(<16 x i8> %21, i32 32)
  39   %24 = call float @llvm.SI.load.const(<16 x i8> %21, i32 36)
  40   %25 = call float @llvm.SI.load.const(<16 x i8> %21, i32 40)
  41   %26 = call float @llvm.SI.load.const(<16 x i8> %21, i32 48)
  42   %27 = call float @llvm.SI.load.const(<16 x i8> %21, i32 52)
  43   %28 = call float @llvm.SI.load.const(<16 x i8> %21, i32 56)
  44   %29 = call float @llvm.SI.load.const(<16 x i8> %21, i32 64)
  45   %30 = call float @llvm.SI.load.const(<16 x i8> %21, i32 68)
  46   %31 = call float @llvm.SI.load.const(<16 x i8> %21, i32 72)
  47   %32 = call float @llvm.SI.load.const(<16 x i8> %21, i32 76)
  48   %33 = call float @llvm.SI.load.const(<16 x i8> %21, i32 80)
  49   %34 = call float @llvm.SI.load.const(<16 x i8> %21, i32 84)
  50   %35 = call float @llvm.SI.load.const(<16 x i8> %21, i32 88)
  51   %36 = call float @llvm.SI.load.const(<16 x i8> %21, i32 92)
  52   %37 = getelementptr <32 x i8> addrspace(2)* %2, i32 0
  53   %38 = load <32 x i8> addrspace(2)* %37, !tbaa !0
  54   %39 = getelementptr <16 x i8> addrspace(2)* %1, i32 0
  55   %40 = load <16 x i8> addrspace(2)* %39, !tbaa !0
  56   %41 = call float @llvm.SI.fs.interp(i32 0, i32 0, i32 %3, <2 x i32> %5)
  57   %42 = call float @llvm.SI.fs.interp(i32 1, i32 0, i32 %3, <2 x i32> %5)
  58   %43 = call float @llvm.SI.fs.interp(i32 0, i32 1, i32 %3, <2 x i32> %5)
  59   %44 = call float @llvm.SI.fs.interp(i32 1, i32 1, i32 %3, <2 x i32> %5)
  60   %45 = call float @llvm.SI.fs.interp(i32 2, i32 1, i32 %3, <2 x i32> %5)
  61   %46 = bitcast float %41 to i32
  62   %47 = bitcast float %42 to i32
  63   %48 = insertelement <2 x i32> undef, i32 %46, i32 0
  64   %49 = insertelement <2 x i32> %48, i32 %47, i32 1
  65   %50 = call <4 x float> @llvm.SI.sample.v2i32(<2 x i32> %49, <32 x i8> %38, <16 x i8> %40, i32 2)
  66   %51 = extractelement <4 x float> %50, i32 2
  67   %52 = call float @fabs(float %51)
  68   %53 = fmul float %43, %43
  69   %54 = fmul float %44, %44
  70   %55 = fadd float %54, %53
  71   %56 = fmul float %45, %45
  72   %57 = fadd float %55, %56
  73   %58 = call float @llvm.AMDGPU.rsq(float %57)
  74   %59 = fmul float %43, %58
  75   %60 = fmul float %44, %58
  76   %61 = fmul float %45, %58
  77   %62 = fmul float %59, %23
  78   %63 = fmul float %60, %24
  79   %64 = fadd float %63, %62
  80   %65 = fmul float %61, %25
  81   %66 = fadd float %64, %65
  82   %67 = fsub float -0.000000e+00, %26
  83   %68 = fmul float %66, %52
  84   %69 = fadd float %68, %67
  85   %70 = fmul float %27, %69
  86   %71 = fmul float %28, %69
  87   %72 = call float @fabs(float %70)
  88   %73 = fcmp olt float 0x3EE4F8B580000000, %72
  89   %74 = sext i1 %73 to i32
  90   %75 = bitcast i32 %74 to float
  91   %76 = bitcast float %75 to i32
  92   %77 = icmp ne i32 %76, 0
  93   br i1 %77, label %IF, label %ENDIF
  94
  95 IF:                                               ; preds = %main_body
  96   %78 = fsub float -0.000000e+00, %70
  97   %79 = call float @llvm.AMDIL.exp.(float %78)
  98   %80 = fsub float -0.000000e+00, %79
  99   %81 = fadd float 1.000000e+00, %80
 100   %82 = fdiv float 1.000000e+00, %70
 101   %83 = fmul float %81, %82
 102   %84 = fmul float %32, %83
 103   br label %ENDIF
 104
 105 ENDIF:                                            ; preds = %main_body, %IF
 106   %temp4.0 = phi float [ %84, %IF ], [ %32, %main_body ]
 107   %85 = call float @fabs(float %71)
 108   %86 = fcmp olt float 0x3EE4F8B580000000, %85
 109   %87 = sext i1 %86 to i32
 110   %88 = bitcast i32 %87 to float
 111   %89 = bitcast float %88 to i32
 112   %90 = icmp ne i32 %89, 0
 113   br i1 %90, label %IF25, label %ENDIF24
 114
 115 IF25:                                             ; preds = %ENDIF
 116   %91 = fsub float -0.000000e+00, %71
 117   %92 = call float @llvm.AMDIL.exp.(float %91)
 118   %93 = fsub float -0.000000e+00, %92
 119   %94 = fadd float 1.000000e+00, %93
 120   %95 = fdiv float 1.000000e+00, %71
 121   %96 = fmul float %94, %95
 122   %97 = fmul float %36, %96
 123   br label %ENDIF24
 124
 125 ENDIF24:                                          ; preds = %ENDIF, %IF25
 126   %temp8.0 = phi float [ %97, %IF25 ], [ %36, %ENDIF ]
 127   %98 = fmul float %29, %temp4.0
 128   %99 = fmul float %30, %temp4.0
 129   %100 = fmul float %31, %temp4.0
 130   %101 = fmul float %33, %temp8.0
 131   %102 = fadd float %101, %98
 132   %103 = fmul float %34, %temp8.0
 133   %104 = fadd float %103, %99
 134   %105 = fmul float %35, %temp8.0
 135   %106 = fadd float %105, %100
 136   %107 = call float @llvm.pow.f32(float %52, float %22)
 137   %108 = fsub float -0.000000e+00, %102
 138   %109 = fmul float %108, %107
 139   %110 = fsub float -0.000000e+00, %104
 140   %111 = fmul float %110, %107
 141   %112 = fsub float -0.000000e+00, %106
 142   %113 = fmul float %112, %107
 143   %114 = call i32 @llvm.SI.packf16(float %109, float %111)
 144   %115 = bitcast i32 %114 to float
 145   %116 = call i32 @llvm.SI.packf16(float %113, float 1.000000e+00)
 146   %117 = bitcast i32 %116 to float
 147   call void @llvm.SI.export(i32 15, i32 1, i32 1, i32 0, i32 1, float %115, float %117, float %115, float %117)
 148   ret void
 149 }
 150
 151 ; We just want ot make sure the program doesn't crash
 152 ; CHECK-LABEL: @loop
 153
 154 define void @loop(<16 x i8> addrspace(2)* inreg, <16 x i8> addrspace(2)* inreg, <32 x i8> addrspace(2)* inreg, i32 inreg, <2 x i32>, <2 x i32>, <2 x i32>, <3 x i32>, <2 x i32>, <2 x i32>, <2 x i32>, float, float, float, float, float, float, float, float, float) #0 {
 155 main_body:
 156   %20 = getelementptr <16 x i8> addrspace(2)* %0, i32 0
 157   %21 = load <16 x i8> addrspace(2)* %20, !tbaa !0
 158   %22 = call float @llvm.SI.load.const(<16 x i8> %21, i32 0)
 159   %23 = call float @llvm.SI.load.const(<16 x i8> %21, i32 4)
 160   %24 = call float @llvm.SI.load.const(<16 x i8> %21, i32 8)
 161   %25 = call float @llvm.SI.load.const(<16 x i8> %21, i32 12)
 162   %26 = fptosi float %25 to i32
 163   %27 = bitcast i32 %26 to float
 164   %28 = bitcast float %27 to i32
 165   br label %LOOP
 166
 167 LOOP:                                             ; preds = %ENDIF, %main_body
 168   %temp4.0 = phi float [ %22, %main_body ], [ %temp5.0, %ENDIF ]
 169   %temp5.0 = phi float [ %23, %main_body ], [ %temp6.0, %ENDIF ]
 170   %temp6.0 = phi float [ %24, %main_body ], [ %temp4.0, %ENDIF ]
 171   %temp8.0 = phi float [ 0.000000e+00, %main_body ], [ %37, %ENDIF ]
 172   %29 = bitcast float %temp8.0 to i32
 173   %30 = icmp sge i32 %29, %28
 174   %31 = sext i1 %30 to i32
 175   %32 = bitcast i32 %31 to float
 176   %33 = bitcast float %32 to i32
 177   %34 = icmp ne i32 %33, 0
 178   br i1 %34, label %IF, label %ENDIF
 179
 180 IF:                                               ; preds = %LOOP
 181   call void @llvm.SI.export(i32 15, i32 1, i32 1, i32 0, i32 0, float %temp4.0, float %temp5.0, float %temp6.0, float 1.000000e+00)
 182   ret void
 183
 184 ENDIF:                                            ; preds = %LOOP
 185   %35 = bitcast float %temp8.0 to i32
 186   %36 = add i32 %35, 1
 187   %37 = bitcast i32 %36 to float
 188   br label %LOOP
 189 }
 190
 191 ; Function Attrs: nounwind readnone
 192 declare float @llvm.SI.load.const(<16 x i8>, i32) #1
 193
 194 ; Function Attrs: readonly
 195 declare float @fabs(float) #2
 196
 197 declare void @llvm.SI.export(i32, i32, i32, i32, i32, float, float, float, float)
 198
 199 attributes #0 = { "ShaderType"="0" }
 200 attributes #1 = { nounwind readnone }
 201 attributes #2 = { readonly }
 202 attributes #3 = { readnone }
 203 attributes #4 = { nounwind readonly }
 204
 205 !0 = metadata !{metadata !"const", null, i32 1}
 206
 207 ; Function Attrs: nounwind readnone
 208 declare float @llvm.SI.fs.interp(i32, i32, i32, <2 x i32>) #1
 209
 210 ; Function Attrs: nounwind readnone
 211 declare <4 x float> @llvm.SI.sample.v2i32(<2 x i32>, <32 x i8>, <16 x i8>, i32) #1
 212
 213 ; Function Attrs: readnone
 214 declare float @llvm.AMDGPU.rsq(float) #3
 215
 216 ; Function Attrs: readnone
 217 declare float @llvm.AMDIL.exp.(float) #3
 218
 219 ; Function Attrs: nounwind readonly
 220 declare float @llvm.pow.f32(float, float) #4
 221
 222 ; Function Attrs: nounwind readnone
 223 declare i32 @llvm.SI.packf16(float, float) #1