test/CodeGen/Thumb2/thumb2-ifcvt2.ll

   1 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin | FileCheck %s
   2
   3 define void @foo(i32 %X, i32 %Y) {
   4 entry:
   5 ; CHECK: foo:
   6 ; CHECK: it ne
   7 ; CHECK: cmpne
   8 ; CHECK: it hi
   9 ; CHECK: pophi {r7, pc}
  10         %tmp1 = icmp ult i32 %X, 4              ; <i1> [#uses=1]
  11         %tmp4 = icmp eq i32 %Y, 0               ; <i1> [#uses=1]
  12         %tmp7 = or i1 %tmp4, %tmp1              ; <i1> [#uses=1]
  13         br i1 %tmp7, label %cond_true, label %UnifiedReturnBlock
  14
  15 cond_true:              ; preds = %entry
  16         %tmp10 = call i32 (...)* @bar( )                ; <i32> [#uses=0]
  17         ret void
  18
  19 UnifiedReturnBlock:             ; preds = %entry
  20         ret void
  21 }
  22
  23 declare i32 @bar(...)
  24
  25 ; FIXME: Need post-ifcvt branch folding to get rid of the extra br at end of BB1.
  26
  27         %struct.quad_struct = type { i32, i32, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct*, %struct.quad_struct* }
  28
  29 define fastcc i32 @CountTree(%struct.quad_struct* %tree) {
  30 entry:
  31 ; CHECK: CountTree:
  32 ; CHECK: it eq
  33 ; CHECK: cmpeq
  34 ; CHECK: bne
  35 ; CHECK: cmp
  36 ; CHECK: itt eq
  37 ; CHECK: moveq
  38 ; CHECK: popeq
  39         br label %tailrecurse
  40
  41 tailrecurse:            ; preds = %bb, %entry
  42         %tmp6 = load %struct.quad_struct** null         ; <%struct.quad_struct*> [#uses=1]
  43         %tmp9 = load %struct.quad_struct** null         ; <%struct.quad_struct*> [#uses=2]
  44         %tmp12 = load %struct.quad_struct** null                ; <%struct.quad_struct*> [#uses=1]
  45         %tmp14 = icmp eq %struct.quad_struct* null, null                ; <i1> [#uses=1]
  46         %tmp17 = icmp eq %struct.quad_struct* %tmp6, null               ; <i1> [#uses=1]
  47         %tmp23 = icmp eq %struct.quad_struct* %tmp9, null               ; <i1> [#uses=1]
  48         %tmp29 = icmp eq %struct.quad_struct* %tmp12, null              ; <i1> [#uses=1]
  49         %bothcond = and i1 %tmp17, %tmp14               ; <i1> [#uses=1]
  50         %bothcond1 = and i1 %bothcond, %tmp23           ; <i1> [#uses=1]
  51         %bothcond2 = and i1 %bothcond1, %tmp29          ; <i1> [#uses=1]
  52         br i1 %bothcond2, label %return, label %bb
  53
  54 bb:             ; preds = %tailrecurse
  55         %tmp41 = tail call fastcc i32 @CountTree( %struct.quad_struct* %tmp9 )          ; <i32> [#uses=0]
  56         br label %tailrecurse
  57
  58 return:         ; preds = %tailrecurse
  59         ret i32 0
  60 }
  61
  62         %struct.SString = type { i8*, i32, i32 }
  63
  64 declare void @abort()
  65
  66 define fastcc void @t1(%struct.SString* %word, i8 signext  %c) {
  67 entry:
  68 ; CHECK: t1:
  69 ; CHECK: it ne
  70 ; CHECK: popne {r7, pc}
  71         %tmp1 = icmp eq %struct.SString* %word, null            ; <i1> [#uses=1]
  72         br i1 %tmp1, label %cond_true, label %cond_false
  73
  74 cond_true:              ; preds = %entry
  75         tail call void @abort( )
  76         unreachable
  77
  78 cond_false:             ; preds = %entry
  79         ret void
  80 }
  81
  82 define fastcc void @t2() nounwind {
  83 entry:
  84 ; CHECK: t2:
  85 ; CHECK: cmp r0, #0
  86 ; CHECK: beq
  87         br i1 undef, label %bb.i.i3, label %growMapping.exit
  88
  89 bb.i.i3:                ; preds = %entry
  90         unreachable
  91
  92 growMapping.exit:               ; preds = %entry
  93         unreachable
  94 }