; Replace a 'select' with 'or' in 'select - cmp [eq|ne] - br' sequence
; RUN: opt -instcombine -S < %s | FileCheck %s

%C = type <{ %struct.S }>
%struct.S = type { i64*, i32, i32 }

declare void @bar(%struct.S *) #1
declare void @foobar()

define void @test1(%C*) {
entry:
  %1 = getelementptr inbounds %C, %C* %0, i64 0, i32 0, i32 0
  %m = load i64*, i64** %1, align 8
  %2 = getelementptr inbounds %C, %C* %0, i64 1, i32 0, i32 0
  %n = load i64*, i64** %2, align 8
  %3 = getelementptr inbounds i64, i64* %m, i64 9
  %4 = bitcast i64* %3 to i64 (%C*)**
  %5 = load i64 (%C*)*, i64 (%C*)** %4, align 8
  %6 = icmp eq i64* %m, %n
  %7 = select i1 %6, %C* %0, %C* null
  %8 = icmp eq %C* %7, null
  br i1 %8, label %12, label %10

; <label>:9                                       ; preds = %10, %12
  ret void

; <label>:10                                      ; preds = %entry
  %11 = getelementptr inbounds %C, %C* %7, i64 0, i32 0
  tail call void @bar(%struct.S* %11)
  br label %9

; <label>:12                                      ; preds = %entry
  %13 = tail call i64 %5(%C* %0)
  br label %9
; CHECK-LABEL: @test1(
; CHECK-NOT: select
; CHECK: or
; CHECK-NOT: select
}

define void @test2(%C*) {
entry:
  %1 = getelementptr inbounds %C, %C* %0, i64 0, i32 0, i32 0
  %m = load i64*, i64** %1, align 8
  %2 = getelementptr inbounds %C, %C* %0, i64 1, i32 0, i32 0
  %n = load i64*, i64** %2, align 8
  %3 = getelementptr inbounds i64, i64* %m, i64 9
  %4 = bitcast i64* %3 to i64 (%C*)**
  %5 = load i64 (%C*)*, i64 (%C*)** %4, align 8
  %6 = icmp eq i64* %m, %n
  %7 = select i1 %6, %C* null, %C* %0
  %8 = icmp eq %C* %7, null
  br i1 %8, label %12, label %10

; <label>:9                                       ; preds = %10, %12
  ret void

; <label>:10                                      ; preds = %entry
  %11 = getelementptr inbounds %C, %C* %7, i64 0, i32 0
  tail call void @bar(%struct.S* %11)
  br label %9

; <label>:12                                      ; preds = %entry
  %13 = tail call i64 %5(%C* %0)
  br label %9
; CHECK-LABEL: @test2(
; CHECK-NOT: select
; CHECK: or
; CHECK-NOT: select
}

define void @test3(%C*) {
entry:
  %1 = getelementptr inbounds %C, %C* %0, i64 0, i32 0, i32 0
  %m = load i64*, i64** %1, align 8
  %2 = getelementptr inbounds %C, %C* %0, i64 1, i32 0, i32 0
  %n = load i64*, i64** %2, align 8
  %3 = getelementptr inbounds i64, i64* %m, i64 9
  %4 = bitcast i64* %3 to i64 (%C*)**
  %5 = load i64 (%C*)*, i64 (%C*)** %4, align 8
  %6 = icmp eq i64* %m, %n
  %7 = select i1 %6, %C* %0, %C* null
  %8 = icmp ne %C* %7, null
  br i1 %8, label %10, label %12

; <label>:9                                       ; preds = %10, %12
  ret void

; <label>:10                                      ; preds = %entry
  %11 = getelementptr inbounds %C, %C* %7, i64 0, i32 0
  tail call void @bar(%struct.S* %11)
  br label %9

; <label>:12                                      ; preds = %entry
  %13 = tail call i64 %5(%C* %0)
  br label %9
; CHECK-LABEL: @test3(
; CHECK-NOT: select
; CHECK: or
; CHECK-NOT: select
}

define void @test4(%C*) {
entry:
  %1 = getelementptr inbounds %C, %C* %0, i64 0, i32 0, i32 0
  %m = load i64*, i64** %1, align 8
  %2 = getelementptr inbounds %C, %C* %0, i64 1, i32 0, i32 0
  %n = load i64*, i64** %2, align 8
  %3 = getelementptr inbounds i64, i64* %m, i64 9
  %4 = bitcast i64* %3 to i64 (%C*)**
  %5 = load i64 (%C*)*, i64 (%C*)** %4, align 8
  %6 = icmp eq i64* %m, %n
  %7 = select i1 %6, %C* null, %C* %0
  %8 = icmp ne %C* %7, null
  br i1 %8, label %10, label %12

; <label>:9                                       ; preds = %10, %12
  ret void

; <label>:10                                      ; preds = %entry
  %11 = getelementptr inbounds %C, %C* %7, i64 0, i32 0
  tail call void @bar(%struct.S* %11)
  br label %9

; <label>:12                                      ; preds = %entry
  %13 = tail call i64 %5(%C* %0)
  br label %9
; CHECK-LABEL: @test4(
; CHECK-NOT: select
; CHECK: or
; CHECK-NOT: select
}

define void @test5(%C*, i1) {
entry:
  %2 = select i1 %1, %C* null, %C* %0
  %3 = icmp ne %C* %2, null
  br i1 %3, label %5, label %7

; <label>:4                                       ; preds = %10, %12
  ret void

; <label>:5                                      ; preds = %entry
  %6 = getelementptr inbounds %C, %C* %2, i64 0, i32 0
  tail call void @bar(%struct.S* %6)
  br label %4

; <label>:7                                      ; preds = %entry
  tail call void @foobar()
  br label %4
; CHECK-LABEL: @test5(
; CHECK-NOT: select
; CHECK: or
; CHECK-NOT: select
}