[ARM] Call setBooleanContents(ZeroOrOneBooleanContent)

The ARM backend should call setBooleanContents so that it can
use known bits to make some optimizations.

Review: D35821

Patch by Joel Galenson <jgalenson@google.com>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311446 91177308-0d34-0410-b5e6-96231b3b80d8

2 files changed, 1 insertions, 153 deletions

diff --git a/test/CodeGen/Thumb2/2009-09-28-ITBlockBug.ll b/test/CodeGen/Thumb2/2009-09-28-ITBlockBug.ll
deleted file mode 100644
index 8fdff02f9c1..00000000000
--- a/test/CodeGen/Thumb2/2009-09-28-ITBlockBug.ll
+++ /dev/null
@@ -1,152 +0,0 @@
-; RUN: llc < %s -mtriple=thumbv7-apple-darwin -mcpu=cortex-a8 -disable-cgp-branch-opts -arm-atomic-cfg-tidy=0 | FileCheck %s
-
-%struct.pix_pos = type { i32, i32, i32, i32, i32, i32 }
-
-@getNeighbour = external global void (i32, i32, i32, i32, %struct.pix_pos*)*, align 4 ; <void (i32, i32, i32, i32, %struct.pix_pos*)**> [#uses=2]
-
-define void @t() nounwind {
-; CHECK-LABEL: t:
-; CHECK:      it eq
-; CHECK-NEXT: cmpeq
-entry:
-  %pix_a.i294 = alloca [4 x %struct.pix_pos], align 4 ; <[4 x %struct.pix_pos]*> [#uses=2]
-  br i1 undef, label %land.rhs, label %lor.end
-
-land.rhs:                                         ; preds = %entry
-  br label %lor.end
-
-lor.end:                                          ; preds = %land.rhs, %entry
-  switch i32 0, label %if.end371 [
-    i32 10, label %if.then366
-    i32 14, label %if.then366
-  ]
-
-if.then366:                                       ; preds = %lor.end, %lor.end
-  unreachable
-
-if.end371:                                        ; preds = %lor.end
-  %arrayidx56.2.i = getelementptr [4 x %struct.pix_pos], [4 x %struct.pix_pos]* %pix_a.i294, i32 0, i32 2 ; <%struct.pix_pos*> [#uses=1]
-  %arrayidx56.3.i = getelementptr [4 x %struct.pix_pos], [4 x %struct.pix_pos]* %pix_a.i294, i32 0, i32 3 ; <%struct.pix_pos*> [#uses=1]
-  br i1 undef, label %for.body1857, label %for.end4557
-
-for.body1857:                                     ; preds = %if.end371
-  br i1 undef, label %if.then1867, label %for.cond1933
-
-if.then1867:                                      ; preds = %for.body1857
-  unreachable
-
-for.cond1933:                                     ; preds = %for.body1857
-  br i1 undef, label %for.body1940, label %if.then4493
-
-for.body1940:                                     ; preds = %for.cond1933
-  %shl = shl i32 undef, 2                         ; <i32> [#uses=1]
-  %shl1959 = shl i32 undef, 2                     ; <i32> [#uses=4]
-  br i1 undef, label %if.then1992, label %if.else2003
-
-if.then1992:                                      ; preds = %for.body1940
-  %tmp14.i302 = load i32, i32* undef                   ; <i32> [#uses=4]
-  %add.i307452 = or i32 %shl1959, 1               ; <i32> [#uses=1]
-  %sub.i308 = add i32 %shl, -1                    ; <i32> [#uses=4]
-  call  void undef(i32 %tmp14.i302, i32 %sub.i308, i32 %shl1959, i32 0, %struct.pix_pos* undef) nounwind
-  %tmp49.i309 = load void (i32, i32, i32, i32, %struct.pix_pos*)*, void (i32, i32, i32, i32, %struct.pix_pos*)** @getNeighbour ; <void (i32, i32, i32, i32, %struct.pix_pos*)*> [#uses=1]
-  call  void %tmp49.i309(i32 %tmp14.i302, i32 %sub.i308, i32 %add.i307452, i32 0, %struct.pix_pos* null) nounwind
-  %tmp49.1.i = load void (i32, i32, i32, i32, %struct.pix_pos*)*, void (i32, i32, i32, i32, %struct.pix_pos*)** @getNeighbour ; <void (i32, i32, i32, i32, %struct.pix_pos*)*> [#uses=1]
-  call  void %tmp49.1.i(i32 %tmp14.i302, i32 %sub.i308, i32 undef, i32 0, %struct.pix_pos* %arrayidx56.2.i) nounwind
-  call  void undef(i32 %tmp14.i302, i32 %sub.i308, i32 undef, i32 0, %struct.pix_pos* %arrayidx56.3.i) nounwind
-  unreachable
-
-if.else2003:                                      ; preds = %for.body1940
-  switch i32 undef, label %if.then2015 [
-    i32 10, label %if.then4382
-    i32 14, label %if.then4382
-  ]
-
-if.then2015:                                      ; preds = %if.else2003
-  br i1 undef, label %if.else2298, label %if.then2019
-
-if.then2019:                                      ; preds = %if.then2015
-  br i1 undef, label %if.then2065, label %if.else2081
-
-if.then2065:                                      ; preds = %if.then2019
-  br label %if.end2128
-
-if.else2081:                                      ; preds = %if.then2019
-  br label %if.end2128
-
-if.end2128:                                       ; preds = %if.else2081, %if.then2065
-  unreachable
-
-if.else2298:                                      ; preds = %if.then2015
-  br i1 undef, label %land.lhs.true2813, label %cond.end2841
-
-land.lhs.true2813:                                ; preds = %if.else2298
-  br i1 undef, label %cond.end2841, label %cond.true2824
-
-cond.true2824:                                    ; preds = %land.lhs.true2813
-  br label %cond.end2841
-
-cond.end2841:                                     ; preds = %cond.true2824, %land.lhs.true2813, %if.else2298
-  br i1 undef, label %for.cond2882.preheader, label %for.cond2940.preheader
-
-for.cond2882.preheader:                           ; preds = %cond.end2841
-  %mul3693 = shl i32 undef, 1                     ; <i32> [#uses=2]
-  br i1 undef, label %if.then3689, label %if.else3728
-
-for.cond2940.preheader:                           ; preds = %cond.end2841
-  br label %for.inc3040
-
-for.inc3040:                                      ; preds = %for.inc3040, %for.cond2940.preheader
-  br label %for.inc3040
-
-if.then3689:                                      ; preds = %for.cond2882.preheader
-  %add3695 = add nsw i32 %mul3693, %shl1959       ; <i32> [#uses=1]
-  %mul3697 = shl i32 %add3695, 2                  ; <i32> [#uses=2]
-  %arrayidx3705 = getelementptr inbounds i16, i16* undef, i32 1 ; <i16*> [#uses=1]
-  %tmp3706 = load i16, i16* %arrayidx3705              ; <i16> [#uses=1]
-  %conv3707 = sext i16 %tmp3706 to i32            ; <i32> [#uses=1]
-  %add3708 = add nsw i32 %conv3707, %mul3697      ; <i32> [#uses=1]
-  %arrayidx3724 = getelementptr inbounds i16, i16* null, i32 1 ; <i16*> [#uses=1]
-  %tmp3725 = load i16, i16* %arrayidx3724              ; <i16> [#uses=1]
-  %conv3726 = sext i16 %tmp3725 to i32            ; <i32> [#uses=1]
-  %add3727 = add nsw i32 %conv3726, %mul3697      ; <i32> [#uses=1]
-  br label %if.end3770
-
-if.else3728:                                      ; preds = %for.cond2882.preheader
-  %mul3733 = add i32 %shl1959, 1073741816         ; <i32> [#uses=1]
-  %add3735 = add nsw i32 %mul3733, %mul3693       ; <i32> [#uses=1]
-  %mul3737 = shl i32 %add3735, 2                  ; <i32> [#uses=2]
-  %tmp3746 = load i16, i16* undef                      ; <i16> [#uses=1]
-  %conv3747 = sext i16 %tmp3746 to i32            ; <i32> [#uses=1]
-  %add3748 = add nsw i32 %conv3747, %mul3737      ; <i32> [#uses=1]
-  %arrayidx3765 = getelementptr inbounds i16, i16* null, i32 1 ; <i16*> [#uses=1]
-  %tmp3766 = load i16, i16* %arrayidx3765              ; <i16> [#uses=1]
-  %conv3767 = sext i16 %tmp3766 to i32            ; <i32> [#uses=1]
-  %add3768 = add nsw i32 %conv3767, %mul3737      ; <i32> [#uses=1]
-  br label %if.end3770
-
-if.end3770:                                       ; preds = %if.else3728, %if.then3689
-  %vec2_y.1 = phi i32 [ %add3727, %if.then3689 ], [ %add3768, %if.else3728 ] ; <i32> [#uses=0]
-  %vec1_y.2 = phi i32 [ %add3708, %if.then3689 ], [ %add3748, %if.else3728 ] ; <i32> [#uses=0]
-  unreachable
-
-if.then4382:                                      ; preds = %if.else2003, %if.else2003
-  switch i32 undef, label %if.then4394 [
-    i32 10, label %if.else4400
-    i32 14, label %if.else4400
-  ]
-
-if.then4394:                                      ; preds = %if.then4382
-  unreachable
-
-if.else4400:                                      ; preds = %if.then4382, %if.then4382
-  br label %for.cond4451.preheader
-
-for.cond4451.preheader:                           ; preds = %for.cond4451.preheader, %if.else4400
-  br label %for.cond4451.preheader
-
-if.then4493:                                      ; preds = %for.cond1933
-  unreachable
-
-for.end4557:                                      ; preds = %if.end371
-  ret void
-}
diff --git a/test/CodeGen/Thumb2/2010-11-22-EpilogueBug.ll b/test/CodeGen/Thumb2/2010-11-22-EpilogueBug.ll
index 382f5dc281d..d0afa3c8dfe 100644
--- a/test/CodeGen/Thumb2/2010-11-22-EpilogueBug.ll
+++ b/test/CodeGen/Thumb2/2010-11-22-EpilogueBug.ll
@@ -8,7 +8,7 @@ declare void @bar() nounwind optsize
 define void @foo() nounwind optsize "no-frame-pointer-elim"="true" {
 ; CHECK-LABEL: foo:
 ; CHECK: push
-; CHECK: mov r7, sp
+; CHECK: add r7, sp
 ; CHECK: sub sp, #4
 entry:
   %m.i = alloca %struct.buf*, align 4