1 ; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s 2 3 @varfloat = global float 0.0 4 @vardouble = global double 0.0 5 6 define void @test_csel(i32 %lhs32, i32 %rhs32, i64 %lhs64) { 7 ; CHECK: test_csel: 8 9 %tst1 = icmp ugt i32 %lhs32, %rhs32 10 %val1 = select i1 %tst1, float 0.0, float 1.0 11 store float %val1, float* @varfloat 12 ; CHECK: ldr [[FLT0:s[0-9]+]], [{{x[0-9]+}}, #:lo12:.LCPI 13 ; CHECK: fmov [[FLT1:s[0-9]+]], #1.0 14 ; CHECK: fcsel {{s[0-9]+}}, [[FLT0]], [[FLT1]], hi 15 16 %rhs64 = sext i32 %rhs32 to i64 17 %tst2 = icmp sle i64 %lhs64, %rhs64 18 %val2 = select i1 %tst2, double 1.0, double 0.0 19 store double %val2, double* @vardouble 20 ; CHECK: ldr [[FLT0:d[0-9]+]], [{{x[0-9]+}}, #:lo12:.LCPI 21 ; CHECK: fmov [[FLT1:d[0-9]+]], #1.0 22 ; CHECK: fcsel {{d[0-9]+}}, [[FLT1]], [[FLT0]], le 23 24 ret void 25 ; CHECK: ret 26 } 27
