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

   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
   3 target 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
   7 declare i32 @sprintf(i8*, i8*, ...)
   8
   9 define 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
  19 define 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
  27 declare i8* @strchr(i8*, i32)
  28
  29 define 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
  37 define i8* @test3() {
  38 entry:
  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
  48 declare i32 @memcmp(i8*, i8*, i32) nounwind readonly
  49
  50 define i1 @PR2341(i8** %start_addr) {
  51 entry:
  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
  61 define i32 @PR4284() nounwind {
  62 entry:
  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
  82 define i32 @PR4641(i32 %argc, i8** %argv) nounwind {
  83 entry:
  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
  90 declare %struct.__sFILE* @fopen(i8*, i8*)
  91
  92 declare void @exit(i32)
  93
  94 define i32 @PR4645() {
  95 entry:
  96         br label %if.then
  97
  98 lor.lhs.false:          ; preds = %while.body
  99         br i1 undef, label %if.then, label %for.cond
 100
 101 if.then:                ; preds = %lor.lhs.false, %while.body
 102         call void @exit(i32 1)
 103         br label %for.cond
 104
 105 for.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
 109 for.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
 118 define 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
 134 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind
 135
 136 declare i32 @strcmp(i8*, i8*) #0
 137
 138 define 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
 148 declare i32 @isdigit(i8)
 149 declare i32 @isascii(i8)
 150 declare i32 @toascii(i8)
 151
 152 define 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
 161 define 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
 170 define 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
 179 declare double @pow(double, double)
 180 declare double @exp2(double)
 181
 182 ; check to make sure only the correct libcall attributes are used
 183 define 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 }
 191 define 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 }
 205 define 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
 222 declare i32 @snprintf(i8*, double, i32*)
 223
 224 define 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 attributes #0 = { nobuiltin }
 234 attributes #1 = { builtin }