shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
llvm-project/llvm/test/CodeGen/AArch64/phi.ll

1324 lines
36 KiB
LLVM
Raw Permalink Blame History

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc -mtriple=aarch64 -global-isel=0 -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-SD
; RUN: llc -mtriple=aarch64 -global-isel=1 -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-GI
define i8 @ti8(i1 %c, ptr %p, i8 %a, i8 %b) {
; CHECK-SD-LABEL: ti8:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB0_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov w3, w2
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB0_2: // %e
; CHECK-SD-NEXT: mov w0, w3
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: ti8:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov w8, w0
; CHECK-GI-NEXT: mov w0, w3
; CHECK-GI-NEXT: tbz w8, #0, .LBB0_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov w0, w2
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB0_2: // %e
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi i8 [%a, %t], [%b, %entry]
ret i8 %h
}
define i16 @ti16(i1 %c, ptr %p, i16 %a, i16 %b) {
; CHECK-SD-LABEL: ti16:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB1_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov w3, w2
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB1_2: // %e
; CHECK-SD-NEXT: mov w0, w3
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: ti16:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov w8, w0
; CHECK-GI-NEXT: mov w0, w3
; CHECK-GI-NEXT: tbz w8, #0, .LBB1_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov w0, w2
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB1_2: // %e
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi i16 [%a, %t], [%b, %entry]
ret i16 %h
}
define i32 @ti32(i1 %c, ptr %p, i32 %a, i32 %b) {
; CHECK-SD-LABEL: ti32:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB2_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov w3, w2
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB2_2: // %e
; CHECK-SD-NEXT: mov w0, w3
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: ti32:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov w8, w0
; CHECK-GI-NEXT: mov w0, w3
; CHECK-GI-NEXT: tbz w8, #0, .LBB2_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov w0, w2
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB2_2: // %e
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi i32 [%a, %t], [%b, %entry]
ret i32 %h
}
define i64 @ti64(i1 %c, ptr %p, i64 %a, i64 %b) {
; CHECK-SD-LABEL: ti64:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB3_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov x3, x2
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB3_2: // %e
; CHECK-SD-NEXT: mov x0, x3
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: ti64:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov w8, w0
; CHECK-GI-NEXT: mov x0, x3
; CHECK-GI-NEXT: tbz w8, #0, .LBB3_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov x0, x2
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB3_2: // %e
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi i64 [%a, %t], [%b, %entry]
ret i64 %h
}
define i128 @ti128(i1 %c, ptr %p, i128 %a, i128 %b) {
; CHECK-SD-LABEL: ti128:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB4_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov x4, x2
; CHECK-SD-NEXT: mov x5, x3
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB4_2: // %e
; CHECK-SD-NEXT: mov x0, x4
; CHECK-SD-NEXT: mov x1, x5
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: ti128:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov w8, w0
; CHECK-GI-NEXT: mov x0, x4
; CHECK-GI-NEXT: tbz w8, #0, .LBB4_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov x0, x2
; CHECK-GI-NEXT: mov x5, x3
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB4_2: // %e
; CHECK-GI-NEXT: mov x1, x5
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi i128 [%a, %t], [%b, %entry]
ret i128 %h
}
define ptr @tp0(i1 %c, ptr %p, ptr %a, ptr %b) {
; CHECK-SD-LABEL: tp0:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB5_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov x3, x2
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB5_2: // %e
; CHECK-SD-NEXT: mov x0, x3
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tp0:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov w8, w0
; CHECK-GI-NEXT: mov x0, x3
; CHECK-GI-NEXT: tbz w8, #0, .LBB5_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov x0, x2
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB5_2: // %e
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi ptr [%a, %t], [%b, %entry]
ret ptr %h
}
define half @tf16(i1 %c, ptr %p, half %a, half %b) {
; CHECK-LABEL: tf16:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB6_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov s1, s0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB6_2: // %e
; CHECK-NEXT: fmov s0, s1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi half [%a, %t], [%b, %entry]
ret half %h
}
define float @tf32(i1 %c, ptr %p, float %a, float %b) {
; CHECK-LABEL: tf32:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB7_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov s1, s0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB7_2: // %e
; CHECK-NEXT: fmov s0, s1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi float [%a, %t], [%b, %entry]
ret float %h
}
define double @tf64(i1 %c, ptr %p, double %a, double %b) {
; CHECK-LABEL: tf64:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB8_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB8_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi double [%a, %t], [%b, %entry]
ret double %h
}
define fp128 @tf128(i1 %c, ptr %p, fp128 %a, fp128 %b) {
; CHECK-SD-LABEL: tf128:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB9_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v1.16b, v0.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB9_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v1.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tf128:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: tbz w0, #0, .LBB9_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov d2, v0.d[1]
; CHECK-GI-NEXT: fmov d1, d0
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: b .LBB9_3
; CHECK-GI-NEXT: .LBB9_2:
; CHECK-GI-NEXT: mov d2, v1.d[1]
; CHECK-GI-NEXT: .LBB9_3: // %e
; CHECK-GI-NEXT: fmov x8, d1
; CHECK-GI-NEXT: mov v0.d[0], x8
; CHECK-GI-NEXT: fmov x8, d2
; CHECK-GI-NEXT: mov v0.d[1], x8
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi fp128 [%a, %t], [%b, %entry]
ret fp128 %h
}
define <2 x i8> @tv2i8(i1 %c, ptr %p, <2 x i8> %a, <2 x i8> %b) {
; CHECK-SD-LABEL: tv2i8:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB10_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: fmov d1, d0
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB10_2: // %e
; CHECK-SD-NEXT: fmov d0, d1
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv2i8:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 def $q0
; CHECK-GI-NEXT: // kill: def $d1 killed $d1 def $q1
; CHECK-GI-NEXT: tbz w0, #0, .LBB10_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov w8, v0.s[1]
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: mov v0.b[1], w8
; CHECK-GI-NEXT: fmov d1, d0
; CHECK-GI-NEXT: b .LBB10_3
; CHECK-GI-NEXT: .LBB10_2:
; CHECK-GI-NEXT: mov w8, v1.s[1]
; CHECK-GI-NEXT: mov v1.b[1], w8
; CHECK-GI-NEXT: .LBB10_3: // %e
; CHECK-GI-NEXT: umov w8, v1.b[0]
; CHECK-GI-NEXT: umov w9, v1.b[1]
; CHECK-GI-NEXT: fmov s0, w8
; CHECK-GI-NEXT: mov v0.s[1], w9
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x i8> [%a, %t], [%b, %entry]
ret <2 x i8> %h
}
define <3 x i8> @tv3i8(i1 %c, ptr %p, <3 x i8> %a, <3 x i8> %b) {
; CHECK-SD-LABEL: tv3i8:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB11_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov w5, w2
; CHECK-SD-NEXT: mov w6, w3
; CHECK-SD-NEXT: mov w7, w4
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB11_2: // %e
; CHECK-SD-NEXT: mov w0, w5
; CHECK-SD-NEXT: mov w1, w6
; CHECK-SD-NEXT: mov w2, w7
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv3i8:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: tbz w0, #0, .LBB11_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: fmov s0, w2
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: mov v0.b[1], w3
; CHECK-GI-NEXT: mov v0.b[2], w4
; CHECK-GI-NEXT: b .LBB11_3
; CHECK-GI-NEXT: .LBB11_2:
; CHECK-GI-NEXT: fmov s0, w5
; CHECK-GI-NEXT: mov v0.b[1], w6
; CHECK-GI-NEXT: mov v0.b[2], w7
; CHECK-GI-NEXT: .LBB11_3: // %e
; CHECK-GI-NEXT: umov w0, v0.b[0]
; CHECK-GI-NEXT: umov w1, v0.b[1]
; CHECK-GI-NEXT: umov w2, v0.b[2]
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <3 x i8> [%a, %t], [%b, %entry]
ret <3 x i8> %h
}
define <4 x i8> @tv4i8(i1 %c, ptr %p, <4 x i8> %a, <4 x i8> %b) {
; CHECK-SD-LABEL: tv4i8:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB12_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: fmov d1, d0
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB12_2: // %e
; CHECK-SD-NEXT: fmov d0, d1
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv4i8:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: tbz w0, #0, .LBB12_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: uzp1 v0.8b, v0.8b, v0.8b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: ushll v0.8h, v0.8b, #0
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
; CHECK-GI-NEXT: .LBB12_2:
; CHECK-GI-NEXT: uzp1 v0.8b, v1.8b, v0.8b
; CHECK-GI-NEXT: ushll v0.8h, v0.8b, #0
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <4 x i8> [%a, %t], [%b, %entry]
ret <4 x i8> %h
}
define <8 x i8> @tv8i8(i1 %c, ptr %p, <8 x i8> %a, <8 x i8> %b) {
; CHECK-LABEL: tv8i8:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB13_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB13_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <8 x i8> [%a, %t], [%b, %entry]
ret <8 x i8> %h
}
define <16 x i8> @tv16i8(i1 %c, ptr %p, <16 x i8> %a, <16 x i8> %b) {
; CHECK-LABEL: tv16i8:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB14_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB14_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <16 x i8> [%a, %t], [%b, %entry]
ret <16 x i8> %h
}
define <32 x i8> @tv32i8(i1 %c, ptr %p, <32 x i8> %a, <32 x i8> %b) {
; CHECK-SD-LABEL: tv32i8:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB15_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB15_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv32i8:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov v4.16b, v0.16b
; CHECK-GI-NEXT: mov v0.16b, v2.16b
; CHECK-GI-NEXT: tbz w0, #0, .LBB15_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov v0.16b, v4.16b
; CHECK-GI-NEXT: mov v3.16b, v1.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB15_2: // %e
; CHECK-GI-NEXT: mov v1.16b, v3.16b
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <32 x i8> [%a, %t], [%b, %entry]
ret <32 x i8> %h
}
define <2 x i16> @tv2i16(i1 %c, ptr %p, <2 x i16> %a, <2 x i16> %b) {
; CHECK-SD-LABEL: tv2i16:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB16_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: fmov d1, d0
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB16_2: // %e
; CHECK-SD-NEXT: fmov d0, d1
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv2i16:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: tbz w0, #0, .LBB16_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: uzp1 v0.4h, v0.4h, v0.4h
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: ushll v0.4s, v0.4h, #0
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
; CHECK-GI-NEXT: .LBB16_2:
; CHECK-GI-NEXT: uzp1 v0.4h, v1.4h, v0.4h
; CHECK-GI-NEXT: ushll v0.4s, v0.4h, #0
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x i16> [%a, %t], [%b, %entry]
ret <2 x i16> %h
}
define <3 x i16> @tv3i16(i1 %c, ptr %p, <3 x i16> %a, <3 x i16> %b) {
; CHECK-LABEL: tv3i16:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB17_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB17_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <3 x i16> [%a, %t], [%b, %entry]
ret <3 x i16> %h
}
define <4 x i16> @tv4i16(i1 %c, ptr %p, <4 x i16> %a, <4 x i16> %b) {
; CHECK-LABEL: tv4i16:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB18_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB18_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <4 x i16> [%a, %t], [%b, %entry]
ret <4 x i16> %h
}
define <8 x i16> @tv8i16(i1 %c, ptr %p, <8 x i16> %a, <8 x i16> %b) {
; CHECK-LABEL: tv8i16:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB19_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB19_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <8 x i16> [%a, %t], [%b, %entry]
ret <8 x i16> %h
}
define <16 x i16> @tv16i16(i1 %c, ptr %p, <16 x i16> %a, <16 x i16> %b) {
; CHECK-SD-LABEL: tv16i16:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB20_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB20_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv16i16:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov v4.16b, v0.16b
; CHECK-GI-NEXT: mov v0.16b, v2.16b
; CHECK-GI-NEXT: tbz w0, #0, .LBB20_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov v0.16b, v4.16b
; CHECK-GI-NEXT: mov v3.16b, v1.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB20_2: // %e
; CHECK-GI-NEXT: mov v1.16b, v3.16b
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <16 x i16> [%a, %t], [%b, %entry]
ret <16 x i16> %h
}
define <2 x i32> @tv2i32(i1 %c, ptr %p, <2 x i32> %a, <2 x i32> %b) {
; CHECK-LABEL: tv2i32:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB21_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB21_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x i32> [%a, %t], [%b, %entry]
ret <2 x i32> %h
}
define <3 x i32> @tv3i32(i1 %c, ptr %p, <3 x i32> %a, <3 x i32> %b) {
; CHECK-LABEL: tv3i32:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB22_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB22_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <3 x i32> [%a, %t], [%b, %entry]
ret <3 x i32> %h
}
define <4 x i32> @tv4i32(i1 %c, ptr %p, <4 x i32> %a, <4 x i32> %b) {
; CHECK-LABEL: tv4i32:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB23_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB23_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <4 x i32> [%a, %t], [%b, %entry]
ret <4 x i32> %h
}
define <8 x i32> @tv8i32(i1 %c, ptr %p, <8 x i32> %a, <8 x i32> %b) {
; CHECK-SD-LABEL: tv8i32:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB24_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB24_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv8i32:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov v4.16b, v0.16b
; CHECK-GI-NEXT: mov v0.16b, v2.16b
; CHECK-GI-NEXT: tbz w0, #0, .LBB24_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov v0.16b, v4.16b
; CHECK-GI-NEXT: mov v3.16b, v1.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB24_2: // %e
; CHECK-GI-NEXT: mov v1.16b, v3.16b
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <8 x i32> [%a, %t], [%b, %entry]
ret <8 x i32> %h
}
define <2 x i64> @tv2i64(i1 %c, ptr %p, <2 x i64> %a, <2 x i64> %b) {
; CHECK-LABEL: tv2i64:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB25_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB25_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x i64> [%a, %t], [%b, %entry]
ret <2 x i64> %h
}
define <3 x i64> @tv3i64(i1 %c, ptr %p, <3 x i64> %a, <3 x i64> %b) {
; CHECK-SD-LABEL: tv3i64:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB26_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: fmov d3, d0
; CHECK-SD-NEXT: fmov d4, d1
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: fmov d5, d2
; CHECK-SD-NEXT: .LBB26_2: // %e
; CHECK-SD-NEXT: fmov d0, d3
; CHECK-SD-NEXT: fmov d1, d4
; CHECK-SD-NEXT: fmov d2, d5
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv3i64:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: // kill: def $d1 killed $d1 def $q1
; CHECK-GI-NEXT: // kill: def $d4 killed $d4 def $q4
; CHECK-GI-NEXT: tbz w0, #0, .LBB26_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: fmov d6, d0
; CHECK-GI-NEXT: fmov d7, d2
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: mov v6.d[1], v1.d[0]
; CHECK-GI-NEXT: mov v2.16b, v7.16b
; CHECK-GI-NEXT: // kill: def $d2 killed $d2 killed $q2
; CHECK-GI-NEXT: mov d1, v6.d[1]
; CHECK-GI-NEXT: mov v0.16b, v6.16b
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
; CHECK-GI-NEXT: .LBB26_2:
; CHECK-GI-NEXT: fmov d0, d3
; CHECK-GI-NEXT: fmov d2, d5
; CHECK-GI-NEXT: // kill: def $d2 killed $d2 killed $q2
; CHECK-GI-NEXT: mov v0.d[1], v4.d[0]
; CHECK-GI-NEXT: mov d1, v0.d[1]
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <3 x i64> [%a, %t], [%b, %entry]
ret <3 x i64> %h
}
define <4 x i64> @tv4i64(i1 %c, ptr %p, <4 x i64> %a, <4 x i64> %b) {
; CHECK-SD-LABEL: tv4i64:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB27_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB27_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv4i64:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov v4.16b, v0.16b
; CHECK-GI-NEXT: mov v0.16b, v2.16b
; CHECK-GI-NEXT: tbz w0, #0, .LBB27_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov v0.16b, v4.16b
; CHECK-GI-NEXT: mov v3.16b, v1.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB27_2: // %e
; CHECK-GI-NEXT: mov v1.16b, v3.16b
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <4 x i64> [%a, %t], [%b, %entry]
ret <4 x i64> %h
}
define <2 x i128> @tv2i128(i1 %c, ptr %p, <2 x i128> %a, <2 x i128> %b) {
; CHECK-SD-LABEL: tv2i128:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB28_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov x6, x2
; CHECK-SD-NEXT: mov x7, x3
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: b .LBB28_3
; CHECK-SD-NEXT: .LBB28_2:
; CHECK-SD-NEXT: ldp x4, x5, [sp]
; CHECK-SD-NEXT: .LBB28_3: // %e
; CHECK-SD-NEXT: mov x0, x6
; CHECK-SD-NEXT: mov x1, x7
; CHECK-SD-NEXT: mov x2, x4
; CHECK-SD-NEXT: mov x3, x5
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv2i128:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: tbz w0, #0, .LBB28_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov x9, x2
; CHECK-GI-NEXT: mov x10, x3
; CHECK-GI-NEXT: mov x2, x4
; CHECK-GI-NEXT: mov x3, x5
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: mov x0, x9
; CHECK-GI-NEXT: mov x1, x10
; CHECK-GI-NEXT: ret
; CHECK-GI-NEXT: .LBB28_2:
; CHECK-GI-NEXT: ldp x2, x3, [sp]
; CHECK-GI-NEXT: mov x0, x6
; CHECK-GI-NEXT: mov x1, x7
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x i128> [%a, %t], [%b, %entry]
ret <2 x i128> %h
}
define <2 x ptr> @tv2p0(i1 %c, ptr %p, <2 x ptr> %a, <2 x ptr> %b) {
; CHECK-LABEL: tv2p0:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB29_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB29_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x ptr> [%a, %t], [%b, %entry]
ret <2 x ptr> %h
}
define <3 x ptr> @tv3p0(i1 %c, ptr %p, <3 x ptr> %a, <3 x ptr> %b) {
; CHECK-SD-LABEL: tv3p0:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB30_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: fmov d3, d0
; CHECK-SD-NEXT: fmov d4, d1
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: fmov d5, d2
; CHECK-SD-NEXT: .LBB30_2: // %e
; CHECK-SD-NEXT: fmov d0, d3
; CHECK-SD-NEXT: fmov d1, d4
; CHECK-SD-NEXT: fmov d2, d5
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv3p0:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 def $q0
; CHECK-GI-NEXT: // kill: def $d2 killed $d2 def $q2
; CHECK-GI-NEXT: // kill: def $d3 killed $d3 def $q3
; CHECK-GI-NEXT: // kill: def $d5 killed $d5 def $q5
; CHECK-GI-NEXT: tbz w0, #0, .LBB30_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: fmov x8, d1
; CHECK-GI-NEXT: mov v5.16b, v2.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: mov v0.d[1], x8
; CHECK-GI-NEXT: mov v3.16b, v0.16b
; CHECK-GI-NEXT: b .LBB30_3
; CHECK-GI-NEXT: .LBB30_2:
; CHECK-GI-NEXT: fmov x8, d4
; CHECK-GI-NEXT: mov v3.d[1], x8
; CHECK-GI-NEXT: .LBB30_3: // %e
; CHECK-GI-NEXT: mov d0, v3.d[1]
; CHECK-GI-NEXT: fmov d2, d5
; CHECK-GI-NEXT: fmov x9, d0
; CHECK-GI-NEXT: fmov d0, d3
; CHECK-GI-NEXT: fmov d1, x9
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <3 x ptr> [%a, %t], [%b, %entry]
ret <3 x ptr> %h
}
define <4 x ptr> @tv4p0(i1 %c, ptr %p, <4 x ptr> %a, <4 x ptr> %b) {
; CHECK-SD-LABEL: tv4p0:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB31_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB31_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv4p0:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov v4.16b, v0.16b
; CHECK-GI-NEXT: mov v0.16b, v2.16b
; CHECK-GI-NEXT: tbz w0, #0, .LBB31_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov v0.16b, v4.16b
; CHECK-GI-NEXT: mov v3.16b, v1.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB31_2: // %e
; CHECK-GI-NEXT: mov v1.16b, v3.16b
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <4 x ptr> [%a, %t], [%b, %entry]
ret <4 x ptr> %h
}
define <2 x half> @tv2f16(i1 %c, ptr %p, <2 x half> %a, <2 x half> %b) {
; CHECK-LABEL: tv2f16:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB32_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB32_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x half> [%a, %t], [%b, %entry]
ret <2 x half> %h
}
define <3 x half> @tv3f16(i1 %c, ptr %p, <3 x half> %a, <3 x half> %b) {
; CHECK-LABEL: tv3f16:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB33_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB33_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <3 x half> [%a, %t], [%b, %entry]
ret <3 x half> %h
}
define <4 x half> @tv4f16(i1 %c, ptr %p, <4 x half> %a, <4 x half> %b) {
; CHECK-LABEL: tv4f16:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB34_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB34_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <4 x half> [%a, %t], [%b, %entry]
ret <4 x half> %h
}
define <8 x half> @tv8f16(i1 %c, ptr %p, <8 x half> %a, <8 x half> %b) {
; CHECK-LABEL: tv8f16:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB35_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB35_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <8 x half> [%a, %t], [%b, %entry]
ret <8 x half> %h
}
define <16 x half> @tv16f16(i1 %c, ptr %p, <16 x half> %a, <16 x half> %b) {
; CHECK-SD-LABEL: tv16f16:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB36_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB36_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv16f16:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov v4.16b, v0.16b
; CHECK-GI-NEXT: mov v0.16b, v2.16b
; CHECK-GI-NEXT: tbz w0, #0, .LBB36_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov v0.16b, v4.16b
; CHECK-GI-NEXT: mov v3.16b, v1.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB36_2: // %e
; CHECK-GI-NEXT: mov v1.16b, v3.16b
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <16 x half> [%a, %t], [%b, %entry]
ret <16 x half> %h
}
define <2 x float> @tv2f32(i1 %c, ptr %p, <2 x float> %a, <2 x float> %b) {
; CHECK-LABEL: tv2f32:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB37_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: fmov d1, d0
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB37_2: // %e
; CHECK-NEXT: fmov d0, d1
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x float> [%a, %t], [%b, %entry]
ret <2 x float> %h
}
define <3 x float> @tv3f32(i1 %c, ptr %p, <3 x float> %a, <3 x float> %b) {
; CHECK-LABEL: tv3f32:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB38_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB38_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <3 x float> [%a, %t], [%b, %entry]
ret <3 x float> %h
}
define <4 x float> @tv4f32(i1 %c, ptr %p, <4 x float> %a, <4 x float> %b) {
; CHECK-LABEL: tv4f32:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB39_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB39_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <4 x float> [%a, %t], [%b, %entry]
ret <4 x float> %h
}
define <8 x float> @tv8f32(i1 %c, ptr %p, <8 x float> %a, <8 x float> %b) {
; CHECK-SD-LABEL: tv8f32:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB40_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB40_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv8f32:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov v4.16b, v0.16b
; CHECK-GI-NEXT: mov v0.16b, v2.16b
; CHECK-GI-NEXT: tbz w0, #0, .LBB40_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov v0.16b, v4.16b
; CHECK-GI-NEXT: mov v3.16b, v1.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB40_2: // %e
; CHECK-GI-NEXT: mov v1.16b, v3.16b
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <8 x float> [%a, %t], [%b, %entry]
ret <8 x float> %h
}
define <2 x double> @tv2f64(i1 %c, ptr %p, <2 x double> %a, <2 x double> %b) {
; CHECK-LABEL: tv2f64:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: tbz w0, #0, .LBB41_2
; CHECK-NEXT: // %bb.1: // %t
; CHECK-NEXT: mov v1.16b, v0.16b
; CHECK-NEXT: str wzr, [x1]
; CHECK-NEXT: .LBB41_2: // %e
; CHECK-NEXT: mov v0.16b, v1.16b
; CHECK-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x double> [%a, %t], [%b, %entry]
ret <2 x double> %h
}
define <3 x double> @tv3f64(i1 %c, ptr %p, <3 x double> %a, <3 x double> %b) {
; CHECK-SD-LABEL: tv3f64:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB42_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: fmov d3, d0
; CHECK-SD-NEXT: fmov d4, d1
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: fmov d5, d2
; CHECK-SD-NEXT: .LBB42_2: // %e
; CHECK-SD-NEXT: fmov d0, d3
; CHECK-SD-NEXT: fmov d1, d4
; CHECK-SD-NEXT: fmov d2, d5
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv3f64:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: // kill: def $d1 killed $d1 def $q1
; CHECK-GI-NEXT: // kill: def $d4 killed $d4 def $q4
; CHECK-GI-NEXT: tbz w0, #0, .LBB42_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: fmov d6, d0
; CHECK-GI-NEXT: fmov d7, d2
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: mov v6.d[1], v1.d[0]
; CHECK-GI-NEXT: mov v2.16b, v7.16b
; CHECK-GI-NEXT: // kill: def $d2 killed $d2 killed $q2
; CHECK-GI-NEXT: mov d1, v6.d[1]
; CHECK-GI-NEXT: mov v0.16b, v6.16b
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
; CHECK-GI-NEXT: .LBB42_2:
; CHECK-GI-NEXT: fmov d0, d3
; CHECK-GI-NEXT: fmov d2, d5
; CHECK-GI-NEXT: // kill: def $d2 killed $d2 killed $q2
; CHECK-GI-NEXT: mov v0.d[1], v4.d[0]
; CHECK-GI-NEXT: mov d1, v0.d[1]
; CHECK-GI-NEXT: // kill: def $d0 killed $d0 killed $q0
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <3 x double> [%a, %t], [%b, %entry]
ret <3 x double> %h
}
define <4 x double> @tv4f64(i1 %c, ptr %p, <4 x double> %a, <4 x double> %b) {
; CHECK-SD-LABEL: tv4f64:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB43_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB43_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv4f64:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: mov v4.16b, v0.16b
; CHECK-GI-NEXT: mov v0.16b, v2.16b
; CHECK-GI-NEXT: tbz w0, #0, .LBB43_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov v0.16b, v4.16b
; CHECK-GI-NEXT: mov v3.16b, v1.16b
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: .LBB43_2: // %e
; CHECK-GI-NEXT: mov v1.16b, v3.16b
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <4 x double> [%a, %t], [%b, %entry]
ret <4 x double> %h
}
define <2 x fp128> @tv2f128(i1 %c, ptr %p, <2 x fp128> %a, <2 x fp128> %b) {
; CHECK-SD-LABEL: tv2f128:
; CHECK-SD: // %bb.0: // %entry
; CHECK-SD-NEXT: tbz w0, #0, .LBB44_2
; CHECK-SD-NEXT: // %bb.1: // %t
; CHECK-SD-NEXT: mov v2.16b, v0.16b
; CHECK-SD-NEXT: mov v3.16b, v1.16b
; CHECK-SD-NEXT: str wzr, [x1]
; CHECK-SD-NEXT: .LBB44_2: // %e
; CHECK-SD-NEXT: mov v0.16b, v2.16b
; CHECK-SD-NEXT: mov v1.16b, v3.16b
; CHECK-SD-NEXT: ret
;
; CHECK-GI-LABEL: tv2f128:
; CHECK-GI: // %bb.0: // %entry
; CHECK-GI-NEXT: tbz w0, #0, .LBB44_2
; CHECK-GI-NEXT: // %bb.1: // %t
; CHECK-GI-NEXT: mov d4, v1.d[1]
; CHECK-GI-NEXT: mov d5, v0.d[1]
; CHECK-GI-NEXT: str wzr, [x1]
; CHECK-GI-NEXT: fmov d2, d0
; CHECK-GI-NEXT: fmov d3, d1
; CHECK-GI-NEXT: b .LBB44_3
; CHECK-GI-NEXT: .LBB44_2:
; CHECK-GI-NEXT: mov d4, v3.d[1]
; CHECK-GI-NEXT: mov d5, v2.d[1]
; CHECK-GI-NEXT: .LBB44_3: // %e
; CHECK-GI-NEXT: fmov x8, d2
; CHECK-GI-NEXT: fmov x9, d3
; CHECK-GI-NEXT: mov v0.d[0], x8
; CHECK-GI-NEXT: mov v1.d[0], x9
; CHECK-GI-NEXT: fmov x8, d5
; CHECK-GI-NEXT: fmov x9, d4
; CHECK-GI-NEXT: mov v0.d[1], x8
; CHECK-GI-NEXT: mov v1.d[1], x9
; CHECK-GI-NEXT: ret
entry:
br i1 %c, label %t, label %e
t:
store i32 0, ptr %p
br label %e
e:
%h = phi <2 x fp128> [%a, %t], [%b, %entry]
ret <2 x fp128> %h
}
Reference in New Issue View Git Blame Copy Permalink