1 ; Test that the strcat libcall simplifier works correctly per the 2 ; bug found in PR3661. 3 ; 4 ; RUN: opt < %s -instcombine -S | FileCheck %s 5 6 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" 7 8 @hello = constant [6 x i8] c"hello\00" 9 @null = constant [1 x i8] zeroinitializer 10 @null_hello = constant [7 x i8] c"\00hello\00" 11 12 declare i8* @strcat(i8*, i8*) 13 declare i32 @puts(i8*) 14 15 define i32 @main() { 16 ; CHECK-LABEL: @main( 17 ; CHECK-NOT: call i8* @strcat 18 ; CHECK: call i32 @puts 19 20 %target = alloca [1024 x i8] 21 %arg1 = getelementptr [1024 x i8]* %target, i32 0, i32 0 22 store i8 0, i8* %arg1 23 24 ; rslt1 = strcat(target, "hello\00") 25 %arg2 = getelementptr [6 x i8]* @hello, i32 0, i32 0 26 %rslt1 = call i8* @strcat(i8* %arg1, i8* %arg2) 27 28 ; rslt2 = strcat(rslt1, "\00") 29 %arg3 = getelementptr [1 x i8]* @null, i32 0, i32 0 30 %rslt2 = call i8* @strcat(i8* %rslt1, i8* %arg3) 31 32 ; rslt3 = strcat(rslt2, "\00hello\00") 33 %arg4 = getelementptr [7 x i8]* @null_hello, i32 0, i32 0 34 %rslt3 = call i8* @strcat(i8* %rslt2, i8* %arg4) 35 36 call i32 @puts( i8* %rslt3 ) 37 ret i32 0 38 } 39
