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