auto-generate checks

Note: I removed the checks after each jump because that's noise, but we apparently
need branches rather than returning i1 to see the bt codegen in some cases.

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

diff --git a/test/CodeGen/X86/bt.ll b/test/CodeGen/X86/bt.ll
index 036ec0acc6e8b2878acef586d2b2ff973cb1f6c5..c2454800ed2a3f3f1acf1eb16f7a7b5dab8bb6be 100644 (file)
--- a/test/CodeGen/X86/bt.ll
+++ b/test/CodeGen/X86/bt.ll
@@ -1,4 +1,5 @@
-; RUN: llc < %s -mtriple=i386-apple-macosx -mcpu=penryn | FileCheck %s
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
 ; PR3253
 
 ; The register+memory form of the BT instruction should be usable on
@@ -18,516 +19,579 @@
 ;    - The and can be commuted.
 
 define void @test2(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: test2:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB0_2
+;
 entry:
-; CHECK: test2
-; CHECK: btl %ecx, %eax
-; CHECK: jb
-       %tmp29 = lshr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, 1               ; <i32> [#uses=1]
-       %tmp4 = icmp eq i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = lshr i32 %x, %n
+  %tmp3 = and i32 %tmp29, 1
+  %tmp4 = icmp eq i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @test2b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: test2b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB1_2
+;
 entry:
-; CHECK: test2b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = lshr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 1, %tmp29
-       %tmp4 = icmp eq i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = lshr i32 %x, %n
+  %tmp3 = and i32 1, %tmp29
+  %tmp4 = icmp eq i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @atest2(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: atest2:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB2_2
+;
 entry:
-; CHECK: atest2
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = ashr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, 1               ; <i32> [#uses=1]
-       %tmp4 = icmp eq i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = ashr i32 %x, %n
+  %tmp3 = and i32 %tmp29, 1
+  %tmp4 = icmp eq i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @atest2b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: atest2b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB3_2
+;
 entry:
-; CHECK: atest2b
-; CHECK: btl %e{{..}}, %e{{..}}
-       %tmp29 = ashr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 1, %tmp29
-       %tmp4 = icmp eq i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = ashr i32 %x, %n
+  %tmp3 = and i32 1, %tmp29
+  %tmp4 = icmp eq i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @test3(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: test3:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB4_2
+;
 entry:
-; CHECK: test3
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, %x              ; <i32> [#uses=1]
-       %tmp4 = icmp eq i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %tmp29, %x
+  %tmp4 = icmp eq i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @test3b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: test3b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB5_2
+;
 entry:
-; CHECK: test3b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %x, %tmp29
-       %tmp4 = icmp eq i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %x, %tmp29
+  %tmp4 = icmp eq i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @testne2(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: testne2:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB6_2
+;
 entry:
-; CHECK: testne2
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = lshr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, 1               ; <i32> [#uses=1]
-       %tmp4 = icmp ne i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = lshr i32 %x, %n
+  %tmp3 = and i32 %tmp29, 1
+  %tmp4 = icmp ne i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @testne2b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: testne2b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB7_2
+;
 entry:
-; CHECK: testne2b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = lshr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 1, %tmp29
-       %tmp4 = icmp ne i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = lshr i32 %x, %n
+  %tmp3 = and i32 1, %tmp29
+  %tmp4 = icmp ne i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @atestne2(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: atestne2:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB8_2
+;
 entry:
-; CHECK: atestne2
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = ashr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, 1               ; <i32> [#uses=1]
-       %tmp4 = icmp ne i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = ashr i32 %x, %n
+  %tmp3 = and i32 %tmp29, 1
+  %tmp4 = icmp ne i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @atestne2b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: atestne2b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB9_2
+;
 entry:
-; CHECK: atestne2b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = ashr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 1, %tmp29
-       %tmp4 = icmp ne i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = ashr i32 %x, %n
+  %tmp3 = and i32 1, %tmp29
+  %tmp4 = icmp ne i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @testne3(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: testne3:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB10_2
+;
 entry:
-; CHECK: testne3
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, %x              ; <i32> [#uses=1]
-       %tmp4 = icmp ne i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %tmp29, %x
+  %tmp4 = icmp ne i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @testne3b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: testne3b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB11_2
+;
 entry:
-; CHECK: testne3b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %x, %tmp29
-       %tmp4 = icmp ne i32 %tmp3, 0            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %x, %tmp29
+  %tmp4 = icmp ne i32 %tmp3, 0
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @query2(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: query2:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB12_2
+;
 entry:
-; CHECK: query2
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = lshr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, 1               ; <i32> [#uses=1]
-       %tmp4 = icmp eq i32 %tmp3, 1            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = lshr i32 %x, %n
+  %tmp3 = and i32 %tmp29, 1
+  %tmp4 = icmp eq i32 %tmp3, 1
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @query2b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: query2b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB13_2
+;
 entry:
-; CHECK: query2b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = lshr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 1, %tmp29
-       %tmp4 = icmp eq i32 %tmp3, 1            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = lshr i32 %x, %n
+  %tmp3 = and i32 1, %tmp29
+  %tmp4 = icmp eq i32 %tmp3, 1
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @aquery2(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: aquery2:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB14_2
+;
 entry:
-; CHECK: aquery2
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = ashr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, 1               ; <i32> [#uses=1]
-       %tmp4 = icmp eq i32 %tmp3, 1            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = ashr i32 %x, %n
+  %tmp3 = and i32 %tmp29, 1
+  %tmp4 = icmp eq i32 %tmp3, 1
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @aquery2b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: aquery2b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB15_2
+;
 entry:
-; CHECK: aquery2b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = ashr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 1, %tmp29
-       %tmp4 = icmp eq i32 %tmp3, 1            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = ashr i32 %x, %n
+  %tmp3 = and i32 1, %tmp29
+  %tmp4 = icmp eq i32 %tmp3, 1
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @query3(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: query3:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB16_2
+;
 entry:
-; CHECK: query3
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, %x              ; <i32> [#uses=1]
-       %tmp4 = icmp eq i32 %tmp3, %tmp29               ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %tmp29, %x
+  %tmp4 = icmp eq i32 %tmp3, %tmp29
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @query3b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: query3b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB17_2
+;
 entry:
-; CHECK: query3b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %x, %tmp29
-       %tmp4 = icmp eq i32 %tmp3, %tmp29               ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %x, %tmp29
+  %tmp4 = icmp eq i32 %tmp3, %tmp29
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @query3x(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: query3x:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB18_2
+;
 entry:
-; CHECK: query3x
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, %x              ; <i32> [#uses=1]
-       %tmp4 = icmp eq i32 %tmp29, %tmp3               ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %tmp29, %x
+  %tmp4 = icmp eq i32 %tmp29, %tmp3
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @query3bx(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: query3bx:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jae .LBB19_2
+;
 entry:
-; CHECK: query3bx
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jae
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %x, %tmp29
-       %tmp4 = icmp eq i32 %tmp29, %tmp3               ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %x, %tmp29
+  %tmp4 = icmp eq i32 %tmp29, %tmp3
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @queryne2(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: queryne2:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB20_2
+;
 entry:
-; CHECK: queryne2
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = lshr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, 1               ; <i32> [#uses=1]
-       %tmp4 = icmp ne i32 %tmp3, 1            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = lshr i32 %x, %n
+  %tmp3 = and i32 %tmp29, 1
+  %tmp4 = icmp ne i32 %tmp3, 1
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @queryne2b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: queryne2b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB21_2
+;
 entry:
-; CHECK: queryne2b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = lshr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 1, %tmp29
-       %tmp4 = icmp ne i32 %tmp3, 1            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = lshr i32 %x, %n
+  %tmp3 = and i32 1, %tmp29
+  %tmp4 = icmp ne i32 %tmp3, 1
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @aqueryne2(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: aqueryne2:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB22_2
+;
 entry:
-; CHECK: aqueryne2
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = ashr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, 1               ; <i32> [#uses=1]
-       %tmp4 = icmp ne i32 %tmp3, 1            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = ashr i32 %x, %n
+  %tmp3 = and i32 %tmp29, 1
+  %tmp4 = icmp ne i32 %tmp3, 1
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @aqueryne2b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: aqueryne2b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB23_2
+;
 entry:
-; CHECK: aqueryne2b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = ashr i32 %x, %n                ; <i32> [#uses=1]
-       %tmp3 = and i32 1, %tmp29
-       %tmp4 = icmp ne i32 %tmp3, 1            ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = ashr i32 %x, %n
+  %tmp3 = and i32 1, %tmp29
+  %tmp4 = icmp ne i32 %tmp3, 1
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @queryne3(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: queryne3:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB24_2
+;
 entry:
-; CHECK: queryne3
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, %x              ; <i32> [#uses=1]
-       %tmp4 = icmp ne i32 %tmp3, %tmp29               ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %tmp29, %x
+  %tmp4 = icmp ne i32 %tmp3, %tmp29
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @queryne3b(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: queryne3b:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB25_2
+;
 entry:
-; CHECK: queryne3b
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %x, %tmp29
-       %tmp4 = icmp ne i32 %tmp3, %tmp29               ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %x, %tmp29
+  %tmp4 = icmp ne i32 %tmp3, %tmp29
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @queryne3x(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: queryne3x:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB26_2
+;
 entry:
-; CHECK: queryne3x
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %tmp29, %x              ; <i32> [#uses=1]
-       %tmp4 = icmp ne i32 %tmp29, %tmp3               ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %tmp29, %x
+  %tmp4 = icmp ne i32 %tmp29, %tmp3
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 define void @queryne3bx(i32 %x, i32 %n) nounwind {
+; CHECK-LABEL: queryne3bx:
+; CHECK:       # BB#0: # %entry
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    jb .LBB27_2
+;
 entry:
-; CHECK: queryne3bx
-; CHECK: btl %e{{..}}, %e{{..}}
-; CHECK: jb
-       %tmp29 = shl i32 1, %n          ; <i32> [#uses=1]
-       %tmp3 = and i32 %x, %tmp29
-       %tmp4 = icmp ne i32 %tmp29, %tmp3               ; <i1> [#uses=1]
-       br i1 %tmp4, label %bb, label %UnifiedReturnBlock
-
-bb:            ; preds = %entry
-       call void @foo()
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %tmp29 = shl i32 1, %n
+  %tmp3 = and i32 %x, %tmp29
+  %tmp4 = icmp ne i32 %tmp29, %tmp3
+  br i1 %tmp4, label %bb, label %UnifiedReturnBlock
+
+bb:
+  call void @foo()
+  ret void
+
+UnifiedReturnBlock:
+  ret void
 }
 
 declare void @foo()
 
 define zeroext i1 @invert(i32 %flags, i32 %flag) nounwind {
-; CHECK: btl
-entry:
+; CHECK-LABEL: invert:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    notl %edi
+; CHECK-NEXT:    btl %esi, %edi
+; CHECK-NEXT:    setb %al
+; CHECK-NEXT:    retq
+;
   %neg = xor i32 %flags, -1
   %shl = shl i32 1, %flag
   %and = and i32 %shl, %neg
   %tobool = icmp ne i32 %and, 0
   ret i1 %tobool
 }
+