1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 4target triple = "x86_64-apple-darwin10.0.0" 5 6define void @func(ptr %i) nounwind ssp { 7; CHECK-LABEL: @func( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: [[S:%.*]] = alloca [32 x i8], align 16 10; CHECK-NEXT: [[CALL:%.*]] = call ptr @__strcpy_chk(ptr nonnull [[S]], ptr [[I:%.*]], i64 32) 11; CHECK-NEXT: call void @func2(ptr nonnull [[S]]) #[[ATTR2:[0-9]+]] 12; CHECK-NEXT: ret void 13; 14entry: 15 %s = alloca [32 x i8], align 16 16 %call = call ptr @__strcpy_chk(ptr %s, ptr %i, i64 32) 17 call void @func2(ptr %s) 18 ret void 19} 20 21define void @func_no_null_opt(ptr %i) nounwind ssp #0 { 22; CHECK-LABEL: @func_no_null_opt( 23; CHECK-NEXT: entry: 24; CHECK-NEXT: [[S:%.*]] = alloca [32 x i8], align 16 25; CHECK-NEXT: [[CALL:%.*]] = call ptr @__strcpy_chk(ptr nonnull [[S]], ptr [[I:%.*]], i64 32) 26; CHECK-NEXT: call void @func2(ptr nonnull [[S]]) #[[ATTR2]] 27; CHECK-NEXT: ret void 28; 29entry: 30 %s = alloca [32 x i8], align 16 31 %call = call ptr @__strcpy_chk(ptr %s, ptr %i, i64 32) 32 call void @func2(ptr %s) 33 ret void 34} 35 36declare ptr @__strcpy_chk(ptr, ptr, i64) nounwind 37 38declare void @func2(ptr) 39 40attributes #0 = { null_pointer_is_valid } 41