xref: /llvm-project/llvm/test/Transforms/InstCombine/realloc.ll (revision 4ab40eca080965c65802710e39adbb78c4ce7bde)
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