1 ; RUN: llc -march=amdgcn -mcpu=verde -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s 2 ; RUN: llc -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s 3 ; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s 4 5 ;FUNC-LABEL: {{^}}test1: 6 ;EG: ADD_INT {{[* ]*}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} 7 8 ;SI: v_add_i32_e32 [[REG:v[0-9]+]], vcc, {{v[0-9]+, v[0-9]+}} 9 ;SI-NOT: [[REG]] 10 ;SI: buffer_store_dword [[REG]], 11 define void @test1(i32 addrspace(1)* %out, i32 addrspace(1)* %in) { 12 %b_ptr = getelementptr i32, i32 addrspace(1)* %in, i32 1 13 %a = load i32, i32 addrspace(1)* %in 14 %b = load i32, i32 addrspace(1)* %b_ptr 15 %result = add i32 %a, %b 16 store i32 %result, i32 addrspace(1)* %out 17 ret void 18 } 19 20 ;FUNC-LABEL: {{^}}test2: 21 ;EG: ADD_INT {{[* ]*}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} 22 ;EG: ADD_INT {{[* ]*}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} 23 24 ;SI: v_add_i32_e32 v{{[0-9]+, vcc, v[0-9]+, v[0-9]+}} 25 ;SI: v_add_i32_e32 v{{[0-9]+, vcc, v[0-9]+, v[0-9]+}} 26 27 define void @test2(<2 x i32> addrspace(1)* %out, <2 x i32> addrspace(1)* %in) { 28 %b_ptr = getelementptr <2 x i32>, <2 x i32> addrspace(1)* %in, i32 1 29 %a = load <2 x i32>, <2 x i32> addrspace(1)* %in 30 %b = load <2 x i32>, <2 x i32> addrspace(1)* %b_ptr 31 %result = add <2 x i32> %a, %b 32 store <2 x i32> %result, <2 x i32> addrspace(1)* %out 33 ret void 34 } 35 36 ;FUNC-LABEL: {{^}}test4: 37 ;EG: ADD_INT {{[* ]*}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} 38 ;EG: ADD_INT {{[* ]*}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} 39 ;EG: ADD_INT {{[* ]*}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} 40 ;EG: ADD_INT {{[* ]*}}T{{[0-9]+\.[XYZW], T[0-9]+\.[XYZW], T[0-9]+\.[XYZW]}} 41 42 ;SI: v_add_i32_e32 v{{[0-9]+, vcc, v[0-9]+, v[0-9]+}} 43 ;SI: v_add_i32_e32 v{{[0-9]+, vcc, v[0-9]+, v[0-9]+}} 44 ;SI: v_add_i32_e32 v{{[0-9]+, vcc, v[0-9]+, v[0-9]+}} 45 ;SI: v_add_i32_e32 v{{[0-9]+, vcc, v[0-9]+, v[0-9]+}} 46 47 define void @test4(<4 x i32> addrspace(1)* %out, <4 x i32> addrspace(1)* %in) { 48 %b_ptr = getelementptr <4 x i32>, <4 x i32> addrspace(1)* %in, i32 1 49 %a = load <4 x i32>, <4 x i32> addrspace(1)* %in 50 %b = load <4 x i32>, <4 x i32> addrspace(1)* %b_ptr 51 %result = add <4 x i32> %a, %b 52 store <4 x i32> %result, <4 x i32> addrspace(1)* %out 53 ret void 54 } 55 56 ; FUNC-LABEL: {{^}}test8: 57 ; EG: ADD_INT 58 ; EG: ADD_INT 59 ; EG: ADD_INT 60 ; EG: ADD_INT 61 ; EG: ADD_INT 62 ; EG: ADD_INT 63 ; EG: ADD_INT 64 ; EG: ADD_INT 65 66 ; SI: s_add_i32 67 ; SI: s_add_i32 68 ; SI: s_add_i32 69 ; SI: s_add_i32 70 ; SI: s_add_i32 71 ; SI: s_add_i32 72 ; SI: s_add_i32 73 ; SI: s_add_i32 74 define void @test8(<8 x i32> addrspace(1)* %out, <8 x i32> %a, <8 x i32> %b) { 75 entry: 76 %0 = add <8 x i32> %a, %b 77 store <8 x i32> %0, <8 x i32> addrspace(1)* %out 78 ret void 79 } 80 81 ; FUNC-LABEL: {{^}}test16: 82 ; EG: ADD_INT 83 ; EG: ADD_INT 84 ; EG: ADD_INT 85 ; EG: ADD_INT 86 ; EG: ADD_INT 87 ; EG: ADD_INT 88 ; EG: ADD_INT 89 ; EG: ADD_INT 90 ; EG: ADD_INT 91 ; EG: ADD_INT 92 ; EG: ADD_INT 93 ; EG: ADD_INT 94 ; EG: ADD_INT 95 ; EG: ADD_INT 96 ; EG: ADD_INT 97 ; EG: ADD_INT 98 99 ; SI: s_add_i32 100 ; SI: s_add_i32 101 ; SI: s_add_i32 102 ; SI: s_add_i32 103 ; SI: s_add_i32 104 ; SI: s_add_i32 105 ; SI: s_add_i32 106 ; SI: s_add_i32 107 ; SI: s_add_i32 108 ; SI: s_add_i32 109 ; SI: s_add_i32 110 ; SI: s_add_i32 111 ; SI: s_add_i32 112 ; SI: s_add_i32 113 ; SI: s_add_i32 114 ; SI: s_add_i32 115 define void @test16(<16 x i32> addrspace(1)* %out, <16 x i32> %a, <16 x i32> %b) { 116 entry: 117 %0 = add <16 x i32> %a, %b 118 store <16 x i32> %0, <16 x i32> addrspace(1)* %out 119 ret void 120 } 121 122 ; FUNC-LABEL: {{^}}add64: 123 ; SI: s_add_u32 124 ; SI: s_addc_u32 125 126 ; EG: MEM_RAT_CACHELESS STORE_RAW [[LO:T[0-9]+\.XY]] 127 ; EG-DAG: ADD_INT {{[* ]*}} 128 ; EG-DAG: ADDC_UINT 129 ; EG-DAG: ADD_INT 130 ; EG-DAG: ADD_INT {{[* ]*}} 131 ; EG-NOT: SUB 132 define void @add64(i64 addrspace(1)* %out, i64 %a, i64 %b) { 133 entry: 134 %0 = add i64 %a, %b 135 store i64 %0, i64 addrspace(1)* %out 136 ret void 137 } 138 139 ; The v_addc_u32 and v_add_i32 instruction can't read SGPRs, because they 140 ; use VCC. The test is designed so that %a will be stored in an SGPR and 141 ; %0 will be stored in a VGPR, so the comiler will be forced to copy %a 142 ; to a VGPR before doing the add. 143 144 ; FUNC-LABEL: {{^}}add64_sgpr_vgpr: 145 ; SI-NOT: v_addc_u32_e32 s 146 147 ; EG: MEM_RAT_CACHELESS STORE_RAW [[LO:T[0-9]+\.XY]] 148 ; EG-DAG: ADD_INT {{[* ]*}} 149 ; EG-DAG: ADDC_UINT 150 ; EG-DAG: ADD_INT 151 ; EG-DAG: ADD_INT {{[* ]*}} 152 ; EG-NOT: SUB 153 define void @add64_sgpr_vgpr(i64 addrspace(1)* %out, i64 %a, i64 addrspace(1)* %in) { 154 entry: 155 %0 = load i64, i64 addrspace(1)* %in 156 %1 = add i64 %a, %0 157 store i64 %1, i64 addrspace(1)* %out 158 ret void 159 } 160 161 ; Test i64 add inside a branch. 162 ; FUNC-LABEL: {{^}}add64_in_branch: 163 ; SI: s_add_u32 164 ; SI: s_addc_u32 165 166 ; EG: MEM_RAT_CACHELESS STORE_RAW [[LO:T[0-9]+\.XY]] 167 ; EG-DAG: ADD_INT {{[* ]*}} 168 ; EG-DAG: ADDC_UINT 169 ; EG-DAG: ADD_INT 170 ; EG-DAG: ADD_INT {{[* ]*}} 171 ; EG-NOT: SUB 172 define void @add64_in_branch(i64 addrspace(1)* %out, i64 addrspace(1)* %in, i64 %a, i64 %b, i64 %c) { 173 entry: 174 %0 = icmp eq i64 %a, 0 175 br i1 %0, label %if, label %else 176 177 if: 178 %1 = load i64, i64 addrspace(1)* %in 179 br label %endif 180 181 else: 182 %2 = add i64 %a, %b 183 br label %endif 184 185 endif: 186 %3 = phi i64 [%1, %if], [%2, %else] 187 store i64 %3, i64 addrspace(1)* %out 188 ret void 189 } 190
