1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2 ; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s 3 4 define i128 @add128(i128 %a, i128 %b) nounwind { 5 ; CHECK-LABEL: add128: 6 ; CHECK: # %bb.0: # %entry 7 ; CHECK-NEXT: addq %rdx, %rdi 8 ; CHECK-NEXT: adcq %rcx, %rsi 9 ; CHECK-NEXT: movq %rdi, %rax 10 ; CHECK-NEXT: movq %rsi, %rdx 11 ; CHECK-NEXT: retq 12 entry: 13 %0 = add i128 %a, %b 14 ret i128 %0 15 } 16 17 define i256 @add256(i256 %a, i256 %b) nounwind { 18 ; CHECK-LABEL: add256: 19 ; CHECK: # %bb.0: # %entry 20 ; CHECK-NEXT: addq %r9, %rsi 21 ; CHECK-NEXT: adcq {{[0-9]+}}(%rsp), %rdx 22 ; CHECK-NEXT: adcq {{[0-9]+}}(%rsp), %rcx 23 ; CHECK-NEXT: adcq {{[0-9]+}}(%rsp), %r8 24 ; CHECK-NEXT: movq %rdx, 8(%rdi) 25 ; CHECK-NEXT: movq %rsi, (%rdi) 26 ; CHECK-NEXT: movq %rcx, 16(%rdi) 27 ; CHECK-NEXT: movq %r8, 24(%rdi) 28 ; CHECK-NEXT: movq %rdi, %rax 29 ; CHECK-NEXT: retq 30 entry: 31 %0 = add i256 %a, %b 32 ret i256 %0 33 } 34 35 define void @a(i64* nocapture %s, i64* nocapture %t, i64 %a, i64 %b, i64 %c) nounwind { 36 ; CHECK-LABEL: a: 37 ; CHECK: # %bb.0: # %entry 38 ; CHECK-NEXT: addq %rcx, %rdx 39 ; CHECK-NEXT: adcq $0, %r8 40 ; CHECK-NEXT: movq %r8, (%rdi) 41 ; CHECK-NEXT: movq %rdx, (%rsi) 42 ; CHECK-NEXT: retq 43 entry: 44 %0 = zext i64 %a to i128 45 %1 = zext i64 %b to i128 46 %2 = add i128 %1, %0 47 %3 = zext i64 %c to i128 48 %4 = shl i128 %3, 64 49 %5 = add i128 %4, %2 50 %6 = lshr i128 %5, 64 51 %7 = trunc i128 %6 to i64 52 store i64 %7, i64* %s, align 8 53 %8 = trunc i128 %2 to i64 54 store i64 %8, i64* %t, align 8 55 ret void 56 } 57 58 define void @b(i32* nocapture %r, i64 %a, i64 %b, i32 %c) nounwind { 59 ; CHECK-LABEL: b: 60 ; CHECK: # %bb.0: # %entry 61 ; CHECK-NEXT: addq %rdx, %rsi 62 ; CHECK-NEXT: adcl $0, %ecx 63 ; CHECK-NEXT: movl %ecx, (%rdi) 64 ; CHECK-NEXT: retq 65 entry: 66 %0 = zext i64 %a to i128 67 %1 = zext i64 %b to i128 68 %2 = zext i32 %c to i128 69 %3 = add i128 %1, %0 70 %4 = lshr i128 %3, 64 71 %5 = add i128 %4, %2 72 %6 = trunc i128 %5 to i32 73 store i32 %6, i32* %r, align 4 74 ret void 75 } 76 77 define void @c(i16* nocapture %r, i64 %a, i64 %b, i16 %c) nounwind { 78 ; CHECK-LABEL: c: 79 ; CHECK: # %bb.0: # %entry 80 ; CHECK-NEXT: addq %rdx, %rsi 81 ; CHECK-NEXT: adcw $0, %cx 82 ; CHECK-NEXT: movw %cx, (%rdi) 83 ; CHECK-NEXT: retq 84 entry: 85 %0 = zext i64 %a to i128 86 %1 = zext i64 %b to i128 87 %2 = zext i16 %c to i128 88 %3 = add i128 %1, %0 89 %4 = lshr i128 %3, 64 90 %5 = add i128 %4, %2 91 %6 = trunc i128 %5 to i16 92 store i16 %6, i16* %r, align 4 93 ret void 94 } 95 96 define void @d(i8* nocapture %r, i64 %a, i64 %b, i8 %c) nounwind { 97 ; CHECK-LABEL: d: 98 ; CHECK: # %bb.0: # %entry 99 ; CHECK-NEXT: addq %rdx, %rsi 100 ; CHECK-NEXT: adcb $0, %cl 101 ; CHECK-NEXT: movb %cl, (%rdi) 102 ; CHECK-NEXT: retq 103 entry: 104 %0 = zext i64 %a to i128 105 %1 = zext i64 %b to i128 106 %2 = zext i8 %c to i128 107 %3 = add i128 %1, %0 108 %4 = lshr i128 %3, 64 109 %5 = add i128 %4, %2 110 %6 = trunc i128 %5 to i8 111 store i8 %6, i8* %r, align 4 112 ret void 113 } 114 115 define i8 @e(i32* nocapture %a, i32 %b) nounwind { 116 ; CHECK-LABEL: e: 117 ; CHECK: # %bb.0: 118 ; CHECK-NEXT: # kill: def $esi killed $esi def $rsi 119 ; CHECK-NEXT: movl (%rdi), %ecx 120 ; CHECK-NEXT: leal (%rsi,%rcx), %edx 121 ; CHECK-NEXT: addl %esi, %edx 122 ; CHECK-NEXT: setb %al 123 ; CHECK-NEXT: addl %esi, %ecx 124 ; CHECK-NEXT: movl %edx, (%rdi) 125 ; CHECK-NEXT: adcb $0, %al 126 ; CHECK-NEXT: retq 127 %1 = load i32, i32* %a, align 4 128 %2 = add i32 %1, %b 129 %3 = icmp ult i32 %2, %b 130 %4 = zext i1 %3 to i8 131 %5 = add i32 %2, %b 132 store i32 %5, i32* %a, align 4 133 %6 = icmp ult i32 %5, %b 134 %7 = zext i1 %6 to i8 135 %8 = add nuw nsw i8 %7, %4 136 ret i8 %8 137 } 138 139 %scalar = type { [4 x i64] } 140 141 define %scalar @pr31719(%scalar* nocapture readonly %this, %scalar %arg.b) { 142 ; CHECK-LABEL: pr31719: 143 ; CHECK: # %bb.0: # %entry 144 ; CHECK-NEXT: addq (%rsi), %rdx 145 ; CHECK-NEXT: adcq 8(%rsi), %rcx 146 ; CHECK-NEXT: adcq 16(%rsi), %r8 147 ; CHECK-NEXT: adcq 24(%rsi), %r9 148 ; CHECK-NEXT: movq %rdx, (%rdi) 149 ; CHECK-NEXT: movq %rcx, 8(%rdi) 150 ; CHECK-NEXT: movq %r8, 16(%rdi) 151 ; CHECK-NEXT: movq %r9, 24(%rdi) 152 ; CHECK-NEXT: movq %rdi, %rax 153 ; CHECK-NEXT: retq 154 entry: 155 %0 = extractvalue %scalar %arg.b, 0 156 %.elt = extractvalue [4 x i64] %0, 0 157 %.elt24 = extractvalue [4 x i64] %0, 1 158 %.elt26 = extractvalue [4 x i64] %0, 2 159 %.elt28 = extractvalue [4 x i64] %0, 3 160 %1 = getelementptr inbounds %scalar , %scalar* %this, i64 0, i32 0, i64 0 161 %2 = load i64, i64* %1, align 8 162 %3 = zext i64 %2 to i128 163 %4 = zext i64 %.elt to i128 164 %5 = add nuw nsw i128 %3, %4 165 %6 = trunc i128 %5 to i64 166 %7 = lshr i128 %5, 64 167 %8 = getelementptr inbounds %scalar , %scalar * %this, i64 0, i32 0, i64 1 168 %9 = load i64, i64* %8, align 8 169 %10 = zext i64 %9 to i128 170 %11 = zext i64 %.elt24 to i128 171 %12 = add nuw nsw i128 %10, %11 172 %13 = add nuw nsw i128 %12, %7 173 %14 = trunc i128 %13 to i64 174 %15 = lshr i128 %13, 64 175 %16 = getelementptr inbounds %scalar , %scalar* %this, i64 0, i32 0, i64 2 176 %17 = load i64, i64* %16, align 8 177 %18 = zext i64 %17 to i128 178 %19 = zext i64 %.elt26 to i128 179 %20 = add nuw nsw i128 %18, %19 180 %21 = add nuw nsw i128 %20, %15 181 %22 = trunc i128 %21 to i64 182 %23 = lshr i128 %21, 64 183 %24 = getelementptr inbounds %scalar , %scalar* %this, i64 0, i32 0, i64 3 184 %25 = load i64, i64* %24, align 8 185 %26 = zext i64 %25 to i128 186 %27 = zext i64 %.elt28 to i128 187 %28 = add nuw nsw i128 %26, %27 188 %29 = add nuw nsw i128 %28, %23 189 %30 = trunc i128 %29 to i64 190 %31 = insertvalue [4 x i64] undef, i64 %6, 0 191 %32 = insertvalue [4 x i64] %31, i64 %14, 1 192 %33 = insertvalue [4 x i64] %32, i64 %22, 2 193 %34 = insertvalue [4 x i64] %33, i64 %30, 3 194 %35 = insertvalue %scalar undef, [4 x i64] %34, 0 195 ret %scalar %35 196 } 197 198 %accumulator= type { i64, i64, i32 } 199 200 define void @muladd(%accumulator* nocapture %this, i64 %arg.a, i64 %arg.b) { 201 ; CHECK-LABEL: muladd: 202 ; CHECK: # %bb.0: # %entry 203 ; CHECK-NEXT: movq %rdx, %rax 204 ; CHECK-NEXT: mulq %rsi 205 ; CHECK-NEXT: addq %rax, (%rdi) 206 ; CHECK-NEXT: adcq %rdx, 8(%rdi) 207 ; CHECK-NEXT: adcl $0, 16(%rdi) 208 ; CHECK-NEXT: retq 209 entry: 210 %0 = zext i64 %arg.a to i128 211 %1 = zext i64 %arg.b to i128 212 %2 = mul nuw i128 %1, %0 213 %3 = getelementptr inbounds %accumulator, %accumulator* %this, i64 0, i32 0 214 %4 = load i64, i64* %3, align 8 215 %5 = zext i64 %4 to i128 216 %6 = add i128 %5, %2 217 %7 = trunc i128 %6 to i64 218 store i64 %7, i64* %3, align 8 219 %8 = lshr i128 %6, 64 220 %9 = getelementptr inbounds %accumulator, %accumulator* %this, i64 0, i32 1 221 %10 = load i64, i64* %9, align 8 222 %11 = zext i64 %10 to i128 223 %12 = add nuw nsw i128 %8, %11 224 %13 = trunc i128 %12 to i64 225 store i64 %13, i64* %9, align 8 226 %14 = lshr i128 %12, 64 227 %15 = getelementptr inbounds %accumulator, %accumulator* %this, i64 0, i32 2 228 %16 = load i32, i32* %15, align 4 229 %17 = zext i32 %16 to i128 230 %18 = add nuw nsw i128 %14, %17 231 %19 = trunc i128 %18 to i32 232 store i32 %19, i32* %15, align 4 233 ret void 234 } 235 236 define i64 @shiftadd(i64 %a, i64 %b, i64 %c, i64 %d) { 237 ; CHECK-LABEL: shiftadd: 238 ; CHECK: # %bb.0: # %entry 239 ; CHECK-NEXT: addq %rsi, %rdi 240 ; CHECK-NEXT: adcq %rcx, %rdx 241 ; CHECK-NEXT: movq %rdx, %rax 242 ; CHECK-NEXT: retq 243 entry: 244 %0 = zext i64 %a to i128 245 %1 = zext i64 %b to i128 246 %2 = add i128 %0, %1 247 %3 = lshr i128 %2, 64 248 %4 = trunc i128 %3 to i64 249 %5 = add i64 %c, %d 250 %6 = add i64 %4, %5 251 ret i64 %6 252 } 253 254 %S = type { [4 x i64] } 255 256 define %S @readd(%S* nocapture readonly %this, %S %arg.b) { 257 ; CHECK-LABEL: readd: 258 ; CHECK: # %bb.0: # %entry 259 ; CHECK-NEXT: addq (%rsi), %rdx 260 ; CHECK-NEXT: movq 8(%rsi), %r10 261 ; CHECK-NEXT: adcq $0, %r10 262 ; CHECK-NEXT: setb %al 263 ; CHECK-NEXT: movzbl %al, %eax 264 ; CHECK-NEXT: addq %rcx, %r10 265 ; CHECK-NEXT: adcq 16(%rsi), %rax 266 ; CHECK-NEXT: setb %cl 267 ; CHECK-NEXT: movzbl %cl, %ecx 268 ; CHECK-NEXT: addq %r8, %rax 269 ; CHECK-NEXT: adcq 24(%rsi), %rcx 270 ; CHECK-NEXT: addq %r9, %rcx 271 ; CHECK-NEXT: movq %rdx, (%rdi) 272 ; CHECK-NEXT: movq %r10, 8(%rdi) 273 ; CHECK-NEXT: movq %rax, 16(%rdi) 274 ; CHECK-NEXT: movq %rcx, 24(%rdi) 275 ; CHECK-NEXT: movq %rdi, %rax 276 ; CHECK-NEXT: retq 277 entry: 278 %0 = extractvalue %S %arg.b, 0 279 %.elt6 = extractvalue [4 x i64] %0, 1 280 %.elt8 = extractvalue [4 x i64] %0, 2 281 %.elt10 = extractvalue [4 x i64] %0, 3 282 %.elt = extractvalue [4 x i64] %0, 0 283 %1 = getelementptr inbounds %S, %S* %this, i64 0, i32 0, i64 0 284 %2 = load i64, i64* %1, align 8 285 %3 = zext i64 %2 to i128 286 %4 = zext i64 %.elt to i128 287 %5 = add nuw nsw i128 %3, %4 288 %6 = trunc i128 %5 to i64 289 %7 = lshr i128 %5, 64 290 %8 = getelementptr inbounds %S, %S* %this, i64 0, i32 0, i64 1 291 %9 = load i64, i64* %8, align 8 292 %10 = zext i64 %9 to i128 293 %11 = add nuw nsw i128 %7, %10 294 %12 = zext i64 %.elt6 to i128 295 %13 = add nuw nsw i128 %11, %12 296 %14 = trunc i128 %13 to i64 297 %15 = lshr i128 %13, 64 298 %16 = getelementptr inbounds %S, %S* %this, i64 0, i32 0, i64 2 299 %17 = load i64, i64* %16, align 8 300 %18 = zext i64 %17 to i128 301 %19 = add nuw nsw i128 %15, %18 302 %20 = zext i64 %.elt8 to i128 303 %21 = add nuw nsw i128 %19, %20 304 %22 = lshr i128 %21, 64 305 %23 = trunc i128 %21 to i64 306 %24 = getelementptr inbounds %S, %S* %this, i64 0,i32 0, i64 3 307 %25 = load i64, i64* %24, align 8 308 %26 = zext i64 %25 to i128 309 %27 = add nuw nsw i128 %22, %26 310 %28 = zext i64 %.elt10 to i128 311 %29 = add nuw nsw i128 %27, %28 312 %30 = trunc i128 %29 to i64 313 %31 = insertvalue [4 x i64] undef, i64 %6, 0 314 %32 = insertvalue [4 x i64] %31, i64 %14, 1 315 %33 = insertvalue [4 x i64] %32, i64 %23, 2 316 %34 = insertvalue [4 x i64] %33, i64 %30, 3 317 %35 = insertvalue %S undef, [4 x i64] %34, 0 318 ret %S %35 319 } 320 321 define i128 @addcarry1_not(i128 %n) { 322 ; CHECK-LABEL: addcarry1_not: 323 ; CHECK: # %bb.0: 324 ; CHECK-NEXT: xorl %edx, %edx 325 ; CHECK-NEXT: negq %rdi 326 ; CHECK-NEXT: sbbq %rsi, %rdx 327 ; CHECK-NEXT: movq %rdi, %rax 328 ; CHECK-NEXT: retq 329 %1 = xor i128 %n, -1 330 %2 = add i128 %1, 1 331 ret i128 %2 332 } 333