; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -verify-machineinstrs -mtriple=aarch64-eabi | FileCheck %s

; DAG ends up with two uses for the flags from an ADCS node, which means they
; must be saved for later.
define void @f(i256* nocapture %a, i256* nocapture %b, i256* nocapture %cc, i256* nocapture %dd) nounwind uwtable noinline ssp {
; CHECK-LABEL: f:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    ldp x9, x8, [x2]
; CHECK-NEXT:    ldp x11, x10, [x3]
; CHECK-NEXT:    ldp x13, x12, [x2, #16]
; CHECK-NEXT:    ldp x14, x15, [x3, #16]
; CHECK-NEXT:    adds x9, x9, x11
; CHECK-NEXT:    adcs x8, x8, x10
; CHECK-NEXT:    adcs x10, x13, x14
; CHECK-NEXT:    adc x11, x12, x15
; CHECK-NEXT:    orr x12, x12, #0x100
; CHECK-NEXT:    adc x12, x12, x15
; CHECK-NEXT:    stp x9, x8, [x0]
; CHECK-NEXT:    stp x10, x11, [x0, #16]
; CHECK-NEXT:    stp x10, x12, [x1, #16]
; CHECK-NEXT:    stp x9, x8, [x1]
; CHECK-NEXT:    ret
entry:
  %c = load i256, i256* %cc
  %d = load i256, i256* %dd
  %add = add nsw i256 %c, %d
  store i256 %add, i256* %a, align 8
  %or = or i256 %c, 1606938044258990275541962092341162602522202993782792835301376
  %add6 = add nsw i256 %or, %d
  store i256 %add6, i256* %b, align 8
  ret void
}