mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 20:43:44 +02:00
276b736496
checking logic. Rather than make the checking more complicated, I've tweaked some logic to make things conform to how the checking thought things ought to be, since this results in a simpler "mental model". llvm-svn: 63048
17 lines
609 B
LLVM
17 lines
609 B
LLVM
; RUN: llvm-as < %s | llc -march=x86 -enable-legalize-types-checking
|
|
; PR3393
|
|
|
|
define void @foo(i32 inreg %x) {
|
|
%t709 = select i1 false, i32 0, i32 %x ; <i32> [#uses=1]
|
|
%t711 = add i32 %t709, 1 ; <i32> [#uses=4]
|
|
%t801 = icmp slt i32 %t711, 0 ; <i1> [#uses=1]
|
|
%t712 = zext i32 %t711 to i64 ; <i64> [#uses=1]
|
|
%t804 = select i1 %t801, i64 0, i64 %t712 ; <i64> [#uses=1]
|
|
store i64 %t804, i64* null
|
|
%t815 = icmp slt i32 %t711, 0 ; <i1> [#uses=1]
|
|
%t814 = sext i32 %t711 to i64 ; <i64> [#uses=1]
|
|
%t816 = select i1 %t815, i64 0, i64 %t814 ; <i64> [#uses=1]
|
|
store i64 %t816, i64* null
|
|
unreachable
|
|
}
|