122 lines
5.2 KiB
LLVM
122 lines
5.2 KiB
LLVM
; 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)
|