25 lines · plain
1; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s2; CHECK: decq [[X:%rdi|%rcx]]3; CHECK-NOT: testq [[X]], [[X]]4 5define i64 @fact2(i64 %x) {6entry:7 br label %while.body8 9while.body:10 %result.06 = phi i64 [ %mul, %while.body ], [ 1, %entry ]11 %x.addr.05 = phi i64 [ %dec, %while.body ], [ %x, %entry ]12 %mul = mul nsw i64 %result.06, %x.addr.0513 %dec = add nsw i64 %x.addr.05, -114 %cmp = icmp sgt i64 %dec, 015 br i1 %cmp, label %while.body, label %while.end.loopexit16 17while.end.loopexit:18 %mul.lcssa = phi i64 [ %mul, %while.body ]19 br label %while.end20 21while.end:22 %result.0.lcssa = phi i64 [ %mul.lcssa, %while.end.loopexit ]23 ret i64 %result.0.lcssa24}25