From: Evgeniy Stepanov Date: Tue, 15 Jan 2013 17:12:04 +0000 (+0000) Subject: [msan] Temporarily remove ICmpEQ tests. X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=111877dd12c60406a77f8cae702190d9762bcaed;p=oota-llvm.git [msan] Temporarily remove ICmpEQ tests. They are failing on the bots. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@172540 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Instrumentation/MemorySanitizer/msan_basic.ll b/test/Instrumentation/MemorySanitizer/msan_basic.ll index d62ebfe5359..641a3a26f4e 100644 --- a/test/Instrumentation/MemorySanitizer/msan_basic.ll +++ b/test/Instrumentation/MemorySanitizer/msan_basic.ll @@ -378,60 +378,6 @@ define <2 x i1> @ICmpSLT_vector(<2 x i32*> %x) nounwind uwtable readnone { ; CHECK: ret <2 x i1> -; Check that we propagate shadow for x == y comparison. -; This is a bit complex. See the comment in handleEqualityComparison. - -define i1 @ICmpEQ(i32 %x, i32 %y) nounwind uwtable readnone { - %1 = icmp eq i32 %x, %y - ret i1 %1 -} - -; CHECK: @ICmpEQ -; CHECK: xor i32 %x, %y -; CHECK: or i32 -; CHECK: xor i32 -; CHECK: and i32 -; CHECK: icmp eq i32 -; CHECK: icmp ne i32 -; CHECK: and i1 -; CHECK: icmp eq i32 %x, %y -; CHECK: ret i1 - -define <2 x i1> @ICmpEQ_vector(<2 x i32> %x, <2 x i32> %y) nounwind uwtable readnone { - %1 = icmp eq <2 x i32> %x, %y - ret <2 x i1> %1 -} - -; CHECK: @ICmpEQ_vector -; CHECK: xor <2 x i32> %x, %y -; CHECK: or <2 x i32> -; CHECK: xor <2 x i32> -; CHECK: and <2 x i32> -; CHECK: icmp eq <2 x i32> -; CHECK: icmp ne <2 x i32> -; CHECK: and <2 x i1> -; CHECK: icmp eq <2 x i32> %x, %y -; CHECK: ret <2 x i1> - -define <2 x i1> @ICmpEQ_pointer_vector(<2 x i32*> %x, <2 x i32*> %y) nounwind uwtable readnone { - %1 = icmp eq <2 x i32*> %x, %y - ret <2 x i1> %1 -} - -; CHECK: @ICmpEQ_pointer_vector -; CHECK: ptrtoint <2 x i32*> %x to <2 x i64> -; CHECK: ptrtoint <2 x i32*> %y to <2 x i64> -; CHECK: xor <2 x i64> -; CHECK: or <2 x i64> -; CHECK: xor <2 x i64> -; CHECK: and <2 x i64> -; CHECK: icmp eq <2 x i64> -; CHECK: icmp ne <2 x i64> -; CHECK: and <2 x i1> -; CHECK: icmp eq <2 x i32*> %x, %y -; CHECK: ret <2 x i1> - - ; Check that loads of shadow have the same aligment as the original loads. ; Check that loads of origin have the aligment of max(4, original alignment).