llvm/test/CodeGen/Generic/builtin-expect.ll

   1 ; RUN: llc < %s
   2
   3 define i32 @test1(i32 %x) nounwind uwtable ssp {
   4 entry:
   5   %retval = alloca i32, align 4
   6   %x.addr = alloca i32, align 4
   7   store i32 %x, ptr %x.addr, align 4
   8   %tmp = load i32, ptr %x.addr, align 4
   9   %cmp = icmp sgt i32 %tmp, 1
  10   %conv = zext i1 %cmp to i32
  11   %conv1 = sext i32 %conv to i64
  12   %expval = call i64 @llvm.expect.i64(i64 %conv1, i64 1)
  13   %tobool = icmp ne i64 %expval, 0
  14   br i1 %tobool, label %if.then, label %if.end
  15
  16 if.then:                                          ; preds = %entry
  17   %call = call i32 (...) @f()
  18   store i32 %call, ptr %retval
  19   br label %return
  20
  21 if.end:                                           ; preds = %entry
  22   store i32 1, ptr %retval
  23   br label %return
  24
  25 return:                                           ; preds = %if.end, %if.then
  26   %0 = load i32, ptr %retval
  27   ret i32 %0
  28 }
  29
  30 declare i64 @llvm.expect.i64(i64, i64) nounwind readnone
  31
  32 declare i32 @f(...)
  33
  34 define i32 @test2(i32 %x) nounwind uwtable ssp {
  35 entry:
  36   %retval = alloca i32, align 4
  37   %x.addr = alloca i32, align 4
  38   store i32 %x, ptr %x.addr, align 4
  39   %tmp = load i32, ptr %x.addr, align 4
  40   %conv = sext i32 %tmp to i64
  41   %expval = call i64 @llvm.expect.i64(i64 %conv, i64 1)
  42   %tobool = icmp ne i64 %expval, 0
  43   br i1 %tobool, label %if.then, label %if.end
  44
  45 if.then:                                          ; preds = %entry
  46   %call = call i32 (...) @f()
  47   store i32 %call, ptr %retval
  48   br label %return
  49
  50 if.end:                                           ; preds = %entry
  51   store i32 1, ptr %retval
  52   br label %return
  53
  54 return:                                           ; preds = %if.end, %if.then
  55   %0 = load i32, ptr %retval
  56   ret i32 %0
  57 }
  58
  59 define i32 @test3(i32 %x) nounwind uwtable ssp {
  60 entry:
  61   %retval = alloca i32, align 4
  62   %x.addr = alloca i32, align 4
  63   store i32 %x, ptr %x.addr, align 4
  64   %tmp = load i32, ptr %x.addr, align 4
  65   %tobool = icmp ne i32 %tmp, 0
  66   %lnot = xor i1 %tobool, true
  67   %lnot.ext = zext i1 %lnot to i32
  68   %conv = sext i32 %lnot.ext to i64
  69   %expval = call i64 @llvm.expect.i64(i64 %conv, i64 1)
  70   %tobool1 = icmp ne i64 %expval, 0
  71   br i1 %tobool1, label %if.then, label %if.end
  72
  73 if.then:                                          ; preds = %entry
  74   %call = call i32 (...) @f()
  75   store i32 %call, ptr %retval
  76   br label %return
  77
  78 if.end:                                           ; preds = %entry
  79   store i32 1, ptr %retval
  80   br label %return
  81
  82 return:                                           ; preds = %if.end, %if.then
  83   %0 = load i32, ptr %retval
  84   ret i32 %0
  85 }
  86
  87 define i32 @test4(i32 %x) nounwind uwtable ssp {
  88 entry:
  89   %retval = alloca i32, align 4
  90   %x.addr = alloca i32, align 4
  91   store i32 %x, ptr %x.addr, align 4
  92   %tmp = load i32, ptr %x.addr, align 4
  93   %tobool = icmp ne i32 %tmp, 0
  94   %lnot = xor i1 %tobool, true
  95   %lnot1 = xor i1 %lnot, true
  96   %lnot.ext = zext i1 %lnot1 to i32
  97   %conv = sext i32 %lnot.ext to i64
  98   %expval = call i64 @llvm.expect.i64(i64 %conv, i64 1)
  99   %tobool2 = icmp ne i64 %expval, 0
 100   br i1 %tobool2, label %if.then, label %if.end
 101
 102 if.then:                                          ; preds = %entry
 103   %call = call i32 (...) @f()
 104   store i32 %call, ptr %retval
 105   br label %return
 106
 107 if.end:                                           ; preds = %entry
 108   store i32 1, ptr %retval
 109   br label %return
 110
 111 return:                                           ; preds = %if.end, %if.then
 112   %0 = load i32, ptr %retval
 113   ret i32 %0
 114 }
 115
 116 define i32 @test5(i32 %x) nounwind uwtable ssp {
 117 entry:
 118   %retval = alloca i32, align 4
 119   %x.addr = alloca i32, align 4
 120   store i32 %x, ptr %x.addr, align 4
 121   %tmp = load i32, ptr %x.addr, align 4
 122   %cmp = icmp slt i32 %tmp, 0
 123   %conv = zext i1 %cmp to i32
 124   %conv1 = sext i32 %conv to i64
 125   %expval = call i64 @llvm.expect.i64(i64 %conv1, i64 0)
 126   %tobool = icmp ne i64 %expval, 0
 127   br i1 %tobool, label %if.then, label %if.end
 128
 129 if.then:                                          ; preds = %entry
 130   %call = call i32 (...) @f()
 131   store i32 %call, ptr %retval
 132   br label %return
 133
 134 if.end:                                           ; preds = %entry
 135   store i32 1, ptr %retval
 136   br label %return
 137
 138 return:                                           ; preds = %if.end, %if.then
 139   %0 = load i32, ptr %retval
 140   ret i32 %0
 141 }
 142
 143 define i32 @test6(i32 %x) nounwind uwtable ssp {
 144 entry:
 145   %retval = alloca i32, align 4
 146   %x.addr = alloca i32, align 4
 147   store i32 %x, ptr %x.addr, align 4
 148   %tmp = load i32, ptr %x.addr, align 4
 149   %conv = sext i32 %tmp to i64
 150   %expval = call i64 @llvm.expect.i64(i64 %conv, i64 1)
 151   switch i64 %expval, label %sw.epilog [
 152     i64 1, label %sw.bb
 153     i64 2, label %sw.bb
 154   ]
 155
 156 sw.bb:                                            ; preds = %entry, %entry
 157   store i32 0, ptr %retval
 158   br label %return
 159
 160 sw.epilog:                                        ; preds = %entry
 161   store i32 1, ptr %retval
 162   br label %return
 163
 164 return:                                           ; preds = %sw.epilog, %sw.bb
 165   %0 = load i32, ptr %retval
 166   ret i32 %0
 167 }
 168
 169 define i32 @test7(i32 %x) nounwind uwtable ssp {
 170 entry:
 171   %retval = alloca i32, align 4
 172   %x.addr = alloca i32, align 4
 173   store i32 %x, ptr %x.addr, align 4
 174   %tmp = load i32, ptr %x.addr, align 4
 175   %conv = sext i32 %tmp to i64
 176   %expval = call i64 @llvm.expect.i64(i64 %conv, i64 1)
 177   switch i64 %expval, label %sw.epilog [
 178     i64 2, label %sw.bb
 179     i64 3, label %sw.bb
 180   ]
 181
 182 sw.bb:                                            ; preds = %entry, %entry
 183   %tmp1 = load i32, ptr %x.addr, align 4
 184   store i32 %tmp1, ptr %retval
 185   br label %return
 186
 187 sw.epilog:                                        ; preds = %entry
 188   store i32 0, ptr %retval
 189   br label %return
 190
 191 return:                                           ; preds = %sw.epilog, %sw.bb
 192   %0 = load i32, ptr %retval
 193   ret i32 %0
 194 }
 195
 196 define i32 @test8(i32 %x) nounwind uwtable ssp {
 197 entry:
 198   %retval = alloca i32, align 4
 199   %x.addr = alloca i32, align 4
 200   store i32 %x, ptr %x.addr, align 4
 201   %tmp = load i32, ptr %x.addr, align 4
 202   %cmp = icmp sgt i32 %tmp, 1
 203   %conv = zext i1 %cmp to i32
 204   %expval = call i32 @llvm.expect.i32(i32 %conv, i32 1)
 205   %tobool = icmp ne i32 %expval, 0
 206   br i1 %tobool, label %if.then, label %if.end
 207
 208 if.then:                                          ; preds = %entry
 209   %call = call i32 (...) @f()
 210   store i32 %call, ptr %retval
 211   br label %return
 212
 213 if.end:                                           ; preds = %entry
 214   store i32 1, ptr %retval
 215   br label %return
 216
 217 return:                                           ; preds = %if.end, %if.then
 218   %0 = load i32, ptr %retval
 219   ret i32 %0
 220 }
 221
 222 declare i32 @llvm.expect.i32(i32, i32) nounwind readnone
 223