61 lines · plain
1; RUN: opt -passes=licm -verify-memoryssa -S < %s | FileCheck %s2 3; Function Attrs: noinline norecurse nounwind readnone ssp uwtable4define zeroext i1 @invariant_denom(double %v) #0 {5entry:6; CHECK-LABEL: @invariant_denom(7; CHECK-NEXT: entry:8; CHECK-NEXT: fdiv fast double 1.000000e+00, %v9 br label %loop10 11loop: ; preds = %entry, %loop12 %v3 = phi i32 [ 0, %entry ], [ %v11, %loop ]13 %v4 = phi i32 [ 0, %entry ], [ %v12, %loop ]14 %v5 = uitofp i32 %v4 to double15 16; CHECK-LABEL: loop:17; CHECK: fmul fast double18; CHECK-NOT: fdiv19 %v6 = fdiv fast double %v5, %v20 %v7 = fptoui double %v6 to i6421 %v8 = and i64 %v7, 122 %v9 = xor i64 %v8, 123 %v10 = trunc i64 %v9 to i3224 %v11 = add i32 %v10, %v325 %v12 = add nuw i32 %v4, 126 %v13 = icmp eq i32 %v12, -127 br i1 %v13, label %end, label %loop28 29end: ; preds = %loop30 %v15 = phi i32 [ %v11, %loop ]31 %v16 = icmp ne i32 %v15, 032 ret i1 %v1633}34 35define void @invariant_fdiv(ptr %out, float %arg) {36; CHECK-LABEL: @invariant_fdiv(37; CHECK-NEXT: entry:38; CHECK-NEXT: %div = fdiv fast float 4.000000e+00, %arg39; CHECK-NEXT: fmul fast float %div, 0x41F000000000000040entry:41 br label %loop42 43loop: ; preds = %loop, %entry44 %ind = phi i32 [ 0, %entry ], [ %inc, %loop ]45 46; CHECK-LABEL: loop:47; CHECK: getelementptr48; CHECK-NOT: fdiv49; CHECK-NOT: fmul50 %div = fdiv fast float 4.000000e+00, %arg51 %mul = fmul fast float %div, 0x41F000000000000052 %gep = getelementptr inbounds float, ptr %out, i32 %ind53 store float %mul, ptr %gep, align 454 %inc = add nuw nsw i32 %ind, 155 %cond = icmp eq i32 %inc, 102456 br i1 %cond, label %exit, label %loop57 58exit: ; preds = %loop59 ret void60}61