test/CodeGen/AMDGPU/schedule-vs-if-nested-loop-failure.ll

   1 ; RUN: llc -O0 -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=GCN %s
   2 ; RUN: llc -O0 -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck -check-prefix=GCN %s
   3
   4 declare void @llvm.amdgcn.s.barrier() nounwind convergent
   5
   6 ; GCN-LABEL: {{^}}main:
   7 define amdgpu_vs void @main(<4 x float> inreg %reg0, <4 x float> inreg %reg1) {
   8 main_body:
   9   %0 = extractelement <4 x float> %reg1, i32 0
  10   %1 = extractelement <4 x float> %reg1, i32 2
  11   %2 = fcmp ult float %0, 0.000000e+00
  12   %3 = select i1 %2, float 1.000000e+00, float 0.000000e+00
  13   %4 = fsub float -0.000000e+00, %3
  14   %5 = fptosi float %4 to i32
  15   %6 = bitcast i32 %5 to float
  16   %7 = bitcast float %6 to i32
  17   %8 = icmp ne i32 %7, 0
  18   br i1 %8, label %LOOP, label %ENDIF
  19
  20 Flow1:                                            ; preds = %ENDIF19, %ENDIF16
  21   %9 = phi float [ %115, %ENDIF19 ], [ undef, %ENDIF16 ]
  22   %10 = phi float [ %114, %ENDIF19 ], [ undef, %ENDIF16 ]
  23   %11 = phi float [ %113, %ENDIF19 ], [ undef, %ENDIF16 ]
  24   %12 = phi float [ %112, %ENDIF19 ], [ undef, %ENDIF16 ]
  25   %13 = phi float [ %111, %ENDIF19 ], [ undef, %ENDIF16 ]
  26   %14 = phi i1 [ false, %ENDIF19 ], [ true, %ENDIF16 ]
  27   br label %Flow
  28
  29 Flow2:                                            ; preds = %Flow
  30   br label %ENDIF
  31
  32 ENDIF:                                            ; preds = %main_body, %Flow2
  33   %temp.0 = phi float [ 0.000000e+00, %main_body ], [ %104, %Flow2 ]
  34   %temp1.0 = phi float [ 1.000000e+00, %main_body ], [ %103, %Flow2 ]
  35   %temp2.0 = phi float [ 0.000000e+00, %main_body ], [ %102, %Flow2 ]
  36   %temp3.0 = phi float [ 0.000000e+00, %main_body ], [ %101, %Flow2 ]
  37   %15 = extractelement <4 x float> %reg1, i32 1
  38   %16 = extractelement <4 x float> %reg1, i32 3
  39   %17 = load <4 x float>, <4 x float> addrspace(4)* null
  40   %18 = extractelement <4 x float> %17, i32 0
  41   %19 = fmul float %18, %0
  42   %20 = load <4 x float>, <4 x float> addrspace(4)* null
  43   %21 = extractelement <4 x float> %20, i32 1
  44   %22 = fmul float %21, %0
  45   %23 = load <4 x float>, <4 x float> addrspace(4)* null
  46   %24 = extractelement <4 x float> %23, i32 2
  47   %25 = fmul float %24, %0
  48   %26 = load <4 x float>, <4 x float> addrspace(4)* null
  49   %27 = extractelement <4 x float> %26, i32 3
  50   %28 = fmul float %27, %0
  51   %29 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 1)
  52   %30 = extractelement <4 x float> %29, i32 0
  53   %31 = fmul float %30, %15
  54   %32 = fadd float %31, %19
  55   %33 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 1)
  56   %34 = extractelement <4 x float> %33, i32 1
  57   %35 = fmul float %34, %15
  58   %36 = fadd float %35, %22
  59   %37 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 1)
  60   %38 = extractelement <4 x float> %37, i32 2
  61   %39 = fmul float %38, %15
  62   %40 = fadd float %39, %25
  63   %41 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 1)
  64   %42 = extractelement <4 x float> %41, i32 3
  65   %43 = fmul float %42, %15
  66   %44 = fadd float %43, %28
  67   %45 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 2)
  68   %46 = extractelement <4 x float> %45, i32 0
  69   %47 = fmul float %46, %1
  70   %48 = fadd float %47, %32
  71   %49 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 2)
  72   %50 = extractelement <4 x float> %49, i32 1
  73   %51 = fmul float %50, %1
  74   %52 = fadd float %51, %36
  75   %53 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 2)
  76   %54 = extractelement <4 x float> %53, i32 2
  77   %55 = fmul float %54, %1
  78   %56 = fadd float %55, %40
  79   %57 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 2)
  80   %58 = extractelement <4 x float> %57, i32 3
  81   %59 = fmul float %58, %1
  82   %60 = fadd float %59, %44
  83   %61 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 3)
  84   %62 = extractelement <4 x float> %61, i32 0
  85   %63 = fmul float %62, %16
  86   %64 = fadd float %63, %48
  87   %65 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 3)
  88   %66 = extractelement <4 x float> %65, i32 1
  89   %67 = fmul float %66, %16
  90   %68 = fadd float %67, %52
  91   %69 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 3)
  92   %70 = extractelement <4 x float> %69, i32 2
  93   %71 = fmul float %70, %16
  94   %72 = fadd float %71, %56
  95   %73 = load <4 x float>, <4 x float> addrspace(4)* getelementptr ([1024 x <4 x float>], [1024 x <4 x float>] addrspace(4)* null, i64 0, i32 3)
  96   %74 = extractelement <4 x float> %73, i32 3
  97   %75 = fmul float %74, %16
  98   %76 = fadd float %75, %60
  99   %77 = insertelement <4 x float> undef, float %64, i32 0
 100   %78 = insertelement <4 x float> %77, float %68, i32 1
 101   %79 = insertelement <4 x float> %78, float %72, i32 2
 102   %80 = insertelement <4 x float> %79, float %76, i32 3
 103   call void @llvm.amdgcn.s.barrier()
 104   %81 = insertelement <4 x float> undef, float %temp.0, i32 0
 105   %82 = insertelement <4 x float> %81, float %temp1.0, i32 1
 106   %83 = insertelement <4 x float> %82, float %temp2.0, i32 2
 107   %84 = insertelement <4 x float> %83, float %temp3.0, i32 3
 108   call void @llvm.amdgcn.s.barrier()
 109   ret void
 110
 111 LOOP:                                             ; preds = %main_body, %Flow
 112   %temp.1 = phi float [ %109, %Flow ], [ 0.000000e+00, %main_body ]
 113   %temp1.1 = phi float [ %108, %Flow ], [ 1.000000e+00, %main_body ]
 114   %temp2.1 = phi float [ %107, %Flow ], [ 0.000000e+00, %main_body ]
 115   %temp3.1 = phi float [ %106, %Flow ], [ 0.000000e+00, %main_body ]
 116   %temp4.0 = phi float [ %105, %Flow ], [ -2.000000e+00, %main_body ]
 117   %85 = fcmp uge float %temp4.0, %0
 118   %86 = select i1 %85, float 1.000000e+00, float 0.000000e+00
 119   %87 = fsub float -0.000000e+00, %86
 120   %88 = fptosi float %87 to i32
 121   %89 = bitcast i32 %88 to float
 122   %90 = bitcast float %89 to i32
 123   %91 = icmp ne i32 %90, 0
 124   %92 = xor i1 %91, true
 125   br i1 %92, label %ENDIF16, label %Flow
 126
 127 ENDIF16:                                          ; preds = %LOOP
 128   %93 = fcmp une float %1, %temp4.0
 129   %94 = select i1 %93, float 1.000000e+00, float 0.000000e+00
 130   %95 = fsub float -0.000000e+00, %94
 131   %96 = fptosi float %95 to i32
 132   %97 = bitcast i32 %96 to float
 133   %98 = bitcast float %97 to i32
 134   %99 = icmp ne i32 %98, 0
 135   %100 = xor i1 %99, true
 136   br i1 %100, label %ENDIF19, label %Flow1
 137
 138 Flow:                                             ; preds = %Flow1, %LOOP
 139   %101 = phi float [ %temp3.1, %Flow1 ], [ %temp3.1, %LOOP ]
 140   %102 = phi float [ %temp2.1, %Flow1 ], [ %temp2.1, %LOOP ]
 141   %103 = phi float [ %temp1.1, %Flow1 ], [ %temp1.1, %LOOP ]
 142   %104 = phi float [ %temp.1, %Flow1 ], [ %temp.1, %LOOP ]
 143   %105 = phi float [ %9, %Flow1 ], [ undef, %LOOP ]
 144   %106 = phi float [ %10, %Flow1 ], [ undef, %LOOP ]
 145   %107 = phi float [ %11, %Flow1 ], [ undef, %LOOP ]
 146   %108 = phi float [ %12, %Flow1 ], [ undef, %LOOP ]
 147   %109 = phi float [ %13, %Flow1 ], [ undef, %LOOP ]
 148   %110 = phi i1 [ %14, %Flow1 ], [ true, %LOOP ]
 149   br i1 %110, label %Flow2, label %LOOP
 150
 151 ENDIF19:                                          ; preds = %ENDIF16
 152   %111 = fadd float %temp.1, 1.000000e+00
 153   %112 = fadd float %temp1.1, 0.000000e+00
 154   %113 = fadd float %temp2.1, 0.000000e+00
 155   %114 = fadd float %temp3.1, 0.000000e+00
 156   %115 = fadd float %temp4.0, 1.000000e+00
 157   br label %Flow1
 158 }