diff options
author | Joel Jones <joel_k_jones@apple.com> | 2012-03-29 01:20:56 +0000 |
---|---|---|
committer | Joel Jones <joel_k_jones@apple.com> | 2012-03-29 01:20:56 +0000 |
commit | f75f4271f43ddff0be588fe3bf782de61d36e034 (patch) | |
tree | d951e7eb1aa629ec8df161d6a0761141ab864c38 /test/CodeGen | |
parent | c367a3eb7376c37c50f0313063481f5b5bb04f04 (diff) | |
download | external_llvm-f75f4271f43ddff0be588fe3bf782de61d36e034.zip external_llvm-f75f4271f43ddff0be588fe3bf782de61d36e034.tar.gz external_llvm-f75f4271f43ddff0be588fe3bf782de61d36e034.tar.bz2 |
Reverted to revision 153616 to unblock build
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153623 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen')
-rw-r--r-- | test/CodeGen/X86/dec-eflags-lower.ll | 67 | ||||
-rw-r--r-- | test/CodeGen/X86/rd-mod-wr-eflags.ll | 179 |
2 files changed, 67 insertions, 179 deletions
diff --git a/test/CodeGen/X86/dec-eflags-lower.ll b/test/CodeGen/X86/dec-eflags-lower.ll new file mode 100644 index 0000000..190819f --- /dev/null +++ b/test/CodeGen/X86/dec-eflags-lower.ll @@ -0,0 +1,67 @@ +; RUN: llc < %s -march=x86-64 | FileCheck %s + +%struct.obj = type { i64 } + +; CHECK: _Z7releaseP3obj +define void @_Z7releaseP3obj(%struct.obj* nocapture %o) nounwind uwtable ssp { +entry: +; CHECK: decq (%{{rdi|rcx}}) +; CHECK-NEXT: je + %refcnt = getelementptr inbounds %struct.obj* %o, i64 0, i32 0 + %0 = load i64* %refcnt, align 8, !tbaa !0 + %dec = add i64 %0, -1 + store i64 %dec, i64* %refcnt, align 8, !tbaa !0 + %tobool = icmp eq i64 %dec, 0 + br i1 %tobool, label %if.end, label %return + +if.end: ; preds = %entry + %1 = bitcast %struct.obj* %o to i8* + tail call void @free(i8* %1) + br label %return + +return: ; preds = %entry, %if.end + ret void +} + +@c = common global i64 0, align 8 +@a = common global i32 0, align 4 +@.str = private unnamed_addr constant [5 x i8] c"%ld\0A\00", align 1 +@b = common global i32 0, align 4 + +; CHECK: test +define i32 @test() nounwind uwtable ssp { +entry: +; CHECK: decq +; CHECK-NOT: decq +%0 = load i64* @c, align 8, !tbaa !0 +%dec.i = add nsw i64 %0, -1 +store i64 %dec.i, i64* @c, align 8, !tbaa !0 +%tobool.i = icmp ne i64 %dec.i, 0 +%lor.ext.i = zext i1 %tobool.i to i32 +store i32 %lor.ext.i, i32* @a, align 4, !tbaa !3 +%call = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([5 x i8]* @.str, i64 0, i64 0), i64 %dec.i) nounwind +ret i32 0 +} + +; CHECK: test2 +define i32 @test2() nounwind uwtable ssp { +entry: +; CHECK-NOT: decq ({{.*}}) +%0 = load i64* @c, align 8, !tbaa !0 +%dec.i = add nsw i64 %0, -1 +store i64 %dec.i, i64* @c, align 8, !tbaa !0 +%tobool.i = icmp ne i64 %0, 0 +%lor.ext.i = zext i1 %tobool.i to i32 +store i32 %lor.ext.i, i32* @a, align 4, !tbaa !3 +%call = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([5 x i8]* @.str, i64 0, i64 0), i64 %dec.i) nounwind +ret i32 0 +} + +declare i32 @printf(i8* nocapture, ...) nounwind + +declare void @free(i8* nocapture) nounwind + +!0 = metadata !{metadata !"long", metadata !1} +!1 = metadata !{metadata !"omnipotent char", metadata !2} +!2 = metadata !{metadata !"Simple C/C++ TBAA", null} +!3 = metadata !{metadata !"int", metadata !1} diff --git a/test/CodeGen/X86/rd-mod-wr-eflags.ll b/test/CodeGen/X86/rd-mod-wr-eflags.ll deleted file mode 100644 index e09a6ca..0000000 --- a/test/CodeGen/X86/rd-mod-wr-eflags.ll +++ /dev/null @@ -1,179 +0,0 @@ -; RUN: llc < %s -march=x86-64 | FileCheck %s - -%struct.obj = type { i64 } - -; CHECK: _Z7releaseP3obj -define void @_Z7releaseP3obj(%struct.obj* nocapture %o) nounwind uwtable ssp { -entry: -; CHECK: decq (%{{rdi|rcx}}) -; CHECK-NEXT: je - %refcnt = getelementptr inbounds %struct.obj* %o, i64 0, i32 0 - %0 = load i64* %refcnt, align 8, !tbaa !0 - %dec = add i64 %0, -1 - store i64 %dec, i64* %refcnt, align 8, !tbaa !0 - %tobool = icmp eq i64 %dec, 0 - br i1 %tobool, label %if.end, label %return - -if.end: ; preds = %entry - %1 = bitcast %struct.obj* %o to i8* - tail call void @free(i8* %1) - br label %return - -return: ; preds = %entry, %if.end - ret void -} - -@c = common global i64 0, align 8 -@a = common global i32 0, align 4 -@.str = private unnamed_addr constant [5 x i8] c"%ld\0A\00", align 1 -@b = common global i32 0, align 4 - -; CHECK: test -define i32 @test() nounwind uwtable ssp { -entry: -; CHECK: decq -; CHECK-NOT: decq -%0 = load i64* @c, align 8, !tbaa !0 -%dec.i = add nsw i64 %0, -1 -store i64 %dec.i, i64* @c, align 8, !tbaa !0 -%tobool.i = icmp ne i64 %dec.i, 0 -%lor.ext.i = zext i1 %tobool.i to i32 -store i32 %lor.ext.i, i32* @a, align 4, !tbaa !3 -%call = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([5 x i8]* @.str, i64 0, i64 0), i64 %dec.i) nounwind -ret i32 0 -} - -; CHECK: test2 -define i32 @test2() nounwind uwtable ssp { -entry: -; CHECK-NOT: decq ({{.*}}) -%0 = load i64* @c, align 8, !tbaa !0 -%dec.i = add nsw i64 %0, -1 -store i64 %dec.i, i64* @c, align 8, !tbaa !0 -%tobool.i = icmp ne i64 %0, 0 -%lor.ext.i = zext i1 %tobool.i to i32 -store i32 %lor.ext.i, i32* @a, align 4, !tbaa !3 -%call = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([5 x i8]* @.str, i64 0, i64 0), i64 %dec.i) nounwind -ret i32 0 -} - -declare i32 @printf(i8* nocapture, ...) nounwind - -declare void @free(i8* nocapture) nounwind - -!0 = metadata !{metadata !"long", metadata !1} -!1 = metadata !{metadata !"omnipotent char", metadata !2} -!2 = metadata !{metadata !"Simple C/C++ TBAA", null} -!3 = metadata !{metadata !"int", metadata !1} - -%struct.obj2 = type { i64, i32, i16, i8 } - -declare void @other(%struct.obj2* ) nounwind; - -; CHECK: example_dec -define void @example_dec(%struct.obj2* %o) nounwind uwtable ssp { -; 64 bit dec -entry: - %s64 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 0 -; CHECK-NOT: load (%{{rdi|rcs}}) - %0 = load i64* %s64, align 8 -; CHECK: decq (%{{rdi|rcs}}) - %dec = add i64 %0, -1 - store i64 %dec, i64* %s64, align 8 - %tobool = icmp eq i64 %dec, 0 - br i1 %tobool, label %if.end, label %return - -; 32 bit dec -if.end: - %s32 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 1 -; CHECK-NOT: load {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %1 = load i32* %s32, align 4 -; CHECK: decl {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %dec1 = add i32 %1, -1 - store i32 %dec1, i32* %s32, align 4 - %tobool2 = icmp eq i32 %dec1, 0 - br i1 %tobool2, label %if.end1, label %return - -; 16 bit dec -if.end1: - %s16 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 2 -; CHECK-NOT: load {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %2 = load i16* %s16, align 2 -; CHECK: decw {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %dec2 = add i16 %2, -1 - store i16 %dec2, i16* %s16, align 2 - %tobool3 = icmp eq i16 %dec2, 0 - br i1 %tobool3, label %if.end2, label %return - -; 8 bit dec -if.end2: - %s8 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 3 -; CHECK-NOT: load {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %3 = load i8* %s8 -; CHECK: decb {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %dec3 = add i8 %3, -1 - store i8 %dec3, i8* %s8 - %tobool4 = icmp eq i8 %dec3, 0 - br i1 %tobool4, label %if.end4, label %return - -if.end4: - tail call void @other(%struct.obj2* %o) nounwind - br label %return - -return: ; preds = %if.end4, %if.end, %entry - ret void -} - -; CHECK: example_inc -define void @example_inc(%struct.obj2* %o) nounwind uwtable ssp { -; 64 bit inc -entry: - %s64 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 0 -; CHECK-NOT: load (%{{rdi|rcs}}) - %0 = load i64* %s64, align 8 -; CHECK: incq (%{{rdi|rcs}}) - %inc = add i64 %0, 1 - store i64 %inc, i64* %s64, align 8 - %tobool = icmp eq i64 %inc, 0 - br i1 %tobool, label %if.end, label %return - -; 32 bit inc -if.end: - %s32 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 1 -; CHECK-NOT: load {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %1 = load i32* %s32, align 4 -; CHECK: incl {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %inc1 = add i32 %1, 1 - store i32 %inc1, i32* %s32, align 4 - %tobool2 = icmp eq i32 %inc1, 0 - br i1 %tobool2, label %if.end1, label %return - -; 16 bit inc -if.end1: - %s16 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 2 -; CHECK-NOT: load {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %2 = load i16* %s16, align 2 -; CHECK: incw {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %inc2 = add i16 %2, 1 - store i16 %inc2, i16* %s16, align 2 - %tobool3 = icmp eq i16 %inc2, 0 - br i1 %tobool3, label %if.end2, label %return - -; 8 bit inc -if.end2: - %s8 = getelementptr inbounds %struct.obj2* %o, i64 0, i32 3 -; CHECK-NOT: load {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %3 = load i8* %s8 -; CHECK: incb {{[0-9][0-9]*}}(%{{rdi|rcs}}) - %inc3 = add i8 %3, 1 - store i8 %inc3, i8* %s8 - %tobool4 = icmp eq i8 %inc3, 0 - br i1 %tobool4, label %if.end4, label %return - -if.end4: - tail call void @other(%struct.obj2* %o) nounwind - br label %return - -return: - ret void -} |