llvm/test/CodeGen/Generic/overflow.ll

   1 ; RUN: llc < %s
   2 ; Verify codegen's don't crash on overflow intrinsics.
   3
   4 ;; SADD
   5
   6 define zeroext i8 @sadd_i8(i8 signext %a, i8 signext %b) nounwind ssp {
   7 entry:
   8   %sadd = tail call { i8, i1 } @llvm.sadd.with.overflow.i8(i8 %a, i8 %b)
   9   %cmp = extractvalue { i8, i1 } %sadd, 1
  10   %sadd.result = extractvalue { i8, i1 } %sadd, 0
  11   %X = select i1 %cmp, i8 %sadd.result, i8 42
  12   ret i8 %X
  13 }
  14
  15 declare { i8, i1 } @llvm.sadd.with.overflow.i8(i8, i8) nounwind readnone
  16
  17 define zeroext i16 @sadd_i16(i16 signext %a, i16 signext %b) nounwind ssp {
  18 entry:
  19   %sadd = tail call { i16, i1 } @llvm.sadd.with.overflow.i16(i16 %a, i16 %b)
  20   %cmp = extractvalue { i16, i1 } %sadd, 1
  21   %sadd.result = extractvalue { i16, i1 } %sadd, 0
  22   %X = select i1 %cmp, i16 %sadd.result, i16 42
  23   ret i16 %X
  24 }
  25
  26 declare { i16, i1 } @llvm.sadd.with.overflow.i16(i16, i16) nounwind readnone
  27
  28 define zeroext i32 @sadd_i32(i32 signext %a, i32 signext %b) nounwind ssp {
  29 entry:
  30   %sadd = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %a, i32 %b)
  31   %cmp = extractvalue { i32, i1 } %sadd, 1
  32   %sadd.result = extractvalue { i32, i1 } %sadd, 0
  33   %X = select i1 %cmp, i32 %sadd.result, i32 42
  34   ret i32 %X
  35 }
  36
  37 declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32) nounwind readnone
  38
  39
  40 ;; UADD
  41
  42 define zeroext i8 @uadd_i8(i8 signext %a, i8 signext %b) nounwind ssp {
  43 entry:
  44   %uadd = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 %b)
  45   %cmp = extractvalue { i8, i1 } %uadd, 1
  46   %uadd.result = extractvalue { i8, i1 } %uadd, 0
  47   %X = select i1 %cmp, i8 %uadd.result, i8 42
  48   ret i8 %X
  49 }
  50
  51 declare { i8, i1 } @llvm.uadd.with.overflow.i8(i8, i8) nounwind readnone
  52
  53 define zeroext i16 @uadd_i16(i16 signext %a, i16 signext %b) nounwind ssp {
  54 entry:
  55   %uadd = tail call { i16, i1 } @llvm.uadd.with.overflow.i16(i16 %a, i16 %b)
  56   %cmp = extractvalue { i16, i1 } %uadd, 1
  57   %uadd.result = extractvalue { i16, i1 } %uadd, 0
  58   %X = select i1 %cmp, i16 %uadd.result, i16 42
  59   ret i16 %X
  60 }
  61
  62 declare { i16, i1 } @llvm.uadd.with.overflow.i16(i16, i16) nounwind readnone
  63
  64 define zeroext i32 @uadd_i32(i32 signext %a, i32 signext %b) nounwind ssp {
  65 entry:
  66   %uadd = tail call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %a, i32 %b)
  67   %cmp = extractvalue { i32, i1 } %uadd, 1
  68   %uadd.result = extractvalue { i32, i1 } %uadd, 0
  69   %X = select i1 %cmp, i32 %uadd.result, i32 42
  70   ret i32 %X
  71 }
  72
  73 declare { i32, i1 } @llvm.uadd.with.overflow.i32(i32, i32) nounwind readnone
  74
  75
  76
  77 ;; ssub
  78
  79 define zeroext i8 @ssub_i8(i8 signext %a, i8 signext %b) nounwind ssp {
  80 entry:
  81   %ssub = tail call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %a, i8 %b)
  82   %cmp = extractvalue { i8, i1 } %ssub, 1
  83   %ssub.result = extractvalue { i8, i1 } %ssub, 0
  84   %X = select i1 %cmp, i8 %ssub.result, i8 42
  85   ret i8 %X
  86 }
  87
  88 declare { i8, i1 } @llvm.ssub.with.overflow.i8(i8, i8) nounwind readnone
  89
  90 define zeroext i16 @ssub_i16(i16 signext %a, i16 signext %b) nounwind ssp {
  91 entry:
  92   %ssub = tail call { i16, i1 } @llvm.ssub.with.overflow.i16(i16 %a, i16 %b)
  93   %cmp = extractvalue { i16, i1 } %ssub, 1
  94   %ssub.result = extractvalue { i16, i1 } %ssub, 0
  95   %X = select i1 %cmp, i16 %ssub.result, i16 42
  96   ret i16 %X
  97 }
  98
  99 declare { i16, i1 } @llvm.ssub.with.overflow.i16(i16, i16) nounwind readnone
 100
 101 define zeroext i32 @ssub_i32(i32 signext %a, i32 signext %b) nounwind ssp {
 102 entry:
 103   %ssub = tail call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 %a, i32 %b)
 104   %cmp = extractvalue { i32, i1 } %ssub, 1
 105   %ssub.result = extractvalue { i32, i1 } %ssub, 0
 106   %X = select i1 %cmp, i32 %ssub.result, i32 42
 107   ret i32 %X
 108 }
 109
 110 declare { i32, i1 } @llvm.ssub.with.overflow.i32(i32, i32) nounwind readnone
 111
 112
 113 ;; usub
 114
 115 define zeroext i8 @usub_i8(i8 signext %a, i8 signext %b) nounwind ssp {
 116 entry:
 117   %usub = tail call { i8, i1 } @llvm.usub.with.overflow.i8(i8 %a, i8 %b)
 118   %cmp = extractvalue { i8, i1 } %usub, 1
 119   %usub.result = extractvalue { i8, i1 } %usub, 0
 120   %X = select i1 %cmp, i8 %usub.result, i8 42
 121   ret i8 %X
 122 }
 123
 124 declare { i8, i1 } @llvm.usub.with.overflow.i8(i8, i8) nounwind readnone
 125
 126 define zeroext i16 @usub_i16(i16 signext %a, i16 signext %b) nounwind ssp {
 127 entry:
 128   %usub = tail call { i16, i1 } @llvm.usub.with.overflow.i16(i16 %a, i16 %b)
 129   %cmp = extractvalue { i16, i1 } %usub, 1
 130   %usub.result = extractvalue { i16, i1 } %usub, 0
 131   %X = select i1 %cmp, i16 %usub.result, i16 42
 132   ret i16 %X
 133 }
 134
 135 declare { i16, i1 } @llvm.usub.with.overflow.i16(i16, i16) nounwind readnone
 136
 137 define zeroext i32 @usub_i32(i32 signext %a, i32 signext %b) nounwind ssp {
 138 entry:
 139   %usub = tail call { i32, i1 } @llvm.usub.with.overflow.i32(i32 %a, i32 %b)
 140   %cmp = extractvalue { i32, i1 } %usub, 1
 141   %usub.result = extractvalue { i32, i1 } %usub, 0
 142   %X = select i1 %cmp, i32 %usub.result, i32 42
 143   ret i32 %X
 144 }
 145
 146 declare { i32, i1 } @llvm.usub.with.overflow.i32(i32, i32) nounwind readnone
 147
 148
 149
 150 ;; smul
 151
 152 define zeroext i8 @smul_i8(i8 signext %a, i8 signext %b) nounwind ssp {
 153 entry:
 154   %smul = tail call { i8, i1 } @llvm.smul.with.overflow.i8(i8 %a, i8 %b)
 155   %cmp = extractvalue { i8, i1 } %smul, 1
 156   %smul.result = extractvalue { i8, i1 } %smul, 0
 157   %X = select i1 %cmp, i8 %smul.result, i8 42
 158   ret i8 %X
 159 }
 160
 161 declare { i8, i1 } @llvm.smul.with.overflow.i8(i8, i8) nounwind readnone
 162
 163 define zeroext i16 @smul_i16(i16 signext %a, i16 signext %b) nounwind ssp {
 164 entry:
 165   %smul = tail call { i16, i1 } @llvm.smul.with.overflow.i16(i16 %a, i16 %b)
 166   %cmp = extractvalue { i16, i1 } %smul, 1
 167   %smul.result = extractvalue { i16, i1 } %smul, 0
 168   %X = select i1 %cmp, i16 %smul.result, i16 42
 169   ret i16 %X
 170 }
 171
 172 declare { i16, i1 } @llvm.smul.with.overflow.i16(i16, i16) nounwind readnone
 173
 174 define zeroext i32 @smul_i32(i32 signext %a, i32 signext %b) nounwind ssp {
 175 entry:
 176   %smul = tail call { i32, i1 } @llvm.smul.with.overflow.i32(i32 %a, i32 %b)
 177   %cmp = extractvalue { i32, i1 } %smul, 1
 178   %smul.result = extractvalue { i32, i1 } %smul, 0
 179   %X = select i1 %cmp, i32 %smul.result, i32 42
 180   ret i32 %X
 181 }
 182
 183 declare { i32, i1 } @llvm.smul.with.overflow.i32(i32, i32) nounwind readnone
 184
 185
 186 ;; umul
 187
 188 define zeroext i8 @umul_i8(i8 signext %a, i8 signext %b) nounwind ssp {
 189 entry:
 190   %umul = tail call { i8, i1 } @llvm.umul.with.overflow.i8(i8 %a, i8 %b)
 191   %cmp = extractvalue { i8, i1 } %umul, 1
 192   %umul.result = extractvalue { i8, i1 } %umul, 0
 193   %X = select i1 %cmp, i8 %umul.result, i8 42
 194   ret i8 %X
 195 }
 196
 197 declare { i8, i1 } @llvm.umul.with.overflow.i8(i8, i8) nounwind readnone
 198
 199 define zeroext i16 @umul_i16(i16 signext %a, i16 signext %b) nounwind ssp {
 200 entry:
 201   %umul = tail call { i16, i1 } @llvm.umul.with.overflow.i16(i16 %a, i16 %b)
 202   %cmp = extractvalue { i16, i1 } %umul, 1
 203   %umul.result = extractvalue { i16, i1 } %umul, 0
 204   %X = select i1 %cmp, i16 %umul.result, i16 42
 205   ret i16 %X
 206 }
 207
 208 declare { i16, i1 } @llvm.umul.with.overflow.i16(i16, i16) nounwind readnone
 209
 210 define zeroext i32 @umul_i32(i32 signext %a, i32 signext %b) nounwind ssp {
 211 entry:
 212   %umul = tail call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %a, i32 %b)
 213   %cmp = extractvalue { i32, i1 } %umul, 1
 214   %umul.result = extractvalue { i32, i1 } %umul, 0
 215   %X = select i1 %cmp, i32 %umul.result, i32 42
 216   ret i32 %X
 217 }
 218
 219 declare { i32, i1 } @llvm.umul.with.overflow.i32(i32, i32) nounwind readnone
 220