test/CodeGen/Thumb2/thumb2-ifcvt2.ll

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