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         br label %tailrecurse
  39
  40 tailrecurse:            ; preds = %bb, %entry
  41         %tmp6 = load %struct.quad_struct*, %struct.quad_struct** null           ; <%struct.quad_struct*> [#uses=1]
  42         %tmp9 = load %struct.quad_struct*, %struct.quad_struct** null           ; <%struct.quad_struct*> [#uses=2]
  43         %tmp12 = load %struct.quad_struct*, %struct.quad_struct** null          ; <%struct.quad_struct*> [#uses=1]
  44         %tmp14 = icmp eq %struct.quad_struct* null, null                ; <i1> [#uses=1]
  45         %tmp17 = icmp eq %struct.quad_struct* %tmp6, null               ; <i1> [#uses=1]
  46         %tmp23 = icmp eq %struct.quad_struct* %tmp9, null               ; <i1> [#uses=1]
  47         %tmp29 = icmp eq %struct.quad_struct* %tmp12, null              ; <i1> [#uses=1]
  48         %bothcond = and i1 %tmp17, %tmp14               ; <i1> [#uses=1]
  49         %bothcond1 = and i1 %bothcond, %tmp23           ; <i1> [#uses=1]
  50         %bothcond2 = and i1 %bothcond1, %tmp29          ; <i1> [#uses=1]
  51         br i1 %bothcond2, label %return, label %bb
  52
  53 bb:             ; preds = %tailrecurse
  54         %tmp41 = tail call fastcc i32 @CountTree( %struct.quad_struct* %tmp9 )          ; <i32> [#uses=0]
  55         br label %tailrecurse
  56
  57 return:         ; preds = %tailrecurse
  58         ret i32 0
  59 }
  60
  61         %struct.SString = type { i8*, i32, i32 }
  62
  63 declare void @abort()
  64
  65 define fastcc void @t1(%struct.SString* %word, i8 signext  %c) {
  66 entry:
  67 ; CHECK-LABEL: t1:
  68 ; CHECK: it ne
  69 ; CHECK: bxne lr
  70         %tmp1 = icmp eq %struct.SString* %word, null            ; <i1> [#uses=1]
  71         br i1 %tmp1, label %cond_true, label %cond_false
  72
  73 cond_true:              ; preds = %entry
  74         tail call void @abort( )
  75         ret void
  76
  77 cond_false:             ; preds = %entry
  78         ret void
  79 }
  80
  81 define fastcc void @t2() nounwind {
  82 entry:
  83 ; CHECK-LABEL: t2:
  84 ; CHECK: cmp r0, #0
  85 ; CHECK: trap
  86         br i1 undef, label %bb.i.i3, label %growMapping.exit
  87
  88 bb.i.i3:                ; preds = %entry
  89         unreachable
  90
  91 growMapping.exit:               ; preds = %entry
  92         unreachable
  93 }