2012-02-10 05:10:36 +01:00
|
|
|
; RUN: llc -O0 < %s -march=x86-64 | FileCheck %s -check-prefix=X64
|
2009-11-10 00:10:49 +01:00
|
|
|
|
|
|
|
; ModuleID = 'ts.c'
|
|
|
|
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"
|
|
|
|
target triple = "x86_64-apple-darwin10.0"
|
|
|
|
|
|
|
|
@p = common global i8* null, align 8 ; <i8**> [#uses=4]
|
|
|
|
@.str = private constant [3 x i8] c"Hi\00" ; <[3 x i8]*> [#uses=1]
|
|
|
|
|
|
|
|
define void @bar() nounwind ssp {
|
|
|
|
entry:
|
|
|
|
%tmp = load i8** @p ; <i8*> [#uses=1]
|
2012-05-09 17:52:43 +02:00
|
|
|
%0 = call i64 @llvm.objectsize.i64(i8* %tmp, i1 0, i32 0) ; <i64> [#uses=1]
|
2009-11-10 00:10:49 +01:00
|
|
|
%cmp = icmp ne i64 %0, -1 ; <i1> [#uses=1]
|
2011-11-12 21:11:04 +01:00
|
|
|
; X64: movabsq $-1, [[RAX:%r..]]
|
|
|
|
; X64: cmpq $-1, [[RAX]]
|
2009-11-10 00:10:49 +01:00
|
|
|
br i1 %cmp, label %cond.true, label %cond.false
|
|
|
|
|
|
|
|
cond.true: ; preds = %entry
|
|
|
|
%tmp1 = load i8** @p ; <i8*> [#uses=1]
|
|
|
|
%tmp2 = load i8** @p ; <i8*> [#uses=1]
|
2012-05-09 17:52:43 +02:00
|
|
|
%1 = call i64 @llvm.objectsize.i64(i8* %tmp2, i1 1, i32 0) ; <i64> [#uses=1]
|
2009-11-10 00:10:49 +01:00
|
|
|
%call = call i8* @__strcpy_chk(i8* %tmp1, i8* getelementptr inbounds ([3 x i8]* @.str, i32 0, i32 0), i64 %1) ssp ; <i8*> [#uses=1]
|
|
|
|
br label %cond.end
|
|
|
|
|
|
|
|
cond.false: ; preds = %entry
|
|
|
|
%tmp3 = load i8** @p ; <i8*> [#uses=1]
|
|
|
|
%call4 = call i8* @__inline_strcpy_chk(i8* %tmp3, i8* getelementptr inbounds ([3 x i8]* @.str, i32 0, i32 0)) ssp ; <i8*> [#uses=1]
|
|
|
|
br label %cond.end
|
|
|
|
|
|
|
|
cond.end: ; preds = %cond.false, %cond.true
|
|
|
|
%cond = phi i8* [ %call, %cond.true ], [ %call4, %cond.false ] ; <i8*> [#uses=0]
|
|
|
|
ret void
|
|
|
|
}
|
|
|
|
|
2012-05-09 17:52:43 +02:00
|
|
|
declare i64 @llvm.objectsize.i64(i8*, i1, i32) nounwind readonly
|
2009-11-10 00:10:49 +01:00
|
|
|
|
|
|
|
declare i8* @__strcpy_chk(i8*, i8*, i64) ssp
|
|
|
|
|
|
|
|
define internal i8* @__inline_strcpy_chk(i8* %__dest, i8* %__src) nounwind ssp {
|
|
|
|
entry:
|
|
|
|
%retval = alloca i8* ; <i8**> [#uses=2]
|
|
|
|
%__dest.addr = alloca i8* ; <i8**> [#uses=3]
|
|
|
|
%__src.addr = alloca i8* ; <i8**> [#uses=2]
|
|
|
|
store i8* %__dest, i8** %__dest.addr
|
|
|
|
store i8* %__src, i8** %__src.addr
|
|
|
|
%tmp = load i8** %__dest.addr ; <i8*> [#uses=1]
|
|
|
|
%tmp1 = load i8** %__src.addr ; <i8*> [#uses=1]
|
|
|
|
%tmp2 = load i8** %__dest.addr ; <i8*> [#uses=1]
|
2012-05-09 17:52:43 +02:00
|
|
|
%0 = call i64 @llvm.objectsize.i64(i8* %tmp2, i1 1, i32 0) ; <i64> [#uses=1]
|
2009-11-10 00:10:49 +01:00
|
|
|
%call = call i8* @__strcpy_chk(i8* %tmp, i8* %tmp1, i64 %0) ssp ; <i8*> [#uses=1]
|
|
|
|
store i8* %call, i8** %retval
|
|
|
|
%1 = load i8** %retval ; <i8*> [#uses=1]
|
|
|
|
ret i8* %1
|
|
|
|
}
|