1; RUN: llc < %s -march=x86-64 -mcpu=corei7 | FileCheck %s
2target triple = "x86_64-unknown-linux-gnu"
3
4; Check that the booleans are converted using zext and not via sext.
5; 0x1 means that we only look at the first bit.
6
7;CHECK: 0x1
8;CHECK-LABEL: ui_to_fp_conv:
9;CHECK: ret
10define void @ui_to_fp_conv(<8 x float> * nocapture %aFOO, <8 x float>* nocapture %RET) nounwind {
11allocas:
12  %bincmp = fcmp olt <8 x float> <float 1.000000e+00, float 1.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00> , <float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00, float 3.000000e+00>
13  %bool2float = uitofp <8 x i1> %bincmp to <8 x float>
14  store <8 x float> %bool2float, <8 x float>* %RET, align 4
15  ret void
16}
17
18
19
20