llvm/test/Transforms/InstCombine/cast-mul-select.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3 ; RUN: opt -passes=debugify,instcombine -S < %s | FileCheck %s -check-prefix DBGINFO
   4
   5 ; RUN: opt -passes=debugify,instcombine -S < %s --try-experimental-debuginfo-iterators | FileCheck %s -check-prefix DBGINFO
   6
   7 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"
   8
   9 define i32 @mul(i32 %x, i32 %y) {
  10 ; CHECK-LABEL: @mul(
  11 ; CHECK-NEXT:    [[C:%.*]] = mul i32 [[X:%.*]], [[Y:%.*]]
  12 ; CHECK-NEXT:    [[D:%.*]] = and i32 [[C]], 255
  13 ; CHECK-NEXT:    ret i32 [[D]]
  14 ;
  15 ; DBGINFO-LABEL: @mul(
  16 ; DBGINFO-NEXT:      #dbg_value(i32 [[X:%.*]], [[META9:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META15:![0-9]+]])
  17 ; DBGINFO-NEXT:      #dbg_value(i32 [[Y:%.*]], [[META11:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META16:![0-9]+]])
  18 ; DBGINFO-NEXT:    [[C:%.*]] = mul i32 [[X]], [[Y]], !dbg [[DBG17:![0-9]+]]
  19 ; DBGINFO-NEXT:    [[D:%.*]] = and i32 [[C]], 255, !dbg [[DBG18:![0-9]+]]
  20 ; DBGINFO-NEXT:      #dbg_value(i32 [[C]], [[META12:![0-9]+]], !DIExpression(), [[DBG17]])
  21 ; DBGINFO-NEXT:      #dbg_value(i32 [[D]], [[META13:![0-9]+]], !DIExpression(), [[DBG18]])
  22 ; DBGINFO-NEXT:    ret i32 [[D]], !dbg [[DBG19:![0-9]+]]
  23 ;
  24
  25 ; Test that when zext is evaluated in different type
  26 ; we preserve the debug information in the resulting
  27 ; instruction.
  28
  29   %A = trunc i32 %x to i8
  30   %B = trunc i32 %y to i8
  31   %C = mul i8 %A, %B
  32   %D = zext i8 %C to i32
  33   ret i32 %D
  34 }
  35
  36 define i32 @select1(i1 %cond, i32 %x, i32 %y, i32 %z) {
  37 ; CHECK-LABEL: @select1(
  38 ; CHECK-NEXT:    [[D:%.*]] = add i32 [[X:%.*]], [[Y:%.*]]
  39 ; CHECK-NEXT:    [[E:%.*]] = select i1 [[COND:%.*]], i32 [[Z:%.*]], i32 [[D]]
  40 ; CHECK-NEXT:    [[F:%.*]] = and i32 [[E]], 255
  41 ; CHECK-NEXT:    ret i32 [[F]]
  42 ;
  43 ; DBGINFO-LABEL: @select1(
  44 ; DBGINFO-NEXT:      #dbg_value(i32 [[X:%.*]], [[META22:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META28:![0-9]+]])
  45 ; DBGINFO-NEXT:      #dbg_value(i32 [[Y:%.*]], [[META23:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META29:![0-9]+]])
  46 ; DBGINFO-NEXT:      #dbg_value(i32 [[Z:%.*]], [[META24:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META30:![0-9]+]])
  47 ; DBGINFO-NEXT:    [[D:%.*]] = add i32 [[X]], [[Y]], !dbg [[DBG31:![0-9]+]]
  48 ; DBGINFO-NEXT:      #dbg_value(!DIArgList(i32 [[X]], i32 [[Y]]), [[META25:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_plus, DW_OP_stack_value), [[DBG31]])
  49 ; DBGINFO-NEXT:    [[E:%.*]] = select i1 [[COND:%.*]], i32 [[Z]], i32 [[D]], !dbg [[DBG32:![0-9]+]]
  50 ; DBGINFO-NEXT:    [[F:%.*]] = and i32 [[E]], 255, !dbg [[DBG33:![0-9]+]]
  51 ; DBGINFO-NEXT:      #dbg_value(i32 [[E]], [[META26:![0-9]+]], !DIExpression(), [[DBG32]])
  52 ; DBGINFO-NEXT:      #dbg_value(i32 [[F]], [[META27:![0-9]+]], !DIExpression(), [[DBG33]])
  53 ; DBGINFO-NEXT:    ret i32 [[F]], !dbg [[DBG34:![0-9]+]]
  54 ;
  55   %A = trunc i32 %x to i8
  56   %B = trunc i32 %y to i8
  57   %C = trunc i32 %z to i8
  58   %D = add i8 %A, %B
  59   %E = select i1 %cond, i8 %C, i8 %D
  60   %F = zext i8 %E to i32
  61   ret i32 %F
  62 }
  63
  64 define i8 @select2(i1 %cond, i8 %x, i8 %y, i8 %z) {
  65 ; CHECK-LABEL: @select2(
  66 ; CHECK-NEXT:    [[D:%.*]] = add i8 [[X:%.*]], [[Y:%.*]]
  67 ; CHECK-NEXT:    [[E:%.*]] = select i1 [[COND:%.*]], i8 [[Z:%.*]], i8 [[D]]
  68 ; CHECK-NEXT:    ret i8 [[E]]
  69 ;
  70 ; DBGINFO-LABEL: @select2(
  71 ; DBGINFO-NEXT:      #dbg_value(i8 [[X:%.*]], [[META37:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value), [[META43:![0-9]+]])
  72 ; DBGINFO-NEXT:      #dbg_value(i8 [[Y:%.*]], [[META38:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value), [[META44:![0-9]+]])
  73 ; DBGINFO-NEXT:      #dbg_value(i8 [[Z:%.*]], [[META39:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value), [[META45:![0-9]+]])
  74 ; DBGINFO-NEXT:    [[D:%.*]] = add i8 [[X]], [[Y]], !dbg [[DBG46:![0-9]+]]
  75 ; DBGINFO-NEXT:      #dbg_value(!DIArgList(i8 [[X]], i8 [[Y]]), [[META40:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_plus, DW_OP_stack_value), [[DBG46]])
  76 ; DBGINFO-NEXT:      #dbg_value(i32 poison, [[META41:![0-9]+]], !DIExpression(), [[META47:![0-9]+]])
  77 ; DBGINFO-NEXT:    [[F:%.*]] = select i1 [[COND:%.*]], i8 [[Z]], i8 [[D]], !dbg [[META47]]
  78 ; DBGINFO-NEXT:      #dbg_value(i8 [[F]], [[META42:![0-9]+]], !DIExpression(), [[META48:![0-9]+]])
  79 ; DBGINFO-NEXT:    ret i8 [[F]], !dbg [[DBG49:![0-9]+]]
  80 ;
  81   %A = zext i8 %x to i32
  82   %B = zext i8 %y to i32
  83   %C = zext i8 %z to i32
  84   %D = add i32 %A, %B
  85   %E = select i1 %cond, i32 %C, i32 %D
  86   %F = trunc i32 %E to i8
  87   ret i8 %F
  88 }
  89
  90 ; The next 3 tests could be handled in instcombine, but evaluating values
  91 ; with multiple uses may be very slow. Let some other pass deal with it.
  92
  93 define i32 @eval_trunc_multi_use_in_one_inst(i32 %x) {
  94 ; CHECK-LABEL: @eval_trunc_multi_use_in_one_inst(
  95 ; CHECK-NEXT:    [[Z:%.*]] = zext i32 [[X:%.*]] to i64
  96 ; CHECK-NEXT:    [[A:%.*]] = add nuw nsw i64 [[Z]], 15
  97 ; CHECK-NEXT:    [[M:%.*]] = mul i64 [[A]], [[A]]
  98 ; CHECK-NEXT:    [[T:%.*]] = trunc i64 [[M]] to i32
  99 ; CHECK-NEXT:    ret i32 [[T]]
 100 ;
 101 ; DBGINFO-LABEL: @eval_trunc_multi_use_in_one_inst(
 102 ; DBGINFO-NEXT:    [[Z:%.*]] = zext i32 [[X:%.*]] to i64, !dbg [[DBG57:![0-9]+]]
 103 ; DBGINFO-NEXT:      #dbg_value(i64 [[Z]], [[META52:![0-9]+]], !DIExpression(), [[DBG57]])
 104 ; DBGINFO-NEXT:    [[A:%.*]] = add nuw nsw i64 [[Z]], 15, !dbg [[DBG58:![0-9]+]]
 105 ; DBGINFO-NEXT:      #dbg_value(i64 [[A]], [[META54:![0-9]+]], !DIExpression(), [[DBG58]])
 106 ; DBGINFO-NEXT:    [[M:%.*]] = mul i64 [[A]], [[A]], !dbg [[DBG59:![0-9]+]]
 107 ; DBGINFO-NEXT:      #dbg_value(i64 [[M]], [[META55:![0-9]+]], !DIExpression(), [[DBG59]])
 108 ; DBGINFO-NEXT:    [[T:%.*]] = trunc i64 [[M]] to i32, !dbg [[DBG60:![0-9]+]]
 109 ; DBGINFO-NEXT:      #dbg_value(i32 [[T]], [[META56:![0-9]+]], !DIExpression(), [[DBG60]])
 110 ; DBGINFO-NEXT:    ret i32 [[T]], !dbg [[DBG61:![0-9]+]]
 111 ;
 112   %z = zext i32 %x to i64
 113   %a = add nsw nuw i64 %z, 15
 114   %m = mul i64 %a, %a
 115   %t = trunc i64 %m to i32
 116   ret i32 %t
 117 }
 118
 119 define i32 @eval_zext_multi_use_in_one_inst(i32 %x) {
 120 ; CHECK-LABEL: @eval_zext_multi_use_in_one_inst(
 121 ; CHECK-NEXT:    [[T:%.*]] = trunc i32 [[X:%.*]] to i16
 122 ; CHECK-NEXT:    [[A:%.*]] = and i16 [[T]], 5
 123 ; CHECK-NEXT:    [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]]
 124 ; CHECK-NEXT:    [[R:%.*]] = zext nneg i16 [[M]] to i32
 125 ; CHECK-NEXT:    ret i32 [[R]]
 126 ;
 127 ; DBGINFO-LABEL: @eval_zext_multi_use_in_one_inst(
 128 ; DBGINFO-NEXT:    [[T:%.*]] = trunc i32 [[X:%.*]] to i16, !dbg [[DBG69:![0-9]+]]
 129 ; DBGINFO-NEXT:      #dbg_value(i16 [[T]], [[META64:![0-9]+]], !DIExpression(), [[DBG69]])
 130 ; DBGINFO-NEXT:    [[A:%.*]] = and i16 [[T]], 5, !dbg [[DBG70:![0-9]+]]
 131 ; DBGINFO-NEXT:      #dbg_value(i16 [[A]], [[META66:![0-9]+]], !DIExpression(), [[DBG70]])
 132 ; DBGINFO-NEXT:    [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]], !dbg [[DBG71:![0-9]+]]
 133 ; DBGINFO-NEXT:      #dbg_value(i16 [[M]], [[META67:![0-9]+]], !DIExpression(), [[DBG71]])
 134 ; DBGINFO-NEXT:    [[R:%.*]] = zext nneg i16 [[M]] to i32, !dbg [[DBG72:![0-9]+]]
 135 ; DBGINFO-NEXT:      #dbg_value(i32 [[R]], [[META68:![0-9]+]], !DIExpression(), [[DBG72]])
 136 ; DBGINFO-NEXT:    ret i32 [[R]], !dbg [[DBG73:![0-9]+]]
 137 ;
 138   %t = trunc i32 %x to i16
 139   %a = and i16 %t, 5
 140   %m = mul nuw nsw i16 %a, %a
 141   %r = zext i16 %m to i32
 142   ret i32 %r
 143 }
 144
 145 define i32 @eval_sext_multi_use_in_one_inst(i32 %x) {
 146 ; CHECK-LABEL: @eval_sext_multi_use_in_one_inst(
 147 ; CHECK-NEXT:    [[T:%.*]] = trunc i32 [[X:%.*]] to i16
 148 ; CHECK-NEXT:    [[A:%.*]] = and i16 [[T]], 14
 149 ; CHECK-NEXT:    [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]]
 150 ; CHECK-NEXT:    [[O:%.*]] = or disjoint i16 [[M]], -32768
 151 ; CHECK-NEXT:    [[R:%.*]] = sext i16 [[O]] to i32
 152 ; CHECK-NEXT:    ret i32 [[R]]
 153 ;
 154 ; DBGINFO-LABEL: @eval_sext_multi_use_in_one_inst(
 155 ; DBGINFO-NEXT:    [[T:%.*]] = trunc i32 [[X:%.*]] to i16, !dbg [[DBG81:![0-9]+]]
 156 ; DBGINFO-NEXT:      #dbg_value(i16 [[T]], [[META76:![0-9]+]], !DIExpression(), [[DBG81]])
 157 ; DBGINFO-NEXT:    [[A:%.*]] = and i16 [[T]], 14, !dbg [[DBG82:![0-9]+]]
 158 ; DBGINFO-NEXT:      #dbg_value(i16 [[A]], [[META77:![0-9]+]], !DIExpression(), [[DBG82]])
 159 ; DBGINFO-NEXT:    [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]], !dbg [[DBG83:![0-9]+]]
 160 ; DBGINFO-NEXT:      #dbg_value(i16 [[M]], [[META78:![0-9]+]], !DIExpression(), [[DBG83]])
 161 ; DBGINFO-NEXT:    [[O:%.*]] = or disjoint i16 [[M]], -32768, !dbg [[DBG84:![0-9]+]]
 162 ; DBGINFO-NEXT:      #dbg_value(i16 [[O]], [[META79:![0-9]+]], !DIExpression(), [[DBG84]])
 163 ; DBGINFO-NEXT:    [[R:%.*]] = sext i16 [[O]] to i32, !dbg [[DBG85:![0-9]+]]
 164 ; DBGINFO-NEXT:      #dbg_value(i32 [[R]], [[META80:![0-9]+]], !DIExpression(), [[DBG85]])
 165 ; DBGINFO-NEXT:    ret i32 [[R]], !dbg [[DBG86:![0-9]+]]
 166 ;
 167   %t = trunc i32 %x to i16
 168   %a = and i16 %t, 14
 169   %m = mul nuw nsw i16 %a, %a
 170   %o = or i16 %m, 32768
 171   %r = sext i16 %o to i32
 172   ret i32 %r
 173 }
 174
 175 ; If we have a transform to shrink the above 3 cases, make sure it's not
 176 ; also trying to look through multiple uses in this test and crashing.
 177
 178 define void @PR36225(i32 %a, i32 %b, i1 %c1, i3 %v1, i3 %v2) {
 179 ; CHECK-LABEL: @PR36225(
 180 ; CHECK-NEXT:  entry:
 181 ; CHECK-NEXT:    br label [[WHILE_BODY:%.*]]
 182 ; CHECK:       while.body:
 183 ; CHECK-NEXT:    br i1 [[C1:%.*]], label [[FOR_BODY3_US:%.*]], label [[FOR_BODY3:%.*]]
 184 ; CHECK:       for.body3.us:
 185 ; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp eq i32 [[B:%.*]], 0
 186 ; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[TOBOOL]], i8 0, i8 4
 187 ; CHECK-NEXT:    switch i3 [[V1:%.*]], label [[EXIT:%.*]] [
 188 ; CHECK-NEXT:      i3 0, label [[FOR_END:%.*]]
 189 ; CHECK-NEXT:      i3 -1, label [[FOR_END]]
 190 ; CHECK-NEXT:    ]
 191 ; CHECK:       for.body3:
 192 ; CHECK-NEXT:    switch i3 [[V2:%.*]], label [[EXIT]] [
 193 ; CHECK-NEXT:      i3 0, label [[FOR_END]]
 194 ; CHECK-NEXT:      i3 -1, label [[FOR_END]]
 195 ; CHECK-NEXT:    ]
 196 ; CHECK:       for.end:
 197 ; CHECK-NEXT:    [[H:%.*]] = phi i8 [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ 0, [[FOR_BODY3]] ], [ 0, [[FOR_BODY3]] ]
 198 ; CHECK-NEXT:    [[CONV:%.*]] = zext nneg i8 [[H]] to i32
 199 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], [[CONV]]
 200 ; CHECK-NEXT:    br i1 [[CMP]], label [[EXIT]], label [[EXIT2:%.*]]
 201 ; CHECK:       exit2:
 202 ; CHECK-NEXT:    unreachable
 203 ; CHECK:       exit:
 204 ; CHECK-NEXT:    unreachable
 205 ;
 206 ; DBGINFO-LABEL: @PR36225(
 207 ; DBGINFO-NEXT:  entry:
 208 ; DBGINFO-NEXT:    br label [[WHILE_BODY:%.*]], !dbg [[DBG94:![0-9]+]]
 209 ; DBGINFO:       while.body:
 210 ; DBGINFO-NEXT:      #dbg_value(i32 [[B:%.*]], [[META89:![0-9]+]], !DIExpression(DW_OP_lit0, DW_OP_eq, DW_OP_stack_value), [[META95:![0-9]+]])
 211 ; DBGINFO-NEXT:    br i1 [[C1:%.*]], label [[FOR_BODY3_US:%.*]], label [[FOR_BODY3:%.*]], !dbg [[DBG96:![0-9]+]]
 212 ; DBGINFO:       for.body3.us:
 213 ; DBGINFO-NEXT:    [[TOBOOL:%.*]] = icmp eq i32 [[B]], 0, !dbg [[META95]]
 214 ; DBGINFO-NEXT:      #dbg_value(i1 [[TOBOOL]], [[META89]], !DIExpression(), [[META95]])
 215 ; DBGINFO-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[TOBOOL]], i8 0, i8 4, !dbg [[DBG97:![0-9]+]]
 216 ; DBGINFO-NEXT:      #dbg_value(i8 [[SPEC_SELECT]], [[META90:![0-9]+]], !DIExpression(), [[DBG97]])
 217 ; DBGINFO-NEXT:    switch i3 [[V1:%.*]], label [[EXIT:%.*]] [
 218 ; DBGINFO-NEXT:      i3 0, label [[FOR_END:%.*]]
 219 ; DBGINFO-NEXT:      i3 -1, label [[FOR_END]]
 220 ; DBGINFO-NEXT:    ], !dbg [[DBG98:![0-9]+]]
 221 ; DBGINFO:       for.body3:
 222 ; DBGINFO-NEXT:    switch i3 [[V2:%.*]], label [[EXIT]] [
 223 ; DBGINFO-NEXT:      i3 0, label [[FOR_END]]
 224 ; DBGINFO-NEXT:      i3 -1, label [[FOR_END]]
 225 ; DBGINFO-NEXT:    ], !dbg [[DBG99:![0-9]+]]
 226 ; DBGINFO:       for.end:
 227 ; DBGINFO-NEXT:    [[H:%.*]] = phi i8 [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ 0, [[FOR_BODY3]] ], [ 0, [[FOR_BODY3]] ], !dbg [[DBG100:![0-9]+]]
 228 ; DBGINFO-NEXT:      #dbg_value(i8 [[H]], [[META91:![0-9]+]], !DIExpression(), [[DBG100]])
 229 ; DBGINFO-NEXT:    [[CONV:%.*]] = zext nneg i8 [[H]] to i32, !dbg [[DBG101:![0-9]+]]
 230 ; DBGINFO-NEXT:      #dbg_value(i32 [[CONV]], [[META92:![0-9]+]], !DIExpression(), [[DBG101]])
 231 ; DBGINFO-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], [[CONV]], !dbg [[DBG102:![0-9]+]]
 232 ; DBGINFO-NEXT:      #dbg_value(i1 [[CMP]], [[META93:![0-9]+]], !DIExpression(), [[DBG102]])
 233 ; DBGINFO-NEXT:    br i1 [[CMP]], label [[EXIT]], label [[EXIT2:%.*]], !dbg [[DBG103:![0-9]+]]
 234 ; DBGINFO:       exit2:
 235 ; DBGINFO-NEXT:    unreachable, !dbg [[DBG104:![0-9]+]]
 236 ; DBGINFO:       exit:
 237 ; DBGINFO-NEXT:    unreachable, !dbg [[DBG105:![0-9]+]]
 238 ;
 239 entry:
 240   br label %while.body
 241
 242 while.body:
 243   %tobool = icmp eq i32 %b, 0
 244   br i1 %c1, label %for.body3.us, label %for.body3
 245
 246 for.body3.us:
 247   %spec.select = select i1 %tobool, i8 0, i8 4
 248   switch i3 %v1, label %exit [
 249   i3 0, label %for.end
 250   i3 -1, label %for.end
 251   ]
 252
 253 for.body3:
 254   switch i3 %v2, label %exit [
 255   i3 0, label %for.end
 256   i3 -1, label %for.end
 257   ]
 258
 259 for.end:
 260   %h = phi i8 [ %spec.select, %for.body3.us ], [ %spec.select, %for.body3.us ], [ 0, %for.body3 ], [ 0, %for.body3 ]
 261   %conv = sext i8 %h to i32
 262   %cmp = icmp sgt i32 %a, %conv
 263   br i1 %cmp, label %exit, label %exit2
 264
 265 exit2:
 266   unreachable
 267
 268 exit:
 269   unreachable
 270 }
 271
 272 ; Check that we don't drop debug info when a zext is removed.
 273 define i1 @foo(i1 zeroext %b) {
 274 ; CHECK-LABEL: @foo(
 275 ; CHECK-NEXT:    ret i1 [[B:%.*]]
 276 ;
 277 ; DBGINFO-LABEL: @foo(
 278 ; DBGINFO-NEXT:      #dbg_value(i1 [[B:%.*]], [[META108:![0-9]+]], !DIExpression(DW_OP_LLVM_convert, 1, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value), [[META109:![0-9]+]])
 279 ; DBGINFO-NEXT:    ret i1 [[B]], !dbg [[DBG110:![0-9]+]]
 280 ;
 281
 282   %frombool = zext i1 %b to i8
 283   ret i1 %b
 284 }