| ; 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 |
| } |