--- /dev/null
+; RUN: llvm-as < %s | llc -march=x86 | grep ST | not grep 'fadd\|fsub\|fdiv\|fmul'
+
+; Test that the load of the constant is folded into the operation.
+
+double %test_add(double %P) {
+ %tmp.1 = add double %P, 0x405EC00000000000
+ ret double %tmp.1
+}
+
+double %test_mul(double %P) {
+ %tmp.1 = mul double %P, 0x405EC00000000000
+ ret double %tmp.1
+}
+
+double %test_sub(double %P) {
+ %tmp.1 = sub double %P, 0x405EC00000000000
+ ret double %tmp.1
+}
+
+double %test_subr(double %P) {
+ %tmp.1 = sub double 0x405EC00000000000, %P
+ ret double %tmp.1
+}
+
+double %test_div(double %P) {
+ %tmp.1 = div double %P, 0x405EC00000000000
+ ret double %tmp.1
+}
+
+double %test_divr(double %P) {
+ %tmp.1 = div double 0x405EC00000000000, %P
+ ret double %tmp.1
+}
+