Tom Stellard | 70f13db | 2013-10-10 17:11:46 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=r600 -mcpu=SI -verify-machineinstrs< %s | FileCheck -check-prefix=SI %s |
Matt Arsenault | 6f24379 | 2013-09-05 19:41:10 +0000 | [diff] [blame] | 2 | ; RUN: llc -march=r600 -mcpu=cypress < %s | FileCheck -check-prefix=EG %s |
| 3 | |
Matt Arsenault | 6f24379 | 2013-09-05 19:41:10 +0000 | [diff] [blame] | 4 | define void @trunc_i64_to_i32_store(i32 addrspace(1)* %out, i64 %in) { |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 5 | ; SI-LABEL: {{^}}trunc_i64_to_i32_store: |
Matt Arsenault | a9fcf62 | 2014-09-06 20:37:56 +0000 | [diff] [blame] | 6 | ; SI: S_LOAD_DWORD [[SLOAD:s[0-9]+]], s[0:1], 0xb |
| 7 | ; SI: V_MOV_B32_e32 [[VLOAD:v[0-9]+]], [[SLOAD]] |
| 8 | ; SI: BUFFER_STORE_DWORD [[VLOAD]] |
Matt Arsenault | 6f24379 | 2013-09-05 19:41:10 +0000 | [diff] [blame] | 9 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 10 | ; EG-LABEL: {{^}}trunc_i64_to_i32_store: |
Matt Arsenault | 6f24379 | 2013-09-05 19:41:10 +0000 | [diff] [blame] | 11 | ; EG: MEM_RAT_CACHELESS STORE_RAW T0.X, T1.X, 1 |
| 12 | ; EG: LSHR |
| 13 | ; EG-NEXT: 2( |
| 14 | |
| 15 | %result = trunc i64 %in to i32 store i32 %result, i32 addrspace(1)* %out, align 4 |
| 16 | ret void |
| 17 | } |
| 18 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 19 | ; SI-LABEL: {{^}}trunc_load_shl_i64: |
Matt Arsenault | a7f1e0c | 2014-03-24 19:43:31 +0000 | [diff] [blame] | 20 | ; SI-DAG: S_LOAD_DWORDX2 |
| 21 | ; SI-DAG: S_LOAD_DWORD [[SREG:s[0-9]+]], |
| 22 | ; SI: S_LSHL_B32 [[SHL:s[0-9]+]], [[SREG]], 2 |
| 23 | ; SI: V_MOV_B32_e32 [[VSHL:v[0-9]+]], [[SHL]] |
| 24 | ; SI: BUFFER_STORE_DWORD [[VSHL]], |
| 25 | define void @trunc_load_shl_i64(i32 addrspace(1)* %out, i64 %a) { |
| 26 | %b = shl i64 %a, 2 |
| 27 | %result = trunc i64 %b to i32 |
| 28 | store i32 %result, i32 addrspace(1)* %out, align 4 |
| 29 | ret void |
| 30 | } |
| 31 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 32 | ; SI-LABEL: {{^}}trunc_shl_i64: |
Matt Arsenault | c10853f | 2014-08-06 00:29:43 +0000 | [diff] [blame] | 33 | ; SI: S_LOAD_DWORDX2 s{{\[}}[[LO_SREG:[0-9]+]]:{{[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0xd |
Matt Arsenault | 8239eaa | 2014-09-11 17:34:19 +0000 | [diff] [blame] | 34 | ; SI: S_LSHL_B64 s{{\[}}[[LO_SHL:[0-9]+]]:{{[0-9]+\]}}, s{{\[}}[[LO_SREG]]:{{[0-9]+\]}}, 2 |
| 35 | ; SI: S_ADD_U32 s[[LO_SREG2:[0-9]+]], s[[LO_SHL]], |
Matt Arsenault | c10853f | 2014-08-06 00:29:43 +0000 | [diff] [blame] | 36 | ; SI: S_ADDC_U32 |
Matt Arsenault | 8239eaa | 2014-09-11 17:34:19 +0000 | [diff] [blame] | 37 | ; SI: V_MOV_B32_e32 v[[LO_VREG:[0-9]+]], s[[LO_SREG2]] |
Matt Arsenault | 72b31ee | 2013-11-12 02:35:51 +0000 | [diff] [blame] | 38 | ; SI: BUFFER_STORE_DWORD v[[LO_VREG]], |
Matt Arsenault | b517c81 | 2014-03-27 17:23:31 +0000 | [diff] [blame] | 39 | define void @trunc_shl_i64(i64 addrspace(1)* %out2, i32 addrspace(1)* %out, i64 %a) { |
Matt Arsenault | a7f1e0c | 2014-03-24 19:43:31 +0000 | [diff] [blame] | 40 | %aa = add i64 %a, 234 ; Prevent shrinking store. |
| 41 | %b = shl i64 %aa, 2 |
Matt Arsenault | 204cfa6 | 2013-10-10 18:04:16 +0000 | [diff] [blame] | 42 | %result = trunc i64 %b to i32 |
| 43 | store i32 %result, i32 addrspace(1)* %out, align 4 |
Matt Arsenault | b517c81 | 2014-03-27 17:23:31 +0000 | [diff] [blame] | 44 | store i64 %b, i64 addrspace(1)* %out2, align 8 ; Prevent reducing ops to 32-bits |
Matt Arsenault | 204cfa6 | 2013-10-10 18:04:16 +0000 | [diff] [blame] | 45 | ret void |
| 46 | } |
Michel Danzer | bf1a641 | 2014-01-28 03:01:16 +0000 | [diff] [blame] | 47 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 48 | ; SI-LABEL: {{^}}trunc_i32_to_i1: |
Matt Arsenault | 49dd428 | 2014-09-15 17:15:02 +0000 | [diff] [blame] | 49 | ; SI: V_AND_B32_e32 v{{[0-9]+}}, 1, v{{[0-9]+}} |
Michel Danzer | bf1a641 | 2014-01-28 03:01:16 +0000 | [diff] [blame] | 50 | ; SI: V_CMP_EQ_I32 |
Matt Arsenault | 49dd428 | 2014-09-15 17:15:02 +0000 | [diff] [blame] | 51 | define void @trunc_i32_to_i1(i32 addrspace(1)* %out, i32 addrspace(1)* %ptr) { |
| 52 | %a = load i32 addrspace(1)* %ptr, align 4 |
| 53 | %trunc = trunc i32 %a to i1 |
| 54 | %result = select i1 %trunc, i32 1, i32 0 |
| 55 | store i32 %result, i32 addrspace(1)* %out, align 4 |
| 56 | ret void |
| 57 | } |
| 58 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame^] | 59 | ; SI-LABEL: {{^}}sgpr_trunc_i32_to_i1: |
Matt Arsenault | 49dd428 | 2014-09-15 17:15:02 +0000 | [diff] [blame] | 60 | ; SI: V_AND_B32_e64 v{{[0-9]+}}, 1, s{{[0-9]+}} |
| 61 | ; SI: V_CMP_EQ_I32 |
| 62 | define void @sgpr_trunc_i32_to_i1(i32 addrspace(1)* %out, i32 %a) { |
Michel Danzer | bf1a641 | 2014-01-28 03:01:16 +0000 | [diff] [blame] | 63 | %trunc = trunc i32 %a to i1 |
| 64 | %result = select i1 %trunc, i32 1, i32 0 |
| 65 | store i32 %result, i32 addrspace(1)* %out, align 4 |
| 66 | ret void |
| 67 | } |