[llvm-commits] [llvm] r132399 - /llvm/trunk/test/CodeGen/X86/2011-05-31-movmsk.ll

[Evan Cheng]

Stuart, are the tests reduced? The lifetime markers are not necessary, right?

Evan

On Jun 1, 2011, at 8:50 AM, Stuart Hastings wrote:

> Author: stuart
> Date: Wed Jun  1 10:50:29 2011
> New Revision: 132399
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=132399&view=rev
> Log:
> Test case for 132396.  rdar://problem/5660695
> 
> Added:
>    llvm/trunk/test/CodeGen/X86/2011-05-31-movmsk.ll
> 
> Added: llvm/trunk/test/CodeGen/X86/2011-05-31-movmsk.ll
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/2011-05-31-movmsk.ll?rev=132399&view=auto
> ==============================================================================
> --- llvm/trunk/test/CodeGen/X86/2011-05-31-movmsk.ll (added)
> +++ llvm/trunk/test/CodeGen/X86/2011-05-31-movmsk.ll Wed Jun  1 10:50:29 2011
> @@ -0,0 +1,99 @@
> +; RUN: llc -mcpu=core2 < %s | FileCheck %s
> +; ModuleID = '<stdin>'
> +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-macosx10.6.6"
> +
> +%0 = type { double }
> +%union.anon = type { float }
> +
> +define i32 @double_signbit(double %d1) nounwind uwtable readnone ssp {
> +entry:
> +  %__x.addr.i = alloca double, align 8
> +  %__u.i = alloca %0, align 8
> +  %0 = bitcast double* %__x.addr.i to i8*
> +  call void @llvm.lifetime.start(i64 -1, i8* %0)
> +  %1 = bitcast %0* %__u.i to i8*
> +  call void @llvm.lifetime.start(i64 -1, i8* %1)
> +  store double %d1, double* %__x.addr.i, align 8
> +  %__f.i = getelementptr inbounds %0* %__u.i, i64 0, i32 0
> +  store double %d1, double* %__f.i, align 8
> +  %tmp = bitcast double %d1 to i64
> +; CHECK-NOT: shr
> +; CHECK: movmskpd
> +; CHECK-NEXT: and
> +  %tmp1 = lshr i64 %tmp, 63
> +  %shr.i = trunc i64 %tmp1 to i32
> +  call void @llvm.lifetime.end(i64 -1, i8* %0)
> +  call void @llvm.lifetime.end(i64 -1, i8* %1)
> +  ret i32 %shr.i
> +}
> +
> +define i32 @double_add_signbit(double %d1, double %d2) nounwind uwtable readnone ssp {
> +entry:
> +  %__x.addr.i = alloca double, align 8
> +  %__u.i = alloca %0, align 8
> +  %add = fadd double %d1, %d2
> +  %0 = bitcast double* %__x.addr.i to i8*
> +  call void @llvm.lifetime.start(i64 -1, i8* %0)
> +  %1 = bitcast %0* %__u.i to i8*
> +  call void @llvm.lifetime.start(i64 -1, i8* %1)
> +  store double %add, double* %__x.addr.i, align 8
> +  %__f.i = getelementptr inbounds %0* %__u.i, i64 0, i32 0
> +  store double %add, double* %__f.i, align 8
> +  %tmp = bitcast double %add to i64
> +; CHECK-NOT: shr
> +; CHECK: movmskpd
> +; CHECK-NEXT: and
> +  %tmp1 = lshr i64 %tmp, 63
> +  %shr.i = trunc i64 %tmp1 to i32
> +  call void @llvm.lifetime.end(i64 -1, i8* %0)
> +  call void @llvm.lifetime.end(i64 -1, i8* %1)
> +  ret i32 %shr.i
> +}
> +
> +define i32 @float_signbit(float %f1) nounwind uwtable readnone ssp {
> +entry:
> +  %__x.addr.i = alloca float, align 4
> +  %__u.i = alloca %union.anon, align 4
> +  %0 = bitcast float* %__x.addr.i to i8*
> +  call void @llvm.lifetime.start(i64 -1, i8* %0)
> +  %1 = bitcast %union.anon* %__u.i to i8*
> +  call void @llvm.lifetime.start(i64 -1, i8* %1)
> +  store float %f1, float* %__x.addr.i, align 4
> +  %__f.i = getelementptr inbounds %union.anon* %__u.i, i64 0, i32 0
> +  store float %f1, float* %__f.i, align 4
> +  %2 = bitcast float %f1 to i32
> +; CHECK-NOT: shr
> +; CHECK: movmskps
> +; CHECK-NEXT: and
> +  %shr.i = lshr i32 %2, 31
> +  call void @llvm.lifetime.end(i64 -1, i8* %0)
> +  call void @llvm.lifetime.end(i64 -1, i8* %1)
> +  ret i32 %shr.i
> +}
> +
> +define i32 @float_add_signbit(float %f1, float %f2) nounwind uwtable readnone ssp {
> +entry:
> +  %__x.addr.i = alloca float, align 4
> +  %__u.i = alloca %union.anon, align 4
> +  %add = fadd float %f1, %f2
> +  %0 = bitcast float* %__x.addr.i to i8*
> +  call void @llvm.lifetime.start(i64 -1, i8* %0)
> +  %1 = bitcast %union.anon* %__u.i to i8*
> +  call void @llvm.lifetime.start(i64 -1, i8* %1)
> +  store float %add, float* %__x.addr.i, align 4
> +  %__f.i = getelementptr inbounds %union.anon* %__u.i, i64 0, i32 0
> +  store float %add, float* %__f.i, align 4
> +  %2 = bitcast float %add to i32
> +; CHECK-NOT: shr
> +; CHECK: movmskps
> +; CHECK-NEXT: and
> +  %shr.i = lshr i32 %2, 31
> +  call void @llvm.lifetime.end(i64 -1, i8* %0)
> +  call void @llvm.lifetime.end(i64 -1, i8* %1)
> +  ret i32 %shr.i
> +}
> +
> +declare void @llvm.lifetime.start(i64, i8* nocapture) nounwind
> +
> +declare void @llvm.lifetime.end(i64, i8* nocapture) nounwind
> 
> 
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits