1 ; Test that -disable-simplify-libcalls is wired up correctly. 2 ; 3 ; RUN: opt < %s -instcombine -disable-simplify-libcalls -S | FileCheck %s 4 5 target 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-S128" 6 7 @.str = constant [1 x i8] zeroinitializer, align 1 8 @.str1 = constant [13 x i8] c"hello, world\00", align 1 9 @.str2 = constant [4 x i8] c"foo\00", align 1 10 @.str3 = constant [4 x i8] c"bar\00", align 1 11 @.str4 = constant [6 x i8] c"123.4\00", align 1 12 @.str5 = constant [5 x i8] c"1234\00", align 1 13 @empty = constant [1 x i8] c"\00", align 1 14 15 declare double @ceil(double) 16 declare double @copysign(double, double) 17 declare double @cos(double) 18 declare double @fabs(double) 19 declare double @floor(double) 20 declare i8* @strcat(i8*, i8*) 21 declare i8* @strncat(i8*, i8*, i32) 22 declare i8* @strchr(i8*, i32) 23 declare i8* @strrchr(i8*, i32) 24 declare i32 @strcmp(i8*, i8*) 25 declare i32 @strncmp(i8*, i8*, i64) 26 declare i8* @strcpy(i8*, i8*) 27 declare i8* @stpcpy(i8*, i8*) 28 declare i8* @strncpy(i8*, i8*, i64) 29 declare i64 @strlen(i8*) 30 declare i8* @strpbrk(i8*, i8*) 31 declare i64 @strspn(i8*, i8*) 32 declare double @strtod(i8*, i8**) 33 declare float @strtof(i8*, i8**) 34 declare x86_fp80 @strtold(i8*, i8**) 35 declare i64 @strtol(i8*, i8**, i32) 36 declare i64 @strtoll(i8*, i8**, i32) 37 declare i64 @strtoul(i8*, i8**, i32) 38 declare i64 @strtoull(i8*, i8**, i32) 39 declare i64 @strcspn(i8*, i8*) 40 declare i32 @abs(i32) 41 declare i32 @ffs(i32) 42 declare i32 @ffsl(i64) 43 declare i32 @ffsll(i64) 44 declare i32 @fprintf(i8*, i8*) 45 declare i32 @isascii(i32) 46 declare i32 @isdigit(i32) 47 declare i32 @toascii(i32) 48 declare i64 @labs(i64) 49 declare i64 @llabs(i64) 50 declare i32 @printf(i8*) 51 declare i32 @sprintf(i8*, i8*) 52 53 define double @t1(double %x) { 54 ; CHECK-LABEL: @t1( 55 %ret = call double @ceil(double %x) 56 ret double %ret 57 ; CHECK: call double @ceil 58 } 59 60 define double @t2(double %x, double %y) { 61 ; CHECK-LABEL: @t2( 62 %ret = call double @copysign(double %x, double %y) 63 ret double %ret 64 ; CHECK: call double @copysign 65 } 66 67 define double @t3(double %x) { 68 ; CHECK-LABEL: @t3( 69 %call = call double @cos(double %x) 70 ret double %call 71 ; CHECK: call double @cos 72 } 73 74 define double @t4(double %x) { 75 ; CHECK-LABEL: @t4( 76 %ret = call double @fabs(double %x) 77 ret double %ret 78 ; CHECK: call double @fabs 79 } 80 81 define double @t5(double %x) { 82 ; CHECK-LABEL: @t5( 83 %ret = call double @floor(double %x) 84 ret double %ret 85 ; CHECK: call double @floor 86 } 87 88 define i8* @t6(i8* %x) { 89 ; CHECK-LABEL: @t6( 90 %empty = getelementptr [1 x i8]* @empty, i32 0, i32 0 91 %ret = call i8* @strcat(i8* %x, i8* %empty) 92 ret i8* %ret 93 ; CHECK: call i8* @strcat 94 } 95 96 define i8* @t7(i8* %x) { 97 ; CHECK-LABEL: @t7( 98 %empty = getelementptr [1 x i8]* @empty, i32 0, i32 0 99 %ret = call i8* @strncat(i8* %x, i8* %empty, i32 1) 100 ret i8* %ret 101 ; CHECK: call i8* @strncat 102 } 103 104 define i8* @t8() { 105 ; CHECK-LABEL: @t8( 106 %x = getelementptr inbounds [13 x i8]* @.str1, i32 0, i32 0 107 %ret = call i8* @strchr(i8* %x, i32 119) 108 ret i8* %ret 109 ; CHECK: call i8* @strchr 110 } 111 112 define i8* @t9() { 113 ; CHECK-LABEL: @t9( 114 %x = getelementptr inbounds [13 x i8]* @.str1, i32 0, i32 0 115 %ret = call i8* @strrchr(i8* %x, i32 119) 116 ret i8* %ret 117 ; CHECK: call i8* @strrchr 118 } 119 120 define i32 @t10() { 121 ; CHECK-LABEL: @t10( 122 %x = getelementptr inbounds [4 x i8]* @.str2, i32 0, i32 0 123 %y = getelementptr inbounds [4 x i8]* @.str3, i32 0, i32 0 124 %ret = call i32 @strcmp(i8* %x, i8* %y) 125 ret i32 %ret 126 ; CHECK: call i32 @strcmp 127 } 128 129 define i32 @t11() { 130 ; CHECK-LABEL: @t11( 131 %x = getelementptr inbounds [4 x i8]* @.str2, i32 0, i32 0 132 %y = getelementptr inbounds [4 x i8]* @.str3, i32 0, i32 0 133 %ret = call i32 @strncmp(i8* %x, i8* %y, i64 3) 134 ret i32 %ret 135 ; CHECK: call i32 @strncmp 136 } 137 138 define i8* @t12(i8* %x) { 139 ; CHECK-LABEL: @t12( 140 %y = getelementptr inbounds [4 x i8]* @.str2, i32 0, i32 0 141 %ret = call i8* @strcpy(i8* %x, i8* %y) 142 ret i8* %ret 143 ; CHECK: call i8* @strcpy 144 } 145 146 define i8* @t13(i8* %x) { 147 ; CHECK-LABEL: @t13( 148 %y = getelementptr inbounds [4 x i8]* @.str2, i32 0, i32 0 149 %ret = call i8* @stpcpy(i8* %x, i8* %y) 150 ret i8* %ret 151 ; CHECK: call i8* @stpcpy 152 } 153 154 define i8* @t14(i8* %x) { 155 ; CHECK-LABEL: @t14( 156 %y = getelementptr inbounds [4 x i8]* @.str2, i32 0, i32 0 157 %ret = call i8* @strncpy(i8* %x, i8* %y, i64 3) 158 ret i8* %ret 159 ; CHECK: call i8* @strncpy 160 } 161 162 define i64 @t15() { 163 ; CHECK-LABEL: @t15( 164 %x = getelementptr inbounds [4 x i8]* @.str2, i32 0, i32 0 165 %ret = call i64 @strlen(i8* %x) 166 ret i64 %ret 167 ; CHECK: call i64 @strlen 168 } 169 170 define i8* @t16(i8* %x) { 171 ; CHECK-LABEL: @t16( 172 %y = getelementptr inbounds [1 x i8]* @.str, i32 0, i32 0 173 %ret = call i8* @strpbrk(i8* %x, i8* %y) 174 ret i8* %ret 175 ; CHECK: call i8* @strpbrk 176 } 177 178 define i64 @t17(i8* %x) { 179 ; CHECK-LABEL: @t17( 180 %y = getelementptr inbounds [1 x i8]* @.str, i32 0, i32 0 181 %ret = call i64 @strspn(i8* %x, i8* %y) 182 ret i64 %ret 183 ; CHECK: call i64 @strspn 184 } 185 186 define double @t18(i8** %y) { 187 ; CHECK-LABEL: @t18( 188 %x = getelementptr inbounds [6 x i8]* @.str4, i64 0, i64 0 189 %ret = call double @strtod(i8* %x, i8** %y) 190 ret double %ret 191 ; CHECK: call double @strtod 192 } 193 194 define float @t19(i8** %y) { 195 ; CHECK-LABEL: @t19( 196 %x = getelementptr inbounds [6 x i8]* @.str4, i64 0, i64 0 197 %ret = call float @strtof(i8* %x, i8** %y) 198 ret float %ret 199 ; CHECK: call float @strtof 200 } 201 202 define x86_fp80 @t20(i8** %y) { 203 ; CHECK-LABEL: @t20( 204 %x = getelementptr inbounds [6 x i8]* @.str4, i64 0, i64 0 205 %ret = call x86_fp80 @strtold(i8* %x, i8** %y) 206 ret x86_fp80 %ret 207 ; CHECK: call x86_fp80 @strtold 208 } 209 210 define i64 @t21(i8** %y) { 211 ; CHECK-LABEL: @t21( 212 %x = getelementptr inbounds [5 x i8]* @.str5, i64 0, i64 0 213 %ret = call i64 @strtol(i8* %x, i8** %y, i32 10) 214 ret i64 %ret 215 ; CHECK: call i64 @strtol 216 } 217 218 define i64 @t22(i8** %y) { 219 ; CHECK-LABEL: @t22( 220 %x = getelementptr inbounds [5 x i8]* @.str5, i64 0, i64 0 221 %ret = call i64 @strtoll(i8* %x, i8** %y, i32 10) 222 ret i64 %ret 223 ; CHECK: call i64 @strtoll 224 } 225 226 define i64 @t23(i8** %y) { 227 ; CHECK-LABEL: @t23( 228 %x = getelementptr inbounds [5 x i8]* @.str5, i64 0, i64 0 229 %ret = call i64 @strtoul(i8* %x, i8** %y, i32 10) 230 ret i64 %ret 231 ; CHECK: call i64 @strtoul 232 } 233 234 define i64 @t24(i8** %y) { 235 ; CHECK-LABEL: @t24( 236 %x = getelementptr inbounds [5 x i8]* @.str5, i64 0, i64 0 237 %ret = call i64 @strtoull(i8* %x, i8** %y, i32 10) 238 ret i64 %ret 239 ; CHECK: call i64 @strtoull 240 } 241 242 define i64 @t25(i8* %y) { 243 ; CHECK-LABEL: @t25( 244 %x = getelementptr [1 x i8]* @empty, i32 0, i32 0 245 %ret = call i64 @strcspn(i8* %x, i8* %y) 246 ret i64 %ret 247 ; CHECK: call i64 @strcspn 248 } 249 250 define i32 @t26(i32 %y) { 251 ; CHECK-LABEL: @t26( 252 %ret = call i32 @abs(i32 %y) 253 ret i32 %ret 254 ; CHECK: call i32 @abs 255 } 256 257 define i32 @t27(i32 %y) { 258 ; CHECK-LABEL: @t27( 259 %ret = call i32 @ffs(i32 %y) 260 ret i32 %ret 261 ; CHECK: call i32 @ffs 262 } 263 264 define i32 @t28(i64 %y) { 265 ; CHECK-LABEL: @t28( 266 %ret = call i32 @ffsl(i64 %y) 267 ret i32 %ret 268 ; CHECK: call i32 @ffsl 269 } 270 271 define i32 @t29(i64 %y) { 272 ; CHECK-LABEL: @t29( 273 %ret = call i32 @ffsll(i64 %y) 274 ret i32 %ret 275 ; CHECK: call i32 @ffsll 276 } 277 278 define void @t30() { 279 ; CHECK-LABEL: @t30( 280 %x = getelementptr inbounds [13 x i8]* @.str1, i32 0, i32 0 281 call i32 @fprintf(i8* null, i8* %x) 282 ret void 283 ; CHECK: call i32 @fprintf 284 } 285 286 define i32 @t31(i32 %y) { 287 ; CHECK-LABEL: @t31( 288 %ret = call i32 @isascii(i32 %y) 289 ret i32 %ret 290 ; CHECK: call i32 @isascii 291 } 292 293 define i32 @t32(i32 %y) { 294 ; CHECK-LABEL: @t32( 295 %ret = call i32 @isdigit(i32 %y) 296 ret i32 %ret 297 ; CHECK: call i32 @isdigit 298 } 299 300 define i32 @t33(i32 %y) { 301 ; CHECK-LABEL: @t33( 302 %ret = call i32 @toascii(i32 %y) 303 ret i32 %ret 304 ; CHECK: call i32 @toascii 305 } 306 307 define i64 @t34(i64 %y) { 308 ; CHECK-LABEL: @t34( 309 %ret = call i64 @labs(i64 %y) 310 ret i64 %ret 311 ; CHECK: call i64 @labs 312 } 313 314 define i64 @t35(i64 %y) { 315 ; CHECK-LABEL: @t35( 316 %ret = call i64 @llabs(i64 %y) 317 ret i64 %ret 318 ; CHECK: call i64 @llabs 319 } 320 321 define void @t36() { 322 ; CHECK-LABEL: @t36( 323 %x = getelementptr inbounds [1 x i8]* @empty, i32 0, i32 0 324 call i32 @printf(i8* %x) 325 ret void 326 ; CHECK: call i32 @printf 327 } 328 329 define void @t37(i8* %x) { 330 ; CHECK-LABEL: @t37( 331 %y = getelementptr inbounds [13 x i8]* @.str1, i32 0, i32 0 332 call i32 @sprintf(i8* %x, i8* %y) 333 ret void 334 ; CHECK: call i32 @sprintf 335 } 336
