test/CodeGen/X86/2009-01-26-WrongCheck.ll

   1 ; RUN: llvm-as < %s | llc -march=x86 -enable-legalize-types-checking
   2 ; PR3393
   3
   4 define void @foo(i32 inreg %x) {
   5         %t709 = select i1 false, i32 0, i32 %x          ; <i32> [#uses=1]
   6         %t711 = add i32 %t709, 1                ; <i32> [#uses=4]
   7         %t801 = icmp slt i32 %t711, 0           ; <i1> [#uses=1]
   8         %t712 = zext i32 %t711 to i64           ; <i64> [#uses=1]
   9         %t804 = select i1 %t801, i64 0, i64 %t712               ; <i64> [#uses=1]
  10         store i64 %t804, i64* null
  11         %t815 = icmp slt i32 %t711, 0           ; <i1> [#uses=1]
  12         %t814 = sext i32 %t711 to i64           ; <i64> [#uses=1]
  13         %t816 = select i1 %t815, i64 0, i64 %t814               ; <i64> [#uses=1]
  14         store i64 %t816, i64* null
  15         unreachable
  16 }