; ModuleID = '/tmp/index-7d99d0-reduce.test.c'
source_filename = "/tmp/index-7d99d0-reduce.test.c"
target datalayout = "E-m:e-pf200:256:256-i8:8:32-i16:16:32-i64:64-n32:64-S128-A200"
target triple = "cheri-unknown-freebsd"

; Function Attrs: nounwind
define i32 addrspace(200)* @b() local_unnamed_addr #0 {
entry:
  %0 = tail call i8 addrspace(200)* @llvm.cheri.pcc.get()
  %1 = tail call i8 addrspace(200)* @llvm.cheri.cap.offset.set(i8 addrspace(200)* %0, i64 ptrtoint (i32 (...)* @a to i64))
  %tobool = icmp eq i8 addrspace(200)* %1, null
  br i1 %tobool, label %cleanup, label %if.end2

if.end2:                                          ; preds = %entry
  %2 = bitcast i8 addrspace(200)* %1 to i32 (...) addrspace(200)*
  %call = tail call i32 (...) @d() #3
  %3 = bitcast i32 (...) addrspace(200)* %2 to i32 addrspace(200)*
  %call4 = tail call i32 (...) @e() #3
  br label %cleanup

cleanup:                                          ; preds = %entry, %if.end2
  %retval.0 = phi i32 addrspace(200)* [ %3, %if.end2 ], [ null, %entry ], [ null, %entry ]
  ret i32 addrspace(200)* %retval.0
}

declare i32 @a(...) #1

; Function Attrs: nounwind readnone
declare i8 addrspace(200)* @llvm.cheri.pcc.get() #2

; Function Attrs: nounwind readnone
declare i8 addrspace(200)* @llvm.cheri.cap.offset.set(i8 addrspace(200)*, i64) #2

declare i32 @d(...) #1

declare i32 @e(...) #1

attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="cheri" "target-features"="+cheri" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="cheri" "target-features"="+cheri" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #2 = { nounwind readnone }
attributes #3 = { nounwind }

!llvm.module.flags = !{!0, !1}
!llvm.ident = !{!2}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 7, !"PIC Level", i32 2}
!2 = !{!"clang version 5.0.0  (https://github.com/llvm-mirror/llvm.git 5fbe2269fba5f0fb09af460faa38cb61bb6b567b)"}