test/Transforms/InstCombine/disable-simplify-libcalls.ll

   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], [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], [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], [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], [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], [4 x i8]* @.str2, i32 0, i32 0
 123   %y = getelementptr inbounds [4 x i8], [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], [4 x i8]* @.str2, i32 0, i32 0
 132   %y = getelementptr inbounds [4 x i8], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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], [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 }