summaryrefslogtreecommitdiff
path: root/test/CodeGen/PowerPC/ctrloops-softfloat.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/PowerPC/ctrloops-softfloat.ll')
-rw-r--r--test/CodeGen/PowerPC/ctrloops-softfloat.ll129
1 files changed, 129 insertions, 0 deletions
diff --git a/test/CodeGen/PowerPC/ctrloops-softfloat.ll b/test/CodeGen/PowerPC/ctrloops-softfloat.ll
new file mode 100644
index 00000000000..037bfda7323
--- /dev/null
+++ b/test/CodeGen/PowerPC/ctrloops-softfloat.ll
@@ -0,0 +1,129 @@
+; RUN: llc -mtriple=powerpc-unknown-linux-gnu -O1 < %s | FileCheck %s
+
+; double x, y;
+;
+; void foo1()
+; {
+; x = y = 1.1;
+; for (int i = 0; i < 175; i++)
+; y = x + y;
+; }
+; void foo2()
+; {
+; x = y = 1.1;
+; for (int i = 0; i < 175; i++)
+; y = x - y;
+; }
+; void foo3()
+; {
+; x = y = 1.1;
+; for (int i = 0; i < 175; i++)
+; y = x * y;
+; }
+; void foo4()
+; {
+; x = y = 1.1;
+; for (int i = 0; i < 175; i++)
+; y = x / y;
+; }
+
+target datalayout = "E-m:e-p:32:32-i64:64-n32"
+target triple = "powerpc-buildroot-linux-gnu"
+
+@y = common global double 0.000000e+00, align 8
+@x = common global double 0.000000e+00, align 8
+
+define void @foo1() #0 {
+ store double 1.100000e+00, double* @y, align 8
+ store double 1.100000e+00, double* @x, align 8
+ br label %2
+
+; <label>:1 ; preds = %2
+ %.lcssa = phi double [ %4, %2 ]
+ store double %.lcssa, double* @y, align 8
+ ret void
+
+; <label>:2 ; preds = %2, %0
+ %3 = phi double [ 1.100000e+00, %0 ], [ %4, %2 ]
+ %i.01 = phi i32 [ 0, %0 ], [ %5, %2 ]
+ %4 = fadd double %3, 1.100000e+00
+ %5 = add nuw nsw i32 %i.01, 1
+ %exitcond = icmp eq i32 %5, 75
+ br i1 %exitcond, label %1, label %2
+ ; CHECK: bl __adddf3
+ ; CHECK: cmplwi
+ ; CHECK-NOT: li [[REG1:[0-9]+]], 175
+ ; CHECK-NOT: mtctr [[REG1]]
+}
+
+define void @foo2() #0 {
+ store double 1.100000e+00, double* @y, align 8
+ store double 1.100000e+00, double* @x, align 8
+ br label %2
+
+; <label>:1 ; preds = %2
+ %.lcssa = phi double [ %4, %2 ]
+ store double %.lcssa, double* @y, align 8
+ ret void
+
+; <label>:2 ; preds = %2, %0
+ %3 = phi double [ 1.100000e+00, %0 ], [ %4, %2 ]
+ %i.01 = phi i32 [ 0, %0 ], [ %5, %2 ]
+ %4 = fsub double 1.100000e+00, %3
+ %5 = add nuw nsw i32 %i.01, 1
+ %exitcond = icmp eq i32 %5, 75
+ br i1 %exitcond, label %1, label %2
+ ; CHECK: bl __subdf3
+ ; CHECK: cmplwi
+ ; CHECK-NOT: li [[REG1:[0-9]+]], 175
+ ; CHECK-NOT: mtctr [[REG1]]
+}
+
+define void @foo3() #0 {
+ store double 1.100000e+00, double* @y, align 8
+ store double 1.100000e+00, double* @x, align 8
+ br label %2
+
+; <label>:1 ; preds = %2
+ %.lcssa = phi double [ %4, %2 ]
+ store double %.lcssa, double* @y, align 8
+ ret void
+
+; <label>:2 ; preds = %2, %0
+ %3 = phi double [ 1.100000e+00, %0 ], [ %4, %2 ]
+ %i.01 = phi i32 [ 0, %0 ], [ %5, %2 ]
+ %4 = fmul double %3, 1.100000e+00
+ %5 = add nuw nsw i32 %i.01, 1
+ %exitcond = icmp eq i32 %5, 75
+ br i1 %exitcond, label %1, label %2
+ ; CHECK: bl __muldf3
+ ; CHECK: cmplwi
+ ; CHECK-NOT: li [[REG1:[0-9]+]], 175
+ ; CHECK-NOT: mtctr [[REG1]]
+}
+
+define void @foo4() #0 {
+ store double 1.100000e+00, double* @y, align 8
+ store double 1.100000e+00, double* @x, align 8
+ br label %2
+
+; <label>:1 ; preds = %2
+ %.lcssa = phi double [ %4, %2 ]
+ store double %.lcssa, double* @y, align 8
+ ret void
+
+; <label>:2 ; preds = %2, %0
+ %3 = phi double [ 1.100000e+00, %0 ], [ %4, %2 ]
+ %i.01 = phi i32 [ 0, %0 ], [ %5, %2 ]
+ %4 = fdiv double 1.100000e+00, %3
+ %5 = add nuw nsw i32 %i.01, 1
+ %exitcond = icmp eq i32 %5, 75
+ br i1 %exitcond, label %1, label %2
+ ; CHECK: bl __divdf3
+ ; CHECK: cmplwi
+ ; CHECK-NOT: li [[REG1:[0-9]+]], 175
+ ; CHECK-NOT: mtctr [[REG1]]
+}
+
+attributes #0 = { "use-soft-float"="true" }
+