1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -verify-machineinstrs -mtriple=aarch64 | 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(ptr nocapture %a, ptr nocapture %b, ptr nocapture %cc, ptr nocapture %dd) nounwind uwtable noinline ssp {
; CHECK-LABEL: f:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: ldp x8, x11, [x3]
; CHECK-NEXT: ldp x9, x10, [x2]
; CHECK-NEXT: ldp x13, x12, [x2, #16]
; CHECK-NEXT: adds x8, x9, x8
; CHECK-NEXT: ldp x9, x14, [x3, #16]
; CHECK-NEXT: adcs x10, x10, x11
; CHECK-NEXT: stp x8, x10, [x0]
; CHECK-NEXT: adcs x9, x13, x9
; CHECK-NEXT: adc x11, x12, x14
; CHECK-NEXT: orr x12, x12, #0x100
; CHECK-NEXT: stp x9, x11, [x0, #16]
; CHECK-NEXT: adc x11, x12, x14
; CHECK-NEXT: stp x9, x11, [x1, #16]
; CHECK-NEXT: stp x8, x10, [x1]
; CHECK-NEXT: ret
entry:
%c = load i256, ptr %cc
%d = load i256, ptr %dd
%add = add nsw i256 %c, %d
store i256 %add, ptr %a, align 8
%or = or i256 %c, 1606938044258990275541962092341162602522202993782792835301376
%add6 = add nsw i256 %or, %d
store i256 %add6, ptr %b, align 8
ret void
}
|
