this xform is correct, not an xfail
authorChris Lattner <sabre@nondot.org>
Sun, 8 Apr 2007 08:02:39 +0000 (08:02 +0000)
committerChris Lattner <sabre@nondot.org>
Sun, 8 Apr 2007 08:02:39 +0000 (08:02 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@35766 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll

index 67aeed92c6d0b5b8a58a2ff1b40a2d0564848394..da58dec1dcaabc53b5d12079ade41e92677fe6f3 100644 (file)
@@ -1,10 +1,7 @@
-; For PR1261. Before bit accurate type support in InstCombine, this would
-; turn the sext into a zext.
-; RUN: llvm-as %s -o - | opt -instcombine | llvm-dis | grep sext
-; XFAIL: *
+; RUN: llvm-as %s -o - | opt -instcombine | llvm-dis | grep zext
+; PR1261. 
 
 define i16 @test(i31 %zzz) {
-entry:
   %A = sext i31 %zzz to i32
   %B = add i32 %A, 16384
   %C = lshr i32 %B, 15