[ValueTracking] De-pessimize isImpliedCondition around unsigned compares
[oota-llvm.git] / test / Transforms / GVN / 2009-01-21-SortInvalidation.ll
1 ; RUN: opt < %s -gvn | llvm-dis
2 ; PR3358
3 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"
4 target triple = "x86_64-unknown-linux-gnu"
5         %struct.re_pattern_buffer = type { i8*, i64, i64, i64, i8*, i8*, i64, i8 }
6         %struct.re_registers = type { i32, i32*, i32* }
7
8 define fastcc i32 @byte_re_match_2_internal(%struct.re_pattern_buffer* nocapture %bufp, i8* %string1, i32 %size1, i8* %string2, i32 %size2, i32 %pos, %struct.re_registers* %regs, i32 %stop) nounwind {
9 entry:
10         br label %bb159
11
12 succeed_label:          ; preds = %bb159
13         ret i32 0
14
15 bb159:          ; preds = %bb664, %bb554, %bb159, %bb159, %bb159, %entry
16         %d.0 = phi i8* [ null, %entry ], [ %d.0, %bb159 ], [ %d.0, %bb554 ], [ %d.0, %bb159 ], [ %d.0, %bb159 ], [ %d.12, %bb664 ]              ; <i8*> [#uses=5]
17         switch i32 0, label %bb661 [
18                 i32 0, label %bb159
19                 i32 1, label %succeed_label
20                 i32 13, label %bb159
21                 i32 14, label %bb159
22                 i32 16, label %bb411
23                 i32 24, label %bb622
24                 i32 28, label %bb543
25         ]
26
27 bb411:          ; preds = %bb411, %bb159
28         br label %bb411
29
30 bb543:          ; preds = %bb159
31         br i1 false, label %bb549, label %bb550
32
33 bb549:          ; preds = %bb543
34         br label %bb554
35
36 bb550:          ; preds = %bb543
37         br i1 false, label %bb554, label %bb552
38
39 bb552:          ; preds = %bb550
40         %0 = load i8, i8* %d.0, align 8         ; <i8> [#uses=0]
41         br label %bb554
42
43 bb554:          ; preds = %bb552, %bb550, %bb549
44         br i1 false, label %bb159, label %bb661
45
46 bb622:          ; preds = %bb622, %bb159
47         br label %bb622
48
49 bb661:          ; preds = %bb554, %bb159
50         %d.12 = select i1 false, i8* null, i8* null             ; <i8*> [#uses=1]
51         br label %bb664
52
53 bb664:          ; preds = %bb664, %bb661
54         br i1 false, label %bb159, label %bb664
55 }