1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4declare ptr @realloc(ptr allocptr, i64) allockind("realloc") allocsize(1) 5declare noalias ptr @malloc(i64) allockind("alloc,uninitialized") 6 7 8define ptr @realloc_null_ptr() #0 { 9; CHECK-LABEL: @realloc_null_ptr( 10; CHECK-NEXT: [[MALLOC:%.*]] = call dereferenceable_or_null(100) ptr @malloc(i64 100) 11; CHECK-NEXT: ret ptr [[MALLOC]] 12; 13 %call = call ptr @realloc(ptr null, i64 100) #2 14 ret ptr %call 15} 16 17define ptr @realloc_unknown_ptr(ptr %ptr) #0 { 18; CHECK-LABEL: @realloc_unknown_ptr( 19; CHECK-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(100) ptr @realloc(ptr [[PTR:%.*]], i64 100) 20; CHECK-NEXT: ret ptr [[CALL]] 21; 22 %call = call ptr @realloc(ptr %ptr, i64 100) #2 23 ret ptr %call 24} 25