1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4target datalayout = "p:64:64" 5 6; This would crash - PR50836 7 8define i64 @strlen(ptr %s) { 9; CHECK-LABEL: @strlen( 10; CHECK-NEXT: [[R:%.*]] = call i64 @strlen(ptr noundef nonnull dereferenceable(1) [[S:%.*]]) 11; CHECK-NEXT: ret i64 0 12; 13 %r = call i64 @strlen(ptr %s) 14 ret i64 0 15} 16