1b5fbbdd2SOwen Anderson; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --scrub-attributes 2acdc419cSBjorn Pettersson; RUN: opt -S -passes=instcombine < %s | FileCheck %s 3b5fbbdd2SOwen Anderson 4*4ab40ecaSBjorn Petterssondefine dso_local void @_Z3fooPv(ptr nocapture %0) local_unnamed_addr #0 { 5b5fbbdd2SOwen Anderson; CHECK-LABEL: @_Z3fooPv( 6*4ab40ecaSBjorn Pettersson; CHECK-NEXT: tail call void @free(ptr [[TMP0:%.*]]) 7b5fbbdd2SOwen Anderson; CHECK-NEXT: ret void 8b5fbbdd2SOwen Anderson; 9*4ab40ecaSBjorn Pettersson %2 = tail call align 16 dereferenceable_or_null(6) ptr @realloc(ptr %0, i64 6) #3 10*4ab40ecaSBjorn Pettersson tail call void @free(ptr %2) #3 11b5fbbdd2SOwen Anderson ret void 12b5fbbdd2SOwen Anderson} 13b5fbbdd2SOwen Anderson 14*4ab40ecaSBjorn Petterssondeclare dso_local noalias noundef ptr @realloc(ptr allocptr nocapture, i64 noundef) local_unnamed_addr #1 15*4ab40ecaSBjorn Petterssondeclare dso_local void @free(ptr allocptr nocapture noundef) local_unnamed_addr #2 16b5fbbdd2SOwen Anderson 17b5fbbdd2SOwen Andersonattributes #0 = { mustprogress nounwind uwtable willreturn } 1812c0bf8bSAugie Facklerattributes #1 = { inaccessiblemem_or_argmemonly mustprogress nounwind willreturn allockind("realloc") } 1912c0bf8bSAugie Facklerattributes #2 = { inaccessiblemem_or_argmemonly mustprogress nounwind willreturn allockind("free") } 2012c0bf8bSAugie Facklerattributes #3 = { nounwind } 21