1 ; RUN: opt -licm -S < %s | FileCheck %s 2 3 ; Function Attrs: noinline norecurse nounwind readnone ssp uwtable 4 define zeroext i1 @invariant_denom(double %v) #0 { 5 entry: 6 ; CHECK-LABEL: @invariant_denom( 7 ; CHECK-NEXT: entry: 8 ; CHECK-NEXT: fdiv fast double 1.000000e+00, %v 9 br label %loop 10 11 loop: ; 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 29 end: ; preds = %loop 30 %v15 = phi i32 [ %v11, %loop ] 31 %v16 = icmp ne i32 %v15, 0 32 ret i1 %v16 33 } 34 35 define void @invariant_fdiv(float* %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 40 entry: 41 br label %loop 42 43 loop: ; 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, float* %out, i32 %ind 53 store float %mul, float* %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 58 exit: ; preds = %loop 59 ret void 60 } 61
