; RUN: opt < %s -passes='require<profile-summary>,function(codegenprepare)' -S -mtriple=x86_64 | FileCheck %s --implicit-check-not="llvm.fake.use"
;
; When performing return duplication to enable
; tail call optimization we clone fake uses that exist in the to-be-eliminated
; return block into the predecessor blocks. When doing this with fake uses
; of PHI-nodes, they cannot be easily copied, but require the correct operand.
; We are currently not able to do this correctly, so we suppress the cloning
; of such fake uses at the moment.
;
; There should be no fake use of a call result in any of the resulting return
; blocks.

; Fake uses of `this` should be duplicated into both return blocks.
; CHECK: if.then:
; CHECK: @llvm.fake.use({{.*}}this
; CHECK: if.else:
; CHECK: @llvm.fake.use({{.*}}this

; CHECK: declare void @llvm.fake.use

source_filename = "test.ll"

%class.a = type { i8 }

declare i32 @foo(ptr nonnull dereferenceable(1)) local_unnamed_addr
declare i32 @bar(ptr nonnull dereferenceable(1)) local_unnamed_addr

define hidden void @func(ptr nonnull dereferenceable(1) %this) local_unnamed_addr align 2 optdebug {
entry:
  %b = getelementptr inbounds %class.a, ptr %this, i64 0, i32 0
  %0 = load i8, i8* %b, align 1
  %tobool.not = icmp eq i8 %0, 0
  br i1 %tobool.not, label %if.else, label %if.then

if.then:                                          ; preds = %entry
  %call = tail call i32 @foo(ptr nonnull dereferenceable(1) %this)
  %call2 = tail call i32 @bar(ptr nonnull dereferenceable(1) %this)
  br label %if.end

if.else:                                          ; preds = %entry
  %call4 = tail call i32 @bar(ptr nonnull dereferenceable(1) %this)
  %call5 = tail call i32 @foo(ptr nonnull dereferenceable(1) %this)
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  %call4.sink = phi i32 [ %call4, %if.else ], [ %call, %if.then ]
  notail call void (...) @llvm.fake.use(i32 %call4.sink)
  notail call void (...) @llvm.fake.use(ptr nonnull %this)
  ret void
}