1 ; RUN: opt -gvn-hoist -newgvn -gvn-hoist -S < %s | FileCheck %s 2 3 ; Check that recursive GEPs are hoisted. Since hoisting creates 4 ; fully redundant instructions, newgvn is run to remove them which then 5 ; creates more opportunites for hoisting. 6 7 ; CHECK-LABEL: @fun 8 ; CHECK: load 9 ; CHECK: fdiv 10 ; CHECK: load 11 ; CHECK: load 12 ; CHECK: load 13 ; CHECK: fsub 14 ; CHECK: fmul 15 ; CHECK: fsub 16 ; CHECK: fmul 17 ; CHECK-NOT: fsub 18 ; CHECK-NOT: fmul 19 20 %0 = type { double, double, double } 21 %1 = type { double, double, double } 22 %2 = type { %3, %1, %1 } 23 %3 = type { i32 (...)**, %4, %10*, %11, %11, %11, %11, %11, %11, %11, %11, %11 } 24 %4 = type { %5 } 25 %5 = type { %6 } 26 %6 = type { %7 } 27 %7 = type { %8 } 28 %8 = type { %9 } 29 %9 = type { i64, i64, i8* } 30 %10 = type <{ i32 (...)**, i32, [4 x i8] }> 31 %11 = type { [4 x [4 x double]] } 32 %12 = type <{ %1, %0, i32, [4 x i8] }> 33 %13 = type { %1, %0, %12, %3*, %14* } 34 %14 = type opaque 35 36 @d = external global %0, align 8 37 @p = external global %1, align 8 38 39 define zeroext i1 @fun(%2*, %12* dereferenceable(56), double*, %13*) { 40 %5 = alloca %2*, align 8 41 %6 = alloca %12*, align 8 42 %7 = alloca double*, align 8 43 %8 = alloca %13*, align 8 44 %9 = alloca double, align 8 45 %10 = alloca double, align 8 46 %11 = alloca double, align 8 47 %12 = alloca double, align 8 48 %13 = alloca double, align 8 49 %14 = alloca double, align 8 50 %15 = alloca double, align 8 51 store %2* %0, %2** %5, align 8 52 store %12* %1, %12** %6, align 8 53 store double* %2, double** %7, align 8 54 store %13* %3, %13** %8, align 8 55 %16 = load %2*, %2** %5, align 8 56 %17 = load double, double* getelementptr inbounds (%0, %0* @d, i32 0, i32 0), align 8 57 %18 = fdiv double 1.000000e+00, %17 58 store double %18, double* %15, align 8 59 %19 = load double, double* %15, align 8 60 %20 = fcmp oge double %19, 0.000000e+00 61 br i1 %20, label %21, label %36 62 63 ; <label>:21: ; preds = %4 64 %22 = getelementptr inbounds %2, %2* %16, i32 0, i32 1 65 %23 = getelementptr inbounds %1, %1* %22, i32 0, i32 0 66 %24 = load double, double* %23, align 8 67 %25 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8 68 %26 = fsub double %24, %25 69 %27 = load double, double* %15, align 8 70 %28 = fmul double %26, %27 71 store double %28, double* %9, align 8 72 %29 = getelementptr inbounds %2, %2* %16, i32 0, i32 2 73 %30 = getelementptr inbounds %1, %1* %29, i32 0, i32 0 74 %31 = load double, double* %30, align 8 75 %32 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8 76 %33 = fsub double %31, %32 77 %34 = load double, double* %15, align 8 78 %35 = fmul double %33, %34 79 store double %35, double* %12, align 8 80 br label %51 81 82 ; <label>:36: ; preds = %4 83 %37 = getelementptr inbounds %2, %2* %16, i32 0, i32 2 84 %38 = getelementptr inbounds %1, %1* %37, i32 0, i32 0 85 %39 = load double, double* %38, align 8 86 %40 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8 87 %41 = fsub double %39, %40 88 %42 = load double, double* %15, align 8 89 %43 = fmul double %41, %42 90 store double %43, double* %9, align 8 91 %44 = getelementptr inbounds %2, %2* %16, i32 0, i32 1 92 %45 = getelementptr inbounds %1, %1* %44, i32 0, i32 0 93 %46 = load double, double* %45, align 8 94 %47 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8 95 %48 = fsub double %46, %47 96 %49 = load double, double* %15, align 8 97 %50 = fmul double %48, %49 98 store double %50, double* %12, align 8 99 br label %51 100 101 ; <label>:51: ; preds = %36, %21 102 %52 = load double, double* %12, align 8 103 %53 = load double, double* %9, align 8 104 %54 = fcmp olt double %52, %53 105 ret i1 %54 106 } 107
