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