XFAIL test/CodeGen/Generic/MachineBranchProb.ll on Hexagon (PR23377)
[oota-llvm.git] / test / CodeGen / Generic / 2006-06-28-SimplifySetCCCrash.ll
index f5d0fb35c4787fddcade9156e60669a679a7bf7b..bdd9787c6ab30dcaff3dc81cc56def31e2cb4045 100644 (file)
-; RUN: llvm-upgrade < %s | llvm-as | llc
-       %struct.rtunion = type { long }
-       %struct.rtx_def = type { ushort, ubyte, ubyte, [1 x %struct.rtunion] }
-%ix86_cpu = external global uint               ; <uint*> [#uses=1]
-%which_alternative = external global int               ; <int*> [#uses=3]
+; RUN: llc < %s        
+%struct.rtunion = type { i64 }
+       %struct.rtx_def = type { i16, i8, i8, [1 x %struct.rtunion] }
+@ix86_cpu = external global i32                ; <i32*> [#uses=1]
+@which_alternative = external global i32               ; <i32*> [#uses=3]
 
-implementation   ; Functions:
+declare fastcc i32 @recog()
 
-declare fastcc int %recog()
-
-void %athlon_fp_unit_ready_cost() {
+define void @athlon_fp_unit_ready_cost() {
 entry:
-       %tmp = setlt int 0, 0           ; <bool> [#uses=1]
-       br bool %tmp, label %cond_true.i, label %cond_true
+       %tmp = icmp slt i32 0, 0                ; <i1> [#uses=1]
+       br i1 %tmp, label %cond_true.i, label %cond_true
 
 cond_true:             ; preds = %entry
        ret void
 
 cond_true.i:           ; preds = %entry
-       %tmp8.i = tail call fastcc int %recog( )                ; <int> [#uses=1]
-       switch int %tmp8.i, label %UnifiedReturnBlock [
-                int -1, label %bb2063
-                int 19, label %bb2035
-                int 20, label %bb2035
-                int 21, label %bb2035
-                int 23, label %bb2035
-                int 24, label %bb2035
-                int 27, label %bb2035
-                int 32, label %bb2035
-                int 33, label %bb1994
-                int 35, label %bb2035
-                int 36, label %bb1994
-                int 90, label %bb1948
-                int 94, label %bb1948
-                int 95, label %bb1948
-                int 101, label %bb1648
-                int 102, label %bb1648
-                int 103, label %bb1648
-                int 104, label %bb1648
-                int 133, label %bb1419
-                int 135, label %bb1238
-                int 136, label %bb1238
-                int 137, label %bb1238
-                int 138, label %bb1238
-                int 139, label %bb1201
-                int 140, label %bb1201
-                int 141, label %bb1154
-                int 142, label %bb1126
-                int 144, label %bb1201
-                int 145, label %bb1126
-                int 146, label %bb1201
-                int 147, label %bb1126
-                int 148, label %bb1201
-                int 149, label %bb1126
-                int 150, label %bb1201
-                int 151, label %bb1126
-                int 152, label %bb1096
-                int 153, label %bb1096
-                int 154, label %bb1096
-                int 157, label %bb1096
-                int 158, label %bb1096
-                int 159, label %bb1096
-                int 162, label %bb1096
-                int 163, label %bb1096
-                int 164, label %bb1096
-                int 167, label %bb1201
-                int 168, label %bb1201
-                int 170, label %bb1201
-                int 171, label %bb1201
-                int 173, label %bb1201
-                int 174, label %bb1201
-                int 176, label %bb1201
-                int 177, label %bb1201
-                int 179, label %bb993
-                int 180, label %bb993
-                int 181, label %bb993
-                int 182, label %bb993
-                int 183, label %bb993
-                int 184, label %bb993
-                int 365, label %bb1126
-                int 366, label %bb1126
-                int 367, label %bb1126
-                int 368, label %bb1126
-                int 369, label %bb1126
-                int 370, label %bb1126
-                int 371, label %bb1126
-                int 372, label %bb1126
-                int 373, label %bb1126
-                int 384, label %bb1126
-                int 385, label %bb1126
-                int 386, label %bb1126
-                int 387, label %bb1126
-                int 388, label %bb1126
-                int 389, label %bb1126
-                int 390, label %bb1126
-                int 391, label %bb1126
-                int 392, label %bb1126
-                int 525, label %bb919
-                int 526, label %bb839
-                int 528, label %bb919
-                int 529, label %bb839
-                int 531, label %cond_next6.i119
-                int 532, label %cond_next6.i97
-                int 533, label %cond_next6.i81
-                int 534, label %bb495
-                int 536, label %cond_next6.i81
-                int 537, label %cond_next6.i81
-                int 538, label %bb396
-                int 539, label %bb288
-                int 541, label %bb396
-                int 542, label %bb396
-                int 543, label %bb396
-                int 544, label %bb396
-                int 545, label %bb189
-                int 546, label %cond_next6.i
-                int 547, label %bb189
-                int 548, label %cond_next6.i
-                int 549, label %bb189
-                int 550, label %cond_next6.i
-                int 551, label %bb189
-                int 552, label %cond_next6.i
-                int 553, label %bb189
-                int 554, label %cond_next6.i
-                int 555, label %bb189
-                int 556, label %cond_next6.i
-                int 557, label %bb189
-                int 558, label %cond_next6.i
-                int 618, label %bb40
-                int 619, label %bb18
-                int 620, label %bb40
-                int 621, label %bb10
-                int 622, label %bb10
+       %tmp8.i = tail call fastcc i32 @recog( )                ; <i32> [#uses=1]
+       switch i32 %tmp8.i, label %UnifiedReturnBlock [
+                i32 -1, label %bb2063
+                i32 19, label %bb2035
+                i32 20, label %bb2035
+                i32 21, label %bb2035
+                i32 23, label %bb2035
+                i32 24, label %bb2035
+                i32 27, label %bb2035
+                i32 32, label %bb2035
+                i32 33, label %bb1994
+                i32 35, label %bb2035
+                i32 36, label %bb1994
+                i32 90, label %bb1948
+                i32 94, label %bb1948
+                i32 95, label %bb1948
+                i32 101, label %bb1648
+                i32 102, label %bb1648
+                i32 103, label %bb1648
+                i32 104, label %bb1648
+                i32 133, label %bb1419
+                i32 135, label %bb1238
+                i32 136, label %bb1238
+                i32 137, label %bb1238
+                i32 138, label %bb1238
+                i32 139, label %bb1201
+                i32 140, label %bb1201
+                i32 141, label %bb1154
+                i32 142, label %bb1126
+                i32 144, label %bb1201
+                i32 145, label %bb1126
+                i32 146, label %bb1201
+                i32 147, label %bb1126
+                i32 148, label %bb1201
+                i32 149, label %bb1126
+                i32 150, label %bb1201
+                i32 151, label %bb1126
+                i32 152, label %bb1096
+                i32 153, label %bb1096
+                i32 154, label %bb1096
+                i32 157, label %bb1096
+                i32 158, label %bb1096
+                i32 159, label %bb1096
+                i32 162, label %bb1096
+                i32 163, label %bb1096
+                i32 164, label %bb1096
+                i32 167, label %bb1201
+                i32 168, label %bb1201
+                i32 170, label %bb1201
+                i32 171, label %bb1201
+                i32 173, label %bb1201
+                i32 174, label %bb1201
+                i32 176, label %bb1201
+                i32 177, label %bb1201
+                i32 179, label %bb993
+                i32 180, label %bb993
+                i32 181, label %bb993
+                i32 182, label %bb993
+                i32 183, label %bb993
+                i32 184, label %bb993
+                i32 365, label %bb1126
+                i32 366, label %bb1126
+                i32 367, label %bb1126
+                i32 368, label %bb1126
+                i32 369, label %bb1126
+                i32 370, label %bb1126
+                i32 371, label %bb1126
+                i32 372, label %bb1126
+                i32 373, label %bb1126
+                i32 384, label %bb1126
+                i32 385, label %bb1126
+                i32 386, label %bb1126
+                i32 387, label %bb1126
+                i32 388, label %bb1126
+                i32 389, label %bb1126
+                i32 390, label %bb1126
+                i32 391, label %bb1126
+                i32 392, label %bb1126
+                i32 525, label %bb919
+                i32 526, label %bb839
+                i32 528, label %bb919
+                i32 529, label %bb839
+                i32 531, label %cond_next6.i119
+                i32 532, label %cond_next6.i97
+                i32 533, label %cond_next6.i81
+                i32 534, label %bb495
+                i32 536, label %cond_next6.i81
+                i32 537, label %cond_next6.i81
+                i32 538, label %bb396
+                i32 539, label %bb288
+                i32 541, label %bb396
+                i32 542, label %bb396
+                i32 543, label %bb396
+                i32 544, label %bb396
+                i32 545, label %bb189
+                i32 546, label %cond_next6.i
+                i32 547, label %bb189
+                i32 548, label %cond_next6.i
+                i32 549, label %bb189
+                i32 550, label %cond_next6.i
+                i32 551, label %bb189
+                i32 552, label %cond_next6.i
+                i32 553, label %bb189
+                i32 554, label %cond_next6.i
+                i32 555, label %bb189
+                i32 556, label %cond_next6.i
+                i32 557, label %bb189
+                i32 558, label %cond_next6.i
+                i32 618, label %bb40
+                i32 619, label %bb18
+                i32 620, label %bb40
+                i32 621, label %bb10
+                i32 622, label %bb10
        ]
 
 bb10:          ; preds = %cond_true.i, %cond_true.i
@@ -163,20 +161,20 @@ cond_next6.i97:           ; preds = %cond_true.i
        ret void
 
 cond_next6.i119:               ; preds = %cond_true.i
-       %tmp.i126 = seteq ushort 0, 78          ; <bool> [#uses=1]
-       br bool %tmp.i126, label %cond_next778, label %bb802
+       %tmp.i126 = icmp eq i16 0, 78           ; <i1> [#uses=1]
+       br i1 %tmp.i126, label %cond_next778, label %bb802
 
 cond_next778:          ; preds = %cond_next6.i119
-       %tmp781 = seteq uint 0, 1               ; <bool> [#uses=1]
-       br bool %tmp781, label %cond_next784, label %bb790
+       %tmp781 = icmp eq i32 0, 1              ; <i1> [#uses=1]
+       br i1 %tmp781, label %cond_next784, label %bb790
 
 cond_next784:          ; preds = %cond_next778
-       %tmp785 = load uint* %ix86_cpu          ; <uint> [#uses=1]
-       %tmp786 = seteq uint %tmp785, 5         ; <bool> [#uses=1]
-       br bool %tmp786, label %UnifiedReturnBlock, label %bb790
+       %tmp785 = load i32, i32* @ix86_cpu              ; <i32> [#uses=1]
+       %tmp786 = icmp eq i32 %tmp785, 5                ; <i1> [#uses=1]
+       br i1 %tmp786, label %UnifiedReturnBlock, label %bb790
 
 bb790:         ; preds = %cond_next784, %cond_next778
-       %tmp793 = seteq uint 0, 1               ; <bool> [#uses=0]
+       %tmp793 = icmp eq i32 0, 1              ; <i1> [#uses=0]
        ret void
 
 bb802:         ; preds = %cond_next6.i119
@@ -210,51 +208,51 @@ bb1419:           ; preds = %cond_true.i
        ret void
 
 bb1648:                ; preds = %cond_true.i, %cond_true.i, %cond_true.i, %cond_true.i
-       %tmp1650 = load int* %which_alternative         ; <int> [#uses=1]
-       switch int %tmp1650, label %bb1701 [
-                int 0, label %cond_next1675
-                int 1, label %cond_next1675
-                int 2, label %cond_next1675
+       %tmp1650 = load i32, i32* @which_alternative            ; <i32> [#uses=1]
+       switch i32 %tmp1650, label %bb1701 [
+                i32 0, label %cond_next1675
+                i32 1, label %cond_next1675
+                i32 2, label %cond_next1675
        ]
 
 cond_next1675:         ; preds = %bb1648, %bb1648, %bb1648
        ret void
 
 bb1701:                ; preds = %bb1648
-       %tmp1702 = load int* %which_alternative         ; <int> [#uses=1]
-       switch int %tmp1702, label %bb1808 [
-                int 0, label %cond_next1727
-                int 1, label %cond_next1727
-                int 2, label %cond_next1727
+       %tmp1702 = load i32, i32* @which_alternative            ; <i32> [#uses=1]
+       switch i32 %tmp1702, label %bb1808 [
+                i32 0, label %cond_next1727
+                i32 1, label %cond_next1727
+                i32 2, label %cond_next1727
        ]
 
 cond_next1727:         ; preds = %bb1701, %bb1701, %bb1701
        ret void
 
 bb1808:                ; preds = %bb1701
-       %bothcond696 = or bool false, false             ; <bool> [#uses=1]
-       br bool %bothcond696, label %bb1876, label %cond_next1834
+       %bothcond696 = or i1 false, false               ; <i1> [#uses=1]
+       br i1 %bothcond696, label %bb1876, label %cond_next1834
 
 cond_next1834:         ; preds = %bb1808
        ret void
 
 bb1876:                ; preds = %bb1808
-       %tmp1877 = load int* %which_alternative         ; <int> [#uses=4]
-       %tmp1877 = cast int %tmp1877 to uint            ; <uint> [#uses=1]
-       %bothcond699 = setlt uint %tmp1877, 2           ; <bool> [#uses=1]
-       %tmp1888 = seteq int %tmp1877, 2                ; <bool> [#uses=1]
-       %bothcond700 = or bool %bothcond699, %tmp1888           ; <bool> [#uses=1]
-       %bothcond700.not = xor bool %bothcond700, true          ; <bool> [#uses=1]
-       %tmp1894 = seteq int %tmp1877, 3                ; <bool> [#uses=1]
-       %bothcond701 = or bool %tmp1894, %bothcond700.not               ; <bool> [#uses=1]
-       %bothcond702 = or bool %bothcond701, false              ; <bool> [#uses=1]
-       br bool %bothcond702, label %UnifiedReturnBlock, label %cond_next1902
+       %tmp1877signed = load i32, i32* @which_alternative              ; <i32> [#uses=4]
+       %tmp1877 = bitcast i32 %tmp1877signed to i32            ; <i32> [#uses=1]
+       %bothcond699 = icmp ult i32 %tmp1877, 2         ; <i1> [#uses=1]
+       %tmp1888 = icmp eq i32 %tmp1877signed, 2                ; <i1> [#uses=1]
+       %bothcond700 = or i1 %bothcond699, %tmp1888             ; <i1> [#uses=1]
+       %bothcond700.not = xor i1 %bothcond700, true            ; <i1> [#uses=1]
+       %tmp1894 = icmp eq i32 %tmp1877signed, 3                ; <i1> [#uses=1]
+       %bothcond701 = or i1 %tmp1894, %bothcond700.not         ; <i1> [#uses=1]
+       %bothcond702 = or i1 %bothcond701, false                ; <i1> [#uses=1]
+       br i1 %bothcond702, label %UnifiedReturnBlock, label %cond_next1902
 
 cond_next1902:         ; preds = %bb1876
-       switch int %tmp1877, label %cond_next1937 [
-                int 0, label %bb1918
-                int 1, label %bb1918
-                int 2, label %bb1918
+       switch i32 %tmp1877signed, label %cond_next1937 [
+                i32 0, label %bb1918
+                i32 1, label %bb1918
+                i32 2, label %bb1918
        ]
 
 bb1918:                ; preds = %cond_next1902, %cond_next1902, %cond_next1902
@@ -276,6 +274,6 @@ bb2063:             ; preds = %cond_true.i
        ret void
 
 UnifiedReturnBlock:            ; preds = %bb1876, %cond_next784, %cond_true.i
-       %UnifiedRetVal = phi int [ 100, %bb1876 ], [ 100, %cond_true.i ], [ 4, %cond_next784 ]          ; <int> [#uses=0]
+       %UnifiedRetVal = phi i32 [ 100, %bb1876 ], [ 100, %cond_true.i ], [ 4, %cond_next784 ]          ; <i32> [#uses=0]
        ret void
 }