test/CodeGen/X86/zext-extract_subreg.ll

   1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s
   2
   3 define void @t() nounwind ssp {
   4 ; CHECK: t:
   5 entry:
   6   br i1 undef, label %return, label %if.end.i
   7
   8 if.end.i:                                         ; preds = %entry
   9   %tmp7.i = load i32* undef, align 4, !tbaa !0
  10   br i1 undef, label %return, label %if.end
  11
  12 if.end:                                           ; preds = %if.end.i
  13 ; CHECK: %if.end
  14 ; CHECK: movl (%{{.*}}), [[REG:%[a-z]+]]
  15 ; CHECK-NOT: movl [[REG]], [[REG]]
  16 ; CHECK-NEXT: xorb
  17   %tmp138 = select i1 undef, i32 0, i32 %tmp7.i
  18   %tmp867 = zext i32 %tmp138 to i64
  19   br label %while.cond
  20
  21 while.cond:                                       ; preds = %while.body, %if.end
  22   %tmp869 = sub i64 %tmp867, 0
  23   %scale2.0 = trunc i64 %tmp869 to i32
  24   %cmp149 = icmp eq i32 %scale2.0, 0
  25   br i1 %cmp149, label %while.end, label %land.rhs
  26
  27 land.rhs:                                         ; preds = %while.cond
  28   br i1 undef, label %while.body, label %while.end
  29
  30 while.body:                                       ; preds = %land.rhs
  31   br label %while.cond
  32
  33 while.end:                                        ; preds = %land.rhs, %while.cond
  34   br i1 undef, label %cond.false205, label %cond.true190
  35
  36 cond.true190:                                     ; preds = %while.end
  37   br i1 undef, label %cond.false242, label %cond.true225
  38
  39 cond.false205:                                    ; preds = %while.end
  40   unreachable
  41
  42 cond.true225:                                     ; preds = %cond.true190
  43   br i1 undef, label %cond.false280, label %cond.true271
  44
  45 cond.false242:                                    ; preds = %cond.true190
  46   unreachable
  47
  48 cond.true271:                                     ; preds = %cond.true225
  49   unreachable
  50
  51 cond.false280:                                    ; preds = %cond.true225
  52   unreachable
  53
  54 return:                                           ; preds = %if.end.i, %entry
  55   ret void
  56 }
  57
  58 !0 = metadata !{metadata !"int", metadata !1}
  59 !1 = metadata !{metadata !"omnipotent char", metadata !2}
  60 !2 = metadata !{metadata !"Simple C/C++ TBAA", null}