31 lines · plain
1; RUN: llc < %s -mtriple=nvptx -mcpu=sm_20 | FileCheck %s2; RUN: llc < %s -mtriple=nvptx64 -mcpu=sm_20 | FileCheck %s3; RUN: %if ptxas-ptr32 %{ llc < %s -mtriple=nvptx -mcpu=sm_20 | %ptxas-verify -m32 %}4; RUN: %if ptxas %{ llc < %s -mtriple=nvptx64 -mcpu=sm_20 | %ptxas-verify %}5 6; This test makes sure that the result of vector compares are properly7; scalarized. If codegen fails, then the type legalizer incorrectly8; tried to promote <2 x i1> to <2 x i8> and instruction selection failed.9 10; CHECK-LABEL: .visible .func foo(11define void @foo(ptr %a, ptr %b, ptr %r1, ptr %r2) {12; CHECK: ld.v2.b3213 %aval = load <2 x i32>, ptr %a14; CHECK: ld.v2.b3215 %bval = load <2 x i32>, ptr %b16; CHECK: setp.lt.s3217; CHECK: setp.lt.s3218 %res = icmp slt <2 x i32> %aval, %bval19 %t1 = extractelement <2 x i1> %res, i32 020 %t2 = extractelement <2 x i1> %res, i32 121; CHECK: selp.b32 %r{{[0-9]+}}, 1, 022; CHECK: selp.b32 %r{{[0-9]+}}, 1, 023 %t1a = zext i1 %t1 to i3224 %t2a = zext i1 %t2 to i3225; CHECK: st.b3226; CHECK: st.b3227 store i32 %t1a, ptr %r128 store i32 %t2a, ptr %r229 ret void30}31