test/Transforms/GVN/2009-07-13-MemDepSortFail.ll

   1 ; RUN: opt < %s -gvn | llvm-dis
   2 ; PR4256
   3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
   4 target triple = "i386-pc-linux-gnu"
   5         %llvm.dbg.anchor.type = type { i32, i32 }
   6         %struct.cset = type { i8*, i8, i8, i32, i8* }
   7         %struct.lmat = type { %struct.re_guts*, i32, %llvm.dbg.anchor.type*, i8*, i8*, i8*, i8*, i8**, i32, i8*, i8*, i8*, i8*, i8* }
   8         %struct.re_guts = type { i32*, %struct.cset*, i8*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8*, i8*, i32, i32, i32, i32, [1 x i8] }
   9
  10 define i8* @lbackref(%struct.lmat* %m, i8* %start, i8* %stop, i32 %startst, i32 %stopst, i32 %lev, i32 %rec) nounwind {
  11 entry:
  12         br label %bb63
  13
  14 bb:             ; preds = %bb63
  15         switch i32 0, label %bb62 [
  16                 i32 268435456, label %bb2
  17                 i32 805306368, label %bb9
  18                 i32 -1610612736, label %bb51
  19         ]
  20
  21 bb2:            ; preds = %bb
  22         br label %bb62
  23
  24 bb9:            ; preds = %bb
  25         %0 = load i8, i8* %sp.1, align 1                ; <i8> [#uses=0]
  26         br label %bb62
  27
  28 bb51:           ; preds = %bb
  29         %1 = load i8, i8* %sp.1, align 1                ; <i8> [#uses=0]
  30         ret i8* null
  31
  32 bb62:           ; preds = %bb9, %bb2, %bb
  33         br label %bb63
  34
  35 bb63:           ; preds = %bb84, %bb69, %bb62, %entry
  36         %sp.1 = phi i8* [ null, %bb62 ], [ %sp.1.lcssa, %bb84 ], [ %start, %entry ], [ %sp.1.lcssa, %bb69 ]             ; <i8*> [#uses=3]
  37         br i1 false, label %bb, label %bb65
  38
  39 bb65:           ; preds = %bb63
  40         %sp.1.lcssa = phi i8* [ %sp.1, %bb63 ]          ; <i8*> [#uses=4]
  41         br i1 false, label %bb66, label %bb69
  42
  43 bb66:           ; preds = %bb65
  44         ret i8* null
  45
  46 bb69:           ; preds = %bb65
  47         switch i32 0, label %bb108.loopexit2.loopexit.loopexit [
  48                 i32 1342177280, label %bb63
  49                 i32 1476395008, label %bb84
  50                 i32 1879048192, label %bb104
  51                 i32 2013265920, label %bb93
  52         ]
  53
  54 bb84:           ; preds = %bb69
  55         %2 = tail call i8* @lbackref(%struct.lmat* %m, i8* %sp.1.lcssa, i8* %stop, i32 0, i32 %stopst, i32 0, i32 0) nounwind           ; <i8*> [#uses=0]
  56         br label %bb63
  57
  58 bb93:           ; preds = %bb69
  59         ret i8* null
  60
  61 bb104:          ; preds = %bb69
  62         %sp.1.lcssa.lcssa33 = phi i8* [ %sp.1.lcssa, %bb69 ]            ; <i8*> [#uses=0]
  63         unreachable
  64
  65 bb108.loopexit2.loopexit.loopexit:              ; preds = %bb69
  66         ret i8* null
  67 }