1; RUN: %lli %s | FileCheck %s
2; REQUIRES: fma3
3; CHECK: 12.000000
4
5@msg_double = internal global [4 x i8] c"%f\0A\00"
6
7declare i32 @printf(i8*, ...)
8
9define i32 @main() {
10  %fma = tail call double @llvm.fma.f64(double 3.0, double 3.0, double 3.0) nounwind readnone
11
12  %ptr1 = getelementptr [4 x i8]* @msg_double, i32 0, i32 0
13  call i32 (i8*,...)* @printf(i8* %ptr1, double %fma)
14
15  ret i32 0
16}
17
18declare double @llvm.fma.f64(double, double, double) nounwind readnone
19