Fangrui Song | 9e9907f | 2024-01-16 21:54:58 -0800 | [diff] [blame] | 1 | ; RUN: llc -O0 -mtriple=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=GCN %s |
| 2 | ; RUN: llc -O0 -mtriple=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck -check-prefix=GCN %s |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 3 | |
Matt Arsenault | 4c519d3 | 2016-07-18 18:34:59 +0000 | [diff] [blame] | 4 | declare void @llvm.amdgcn.s.barrier() nounwind convergent |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 5 | |
Matt Arsenault | 4c519d3 | 2016-07-18 18:34:59 +0000 | [diff] [blame] | 6 | ; GCN-LABEL: {{^}}main: |
Nicolai Haehnle | df3a20c | 2016-04-06 19:40:20 +0000 | [diff] [blame] | 7 | define amdgpu_vs void @main(<4 x float> inreg %reg0, <4 x float> inreg %reg1) { |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 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 |
Matt Arsenault | 8ce612f | 2025-03-08 07:14:29 +0700 | [diff] [blame] | 21 | %9 = phi float [ %115, %ENDIF19 ], [ poison, %ENDIF16 ] |
| 22 | %10 = phi float [ %114, %ENDIF19 ], [ poison, %ENDIF16 ] |
| 23 | %11 = phi float [ %113, %ENDIF19 ], [ poison, %ENDIF16 ] |
| 24 | %12 = phi float [ %112, %ENDIF19 ], [ poison, %ENDIF16 ] |
| 25 | %13 = phi float [ %111, %ENDIF19 ], [ poison, %ENDIF16 ] |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 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 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 39 | %17 = load <4 x float>, ptr addrspace(4) null |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 40 | %18 = extractelement <4 x float> %17, i32 0 |
| 41 | %19 = fmul float %18, %0 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 42 | %20 = load <4 x float>, ptr addrspace(4) null |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 43 | %21 = extractelement <4 x float> %20, i32 1 |
| 44 | %22 = fmul float %21, %0 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 45 | %23 = load <4 x float>, ptr addrspace(4) null |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 46 | %24 = extractelement <4 x float> %23, i32 2 |
| 47 | %25 = fmul float %24, %0 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 48 | %26 = load <4 x float>, ptr addrspace(4) null |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 49 | %27 = extractelement <4 x float> %26, i32 3 |
| 50 | %28 = fmul float %27, %0 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 51 | %29 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 1) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 52 | %30 = extractelement <4 x float> %29, i32 0 |
| 53 | %31 = fmul float %30, %15 |
| 54 | %32 = fadd float %31, %19 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 55 | %33 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 1) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 56 | %34 = extractelement <4 x float> %33, i32 1 |
| 57 | %35 = fmul float %34, %15 |
| 58 | %36 = fadd float %35, %22 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 59 | %37 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 1) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 60 | %38 = extractelement <4 x float> %37, i32 2 |
| 61 | %39 = fmul float %38, %15 |
| 62 | %40 = fadd float %39, %25 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 63 | %41 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 1) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 64 | %42 = extractelement <4 x float> %41, i32 3 |
| 65 | %43 = fmul float %42, %15 |
| 66 | %44 = fadd float %43, %28 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 67 | %45 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 2) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 68 | %46 = extractelement <4 x float> %45, i32 0 |
| 69 | %47 = fmul float %46, %1 |
| 70 | %48 = fadd float %47, %32 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 71 | %49 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 2) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 72 | %50 = extractelement <4 x float> %49, i32 1 |
| 73 | %51 = fmul float %50, %1 |
| 74 | %52 = fadd float %51, %36 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 75 | %53 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 2) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 76 | %54 = extractelement <4 x float> %53, i32 2 |
| 77 | %55 = fmul float %54, %1 |
| 78 | %56 = fadd float %55, %40 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 79 | %57 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 2) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 80 | %58 = extractelement <4 x float> %57, i32 3 |
| 81 | %59 = fmul float %58, %1 |
| 82 | %60 = fadd float %59, %44 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 83 | %61 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 3) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 84 | %62 = extractelement <4 x float> %61, i32 0 |
| 85 | %63 = fmul float %62, %16 |
| 86 | %64 = fadd float %63, %48 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 87 | %65 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 3) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 88 | %66 = extractelement <4 x float> %65, i32 1 |
| 89 | %67 = fmul float %66, %16 |
| 90 | %68 = fadd float %67, %52 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 91 | %69 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 3) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 92 | %70 = extractelement <4 x float> %69, i32 2 |
| 93 | %71 = fmul float %70, %16 |
| 94 | %72 = fadd float %71, %56 |
Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 95 | %73 = load <4 x float>, ptr addrspace(4) getelementptr ([1024 x <4 x float>], ptr addrspace(4) null, i64 0, i32 3) |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 96 | %74 = extractelement <4 x float> %73, i32 3 |
| 97 | %75 = fmul float %74, %16 |
| 98 | %76 = fadd float %75, %60 |
Matt Arsenault | da42b2f | 2025-03-12 20:33:33 +0700 | [diff] [blame] | 99 | %77 = insertelement <4 x float> poison, float %64, i32 0 |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 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 |
Matt Arsenault | 4c519d3 | 2016-07-18 18:34:59 +0000 | [diff] [blame] | 103 | call void @llvm.amdgcn.s.barrier() |
Matt Arsenault | da42b2f | 2025-03-12 20:33:33 +0700 | [diff] [blame] | 104 | %81 = insertelement <4 x float> poison, float %temp.0, i32 0 |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 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 |
Matt Arsenault | 4c519d3 | 2016-07-18 18:34:59 +0000 | [diff] [blame] | 108 | call void @llvm.amdgcn.s.barrier() |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 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 ] |
Matt Arsenault | 8ce612f | 2025-03-08 07:14:29 +0700 | [diff] [blame] | 143 | %105 = phi float [ %9, %Flow1 ], [ poison, %LOOP ] |
| 144 | %106 = phi float [ %10, %Flow1 ], [ poison, %LOOP ] |
| 145 | %107 = phi float [ %11, %Flow1 ], [ poison, %LOOP ] |
| 146 | %108 = phi float [ %12, %Flow1 ], [ poison, %LOOP ] |
| 147 | %109 = phi float [ %13, %Flow1 ], [ poison, %LOOP ] |
Matt Arsenault | 2430958 | 2014-03-01 21:45:41 +0000 | [diff] [blame] | 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 | } |