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
34
35
36
37
38
39
40
41
42
43
44
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -O0 -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s --check-prefix=GISEL
; RUN: llc -O0 -global-isel=0 -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s --check-prefix=SDAG
; Verify that GISel and SDAG do the same thing for this phi (modulo regalloc)
define void @test() nounwind {
; GISEL-LABEL: test:
; GISEL: // %bb.0: // %entry
; GISEL-NEXT: sub sp, sp, #16
; GISEL-NEXT: mov x8, xzr
; GISEL-NEXT: mov x9, x8
; GISEL-NEXT: str x9, [sp] // 8-byte Folded Spill
; GISEL-NEXT: str x8, [sp, #8] // 8-byte Folded Spill
; GISEL-NEXT: b .LBB0_1
; GISEL-NEXT: .LBB0_1: // %loop
; GISEL-NEXT: // =>This Inner Loop Header: Depth=1
; GISEL-NEXT: ldr x8, [sp, #8] // 8-byte Folded Reload
; GISEL-NEXT: ldr x9, [sp] // 8-byte Folded Reload
; GISEL-NEXT: str x9, [sp] // 8-byte Folded Spill
; GISEL-NEXT: str x8, [sp, #8] // 8-byte Folded Spill
; GISEL-NEXT: b .LBB0_1
;
; SDAG-LABEL: test:
; SDAG: // %bb.0: // %entry
; SDAG-NEXT: sub sp, sp, #16
; SDAG-NEXT: mov x1, xzr
; SDAG-NEXT: mov x0, x1
; SDAG-NEXT: str x1, [sp] // 8-byte Folded Spill
; SDAG-NEXT: str x0, [sp, #8] // 8-byte Folded Spill
; SDAG-NEXT: b .LBB0_1
; SDAG-NEXT: .LBB0_1: // %loop
; SDAG-NEXT: // =>This Inner Loop Header: Depth=1
; SDAG-NEXT: ldr x0, [sp, #8] // 8-byte Folded Reload
; SDAG-NEXT: ldr x1, [sp] // 8-byte Folded Reload
; SDAG-NEXT: str x1, [sp] // 8-byte Folded Spill
; SDAG-NEXT: str x0, [sp, #8] // 8-byte Folded Spill
; SDAG-NEXT: b .LBB0_1
entry:
br label %loop
loop:
%p = phi i72 [ 0, %entry ], [ %p, %loop ]
br label %loop
}
|
