311 lines · plain
1; Test that -disable-simplify-libcalls is wired up correctly.2;3; RUN: opt < %s -passes=instcombine -disable-simplify-libcalls -S | FileCheck %s4 5target 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 18@.str1 = constant [13 x i8] c"hello, world\00", align 19@.str2 = constant [4 x i8] c"foo\00", align 110@.str3 = constant [4 x i8] c"bar\00", align 111@.str4 = constant [6 x i8] c"123.4\00", align 112@.str5 = constant [5 x i8] c"1234\00", align 113@empty = constant [1 x i8] c"\00", align 114 15declare double @ceil(double)16declare double @copysign(double, double)17declare double @cos(double)18declare double @fabs(double)19declare double @floor(double)20declare ptr @strcat(ptr, ptr)21declare ptr @strncat(ptr, ptr, i32)22declare ptr @strchr(ptr, i32)23declare ptr @strrchr(ptr, i32)24declare i32 @strcmp(ptr, ptr)25declare i32 @strncmp(ptr, ptr, i64)26declare ptr @strcpy(ptr, ptr)27declare ptr @stpcpy(ptr, ptr)28declare ptr @strncpy(ptr, ptr, i64)29declare i64 @strlen(ptr)30declare ptr @strpbrk(ptr, ptr)31declare i64 @strspn(ptr, ptr)32declare double @strtod(ptr, ptr)33declare float @strtof(ptr, ptr)34declare x86_fp80 @strtold(ptr, ptr)35declare i64 @strtol(ptr, ptr, i32)36declare i64 @strtoll(ptr, ptr, i32)37declare i64 @strtoul(ptr, ptr, i32)38declare i64 @strtoull(ptr, ptr, i32)39declare i64 @strcspn(ptr, ptr)40declare i32 @abs(i32)41declare i32 @ffs(i32)42declare i32 @ffsl(i64)43declare i32 @ffsll(i64)44declare i32 @fprintf(ptr, ptr)45declare i32 @isascii(i32)46declare i32 @isdigit(i32)47declare i32 @toascii(i32)48declare i64 @labs(i64)49declare i64 @llabs(i64)50declare i32 @printf(ptr)51declare i32 @sprintf(ptr, ptr)52 53define double @t1(double %x) {54; CHECK-LABEL: @t1(55 %ret = call double @ceil(double %x)56 ret double %ret57; CHECK: call double @ceil58}59 60define double @t2(double %x, double %y) {61; CHECK-LABEL: @t2(62 %ret = call double @copysign(double %x, double %y)63 ret double %ret64; CHECK: call double @copysign65}66 67define double @t3(double %x) {68; CHECK-LABEL: @t3(69 %call = call double @cos(double %x)70 ret double %call71; CHECK: call double @cos72}73 74define double @t4(double %x) {75; CHECK-LABEL: @t4(76 %ret = call double @fabs(double %x)77 ret double %ret78; CHECK: call double @fabs79}80 81define double @t5(double %x) {82; CHECK-LABEL: @t5(83 %ret = call double @floor(double %x)84 ret double %ret85; CHECK: call double @floor86}87 88define ptr @t6(ptr %x) {89; CHECK-LABEL: @t6(90 %ret = call ptr @strcat(ptr %x, ptr @empty)91 ret ptr %ret92; CHECK: call ptr @strcat93}94 95define ptr @t7(ptr %x) {96; CHECK-LABEL: @t7(97 %ret = call ptr @strncat(ptr %x, ptr @empty, i32 1)98 ret ptr %ret99; CHECK: call ptr @strncat100}101 102define ptr @t8() {103; CHECK-LABEL: @t8(104 %ret = call ptr @strchr(ptr @.str1, i32 119)105 ret ptr %ret106; CHECK: call ptr @strchr107}108 109define ptr @t9() {110; CHECK-LABEL: @t9(111 %ret = call ptr @strrchr(ptr @.str1, i32 119)112 ret ptr %ret113; CHECK: call ptr @strrchr114}115 116define i32 @t10() {117; CHECK-LABEL: @t10(118 %ret = call i32 @strcmp(ptr @.str2, ptr @.str3)119 ret i32 %ret120; CHECK: call i32 @strcmp121}122 123define i32 @t11() {124; CHECK-LABEL: @t11(125 %ret = call i32 @strncmp(ptr @.str2, ptr @.str3, i64 3)126 ret i32 %ret127; CHECK: call i32 @strncmp128}129 130define ptr @t12(ptr %x) {131; CHECK-LABEL: @t12(132 %ret = call ptr @strcpy(ptr %x, ptr @.str2)133 ret ptr %ret134; CHECK: call ptr @strcpy135}136 137define ptr @t13(ptr %x) {138; CHECK-LABEL: @t13(139 %ret = call ptr @stpcpy(ptr %x, ptr @.str2)140 ret ptr %ret141; CHECK: call ptr @stpcpy142}143 144define ptr @t14(ptr %x) {145; CHECK-LABEL: @t14(146 %ret = call ptr @strncpy(ptr %x, ptr @.str2, i64 3)147 ret ptr %ret148; CHECK: call ptr @strncpy149}150 151define i64 @t15() {152; CHECK-LABEL: @t15(153 %ret = call i64 @strlen(ptr @.str2)154 ret i64 %ret155; CHECK: call i64 @strlen156}157 158define ptr @t16(ptr %x) {159; CHECK-LABEL: @t16(160 %ret = call ptr @strpbrk(ptr %x, ptr @.str)161 ret ptr %ret162; CHECK: call ptr @strpbrk163}164 165define i64 @t17(ptr %x) {166; CHECK-LABEL: @t17(167 %ret = call i64 @strspn(ptr %x, ptr @.str)168 ret i64 %ret169; CHECK: call i64 @strspn170}171 172define double @t18(ptr %y) {173; CHECK-LABEL: @t18(174 %ret = call double @strtod(ptr @.str4, ptr %y)175 ret double %ret176; CHECK: call double @strtod177}178 179define float @t19(ptr %y) {180; CHECK-LABEL: @t19(181 %ret = call float @strtof(ptr @.str4, ptr %y)182 ret float %ret183; CHECK: call float @strtof184}185 186define x86_fp80 @t20(ptr %y) {187; CHECK-LABEL: @t20(188 %ret = call x86_fp80 @strtold(ptr @.str4, ptr %y)189 ret x86_fp80 %ret190; CHECK: call x86_fp80 @strtold191}192 193define i64 @t21(ptr %y) {194; CHECK-LABEL: @t21(195 %ret = call i64 @strtol(ptr @.str5, ptr %y, i32 10)196 ret i64 %ret197; CHECK: call i64 @strtol198}199 200define i64 @t22(ptr %y) {201; CHECK-LABEL: @t22(202 %ret = call i64 @strtoll(ptr @.str5, ptr %y, i32 10)203 ret i64 %ret204; CHECK: call i64 @strtoll205}206 207define i64 @t23(ptr %y) {208; CHECK-LABEL: @t23(209 %ret = call i64 @strtoul(ptr @.str5, ptr %y, i32 10)210 ret i64 %ret211; CHECK: call i64 @strtoul212}213 214define i64 @t24(ptr %y) {215; CHECK-LABEL: @t24(216 %ret = call i64 @strtoull(ptr @.str5, ptr %y, i32 10)217 ret i64 %ret218; CHECK: call i64 @strtoull219}220 221define i64 @t25(ptr %y) {222; CHECK-LABEL: @t25(223 %ret = call i64 @strcspn(ptr @empty, ptr %y)224 ret i64 %ret225; CHECK: call i64 @strcspn226}227 228define i32 @t26(i32 %y) {229; CHECK-LABEL: @t26(230 %ret = call i32 @abs(i32 %y)231 ret i32 %ret232; CHECK: call i32 @abs233}234 235define i32 @t27(i32 %y) {236; CHECK-LABEL: @t27(237 %ret = call i32 @ffs(i32 %y)238 ret i32 %ret239; CHECK: call i32 @ffs240}241 242define i32 @t28(i64 %y) {243; CHECK-LABEL: @t28(244 %ret = call i32 @ffsl(i64 %y)245 ret i32 %ret246; CHECK: call i32 @ffsl247}248 249define i32 @t29(i64 %y) {250; CHECK-LABEL: @t29(251 %ret = call i32 @ffsll(i64 %y)252 ret i32 %ret253; CHECK: call i32 @ffsll254}255 256define void @t30() {257; CHECK-LABEL: @t30(258 call i32 @fprintf(ptr null, ptr @.str1)259 ret void260; CHECK: call i32 @fprintf261}262 263define i32 @t31(i32 %y) {264; CHECK-LABEL: @t31(265 %ret = call i32 @isascii(i32 %y)266 ret i32 %ret267; CHECK: call i32 @isascii268}269 270define i32 @t32(i32 %y) {271; CHECK-LABEL: @t32(272 %ret = call i32 @isdigit(i32 %y)273 ret i32 %ret274; CHECK: call i32 @isdigit275}276 277define i32 @t33(i32 %y) {278; CHECK-LABEL: @t33(279 %ret = call i32 @toascii(i32 %y)280 ret i32 %ret281; CHECK: call i32 @toascii282}283 284define i64 @t34(i64 %y) {285; CHECK-LABEL: @t34(286 %ret = call i64 @labs(i64 %y)287 ret i64 %ret288; CHECK: call i64 @labs289}290 291define i64 @t35(i64 %y) {292; CHECK-LABEL: @t35(293 %ret = call i64 @llabs(i64 %y)294 ret i64 %ret295; CHECK: call i64 @llabs296}297 298define void @t36() {299; CHECK-LABEL: @t36(300 call i32 @printf(ptr @empty)301 ret void302; CHECK: call i32 @printf303}304 305define void @t37(ptr %x) {306; CHECK-LABEL: @t37(307 call i32 @sprintf(ptr %x, ptr @.str1)308 ret void309; CHECK: call i32 @sprintf310}311