Propagate ValueRanges across equality.
[oota-llvm.git] / test / Integer / undefined_bt.ll
1 ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3 ; RUN: diff %t1.ll %t2.ll
4
5
6 @X = global i31 undef
7
8 implementation
9
10 declare i32 @"atoi"(i8 *)
11
12 define i63 @test() {
13         ret i63 undef
14 }
15
16 define i31 @test2() {
17         %X = add i31 undef, 1
18         ret i31 %X
19 }