Don't do (x - (y - z)) --> (x + (z - y)) on floating-point types, because
[oota-llvm.git] / test / Transforms / LoopIndexSplit / 2009-03-02-UpdateIterationSpace-crash.ll
1 ; RUN: llvm-as < %s | opt -loop-index-split -disable-output
2         %struct.CGPoint = type { double, double }
3         %struct.IBCFMutableDictionary = type { %struct.NSMutableArray, %struct.__CFDictionary*, %struct.NSSortDescriptor*, %struct.NSSortDescriptor* }
4         %struct.IBInspectorMode = type opaque
5         %struct.IBInspectorModeView = type { %struct.NSView, %struct.NSArray*, %struct.IBCFMutableDictionary*, %struct.IBInspectorMode*, %struct.IBInspectorMode*, %struct.IBInspectorMode*, %struct.objc_selector*, %struct.NSObject* }
6         %struct.NSArray = type { %struct.NSObject }
7         %struct.NSImage = type { %struct.NSObject, %struct.NSArray*, %struct.CGPoint, %struct.__imageFlags, %struct.NSObject*, %struct._NSImageAuxiliary* }
8         %struct.NSMutableArray = type { %struct.NSArray }
9         %struct.NSObject = type { %struct.objc_class* }
10         %struct.NSRect = type { %struct.CGPoint, %struct.CGPoint }
11         %struct.NSResponder = type { %struct.NSObject, %struct.NSObject* }
12         %struct.NSSortDescriptor = type { %struct.NSObject, i64, %struct.NSArray*, %struct.objc_selector*, %struct.NSObject* }
13         %struct.NSURL = type { %struct.NSObject, %struct.NSArray*, %struct.NSURL*, i8*, i8* }
14         %struct.NSView = type { %struct.NSResponder, %struct.NSRect, %struct.NSRect, %struct.NSObject*, %struct.NSObject*, %struct.NSWindow*, %struct.NSObject*, %struct.NSObject*, %struct.NSObject*, %struct.NSObject*, %struct._NSViewAuxiliary*, %struct._VFlags, %struct.__VFlags2 }
15         %struct.NSWindow = type { %struct.NSResponder, %struct.NSRect, %struct.NSObject*, %struct.NSObject*, %struct.NSResponder*, %struct.NSView*, %struct.NSView*, %struct.NSObject*, %struct.NSObject*, i32, i64, i32, %struct.NSArray*, %struct.NSObject*, i8, i8, i8, i8, i8*, i8*, %struct.NSImage*, i32, %struct.NSMutableArray*, %struct.NSURL*, %struct.CGPoint*, %struct.NSArray*, %struct.NSArray*, %struct.__wFlags, %struct.NSObject*, %struct.NSView*, %struct.NSWindowAuxiliary* }
16         %struct.NSWindowAuxiliary = type opaque
17         %struct._NSImageAuxiliary = type opaque
18         %struct._NSViewAuxiliary = type opaque
19         %struct._VFlags = type <{ i8, i8, i8, i8 }>
20         %struct.__CFDictionary = type opaque
21         %struct.__VFlags2 = type <{ i32 }>
22         %struct.__imageFlags = type <{ i8, [3 x i8] }>
23         %struct.__wFlags = type <{ i8, i8, i8, i8, i8, i8, i8, i8 }>
24         %struct.objc_class = type opaque
25         %struct.objc_selector = type opaque
26
27 define %struct.NSArray* @"\01-[IBInspectorModeView calculateModeRects]"(%struct.IBInspectorModeView* %self, %struct.objc_selector* %_cmd) optsize ssp {
28 entry:
29         br i1 false, label %bb7, label %bb
30
31 bb:             ; preds = %entry
32         br i1 false, label %bb.nph, label %bb7.loopexit
33
34 bb.nph:         ; preds = %bb
35         br label %bb1
36
37 bb1:            ; preds = %bb6, %bb.nph
38         %midx.01 = phi i64 [ %3, %bb6 ], [ 0, %bb.nph ]         ; <i64> [#uses=3]
39         %0 = icmp sge i64 %midx.01, 0           ; <i1> [#uses=1]
40         %1 = icmp sle i64 %midx.01, 0           ; <i1> [#uses=1]
41         %2 = and i1 %0, %1              ; <i1> [#uses=1]
42         br i1 %2, label %bb4, label %bb5
43
44 bb4:            ; preds = %bb1
45         br label %bb5
46
47 bb5:            ; preds = %bb4, %bb1
48         %modeWidth.0 = phi double [ 0.000000e+00, %bb1 ], [ 0.000000e+00, %bb4 ]                ; <double> [#uses=0]
49         %3 = add i64 %midx.01, 1                ; <i64> [#uses=1]
50         br label %bb6
51
52 bb6:            ; preds = %bb5
53         %4 = icmp slt i64 0, 0          ; <i1> [#uses=1]
54         br i1 %4, label %bb1, label %bb6.bb7.loopexit_crit_edge
55
56 bb6.bb7.loopexit_crit_edge:             ; preds = %bb6
57         br label %bb7.loopexit
58
59 bb7.loopexit:           ; preds = %bb6.bb7.loopexit_crit_edge, %bb
60         br label %bb7
61
62 bb7:            ; preds = %bb7.loopexit, %entry
63         ret %struct.NSArray* null
64 }