[ARM] Do not generate Tag_DIV_use=AllowDIVExt when hardware div is non-optional:...
[oota-llvm.git] / test / Analysis / Dominators / 2006-10-02-BreakCritEdges.ll
index cce885beec6ef3e1ebd518c38238eef85ee0120f..45efc4238114f1b0d550ef6163182c5ff90aade2 100644 (file)
@@ -1,20 +1,21 @@
-; RUN: llvm-as < %s | opt -domtree -break-crit-edges -analyze -domtree | grep '3.*%brtrue$'
+; RUN: opt < %s -domtree -break-crit-edges -analyze -domtree | FileCheck %s
 ; PR932
-implementation   ; Functions:
 
-declare void %use1(int)
+; CHECK: [3] %brtrue {1,2}
 
-void %f(int %i, bool %c) {
+declare void @use1(i32)
+
+define void @f(i32 %i, i1 %c) {
 entry:
-       %A = seteq int %i, 0            ; <bool> [#uses=1]
-       br bool %A, label %brtrue, label %brfalse
+       %A = icmp eq i32 %i, 0          ; <i1> [#uses=1]
+       br i1 %A, label %brtrue, label %brfalse
 
 brtrue:                ; preds = %brtrue, %entry
-       %B = phi bool [ true, %brtrue ], [ false, %entry ]              ; <bool> [#uses=1]
-       call void %use1( int %i )
-       br bool %B, label %brtrue, label %brfalse
+       %B = phi i1 [ true, %brtrue ], [ false, %entry ]                ; <i1> [#uses=1]
+       call void @use1( i32 %i )
+       br i1 %B, label %brtrue, label %brfalse
 
 brfalse:               ; preds = %brtrue, %entry
-       call void %use1( int %i )
+       call void @use1( i32 %i )
        ret void
 }