1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S < %s -mtriple=unknown -passes=instcombine -instcombine-infinite-loop-threshold=2 | FileCheck -check-prefixes=CHECK,CHECK32 %s 3; RUN: opt -S < %s -mtriple=msp430 -passes=instcombine -instcombine-infinite-loop-threshold=2 | FileCheck -check-prefixes=CHECK,CHECK16 %s 4target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f80:128:128-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32-S32" 5 6@G = constant [3 x i8] c"%s\00" ; <[3 x i8]*> [#uses=1] 7 8declare i32 @sprintf(i8*, i8*, ...) 9 10define void @foo(i8* %P, i32* %X) { 11; CHECK-LABEL: @foo( 12; CHECK-NEXT: [[CSTR:%.*]] = bitcast i32* [[X:%.*]] to i8* 13; CHECK-NEXT: [[STRCPY:%.*]] = call i8* @strcpy(i8* noundef nonnull dereferenceable(1) [[P:%.*]], i8* noundef nonnull dereferenceable(1) [[CSTR]]) 14; CHECK-NEXT: ret void 15; 16 call i32 (i8*, i8*, ...) @sprintf( i8* %P, i8* getelementptr ([3 x i8], [3 x i8]* @G, i32 0, i32 0), i32* %X ) ; <i32>:1 [#uses=0] 17 ret void 18} 19 20; PR1307 21@str = internal constant [5 x i8] c"foog\00" 22@str1 = internal constant [8 x i8] c"blahhh!\00" 23@str2 = internal constant [5 x i8] c"Ponk\00" 24 25define i8* @test1() { 26; CHECK-LABEL: @test1( 27; CHECK-NEXT: ret i8* getelementptr inbounds ([5 x i8], [5 x i8]* @str, i32 0, i32 3) 28; 29 %tmp3 = tail call i8* @strchr( i8* getelementptr ([5 x i8], [5 x i8]* @str, i32 0, i32 2), i32 103 ) ; <i8*> [#uses=1] 30 ret i8* %tmp3 31} 32 33declare i8* @strchr(i8*, i32) 34 35define i8* @test2() { 36; CHECK-LABEL: @test2( 37; CHECK-NEXT: ret i8* getelementptr inbounds ([8 x i8], [8 x i8]* @str1, i32 0, i32 7) 38; 39 %tmp3 = tail call i8* @strchr( i8* getelementptr ([8 x i8], [8 x i8]* @str1, i32 0, i32 2), i32 0 ) ; <i8*> [#uses=1] 40 ret i8* %tmp3 41} 42 43define i8* @test3() { 44; CHECK-LABEL: @test3( 45; CHECK-NEXT: entry: 46; CHECK-NEXT: ret i8* null 47; 48entry: 49 %tmp3 = tail call i8* @strchr( i8* getelementptr ([5 x i8], [5 x i8]* @str2, i32 0, i32 1), i32 80 ) ; <i8*> [#uses=1] 50 ret i8* %tmp3 51 52} 53 54@_2E_str = external constant [5 x i8] ; <[5 x i8]*> [#uses=1] 55 56declare i32 @memcmp(i8*, i8*, i32) nounwind readonly 57 58define i1 @PR2341(i8** %start_addr) { 59; CHECK-LABEL: @PR2341( 60; CHECK-NEXT: entry: 61; CHECK-NEXT: [[TMP4:%.*]] = load i8*, i8** [[START_ADDR:%.*]], align 4 62; CHECK-NEXT: [[TMP5:%.*]] = call i32 @memcmp(i8* noundef nonnull dereferenceable(4) [[TMP4]], i8* noundef nonnull dereferenceable(4) getelementptr inbounds ([5 x i8], [5 x i8]* @_2E_str, i32 0, i32 0), i32 4) #[[ATTR0:[0-9]+]] 63; CHECK-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP5]], 0 64; CHECK-NEXT: ret i1 [[TMP6]] 65; 66entry: 67 %tmp4 = load i8*, i8** %start_addr, align 4 ; <i8*> [#uses=1] 68 %tmp5 = call i32 @memcmp( i8* %tmp4, i8* getelementptr ([5 x i8], [5 x i8]* @_2E_str, i32 0, i32 0), i32 4 ) nounwind readonly ; <i32> [#uses=1] 69 %tmp6 = icmp eq i32 %tmp5, 0 ; <i1> [#uses=1] 70 ret i1 %tmp6 71 72} 73 74define i32 @PR4284() nounwind { 75; CHECK-LABEL: @PR4284( 76; CHECK-NEXT: entry: 77; CHECK-NEXT: ret i32 -65 78; 79entry: 80 %c0 = alloca i8, align 1 ; <i8*> [#uses=2] 81 %c2 = alloca i8, align 1 ; <i8*> [#uses=2] 82 store i8 64, i8* %c0 83 store i8 -127, i8* %c2 84 %call = call i32 @memcmp(i8* %c0, i8* %c2, i32 1) ; <i32> [#uses=1] 85 ret i32 %call 86 87} 88 89%struct.__sFILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, i8*, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64, %struct.pthread_mutex*, %struct.pthread*, i32, i32, %union.anon } 90%struct.__sbuf = type { i8*, i32, [4 x i8] } 91%struct.pthread = type opaque 92%struct.pthread_mutex = type opaque 93%union.anon = type { i64, [120 x i8] } 94@.str13 = external constant [2 x i8] ; <[2 x i8]*> [#uses=1] 95@.str14 = external constant [2 x i8] ; <[2 x i8]*> [#uses=1] 96 97define i32 @PR4641(i32 %argc, i8** %argv, i1 %c1, i8* %ptr) nounwind { 98; CHECK-LABEL: @PR4641( 99; CHECK-NEXT: entry: 100; CHECK-NEXT: call void @exit(i32 0) #[[ATTR1:[0-9]+]] 101; CHECK-NEXT: [[COND392:%.*]] = select i1 [[C1:%.*]], i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str13, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str14, i32 0, i32 0) 102; CHECK-NEXT: [[CALL393:%.*]] = call %struct.__sFILE* @fopen(i8* [[PTR:%.*]], i8* [[COND392]]) #[[ATTR1]] 103; CHECK-NEXT: unreachable 104; 105entry: 106 call void @exit(i32 0) nounwind 107 %cond392 = select i1 %c1, i8* getelementptr ([2 x i8], [2 x i8]* @.str13, i32 0, i32 0), i8* getelementptr ([2 x i8], [2 x i8]* @.str14, i32 0, i32 0) ; <i8*> [#uses=1] 108 %call393 = call %struct.__sFILE* @fopen(i8* %ptr, i8* %cond392) nounwind ; <%struct.__sFILE*> [#uses=0] 109 unreachable 110} 111 112declare %struct.__sFILE* @fopen(i8*, i8*) 113 114declare void @exit(i32) 115 116define i32 @PR4645(i1 %c1) { 117; CHECK-LABEL: @PR4645( 118; CHECK-NEXT: entry: 119; CHECK-NEXT: br label [[IF_THEN:%.*]] 120; CHECK: lor.lhs.false: 121; CHECK-NEXT: br i1 [[C1:%.*]], label [[IF_THEN]], label [[FOR_COND:%.*]] 122; CHECK: if.then: 123; CHECK-NEXT: call void @exit(i32 1) 124; CHECK-NEXT: br label [[FOR_COND]] 125; CHECK: for.cond: 126; CHECK-NEXT: unreachable 127; CHECK: for.end: 128; CHECK-NEXT: br label [[FOR_COND]] 129; 130entry: 131 br label %if.then 132 133lor.lhs.false: ; preds = %while.body 134 br i1 %c1, label %if.then, label %for.cond 135 136if.then: ; preds = %lor.lhs.false, %while.body 137 call void @exit(i32 1) 138 br label %for.cond 139 140for.cond: ; preds = %for.end, %if.then, %lor.lhs.false 141 %j.0 = phi i32 [ %inc47, %for.end ], [ 0, %if.then ], [ 0, %lor.lhs.false ] ; <i32> [#uses=1] 142 unreachable 143 144for.end: ; preds = %for.cond20 145 %inc47 = add i32 %j.0, 1 ; <i32> [#uses=1] 146 br label %for.cond 147} 148 149@h = constant [2 x i8] c"h\00" ; <[2 x i8]*> [#uses=1] 150@hel = constant [4 x i8] c"hel\00" ; <[4 x i8]*> [#uses=1] 151@hello_u = constant [8 x i8] c"hello_u\00" ; <[8 x i8]*> [#uses=1] 152 153define i32 @MemCpy() { 154; CHECK-LABEL: @MemCpy( 155; CHECK-NEXT: ret i32 0 156; 157 %h_p = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0 158 %hel_p = getelementptr [4 x i8], [4 x i8]* @hel, i32 0, i32 0 159 %hello_u_p = getelementptr [8 x i8], [8 x i8]* @hello_u, i32 0, i32 0 160 %target = alloca [1024 x i8] 161 %target_p = getelementptr [1024 x i8], [1024 x i8]* %target, i32 0, i32 0 162 call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 2 %target_p, i8* align 2 %h_p, i32 2, i1 false) 163 call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %target_p, i8* align 4 %hel_p, i32 4, i1 false) 164 call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 8 %target_p, i8* align 8 %hello_u_p, i32 8, i1 false) 165 ret i32 0 166 167} 168 169declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind 170 171declare i32 @strcmp(i8*, i8*) #0 172 173define void @test9(i8* %x) { 174; CHECK-LABEL: @test9( 175; CHECK-NEXT: ret void 176; 177 %y = call i32 @strcmp(i8* %x, i8* %x) #1 178 ret void 179} 180 181; PR30484 - https://llvm.org/bugs/show_bug.cgi?id=30484 182; These aren't the library functions you're looking for... 183 184declare i32 @isdigit(i8) 185declare i32 @isascii(i8) 186declare i32 @toascii(i8) 187 188define i32 @fake_isdigit(i8 %x) { 189; CHECK-LABEL: @fake_isdigit( 190; CHECK-NEXT: [[Y:%.*]] = call i32 @isdigit(i8 [[X:%.*]]) 191; CHECK-NEXT: ret i32 [[Y]] 192; 193 %y = call i32 @isdigit(i8 %x) 194 ret i32 %y 195} 196 197define i32 @fake_isascii(i8 %x) { 198; CHECK-LABEL: @fake_isascii( 199; CHECK-NEXT: [[Y:%.*]] = call i32 @isascii(i8 [[X:%.*]]) 200; CHECK-NEXT: ret i32 [[Y]] 201; 202 %y = call i32 @isascii(i8 %x) 203 ret i32 %y 204} 205 206define i32 @fake_toascii(i8 %x) { 207; CHECK-LABEL: @fake_toascii( 208; CHECK-NEXT: [[Y:%.*]] = call i32 @toascii(i8 [[X:%.*]]) 209; CHECK-NEXT: ret i32 [[Y]] 210; 211 %y = call i32 @toascii(i8 %x) 212 ret i32 %y 213} 214 215declare double @pow(double, double) 216declare double @exp2(double) 217 218; check to make sure only the correct libcall attributes are used 219define double @fake_exp2(double %x) { 220; CHECK-LABEL: @fake_exp2( 221; CHECK-NEXT: [[EXP2:%.*]] = call double @exp2(double [[X:%.*]]) 222; CHECK-NEXT: ret double [[EXP2]] 223; 224 225 %y = call inreg double @pow(double inreg 2.0, double inreg %x) 226 ret double %y 227} 228define double @fake_ldexp(i32 %x) { 229; CHECK32-LABEL: @fake_ldexp( 230; CHECK32-NEXT: [[LDEXP:%.*]] = call double @ldexp(double 1.000000e+00, i32 [[X:%.*]]) 231; CHECK32-NEXT: ret double [[LDEXP]] 232; 233; CHECK16-LABEL: @fake_ldexp( 234; CHECK16-NEXT: [[Y:%.*]] = sitofp i32 [[X:%.*]] to double 235; CHECK16-NEXT: [[Z:%.*]] = call inreg double @exp2(double [[Y]]) 236; CHECK16-NEXT: ret double [[Z]] 237; 238 239 240 %y = sitofp i32 %x to double 241 %z = call inreg double @exp2(double %y) 242 ret double %z 243} 244define double @fake_ldexp_16(i16 %x) { 245; CHECK32-LABEL: @fake_ldexp_16( 246; CHECK32-NEXT: [[TMP1:%.*]] = sext i16 [[X:%.*]] to i32 247; CHECK32-NEXT: [[LDEXP:%.*]] = call double @ldexp(double 1.000000e+00, i32 [[TMP1]]) 248; CHECK32-NEXT: ret double [[LDEXP]] 249; 250; CHECK16-LABEL: @fake_ldexp_16( 251; CHECK16-NEXT: [[LDEXP:%.*]] = call double @ldexp(double 1.000000e+00, i16 [[X:%.*]]) 252; CHECK16-NEXT: ret double [[LDEXP]] 253; 254 255 256 %y = sitofp i16 %x to double 257 %z = call inreg double @exp2(double %y) 258 ret double %z 259} 260 261; PR50885 - this would crash in ValueTracking. 262 263declare i32 @snprintf(i8*, double, i32*) 264 265define i32 @fake_snprintf(i32 %buf, double %len, i32 * %str, i8* %ptr) { 266; CHECK-LABEL: @fake_snprintf( 267; CHECK-NEXT: [[CALL:%.*]] = call i32 @snprintf(i8* [[PTR:%.*]], double [[LEN:%.*]], i32* [[STR:%.*]]) 268; CHECK-NEXT: ret i32 [[CALL]] 269; 270 %call = call i32 @snprintf(i8* %ptr, double %len, i32* %str) 271 ret i32 %call 272} 273 274; Wrong return type for the real strlen. 275; https://llvm.org/PR50836 276 277define i4 @strlen(i8* %s) { 278; CHECK-LABEL: @strlen( 279; CHECK-NEXT: [[R:%.*]] = call i4 @strlen(i8* [[S:%.*]]) 280; CHECK-NEXT: ret i4 0 281; 282 %r = call i4 @strlen(i8* %s) 283 ret i4 0 284} 285 286; Test emission of stpncpy. 287@a = dso_local global [4 x i8] c"123\00" 288@b = dso_local global [5 x i8] zeroinitializer 289declare i8* @__stpncpy_chk(i8* noundef, i8* noundef, i32 noundef, i32 noundef) 290define signext i32 @emit_stpncpy() { 291; CHECK-LABEL: @emit_stpncpy( 292; CHECK-NEXT: [[STPNCPY:%.*]] = call i8* @stpncpy(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @b, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @a, i32 0, i32 0), i32 2) 293; CHECK-NEXT: ret i32 0 294; 295 %call = call i8* @__stpncpy_chk(i8* noundef getelementptr inbounds ([5 x i8], [5 x i8]* @b, i32 0, i32 0), 296 i8* noundef getelementptr inbounds ([4 x i8], [4 x i8]* @a, i32 0, i32 0), 297 i32 noundef 2, i32 noundef 5) 298 ret i32 0 299} 300 301attributes #0 = { nobuiltin } 302attributes #1 = { builtin } 303