; RUN: opt -passes='function(gvn-hoist),function(newgvn),function(gvn-hoist)' -S < %s | FileCheck %s

; Check that recursive GEPs are hoisted. Since hoisting creates
; fully redundant instructions, newgvn is run to remove them which then
; creates more opportunites for hoisting.

; CHECK-LABEL: @fun
; CHECK: load
; CHECK: fdiv
; CHECK: load
; CHECK: load
; CHECK: load
; CHECK: fsub
; CHECK: fmul
; CHECK: fsub
; CHECK: fmul
; CHECK-NOT: fsub
; CHECK-NOT: fmul

%0 = type { double, double, double }
%1 = type { double, double, double }
%2 = type { %3, %1, %1 }
%3 = type { ptr, %4, ptr, %11, %11, %11, %11, %11, %11, %11, %11, %11 }
%4 = type { %5 }
%5 = type { %6 }
%6 = type { %7 }
%7 = type { %8 }
%8 = type { %9 }
%9 = type { i64, i64, ptr }
%10 = type <{ ptr, i32, [4 x i8] }>
%11 = type { [4 x [4 x double]] }
%12 = type <{ %1, %0, i32, [4 x i8] }>
%13 = type { %1, %0, %12, ptr, ptr }
%14 = type opaque

@d = external global %0, align 8
@p = external global %1, align 8

define zeroext i1 @fun(ptr, ptr dereferenceable(56), ptr, ptr) {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca double, align 8
  %10 = alloca double, align 8
  %11 = alloca double, align 8
  %12 = alloca double, align 8
  %13 = alloca double, align 8
  %14 = alloca double, align 8
  %15 = alloca double, align 8
  store ptr %0, ptr %5, align 8
  store ptr %1, ptr %6, align 8
  store ptr %2, ptr %7, align 8
  store ptr %3, ptr %8, align 8
  %16 = load ptr, ptr %5, align 8
  %17 = load double, ptr @d, align 8
  %18 = fdiv double 1.000000e+00, %17
  store double %18, ptr %15, align 8
  %19 = load double, ptr %15, align 8
  %20 = fcmp oge double %19, 0.000000e+00
  br i1 %20, label %21, label %36

; <label>:21:                                     ; preds = %4
  %22 = getelementptr inbounds %2, ptr %16, i32 0, i32 1
  %23 = getelementptr inbounds %1, ptr %22, i32 0, i32 0
  %24 = load double, ptr %23, align 8
  %25 = load double, ptr @p, align 8
  %26 = fsub double %24, %25
  %27 = load double, ptr %15, align 8
  %28 = fmul double %26, %27
  store double %28, ptr %9, align 8
  %29 = getelementptr inbounds %2, ptr %16, i32 0, i32 2
  %30 = getelementptr inbounds %1, ptr %29, i32 0, i32 0
  %31 = load double, ptr %30, align 8
  %32 = load double, ptr @p, align 8
  %33 = fsub double %31, %32
  %34 = load double, ptr %15, align 8
  %35 = fmul double %33, %34
  store double %35, ptr %12, align 8
  br label %51

; <label>:36:                                     ; preds = %4
  %37 = getelementptr inbounds %2, ptr %16, i32 0, i32 2
  %38 = getelementptr inbounds %1, ptr %37, i32 0, i32 0
  %39 = load double, ptr %38, align 8
  %40 = load double, ptr @p, align 8
  %41 = fsub double %39, %40
  %42 = load double, ptr %15, align 8
  %43 = fmul double %41, %42
  store double %43, ptr %9, align 8
  %44 = getelementptr inbounds %2, ptr %16, i32 0, i32 1
  %45 = getelementptr inbounds %1, ptr %44, i32 0, i32 0
  %46 = load double, ptr %45, align 8
  %47 = load double, ptr @p, align 8
  %48 = fsub double %46, %47
  %49 = load double, ptr %15, align 8
  %50 = fmul double %48, %49
  store double %50, ptr %12, align 8
  br label %51

; <label>:51:                                     ; preds = %36, %21
  %52 = load double, ptr %12, align 8
  %53 = load double, ptr %9, align 8
  %54 = fcmp olt double %52, %53
  ret i1 %54
}