; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s
%"struct.std::array" = type { [4 x i64] }
define void @PR47857(ptr noalias nocapture writeonly sret(%"struct.std::array") align 8 %0, ptr nocapture noundef nonnull readonly align 8 dereferenceable(32) %1, ptr nocapture noundef nonnull readonly align 8 dereferenceable(32) %2) {
; CHECK-LABEL: PR47857:
; CHECK: # %bb.0:
; CHECK-NEXT: movq %rdi, %rax
; CHECK-NEXT: movq (%rdx), %r9
; CHECK-NEXT: movq 8(%rdx), %rcx
; CHECK-NEXT: xorl %edi, %edi
; CHECK-NEXT: addq (%rsi), %r9
; CHECK-NEXT: adcq 8(%rsi), %rcx
; CHECK-NEXT: movq 16(%rdx), %r8
; CHECK-NEXT: adcq 16(%rsi), %r8
; CHECK-NEXT: movq 24(%rdx), %rdx
; CHECK-NEXT: adcq 24(%rsi), %rdx
; CHECK-NEXT: sbbq %rdi, %rdi
; CHECK-NEXT: andl $38, %edi
; CHECK-NEXT: addq %rdi, %r9
; CHECK-NEXT: adcq $0, %rcx
; CHECK-NEXT: adcq $0, %r8
; CHECK-NEXT: adcq $0, %rdx
; CHECK-NEXT: sbbq %rdi, %rdi
; CHECK-NEXT: andl $38, %edi
; CHECK-NEXT: addq %r9, %rdi
; CHECK-NEXT: adcq $0, %rcx
; CHECK-NEXT: adcq $0, %r8
; CHECK-NEXT: adcq $0, %rdx
; CHECK-NEXT: movq %rdi, (%rax)
; CHECK-NEXT: movq %rcx, 8(%rax)
; CHECK-NEXT: movq %r8, 16(%rax)
; CHECK-NEXT: movq %rdx, 24(%rax)
; CHECK-NEXT: retq
%4 = load i64, ptr %1, align 8
%5 = getelementptr inbounds %"struct.std::array", ptr %1, i64 0, i32 0, i64 1
%6 = load i64, ptr %5, align 8
%7 = getelementptr inbounds %"struct.std::array", ptr %1, i64 0, i32 0, i64 2
%8 = load i64, ptr %7, align 8
%9 = getelementptr inbounds %"struct.std::array", ptr %1, i64 0, i32 0, i64 3
%10 = load i64, ptr %9, align 8
%11 = load i64, ptr %2, align 8
%12 = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %11, i64 %4)
%13 = extractvalue { i64, i1 } %12, 0
%14 = extractvalue { i64, i1 } %12, 1
%15 = getelementptr inbounds %"struct.std::array", ptr %2, i64 0, i32 0, i64 1
%16 = load i64, ptr %15, align 8
%17 = zext i1 %14 to i8
%18 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %17, i64 %16, i64 %6)
%19 = extractvalue { i8, i64 } %18, 1
%20 = extractvalue { i8, i64 } %18, 0
%21 = icmp ne i8 %20, 0
%22 = getelementptr inbounds %"struct.std::array", ptr %2, i64 0, i32 0, i64 2
%23 = load i64, ptr %22, align 8
%24 = zext i1 %21 to i8
%25 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %24, i64 %23, i64 %8)
%26 = extractvalue { i8, i64 } %25, 1
%27 = extractvalue { i8, i64 } %25, 0
%28 = icmp ne i8 %27, 0
%29 = getelementptr inbounds %"struct.std::array", ptr %2, i64 0, i32 0, i64 3
%30 = load i64, ptr %29, align 8
%31 = zext i1 %28 to i8
%32 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %31, i64 %30, i64 %10)
%33 = extractvalue { i8, i64 } %32, 1
%34 = extractvalue { i8, i64 } %32, 0
%35 = icmp ne i8 %34, 0
%36 = zext i1 %35 to i8
%37 = tail call { i8, i64 } @llvm.x86.subborrow.64(i8 %36, i64 0, i64 0)
%38 = extractvalue { i8, i64 } %37, 1
%39 = and i64 %38, 38
%40 = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %39, i64 %13)
%41 = extractvalue { i64, i1 } %40, 0
%42 = extractvalue { i64, i1 } %40, 1
%43 = zext i1 %42 to i8
%44 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %43, i64 0, i64 %19)
%45 = extractvalue { i8, i64 } %44, 1
%46 = extractvalue { i8, i64 } %44, 0
%47 = icmp ne i8 %46, 0
%48 = zext i1 %47 to i8
%49 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %48, i64 0, i64 %26)
%50 = extractvalue { i8, i64 } %49, 1
%51 = extractvalue { i8, i64 } %49, 0
%52 = icmp ne i8 %51, 0
%53 = zext i1 %52 to i8
%54 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %53, i64 0, i64 %33)
%55 = extractvalue { i8, i64 } %54, 1
%56 = extractvalue { i8, i64 } %54, 0
%57 = icmp ne i8 %56, 0
%58 = zext i1 %57 to i8
%59 = tail call { i8, i64 } @llvm.x86.subborrow.64(i8 %58, i64 %39, i64 %39)
%60 = extractvalue { i8, i64 } %59, 1
%61 = and i64 %60, 38
%62 = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %61, i64 %41)
%63 = extractvalue { i64, i1 } %62, 0
%64 = extractvalue { i64, i1 } %62, 1
%65 = zext i1 %64 to i8
%66 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %65, i64 0, i64 %45)
%67 = extractvalue { i8, i64 } %66, 1
%68 = extractvalue { i8, i64 } %66, 0
%69 = icmp ne i8 %68, 0
%70 = zext i1 %69 to i8
%71 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %70, i64 0, i64 %50)
%72 = extractvalue { i8, i64 } %71, 1
%73 = extractvalue { i8, i64 } %71, 0
%74 = icmp ne i8 %73, 0
%75 = zext i1 %74 to i8
%76 = tail call { i8, i64 } @llvm.x86.addcarry.64(i8 %75, i64 0, i64 %55)
%77 = extractvalue { i8, i64 } %76, 1
store i64 %63, ptr %0, align 8
%78 = getelementptr inbounds %"struct.std::array", ptr %0, i64 0, i32 0, i64 1
store i64 %67, ptr %78, align 8
%79 = getelementptr inbounds %"struct.std::array", ptr %0, i64 0, i32 0, i64 2
store i64 %72, ptr %79, align 8
%80 = getelementptr inbounds %"struct.std::array", ptr %0, i64 0, i32 0, i64 3
store i64 %77, ptr %80, align 8
ret void
}
declare { i8, i64 } @llvm.x86.addcarry.64(i8, i64, i64)
declare { i8, i64 } @llvm.x86.subborrow.64(i8, i64, i64)
declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64)
Codebase Browser
llvm