diff options
author | Petar Jovanovic <petar.jovanovic@imgtec.com> | 2016-03-17 17:11:33 +0000 |
---|---|---|
committer | Petar Jovanovic <petar.jovanovic@imgtec.com> | 2016-03-17 17:11:33 +0000 |
commit | cd74bb641552527a552d3dc101b89509b50cdfa9 (patch) | |
tree | e9955dee89b4e4adf16d2c21abe08db5afb2501f /test/CodeGen/PowerPC/ctrloops-softfloat.ll | |
parent | 3d1521202923f5fa33c14b3d858061d08a1dd283 (diff) |
[PowerPC] Disable CTR loops optimization for soft float operations
This patch prevents CTR loops optimization when using soft float operations
inside loop body. Soft float operations use function calls, but function
calls are not allowed inside CTR optimized loops.
Patch by Aleksandar Beserminji.
Differential Revision: http://reviews.llvm.org/D17600
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@263727 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/PowerPC/ctrloops-softfloat.ll')
-rw-r--r-- | test/CodeGen/PowerPC/ctrloops-softfloat.ll | 129 |
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" } + |