; RUN: llc < %s -mtriple=thumbv8 -stop-after=if-converter -arm-atomic-cfg-tidy=0 -arm-restrict-it | FileCheck %s

%struct.S = type { ptr, [1 x i8] }
define internal zeroext i8 @bar(ptr %x, ptr nocapture %y) nounwind readonly {
entry:
  %0 = getelementptr inbounds %struct.S, ptr %x, i32 0, i32 1, i32 0
  %1 = load i8, ptr %0, align 1
  %2 = zext i8 %1 to i32
  %3 = and i32 %2, 112
  %4 = icmp eq i32 %3, 0
  br i1 %4, label %return, label %bb

bb:
  %5 = getelementptr inbounds %struct.S, ptr %y, i32 0, i32 1, i32 0
  %6 = load i8, ptr %5, align 1
  %7 = zext i8 %6 to i32
  %8 = and i32 %7, 112
  %9 = icmp eq i32 %8, 0
  br i1 %9, label %return, label %bb2

; CHECK: bb.1.bb:
; CHECK: successors: %bb.4(0x40000000), %bb.3(0x40000000)

bb2:
  %v10 = icmp eq i32 %3, 16
  br i1 %v10, label %bb4, label %bb3, !prof !0

bb3:
  %v11 = icmp eq i32 %8, 16
  br i1 %v11, label %bb4, label %return, !prof !1

bb4:
  %v12 = ptrtoint ptr %x to i32
  %phitmp = trunc i32 %v12 to i8
  ret i8 %phitmp

return:
  ret i8 1
}

!0 = !{!"branch_weights", i32 4, i32 12}
!1 = !{!"branch_weights", i32 8, i32 16}