[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / ARM / zero-cycle-zero.ll
blob2022d88dd0eef4e182bc3cc08115d49d9ce0828a
1 ; RUN: llc -mtriple=armv8 -mcpu=cyclone < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-NOTSWIFT
2 ; RUN: llc -mtriple=armv8 -mcpu=swift < %s | FileCheck %s
3 ; RUN: llc -mtriple=armv8 -mcpu=cortex-a57 < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-NOTSWIFT
5 declare arm_aapcs_vfpcc void @take_vec64(<2 x i32>)
7 define void @test_vec64() {
8 ; CHECK-LABEL: test_vec64:
10   call arm_aapcs_vfpcc void @take_vec64(<2 x i32> <i32 0, i32 0>)
11   call arm_aapcs_vfpcc void @take_vec64(<2 x i32> <i32 0, i32 0>)
12 ; CHECK-NOTSWIFT-NOT: vmov.f64 d0,
13 ; CHECK: vmov.i32 d0, #0
14 ; CHECK: bl
15 ; CHECK: vmov.i32 d0, #0
16 ; CHECK: bl
18   ret void
21 declare arm_aapcs_vfpcc void @take_vec128(<8 x i16>)
23 define void @test_vec128() {
24 ; CHECK-LABEL: test_vec128:
26   call arm_aapcs_vfpcc void @take_vec128(<8 x i16> <i16 0, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0>)
27   call arm_aapcs_vfpcc void @take_vec128(<8 x i16> <i16 0, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0, i16 0>)
28 ; CHECK-NOT: vmov.f64 [[ZEROREG:d[0-9]+]],
29 ; CHECK: vmov.i32 q0, #0
30 ; CHECK: bl
31 ; CHECK: vmov.i32 q0, #0
32 ; CHECK: bl
34   ret void
37 declare void @take_i32(i32)
39 define void @test_i32() {
40 ; CHECK-LABEL: test_i32:
42   call arm_aapcs_vfpcc void @take_i32(i32 0)
43   call arm_aapcs_vfpcc void @take_i32(i32 0)
44 ; CHECK-NOTSWIFT-NOT: vmov.f64 [[ZEROREG:d[0-9]+]],
45 ; CHECK: mov r0, #0
46 ; CHECK: bl
47 ; CHECK: mov r0, #0
48 ; CHECK: bl
50 ; It doesn't particularly matter what Swift does here, there isn't carefully
51 ; crafted behaviour that we might break in Cyclone.
53   ret void