1; RUN: opt -S < %s -mtriple=unknown -instcombine -instcombine-infinite-loop-threshold=2 | FileCheck -check-prefixes=CHECK,CHECK32 %s 2; RUN: opt -S < %s -mtriple=msp430 -instcombine -instcombine-infinite-loop-threshold=2 | FileCheck -check-prefixes=CHECK,CHECK16 %s 3target 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" 4 5@G = constant [3 x i8] c"%s\00" ; <[3 x i8]*> [#uses=1] 6 7declare i32 @sprintf(i8*, i8*, ...) 8 9define void @foo(i8* %P, i32* %X) { 10 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] 11 ret void 12} 13 14; PR1307 15@str = internal constant [5 x i8] c"foog\00" 16@str1 = internal constant [8 x i8] c"blahhh!\00" 17@str2 = internal constant [5 x i8] c"Ponk\00" 18 19define i8* @test1() { 20 %tmp3 = tail call i8* @strchr( i8* getelementptr ([5 x i8], [5 x i8]* @str, i32 0, i32 2), i32 103 ) ; <i8*> [#uses=1] 21 ret i8* %tmp3 22 23; CHECK-LABEL: @test1( 24; CHECK: ret i8* getelementptr inbounds ([5 x i8], [5 x i8]* @str, i32 0, i32 3) 25} 26 27declare i8* @strchr(i8*, i32) 28 29define i8* @test2() { 30 %tmp3 = tail call i8* @strchr( i8* getelementptr ([8 x i8], [8 x i8]* @str1, i32 0, i32 2), i32 0 ) ; <i8*> [#uses=1] 31 ret i8* %tmp3 32 33; CHECK-LABEL: @test2( 34; CHECK: ret i8* getelementptr inbounds ([8 x i8], [8 x i8]* @str1, i32 0, i32 7) 35} 36 37define i8* @test3() { 38entry: 39 %tmp3 = tail call i8* @strchr( i8* getelementptr ([5 x i8], [5 x i8]* @str2, i32 0, i32 1), i32 80 ) ; <i8*> [#uses=1] 40 ret i8* %tmp3 41 42; CHECK-LABEL: @test3( 43; CHECK: ret i8* null 44} 45 46@_2E_str = external constant [5 x i8] ; <[5 x i8]*> [#uses=1] 47 48declare i32 @memcmp(i8*, i8*, i32) nounwind readonly 49 50define i1 @PR2341(i8** %start_addr) { 51entry: 52 %tmp4 = load i8*, i8** %start_addr, align 4 ; <i8*> [#uses=1] 53 %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] 54 %tmp6 = icmp eq i32 %tmp5, 0 ; <i1> [#uses=1] 55 ret i1 %tmp6 56 57; CHECK-LABEL: @PR2341( 58; CHECK: i32 59} 60 61define i32 @PR4284() nounwind { 62entry: 63 %c0 = alloca i8, align 1 ; <i8*> [#uses=2] 64 %c2 = alloca i8, align 1 ; <i8*> [#uses=2] 65 store i8 64, i8* %c0 66 store i8 -127, i8* %c2 67 %call = call i32 @memcmp(i8* %c0, i8* %c2, i32 1) ; <i32> [#uses=1] 68 ret i32 %call 69 70; CHECK-LABEL: @PR4284( 71; CHECK: ret i32 -65 72} 73 74%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 } 75%struct.__sbuf = type { i8*, i32, [4 x i8] } 76%struct.pthread = type opaque 77%struct.pthread_mutex = type opaque 78%union.anon = type { i64, [120 x i8] } 79@.str13 = external constant [2 x i8] ; <[2 x i8]*> [#uses=1] 80@.str14 = external constant [2 x i8] ; <[2 x i8]*> [#uses=1] 81 82define i32 @PR4641(i32 %argc, i8** %argv) nounwind { 83entry: 84 call void @exit(i32 0) nounwind 85 %cond392 = select i1 undef, 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] 86 %call393 = call %struct.__sFILE* @fopen(i8* undef, i8* %cond392) nounwind ; <%struct.__sFILE*> [#uses=0] 87 unreachable 88} 89 90declare %struct.__sFILE* @fopen(i8*, i8*) 91 92declare void @exit(i32) 93 94define i32 @PR4645() { 95entry: 96 br label %if.then 97 98lor.lhs.false: ; preds = %while.body 99 br i1 undef, label %if.then, label %for.cond 100 101if.then: ; preds = %lor.lhs.false, %while.body 102 call void @exit(i32 1) 103 br label %for.cond 104 105for.cond: ; preds = %for.end, %if.then, %lor.lhs.false 106 %j.0 = phi i32 [ %inc47, %for.end ], [ 0, %if.then ], [ 0, %lor.lhs.false ] ; <i32> [#uses=1] 107 unreachable 108 109for.end: ; preds = %for.cond20 110 %inc47 = add i32 %j.0, 1 ; <i32> [#uses=1] 111 br label %for.cond 112} 113 114@h = constant [2 x i8] c"h\00" ; <[2 x i8]*> [#uses=1] 115@hel = constant [4 x i8] c"hel\00" ; <[4 x i8]*> [#uses=1] 116@hello_u = constant [8 x i8] c"hello_u\00" ; <[8 x i8]*> [#uses=1] 117 118define i32 @MemCpy() { 119 %h_p = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0 120 %hel_p = getelementptr [4 x i8], [4 x i8]* @hel, i32 0, i32 0 121 %hello_u_p = getelementptr [8 x i8], [8 x i8]* @hello_u, i32 0, i32 0 122 %target = alloca [1024 x i8] 123 %target_p = getelementptr [1024 x i8], [1024 x i8]* %target, i32 0, i32 0 124 call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 2 %target_p, i8* align 2 %h_p, i32 2, i1 false) 125 call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %target_p, i8* align 4 %hel_p, i32 4, i1 false) 126 call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 8 %target_p, i8* align 8 %hello_u_p, i32 8, i1 false) 127 ret i32 0 128 129; CHECK-LABEL: @MemCpy( 130; CHECK-NOT: llvm.memcpy 131; CHECK: ret i32 0 132} 133 134declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind 135 136declare i32 @strcmp(i8*, i8*) #0 137 138define void @test9(i8* %x) { 139; CHECK-LABEL: @test9( 140; CHECK-NOT: strcmp 141 %y = call i32 @strcmp(i8* %x, i8* %x) #1 142 ret void 143} 144 145; PR30484 - https://llvm.org/bugs/show_bug.cgi?id=30484 146; These aren't the library functions you're looking for... 147 148declare i32 @isdigit(i8) 149declare i32 @isascii(i8) 150declare i32 @toascii(i8) 151 152define i32 @fake_isdigit(i8 %x) { 153; CHECK-LABEL: @fake_isdigit( 154; CHECK-NEXT: [[Y:%.*]] = call i32 @isdigit(i8 %x) 155; CHECK-NEXT: ret i32 [[Y]] 156; 157 %y = call i32 @isdigit(i8 %x) 158 ret i32 %y 159} 160 161define i32 @fake_isascii(i8 %x) { 162; CHECK-LABEL: @fake_isascii( 163; CHECK-NEXT: [[Y:%.*]] = call i32 @isascii(i8 %x) 164; CHECK-NEXT: ret i32 [[Y]] 165; 166 %y = call i32 @isascii(i8 %x) 167 ret i32 %y 168} 169 170define i32 @fake_toascii(i8 %x) { 171; CHECK-LABEL: @fake_toascii( 172; CHECK-NEXT: [[Y:%.*]] = call i32 @toascii(i8 %x) 173; CHECK-NEXT: ret i32 [[Y]] 174; 175 %y = call i32 @toascii(i8 %x) 176 ret i32 %y 177} 178 179declare double @pow(double, double) 180declare double @exp2(double) 181 182; check to make sure only the correct libcall attributes are used 183define double @fake_exp2(double %x) { 184; CHECK-LABEL: @fake_exp2( 185; CHECK-NEXT: [[Y:%.*]] = call double @exp2(double %x) 186; CHECK-NEXT: ret double [[Y]] 187 188 %y = call inreg double @pow(double inreg 2.0, double inreg %x) 189 ret double %y 190} 191define double @fake_ldexp(i32 %x) { 192; CHECK32-LABEL: @fake_ldexp( 193; CHECK32-NEXT: [[Z:%.*]] = call double @ldexp(double 1.0{{.*}}, i32 %x) 194; CHECK32-NEXT: ret double [[Z]] 195 196; CHECK16-LABEL: @fake_ldexp( 197; CHECK16-NEXT: [[Y:%.*]] = sitofp i32 %x to double 198; CHECK16-NEXT: [[Z:%.*]] = call inreg double @exp2(double [[Y]]) 199; CHECK16-NEXT: ret double [[Z]] 200 201 %y = sitofp i32 %x to double 202 %z = call inreg double @exp2(double %y) 203 ret double %z 204} 205define double @fake_ldexp_16(i16 %x) { 206; CHECK32-LABEL: @fake_ldexp_16( 207; CHECK32-NEXT: [[Y:%.*]] = sext i16 %x to i32 208; CHECK32-NEXT: [[Z:%.*]] = call double @ldexp(double 1.0{{.*}}, i32 [[Y]]) 209; CHECK32-NEXT: ret double [[Z]] 210 211; CHECK16-LABEL: @fake_ldexp_16( 212; CHECK16-NEXT: [[Z:%.*]] = call double @ldexp(double 1.0{{.*}}, i16 %x) 213; CHECK16-NEXT: ret double [[Z]] 214 215 %y = sitofp i16 %x to double 216 %z = call inreg double @exp2(double %y) 217 ret double %z 218} 219 220; PR50885 - this would crash in ValueTracking. 221 222declare i32 @snprintf(i8*, double, i32*) 223 224define i32 @fake_snprintf(i32 %buf, double %len, i32 * %str) { 225; CHECK-LABEL: @fake_snprintf( 226; CHECK-NEXT: [[CALL:%.*]] = call i32 @snprintf(i8* undef, double [[LEN:%.*]], i32* [[STR:%.*]]) 227; CHECK-NEXT: ret i32 [[CALL]] 228; 229 %call = call i32 @snprintf(i8* undef, double %len, i32* %str) 230 ret i32 %call 231} 232 233; Wrong return type for the real strlen. 234; https://llvm.org/PR50836 235 236define i4 @strlen(i8* %s) { 237; CHECK-LABEL: @strlen( 238; CHECK-NEXT: [[R:%.*]] = call i4 @strlen(i8* [[S:%.*]]) 239; CHECK-NEXT: ret i4 0 240; 241 %r = call i4 @strlen(i8* %s) 242 ret i4 0 243} 244 245attributes #0 = { nobuiltin } 246attributes #1 = { builtin } 247