Inliner fails to simplify inlined function based on known callsite attributes
declare void @h(ptr %p) define void @f(ptr %p) { call void @g(ptr nonnull %p) ret void } define void @g(ptr %p) { call void @h(ptr %p) ret void }
Inliner inlines g into f but we lose extra info that %p was nonnull ptr. Implemented suggested solution, so insert nonnull assumes in Inliner to preserve knowledge.
are there tests for isKnownNonZero?