Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / a0a1164ce41b5fbb68d86759e96b51e8a2529ece / . / llvm / test / CodeGen / AMDGPU / selectcc-opt.ll
blob: 0f46d4c7ea0628091150662489d1fc3d287a2aeb [file] [log] [blame]
Matt Arsenault7aad8fd2017-01-24 22:02:15 +0000[diff] [blame]1; RUN: llc -march=amdgcn < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
2; RUN: llc -march=amdgcn -mcpu=tonga -mattr=-flat-for-global < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
Matt Arsenaulte261b6e2014-07-20 06:11:02 +0000[diff] [blame]3; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s
Tom Stellard2add82d2013-03-08 15:37:09 +0000[diff] [blame]4
Matt Arsenaulte261b6e2014-07-20 06:11:02 +0000[diff] [blame]5
Tom Stellard79243d92014-10-01 17:15:17 +0000[diff] [blame]6; FUNC-LABEL: {{^}}test_a:
Matt Arsenaulte261b6e2014-07-20 06:11:02 +0000[diff] [blame]7; EG-NOT: CND
8; EG: SET{{[NEQGTL]+}}_DX10
Tom Stellard2add82d2013-03-08 15:37:09 +0000[diff] [blame]9
10define void @test_a(i32 addrspace(1)* %out, float %in) {
11entry:
Tom Stellard0351ea22013-09-28 02:50:50 +0000[diff] [blame]12 %0 = fcmp olt float %in, 0.000000e+00
Tom Stellard2add82d2013-03-08 15:37:09 +0000[diff] [blame]13 %1 = select i1 %0, float 1.000000e+00, float 0.000000e+00
14 %2 = fsub float -0.000000e+00, %1
15 %3 = fptosi float %2 to i32
16 %4 = bitcast i32 %3 to float
17 %5 = bitcast float %4 to i32
18 %6 = icmp ne i32 %5, 0
19 br i1 %6, label %IF, label %ENDIF
20
21IF:
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]22 %7 = getelementptr i32, i32 addrspace(1)* %out, i32 1
Tom Stellard2add82d2013-03-08 15:37:09 +0000[diff] [blame]23 store i32 0, i32 addrspace(1)* %7
24 br label %ENDIF
25
26ENDIF:
27 store i32 0, i32 addrspace(1)* %out
28 ret void
29}
30
Tom Stellard5e524892013-03-08 15:37:11 +0000[diff] [blame]31; Same as test_a, but the branch labels are swapped to produce the inverse cc
32; for the icmp instruction
33
Tom Stellard79243d92014-10-01 17:15:17 +0000[diff] [blame]34; EG-LABEL: {{^}}test_b:
Matt Arsenaulte261b6e2014-07-20 06:11:02 +0000[diff] [blame]35; EG: SET{{[GTEQN]+}}_DX10
36; EG-NEXT: PRED_
37; EG-NEXT: ALU clause starting
Tom Stellard5e524892013-03-08 15:37:11 +0000[diff] [blame]38define void @test_b(i32 addrspace(1)* %out, float %in) {
39entry:
Tom Stellard0351ea22013-09-28 02:50:50 +0000[diff] [blame]40 %0 = fcmp olt float %in, 0.0
Tom Stellard5e524892013-03-08 15:37:11 +0000[diff] [blame]41 %1 = select i1 %0, float 1.000000e+00, float 0.000000e+00
42 %2 = fsub float -0.000000e+00, %1
43 %3 = fptosi float %2 to i32
44 %4 = bitcast i32 %3 to float
45 %5 = bitcast float %4 to i32
46 %6 = icmp ne i32 %5, 0
47 br i1 %6, label %ENDIF, label %IF
48
49IF:
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]50 %7 = getelementptr i32, i32 addrspace(1)* %out, i32 1
Tom Stellard5e524892013-03-08 15:37:11 +0000[diff] [blame]51 store i32 0, i32 addrspace(1)* %7
52 br label %ENDIF
53
54ENDIF:
55 store i32 0, i32 addrspace(1)* %out
56 ret void
57}
58
59; Test a CND*_INT instruction with float true/false values
Tom Stellard79243d92014-10-01 17:15:17 +0000[diff] [blame]60; EG-LABEL: {{^}}test_c:
Matt Arsenaulte261b6e2014-07-20 06:11:02 +0000[diff] [blame]61; EG: CND{{[GTE]+}}_INT
Tom Stellard5e524892013-03-08 15:37:11 +0000[diff] [blame]62define void @test_c(float addrspace(1)* %out, i32 %in) {
Tom Stellard2add82d2013-03-08 15:37:09 +0000[diff] [blame]63entry:
64 %0 = icmp sgt i32 %in, 0
65 %1 = select i1 %0, float 2.0, float 3.0
66 store float %1, float addrspace(1)* %out
67 ret void
68}
Matt Arsenaulte261b6e2014-07-20 06:11:02 +0000[diff] [blame]69
Tom Stellard79243d92014-10-01 17:15:17 +0000[diff] [blame]70; FUNC-LABEL: {{^}}selectcc_bool:
Matt Arsenault5d8eb252016-09-30 01:50:20 +0000[diff] [blame]71; SI: v_cmp_ne_u32
Tom Stellard326d6ec2014-11-05 14:50:53 +0000[diff] [blame]72; SI-NEXT: v_cndmask_b32_e64
73; SI-NOT: cmp
74; SI-NOT: cndmask
Matt Arsenaulte261b6e2014-07-20 06:11:02 +0000[diff] [blame]75define void @selectcc_bool(i32 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
76 %icmp0 = icmp ne i32 %a, %b
77 %ext = select i1 %icmp0, i32 -1, i32 0
78 store i32 %ext, i32 addrspace(1)* %out
79 ret void
80}