test/Transforms/SimplifyCFG/MagicPointer.ll

   1 ; Test that simplifycfg can create switch instructions from constant pointers.
   2 ;
   3 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
   4
   5 ; CHECK: switch i64 %magicptr
   6 ; CHECK: i64 0, label
   7 ; CHECK: i64 1, label
   8 ; CHECK: i64 2, label
   9 ; CHECK: i64 3, label
  10 ; CHECK: i64 4, label
  11 ; CHECK: }
  12
  13 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-n8:16:32:64"
  14 target triple = "x86_64-apple-darwin10.0.0"
  15
  16 @.str = private constant [5 x i8] c"null\00"      ; <[5 x i8]*> [#uses=2]
  17 @.str1 = private constant [4 x i8] c"one\00"      ; <[4 x i8]*> [#uses=2]
  18 @.str2 = private constant [4 x i8] c"two\00"      ; <[4 x i8]*> [#uses=2]
  19 @.str3 = private constant [5 x i8] c"four\00"     ; <[5 x i8]*> [#uses=2]
  20
  21 define void @f(i8* %x) nounwind ssp {
  22 entry:
  23   %tobool = icmp eq i8* %x, null                  ; <i1> [#uses=1]
  24   br i1 %tobool, label %if.then, label %if.else
  25
  26 if.then:                                          ; preds = %entry
  27   %call = call i32 @puts(i8* getelementptr inbounds ([5 x i8]* @.str, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  28   br label %if.end21
  29
  30 if.else:                                          ; preds = %entry
  31   %cmp = icmp eq i8* %x, inttoptr (i64 1 to i8*)  ; <i1> [#uses=1]
  32   br i1 %cmp, label %if.then2, label %if.else4
  33
  34 if.then2:                                         ; preds = %if.else
  35   %call3 = call i32 @puts(i8* getelementptr inbounds ([4 x i8]* @.str1, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  36   br label %if.end20
  37
  38 if.else4:                                         ; preds = %if.else
  39   %cmp6 = icmp eq i8* %x, inttoptr (i64 2 to i8*) ; <i1> [#uses=1]
  40   br i1 %cmp6, label %if.then9, label %lor.lhs.false
  41
  42 lor.lhs.false:                                    ; preds = %if.else4
  43   %cmp8 = icmp eq i8* %x, inttoptr (i64 3 to i8*) ; <i1> [#uses=1]
  44   br i1 %cmp8, label %if.then9, label %if.else11
  45
  46 if.then9:                                         ; preds = %lor.lhs.false, %if.else4
  47   %call10 = call i32 @puts(i8* getelementptr inbounds ([4 x i8]* @.str2, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  48   br label %if.end19
  49
  50 if.else11:                                        ; preds = %lor.lhs.false
  51   %cmp13 = icmp eq i8* %x, inttoptr (i64 4 to i8*) ; <i1> [#uses=1]
  52   br i1 %cmp13, label %if.then14, label %if.else16
  53
  54 if.then14:                                        ; preds = %if.else11
  55   %call15 = call i32 @puts(i8* getelementptr inbounds ([5 x i8]* @.str3, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  56   br label %if.end
  57
  58 if.else16:                                        ; preds = %if.else11
  59   %call18 = call i32 @puts(i8* %x) nounwind       ; <i32> [#uses=0]
  60   br label %if.end
  61
  62 if.end:                                           ; preds = %if.else16, %if.then14
  63   br label %if.end19
  64
  65 if.end19:                                         ; preds = %if.end, %if.then9
  66   br label %if.end20
  67
  68 if.end20:                                         ; preds = %if.end19, %if.then2
  69   br label %if.end21
  70
  71 if.end21:                                         ; preds = %if.end20, %if.then
  72   ret void
  73 }
  74
  75 declare i32 @puts(i8*)