1*9880d681SAndroid Build Coastguard Worker; Test that the strncat libcall simplifier works correctly. 2*9880d681SAndroid Build Coastguard Worker; 3*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instcombine -S | FileCheck %s 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workertarget 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" 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Worker@hello = constant [6 x i8] c"hello\00" 8*9880d681SAndroid Build Coastguard Worker@empty = constant [1 x i8] c"\00" 9*9880d681SAndroid Build Coastguard Worker@a = common global [32 x i8] zeroinitializer, align 1 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Workerdeclare i8* @strncat(i8*, i8*, i32) 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Workerdefine void @test_simplify1() { 14*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test_simplify1( 15*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: call i8* @strncat 16*9880d681SAndroid Build Coastguard Worker; CHECK: ret void 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Worker %dst = getelementptr [32 x i8], [32 x i8]* @a, i32 0, i32 0 19*9880d681SAndroid Build Coastguard Worker %src = getelementptr [6 x i8], [6 x i8]* @hello, i32 0, i32 0 20*9880d681SAndroid Build Coastguard Worker call i8* @strncat(i8* %dst, i8* %src, i32 13) 21*9880d681SAndroid Build Coastguard Worker ret void 22*9880d681SAndroid Build Coastguard Worker} 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Workerdefine void @test_simplify2() { 25*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test_simplify2( 26*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret void 27*9880d681SAndroid Build Coastguard Worker 28*9880d681SAndroid Build Coastguard Worker %dst = getelementptr [32 x i8], [32 x i8]* @a, i32 0, i32 0 29*9880d681SAndroid Build Coastguard Worker %src = getelementptr [1 x i8], [1 x i8]* @empty, i32 0, i32 0 30*9880d681SAndroid Build Coastguard Worker call i8* @strncat(i8* %dst, i8* %src, i32 13) 31*9880d681SAndroid Build Coastguard Worker ret void 32*9880d681SAndroid Build Coastguard Worker} 33*9880d681SAndroid Build Coastguard Worker 34*9880d681SAndroid Build Coastguard Workerdefine void @test_simplify3() { 35*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test_simplify3( 36*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret void 37*9880d681SAndroid Build Coastguard Worker 38*9880d681SAndroid Build Coastguard Worker %dst = getelementptr [32 x i8], [32 x i8]* @a, i32 0, i32 0 39*9880d681SAndroid Build Coastguard Worker %src = getelementptr [6 x i8], [6 x i8]* @hello, i32 0, i32 0 40*9880d681SAndroid Build Coastguard Worker call i8* @strncat(i8* %dst, i8* %src, i32 0) 41*9880d681SAndroid Build Coastguard Worker ret void 42*9880d681SAndroid Build Coastguard Worker} 43*9880d681SAndroid Build Coastguard Worker 44*9880d681SAndroid Build Coastguard Workerdefine void @test_nosimplify1() { 45*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test_nosimplify1( 46*9880d681SAndroid Build Coastguard Worker; CHECK: call i8* @strncat 47*9880d681SAndroid Build Coastguard Worker; CHECK: ret void 48*9880d681SAndroid Build Coastguard Worker 49*9880d681SAndroid Build Coastguard Worker %dst = getelementptr [32 x i8], [32 x i8]* @a, i32 0, i32 0 50*9880d681SAndroid Build Coastguard Worker %src = getelementptr [6 x i8], [6 x i8]* @hello, i32 0, i32 0 51*9880d681SAndroid Build Coastguard Worker call i8* @strncat(i8* %dst, i8* %src, i32 1) 52*9880d681SAndroid Build Coastguard Worker ret void 53*9880d681SAndroid Build Coastguard Worker} 54