1; RUN: opt -passes=licm -verify-memoryssa -S < %s | FileCheck %s 2 3; Function Attrs: noinline norecurse nounwind readnone ssp uwtable 4define 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, %v 9 br label %loop 10 11loop: ; preds = %entry, %loop 12 %v3 = phi i32 [ 0, %entry ], [ %v11, %loop ] 13 %v4 = phi i32 [ 0, %entry ], [ %v12, %loop ] 14 %v5 = uitofp i32 %v4 to double 15 16; CHECK-LABEL: loop: 17; CHECK: fmul fast double 18; CHECK-NOT: fdiv 19 %v6 = fdiv fast double %v5, %v 20 %v7 = fptoui double %v6 to i64 21 %v8 = and i64 %v7, 1 22 %v9 = xor i64 %v8, 1 23 %v10 = trunc i64 %v9 to i32 24 %v11 = add i32 %v10, %v3 25 %v12 = add nuw i32 %v4, 1 26 %v13 = icmp eq i32 %v12, -1 27 br i1 %v13, label %end, label %loop 28 29end: ; preds = %loop 30 %v15 = phi i32 [ %v11, %loop ] 31 %v16 = icmp ne i32 %v15, 0 32 ret i1 %v16 33} 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, %arg 39; CHECK-NEXT: fmul fast float %div, 0x41F0000000000000 40entry: 41 br label %loop 42 43loop: ; preds = %loop, %entry 44 %ind = phi i32 [ 0, %entry ], [ %inc, %loop ] 45 46; CHECK-LABEL: loop: 47; CHECK: getelementptr 48; CHECK-NOT: fdiv 49; CHECK-NOT: fmul 50 %div = fdiv fast float 4.000000e+00, %arg 51 %mul = fmul fast float %div, 0x41F0000000000000 52 %gep = getelementptr inbounds float, ptr %out, i32 %ind 53 store float %mul, ptr %gep, align 4 54 %inc = add nuw nsw i32 %ind, 1 55 %cond = icmp eq i32 %inc, 1024 56 br i1 %cond, label %exit, label %loop 57 58exit: ; preds = %loop 59 ret void 60} 61