; RUN: %lli %s | FileCheck %s
; REQUIRES: fma3
; CHECK: 12.000000

@msg_double = internal global [4 x i8] c"%f\0A\00"

declare i32 @printf(i8*, ...)

define i32 @main() {
  %fma = tail call double @llvm.fma.f64(double 3.0, double 3.0, double 3.0) nounwind readnone

  %ptr1 = getelementptr [4 x i8]* @msg_double, i32 0, i32 0
  call i32 (i8*,...)* @printf(i8* %ptr1, double %fma)

  ret i32 0
}

declare double @llvm.fma.f64(double, double, double) nounwind readnone