R600/SI: Fix zext from i1 to i64
[oota-llvm.git] / test / CodeGen / R600 / zero_extend.ll
1 ; RUN: llc < %s -march=r600 -mcpu=redwood | FileCheck %s --check-prefix=R600-CHECK
2 ; RUN: llc < %s -march=r600 -mcpu=SI -verify-machineinstrs | FileCheck %s --check-prefix=SI-CHECK
3
4 ; R600-CHECK: @test
5 ; R600-CHECK: MEM_RAT_CACHELESS STORE_RAW
6 ; R600-CHECK: MEM_RAT_CACHELESS STORE_RAW
7
8 ; SI-CHECK: @test
9 ; SI-CHECK: V_MOV_B32_e32 v[[ZERO:[0-9]]], 0
10 ; SI-CHECK: BUFFER_STORE_DWORDX2 v[0:[[ZERO]]{{\]}}
11 define void @test(i64 addrspace(1)* %out, i32 %a, i32 %b, i32 %c) {
12 entry:
13   %0 = mul i32 %a, %b
14   %1 = add i32 %0, %c
15   %2 = zext i32 %1 to i64
16   store i64 %2, i64 addrspace(1)* %out
17   ret void
18 }
19
20 ; SI-CHECK-LABEL: @testi1toi32
21 ; SI-CHECK: V_CNDMASK_B32
22 define void @testi1toi32(i32 addrspace(1)* %out, i32 %a, i32 %b) {
23 entry:
24   %0 = icmp eq i32 %a, %b
25   %1 = zext i1 %0 to i32
26   store i32 %1, i32 addrspace(1)* %out
27   ret void
28 }
29
30 ; SI-CHECK-LABEL: @zext_i1_to_i64
31 ; SI-CHECK: V_CMP_EQ_I32
32 ; SI-CHECK: V_CNDMASK_B32
33 ; SI-CHECK: V_MOV_B32_e32 v{{[0-9]+}}, 0
34 define void @zext_i1_to_i64(i64 addrspace(1)* %out, i32 %a, i32 %b) nounwind {
35   %cmp = icmp eq i32 %a, %b
36   %ext = zext i1 %cmp to i64
37   store i64 %ext, i64 addrspace(1)* %out, align 8
38   ret void
39 }