Home | History | Annotate | Download | only in X86
      1 ; RUN: llc %s -o - -verify-machineinstrs | FileCheck %s
      2 
      3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
      4 target triple = "x86_64-unknown-unknown"
      5 
      6 ; Test that we can generate an fcmove, and also that it passes verification.
      7 
      8 ; CHECK-LABEL: cmove_f
      9 ; CHECK: fcmove %st({{[0-7]}}), %st(0)
     10 define x86_fp80 @cmove_f(x86_fp80 %a, x86_fp80 %b, i32 %c) {
     11   %test = icmp eq i32 %c, 0
     12   %add = fadd x86_fp80 %a, %b
     13   %ret = select i1 %test, x86_fp80 %add, x86_fp80 %b
     14   ret x86_fp80 %ret
     15 }