test/Transforms/Inline/opaque-ptr.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes=inline < %s | FileCheck %s

define void @test(ptr %p1, ptr %p2) {
; CHECK-LABEL: @test(
; CHECK-NEXT:    ret void
;
  ret void
}

define void @test1() {
; CHECK-LABEL: @test1(
; CHECK-NEXT:    [[CALL_I:%.*]] = call i32 @test(ptr null)
; CHECK-NEXT:    ret void
;
  call void @test2(ptr @test)
  ret void
}

define void @test2(ptr %i) {
; CHECK-LABEL: @test2(
; CHECK-NEXT:    [[CALL:%.*]] = call i32 [[I:%.*]](ptr null)
; CHECK-NEXT:    ret void
;
  %call = call i32 %i(ptr null)
  ret void
}