Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 31ccb51a7f1b6fddaa684095d78c4532598cf51d / . / llvm / test / CodeGen / AArch64 / directcond.ll
blob: fbea4a6e5838ac0c3d576787798d9bef7cf5f0bb [file] [log] [blame]
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]1; RUN: llc -verify-machineinstrs -o - %s -mtriple=arm64-apple-ios7.0 -aarch64-atomic-cfg-tidy=0 | FileCheck %s --check-prefix=CHECK
2; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu -mattr=-fp-armv8 -aarch64-atomic-cfg-tidy=0 | FileCheck --check-prefix=CHECK-NOFP %s
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]3
4define i32 @test_select_i32(i1 %bit, i32 %a, i32 %b) {
Stephen Linf799e3f2013-07-13 20:38:47 +0000[diff] [blame]5; CHECK-LABEL: test_select_i32:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]6 %val = select i1 %bit, i32 %a, i32 %b
Tim Northover3b0846e2014-05-24 12:50:23 +0000[diff] [blame]7; CHECK: tst w0, #0x1
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]8; CHECK-NEXT: csel w0, w1, w2, ne
9
10 ret i32 %val
11}
12
13define i64 @test_select_i64(i1 %bit, i64 %a, i64 %b) {
Stephen Linf799e3f2013-07-13 20:38:47 +0000[diff] [blame]14; CHECK-LABEL: test_select_i64:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]15 %val = select i1 %bit, i64 %a, i64 %b
Tim Northover3b0846e2014-05-24 12:50:23 +0000[diff] [blame]16; CHECK: tst w0, #0x1
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]17; CHECK-NEXT: csel x0, x1, x2, ne
18
19 ret i64 %val
20}
21
22define float @test_select_float(i1 %bit, float %a, float %b) {
Stephen Linf799e3f2013-07-13 20:38:47 +0000[diff] [blame]23; CHECK-LABEL: test_select_float:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]24 %val = select i1 %bit, float %a, float %b
Tim Northover3b0846e2014-05-24 12:50:23 +0000[diff] [blame]25; CHECK: tst w0, #0x1
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]26; CHECK-NEXT: fcsel s0, s0, s1, ne
Amara Emersonf80f95f2013-10-31 09:32:11 +0000[diff] [blame]27; CHECK-NOFP-NOT: fcsel
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]28 ret float %val
29}
30
31define double @test_select_double(i1 %bit, double %a, double %b) {
Stephen Linf799e3f2013-07-13 20:38:47 +0000[diff] [blame]32; CHECK-LABEL: test_select_double:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]33 %val = select i1 %bit, double %a, double %b
Tim Northover3b0846e2014-05-24 12:50:23 +0000[diff] [blame]34; CHECK: tst w0, #0x1
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]35; CHECK-NEXT: fcsel d0, d0, d1, ne
Amara Emersonf80f95f2013-10-31 09:32:11 +0000[diff] [blame]36; CHECK-NOFP-NOT: fcsel
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]37
38 ret double %val
39}
40
41define i32 @test_brcond(i1 %bit) {
Stephen Linf799e3f2013-07-13 20:38:47 +0000[diff] [blame]42; CHECK-LABEL: test_brcond:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]43 br i1 %bit, label %true, label %false
Tim Northoverdb2860f42014-04-14 13:18:48 +0000[diff] [blame]44; CHECK: tbz {{w[0-9]+}}, #0, {{.?LBB}}
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]45
46true:
47 ret i32 0
48false:
49 ret i32 42
50}
51
52define i1 @test_setcc_float(float %lhs, float %rhs) {
53; CHECK: test_setcc_float
54 %val = fcmp oeq float %lhs, %rhs
55; CHECK: fcmp s0, s1
Tim Northoveree20caa2014-05-12 18:04:06 +0000[diff] [blame]56; CHECK: cset w0, eq
Amara Emersonf80f95f2013-10-31 09:32:11 +0000[diff] [blame]57; CHECK-NOFP-NOT: fcmp
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]58 ret i1 %val
59}
60
61define i1 @test_setcc_double(double %lhs, double %rhs) {
62; CHECK: test_setcc_double
63 %val = fcmp oeq double %lhs, %rhs
64; CHECK: fcmp d0, d1
Tim Northoveree20caa2014-05-12 18:04:06 +0000[diff] [blame]65; CHECK: cset w0, eq
Amara Emersonf80f95f2013-10-31 09:32:11 +0000[diff] [blame]66; CHECK-NOFP-NOT: fcmp
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]67 ret i1 %val
68}
69
70define i1 @test_setcc_i32(i32 %lhs, i32 %rhs) {
71; CHECK: test_setcc_i32
72 %val = icmp ugt i32 %lhs, %rhs
73; CHECK: cmp w0, w1
Tim Northoveree20caa2014-05-12 18:04:06 +0000[diff] [blame]74; CHECK: cset w0, hi
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]75 ret i1 %val
76}
77
78define i1 @test_setcc_i64(i64 %lhs, i64 %rhs) {
79; CHECK: test_setcc_i64
80 %val = icmp ne i64 %lhs, %rhs
81; CHECK: cmp x0, x1
Tim Northoveree20caa2014-05-12 18:04:06 +0000[diff] [blame]82; CHECK: cset w0, ne
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]83 ret i1 %val
84}