; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "p:64:64"
; This would crash - PR50836
define i64 @strlen(ptr %s) {
; CHECK-LABEL: @strlen(
; CHECK-NEXT: [[R:%.*]] = call i64 @strlen(ptr noundef nonnull dereferenceable(1) [[S:%.*]])
; CHECK-NEXT: ret i64 0
;
%r = call i64 @strlen(ptr %s)
ret i64 0
}