llvm/test/Transforms/JumpThreading/phi-eq.ll

   1 ; RUN: opt < %s -jump-threading -S | FileCheck %s
   2 ; Test whether two consecutive switches with identical structures assign the
   3 ; proper value to the proper variable.  This is really testing
   4 ; Instruction::isIdenticalToWhenDefined, as previously that function was
   5 ; returning true if the value part of the operands of two phis were identical,
   6 ; even if the incoming blocks were not.
   7 ; NB: this function should be pruned down more.
   8
   9 %struct._GList = type { i8*, %struct._GList*, %struct._GList* }
  10 %struct.filter_def = type { i8*, i8* }
  11
  12 @capture_filters = external hidden global %struct._GList*, align 8
  13 @display_filters = external hidden global %struct._GList*, align 8
  14 @.str2 = external hidden unnamed_addr constant [10 x i8], align 1
  15 @__PRETTY_FUNCTION__.copy_filter_list = external hidden unnamed_addr constant [62 x i8], align 1
  16 @.str12 = external hidden unnamed_addr constant [22 x i8], align 1
  17 @.str13 = external hidden unnamed_addr constant [31 x i8], align 1
  18 @capture_edited_filters = external hidden global %struct._GList*, align 8
  19 @display_edited_filters = external hidden global %struct._GList*, align 8
  20 @__PRETTY_FUNCTION__.get_filter_list = external hidden unnamed_addr constant [44 x i8], align 1
  21
  22 declare void @g_assertion_message(i8*, i8*, i32, i8*, i8*) noreturn
  23
  24 declare void @g_free(i8*)
  25
  26 declare %struct._GList* @g_list_first(%struct._GList*)
  27
  28 declare noalias i8* @g_malloc(i64)
  29
  30 define void @copy_filter_list(i32 %dest_type, i32 %src_type) nounwind uwtable ssp {
  31 entry:
  32   br label %do.body
  33
  34 do.body:                                          ; preds = %entry
  35   %cmp = icmp ne i32 %dest_type, %src_type
  36   br i1 %cmp, label %if.then, label %if.else
  37
  38 if.then:                                          ; preds = %do.body
  39   br label %if.end
  40
  41 if.else:                                          ; preds = %do.body
  42   call void @g_assertion_message_expr(i8* null, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str2, i32 0, i32 0), i32 581, i8* getelementptr inbounds ([62 x i8], [62 x i8]* @__PRETTY_FUNCTION__.copy_filter_list, i32 0, i32 0), i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str12, i32 0, i32 0)) noreturn
  43   unreachable
  44
  45 if.end:                                           ; preds = %if.then
  46   br label %do.end
  47
  48 do.end:                                           ; preds = %if.end
  49   switch i32 %dest_type, label %sw.default.i [
  50     i32 0, label %sw.bb.i
  51     i32 1, label %sw.bb1.i
  52     i32 2, label %sw.bb2.i
  53     i32 3, label %sw.bb3.i
  54   ]
  55
  56 sw.bb.i:                                          ; preds = %do.end
  57   br label %get_filter_list.exit
  58
  59 sw.bb1.i:                                         ; preds = %do.end
  60   br label %get_filter_list.exit
  61
  62 sw.bb2.i:                                         ; preds = %do.end
  63   br label %get_filter_list.exit
  64
  65 sw.bb3.i:                                         ; preds = %do.end
  66   br label %get_filter_list.exit
  67
  68 sw.default.i:                                     ; preds = %do.end
  69   call void @g_assertion_message(i8* null, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str2, i32 0, i32 0), i32 408, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @__PRETTY_FUNCTION__.get_filter_list, i32 0, i32 0), i8* null) noreturn nounwind
  70   unreachable
  71
  72 get_filter_list.exit:                             ; preds = %sw.bb3.i, %sw.bb2.i, %sw.bb1.i, %sw.bb.i
  73   %0 = phi %struct._GList** [ @display_edited_filters, %sw.bb3.i ], [ @capture_edited_filters, %sw.bb2.i ], [ @display_filters, %sw.bb1.i ], [ @capture_filters, %sw.bb.i ]
  74   switch i32 %src_type, label %sw.default.i5 [
  75     i32 0, label %sw.bb.i1
  76     i32 1, label %sw.bb1.i2
  77     i32 2, label %sw.bb2.i3
  78     i32 3, label %sw.bb3.i4
  79   ]
  80
  81 sw.bb.i1:                                         ; preds = %get_filter_list.exit
  82   br label %get_filter_list.exit6
  83
  84 sw.bb1.i2:                                        ; preds = %get_filter_list.exit
  85   br label %get_filter_list.exit6
  86
  87 sw.bb2.i3:                                        ; preds = %get_filter_list.exit
  88   br label %get_filter_list.exit6
  89
  90 sw.bb3.i4:                                        ; preds = %get_filter_list.exit
  91   br label %get_filter_list.exit6
  92
  93 sw.default.i5:                                    ; preds = %get_filter_list.exit
  94   call void @g_assertion_message(i8* null, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str2, i32 0, i32 0), i32 408, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @__PRETTY_FUNCTION__.get_filter_list, i32 0, i32 0), i8* null) noreturn nounwind
  95   unreachable
  96
  97 ; CHECK: get_filter_list.exit
  98 get_filter_list.exit6:                            ; preds = %sw.bb3.i4, %sw.bb2.i3, %sw.bb1.i2, %sw.bb.i1
  99   %1 = phi %struct._GList** [ @display_edited_filters, %sw.bb3.i4 ], [ @capture_edited_filters, %sw.bb2.i3 ], [ @display_filters, %sw.bb1.i2 ], [ @capture_filters, %sw.bb.i1 ]
 100 ; CHECK: %2 = load
 101   %2 = load %struct._GList*, %struct._GList** %1, align 8
 102 ; We should have jump-threading insert an additional load here for the value
 103 ; coming out of the first switch, which is picked up by a subsequent phi
 104 ; CHECK: %.pr = load %struct._GList*, %struct._GList** %0
 105 ; CHECK-NEXT:  br label %while.cond
 106   br label %while.cond
 107
 108 ; CHECK: while.cond
 109 while.cond:                                       ; preds = %while.body, %get_filter_list.exit6
 110 ; CHECK: {{= phi .*%.pr}}
 111   %3 = load %struct._GList*, %struct._GList** %0, align 8
 112 ; CHECK: tobool
 113   %tobool = icmp ne %struct._GList* %3, null
 114   br i1 %tobool, label %while.body, label %while.end
 115
 116 while.body:                                       ; preds = %while.cond
 117   %4 = load %struct._GList*, %struct._GList** %0, align 8
 118   %5 = load %struct._GList*, %struct._GList** %0, align 8
 119   %call2 = call %struct._GList* @g_list_first(%struct._GList* %5)
 120   %data.i = getelementptr inbounds %struct._GList, %struct._GList* %call2, i32 0, i32 0
 121   %6 = load i8*, i8** %data.i, align 8
 122   %7 = bitcast i8* %6 to %struct.filter_def*
 123   %name.i = getelementptr inbounds %struct.filter_def, %struct.filter_def* %7, i32 0, i32 0
 124   %8 = load i8*, i8** %name.i, align 8
 125   call void @g_free(i8* %8) nounwind
 126   %strval.i = getelementptr inbounds %struct.filter_def, %struct.filter_def* %7, i32 0, i32 1
 127   %9 = load i8*, i8** %strval.i, align 8
 128   call void @g_free(i8* %9) nounwind
 129   %10 = bitcast %struct.filter_def* %7 to i8*
 130   call void @g_free(i8* %10) nounwind
 131   %call.i = call %struct._GList* @g_list_remove_link(%struct._GList* %4, %struct._GList* %call2) nounwind
 132   store %struct._GList* %call.i, %struct._GList** %0, align 8
 133   br label %while.cond
 134
 135 while.end:                                        ; preds = %while.cond
 136   br label %do.body4
 137
 138 do.body4:                                         ; preds = %while.end
 139   %11 = load %struct._GList*, %struct._GList** %0, align 8
 140   %call5 = call i32 @g_list_length(%struct._GList* %11)
 141   %cmp6 = icmp eq i32 %call5, 0
 142   br i1 %cmp6, label %if.then7, label %if.else8
 143
 144 if.then7:                                         ; preds = %do.body4
 145   br label %if.end9
 146
 147 if.else8:                                         ; preds = %do.body4
 148   call void @g_assertion_message_expr(i8* null, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str2, i32 0, i32 0), i32 600, i8* getelementptr inbounds ([62 x i8], [62 x i8]* @__PRETTY_FUNCTION__.copy_filter_list, i32 0, i32 0), i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str13, i32 0, i32 0)) noreturn
 149   unreachable
 150
 151 if.end9:                                          ; preds = %if.then7
 152   br label %do.end10
 153
 154 do.end10:                                         ; preds = %if.end9
 155   br label %while.cond11
 156
 157 while.cond11:                                     ; preds = %cond.end, %do.end10
 158   %cond10 = phi %struct._GList* [ %cond, %cond.end ], [ %2, %do.end10 ]
 159   %tobool12 = icmp ne %struct._GList* %cond10, null
 160   br i1 %tobool12, label %while.body13, label %while.end16
 161
 162 while.body13:                                     ; preds = %while.cond11
 163   %data = getelementptr inbounds %struct._GList, %struct._GList* %cond10, i32 0, i32 0
 164   %12 = load i8*, i8** %data, align 8
 165   %13 = bitcast i8* %12 to %struct.filter_def*
 166   %14 = load %struct._GList*, %struct._GList** %0, align 8
 167   %name = getelementptr inbounds %struct.filter_def, %struct.filter_def* %13, i32 0, i32 0
 168   %15 = load i8*, i8** %name, align 8
 169   %strval = getelementptr inbounds %struct.filter_def, %struct.filter_def* %13, i32 0, i32 1
 170   %16 = load i8*, i8** %strval, align 8
 171   %call.i7 = call noalias i8* @g_malloc(i64 16) nounwind
 172   %17 = bitcast i8* %call.i7 to %struct.filter_def*
 173   %call1.i = call noalias i8* @g_strdup(i8* %15) nounwind
 174   %name.i8 = getelementptr inbounds %struct.filter_def, %struct.filter_def* %17, i32 0, i32 0
 175   store i8* %call1.i, i8** %name.i8, align 8
 176   %call2.i = call noalias i8* @g_strdup(i8* %16) nounwind
 177   %strval.i9 = getelementptr inbounds %struct.filter_def, %struct.filter_def* %17, i32 0, i32 1
 178   store i8* %call2.i, i8** %strval.i9, align 8
 179   %18 = bitcast %struct.filter_def* %17 to i8*
 180   %call3.i = call %struct._GList* @g_list_append(%struct._GList* %14, i8* %18) nounwind
 181   store %struct._GList* %call3.i, %struct._GList** %0, align 8
 182   %tobool15 = icmp ne %struct._GList* %cond10, null
 183   br i1 %tobool15, label %cond.true, label %cond.false
 184
 185 cond.true:                                        ; preds = %while.body13
 186   %next = getelementptr inbounds %struct._GList, %struct._GList* %cond10, i32 0, i32 1
 187   %19 = load %struct._GList*, %struct._GList** %next, align 8
 188   br label %cond.end
 189
 190 cond.false:                                       ; preds = %while.body13
 191   br label %cond.end
 192
 193 cond.end:                                         ; preds = %cond.false, %cond.true
 194   %cond = phi %struct._GList* [ %19, %cond.true ], [ null, %cond.false ]
 195   br label %while.cond11
 196
 197 while.end16:                                      ; preds = %while.cond11
 198   ret void
 199 }
 200
 201 declare void @g_assertion_message_expr(i8*, i8*, i32, i8*, i8*) noreturn
 202
 203 declare i32 @g_list_length(%struct._GList*)
 204
 205 declare noalias i8* @g_strdup(i8*)
 206
 207 declare %struct._GList* @g_list_append(%struct._GList*, i8*)
 208
 209 declare %struct._GList* @g_list_remove_link(%struct._GList*, %struct._GList*)