| ; RUN: opt -passes=inline,argpromotion < %s -S | FileCheck %s | |
| ; Make sure we update the list of libcalls when we replace a libcall. | |
| ; CHECK: define {{.*}}@a | |
| define void @a() { | |
| entry: | |
| %call = call float @strtof(ptr noundef null, ptr noundef null) | |
| ret void | |
| } | |
| define internal float @strtof(ptr noundef %0, ptr noundef %1) nounwind { | |
| entry: | |
| ret float 0.0 | |
| } | |