[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / SCCP / crash.ll
blob3ec1fd21745e340ea35a59b1b6c0b2b45db86280
1 ; RUN: opt -sccp -S < %s
2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
3 target triple = "x86_64-apple-darwin10.0"
5 define void @test1(i8 %arg) {
6 entry:
7   br i1 undef, label %return, label %bb
9 bb:   
10   br label %bb34
12 bb23: 
13   %c = icmp eq i8 %arg, undef 
14   br i1 %c, label %bb34, label %bb23
16 bb34:
17   %Kind.1 = phi i32 [ undef, %bb ], [ %ins174, %bb23 ] 
18   %mask173 = or i32 %Kind.1, 7
19   %ins174 = and i32 %mask173, -249
20   br label %bb23
22 return:
23   ret void
26 define i32 @test2([4 x i32] %A) {
27   %B = extractvalue [4 x i32] %A, 1
28   ret i32 %B
31 define x86_mmx @test3() {
32   %load = load x86_mmx, x86_mmx* null
33   ret x86_mmx %load