[CGP] Precommit tests for PR76613 (NFC)

Author: antoniofrighetto

llvm/test/CodeGen/X86/tailcall-cgp-dup.ll

@@ -1,4 +1,4 @@
-; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --filter-out "cfi"
 ; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s
 ; RUN: opt -S -passes='require<profile-summary>,function(codegenprepare)' %s -mtriple=x86_64-apple-darwin -o - | FileCheck %s --check-prefix OPT
 
@@ -184,3 +184,134 @@ return:
   %retval = phi ptr [ %ptr, %if.then ], [ %obj, %entry ]
   ret ptr %retval
 }
+
+define ptr @memset_tailc(ptr %ret_val, i64 %sz) {
+; CHECK-LABEL: memset_tailc:
+; CHECK:  ## %bb.0: ## %entry
+; CHECK:    pushq %rbx
+; CHECK:    movq %rdi, %rbx
+; CHECK:    testq %rdi, %rdi
+; CHECK:    je LBB4_2
+; CHECK:  ## %bb.1: ## %if.then
+; CHECK:    movq %rsi, %rdx
+; CHECK:    movq %rbx, %rdi
+; CHECK:    xorl %esi, %esi
+; CHECK:    callq _memset
+; CHECK:  LBB4_2: ## %return
+; CHECK:    movq %rbx, %rax
+; CHECK:    popq %rbx
+; CHECK:    retq
+entry:
+  %cmp = icmp eq ptr %ret_val, null
+  br i1 %cmp, label %return, label %if.then
+
+if.then:
+  tail call void @llvm.memset.p0.i64(ptr nonnull align 1 %ret_val, i8 0, i64 %sz, i1 false)
+  br label %return
+
+return:
+  ret ptr %ret_val
+}
+
+define ptr @memcpy_tailc(ptr %ret_val, i64 %sz, ptr %src) {
+; CHECK-LABEL: memcpy_tailc:
+; CHECK:  ## %bb.0: ## %entry
+; CHECK:    pushq %rbx
+; CHECK:    testq %rsi, %rsi
+; CHECK:    je LBB5_1
+; CHECK:  ## %bb.2: ## %if.then
+; CHECK:    movq %rsi, %rax
+; CHECK:    movq %rdi, %rbx
+; CHECK:    movq %rdx, %rsi
+; CHECK:    movq %rax, %rdx
+; CHECK:    callq _memcpy
+; CHECK:    jmp LBB5_3
+; CHECK:  LBB5_1:
+; CHECK:    movq %rdx, %rbx
+; CHECK:  LBB5_3: ## %return
+; CHECK:    movq %rbx, %rax
+; CHECK:    popq %rbx
+; CHECK:    retq
+entry:
+  %cmp = icmp eq i64 %sz, 0
+  br i1 %cmp, label %return, label %if.then
+
+if.then:
+  tail call void @llvm.memcpy.p0.p0.i64(ptr align 1 %ret_val, ptr align 1 %src, i64 %sz, i1 false)
+  br label %return
+
+return:
+  %phi = phi ptr [ %ret_val, %if.then ], [ %src, %entry ]
+  ret ptr %phi
+}
+
+define ptr @strcpy_tailc(i64 %0, ptr %src) {
+; CHECK-LABEL: strcpy_tailc:
+; CHECK:  ## %bb.0: ## %entry
+; CHECK:    pushq %r14
+; CHECK:    pushq %rbx
+; CHECK:    pushq %rax
+; CHECK:    movq %rsi, %rbx
+; CHECK:    movq %rdi, %r14
+; CHECK:    movl $20, %edi
+; CHECK:    callq _malloc
+; CHECK:    testq %r14, %r14
+; CHECK:    je LBB6_2
+; CHECK:  ## %bb.1: ## %if.then
+; CHECK:    movq %rax, %rdi
+; CHECK:    movq %rbx, %rsi
+; CHECK:    movq %rax, %rbx
+; CHECK:    callq _strcpy
+; CHECK:  LBB6_2: ## %return
+; CHECK:    movq %rbx, %rax
+; CHECK:    addq $8, %rsp
+; CHECK:    popq %rbx
+; CHECK:    popq %r14
+; CHECK:    retq
+entry:
+  %ret_val = tail call noalias dereferenceable_or_null(20) ptr @malloc(i64 20)
+  %cmp = icmp eq i64 %0, 0
+  br i1 %cmp, label %return, label %if.then
+
+if.then:
+  %rv_unused = tail call ptr @strcpy(ptr dereferenceable(1) %ret_val, ptr dereferenceable(1) %src)
+  br label %return
+
+return:
+  %phi = phi ptr [ %ret_val, %if.then ], [ %src, %entry ]
+  ret ptr %phi
+}
+
+define ptr @memset_not_to_tailc(ptr %arg, i64 %sz, ptr %ret_val_1, ptr %ret_val_2) {
+; CHECK-LABEL: memset_not_to_tailc:
+; CHECK:  ## %bb.0: ## %entry
+; CHECK:    movq %rdx, %rax
+; CHECK:    testq %rsi, %rsi
+; CHECK:    je LBB7_2
+; CHECK:  ## %bb.1: ## %if.then
+; CHECK:    pushq %rbx
+; CHECK:    movq %rcx, %rbx
+; CHECK:    movq %rsi, %rdx
+; CHECK:    xorl %esi, %esi
+; CHECK:    callq _memset
+; CHECK:    movq %rbx, %rax
+; CHECK:    popq %rbx
+; CHECK:  LBB7_2: ## %return
+; CHECK:    retq
+entry:
+  %cmp = icmp eq i64 %sz, 0
+  br i1 %cmp, label %return, label %if.then
+
+if.then:
+  tail call void @llvm.memset.p0.i64(ptr align 1 %arg, i8 0, i64 %sz, i1 false)
+  br label %return
+
+return:
+  %phi = phi ptr [ %ret_val_2, %if.then ], [ %ret_val_1, %entry ]
+  ret ptr %phi
+}
+
+declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg)
+declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg)
+declare noalias ptr @malloc(i64)
+declare ptr @strcpy(ptr noalias returned writeonly, ptr noalias nocapture readonly)