eb4b11245af6098f9db0125ed4021f94f60e0ec5.ll

; RUN: opt -gvn -S < %s
; XFAIL: *

define void @f(i1* %G2, i1 %L5) {
BB:
  %C17 = icmp uge i16 0, 0
  %A1 = alloca i1, align 1
  %C13 = fcmp olt float 0.000000e+00, 0.000000e+00
  %B = xor i1 true, false
  store i1 true, i1* %A1, align 1
  %G6 = getelementptr i1, i1* %A1, i1 %B
  br label %BB1

BB1:                                              ; preds = %BB5, %BB1, %BB
  %C8 = icmp ule i1 false, false
  %C5 = icmp eq i1 false, false
  %C21 = icmp slt i1 false, false
  %B9 = xor i1 false, false
  %G1 = getelementptr i1, i1* %A1, i1 false
  %L14 = load i1, i1* null, align 1
  %L51 = load i1, i1* %G1, align 1
  %B15 = ashr i1 false, false
  %G22 = getelementptr i1, i1* %G1, i1 %L51
  %C7 = icmp uge i1 false, false
  %B6 = ashr i1 false, false
  %L1 = load i1, i1* %G22, align 1
  %G5 = getelementptr i1, i1* %G1, i1 %B6
  %G3 = getelementptr i1, i1* %G2, i1 %L1
  store i1 true, i1* %G5, align 1
  br i1 undef, label %BB1, label %BB4

BB4:                                              ; preds = %BB7, %BB4, %BB1
  %G = getelementptr i1, i1* %G1, i1 %B6
  %L8 = load i1, i1* %G, align 1
  %G13 = getelementptr i1, i1* %G, i1 %L8
  %L13 = load i1, i1* %G13, align 1
  %C15 = icmp ne i1 false, %L13
  br i1 false, label %BB4, label %BB7

BB7:                                              ; preds = %BB4
  %G4 = getelementptr i1, i1* %G22, i1 %L5
  %G12 = getelementptr i1, i1* %G4, i1 undef
  store i1 false, i1* %G12, align 1
  br i1 false, label %BB4, label %BB5

BB5:                                              ; preds = %BB7
  %C9 = icmp ult i32 0, 0
  br i1 false, label %BB1, label %BB2

BB2:                                              ; preds = %BB2, %BB5
  br label %BB2
}