16 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4target datalayout = "p:64:64"5 6; This would crash - PR508367 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 012;13 %r = call i64 @strlen(ptr %s)14 ret i64 015}16