- Teach SelectionDAG::isKnownNeverZero to return true (op x, c) when c is
[oota-llvm.git] / test / CodeGen / X86 / pic_jumptable.ll
index 4c38fb806146cce9b6003f32b456d7fd5c108a1a..b6761e338aa9d3b9d59f4e2ffd9bf12be55406ba 100644 (file)
@@ -1,38 +1,42 @@
-; RUN: llvm-upgrade < %s | llvm-as | llc -relocation-model=pic -march=x86 | not grep -F .text
-target endian = little
-target pointersize = 32
-target triple = "i386-linux-gnu"
+; RUN: llc < %s -relocation-model=pic -mtriple=i386-linux-gnu -asm-verbose=false | grep -F .text._Z3fooILi1EEvi,"axG",@progbits,_Z3fooILi1EEvi,comdat
+; RUN: llc < %s -relocation-model=pic -mtriple=i686-apple-darwin -asm-verbose=false | FileCheck %s
+; RUN: llc < %s                       -mtriple=x86_64-apple-darwin | not grep 'lJTI'
+; rdar://6971437
+; rdar://7738756
 
-implementation   ; Functions:
+declare void @_Z3bari(i32)
 
-declare void %_Z3bari( int  )
-
-linkonce void %_Z3fooILi1EEvi(int %Y) {
+define linkonce void @_Z3fooILi1EEvi(i32 %Y) nounwind {
 entry:
-       %Y_addr = alloca int            ; <int*> [#uses=2]
-       "alloca point" = cast int 0 to int              ; <int> [#uses=0]
-       store int %Y, int* %Y_addr
-       %tmp = load int* %Y_addr                ; <int> [#uses=1]
-       switch int %tmp, label %bb10 [
-                int 0, label %bb3
-                int 1, label %bb
-                int 2, label %bb
-                int 3, label %bb
-                int 4, label %bb
-                int 5, label %bb
-                int 6, label %bb
-                int 7, label %bb
-                int 8, label %bb
-                int 9, label %bb
-                int 10, label %bb
-                int 12, label %bb1
-                int 13, label %bb5
-                int 14, label %bb6
-                int 16, label %bb2
-                int 17, label %bb4
-                int 23, label %bb8
-                int 27, label %bb7
-                int 34, label %bb9
+; CHECK:       L0$pb
+; CHECK-NOT:   leal
+; CHECK:       Ltmp0 = LJTI0_0-L0$pb
+; CHECK-NEXT:  addl Ltmp0(%eax,%ecx,4)
+; CHECK-NEXT:  jmpl *%eax
+       %Y_addr = alloca i32            ; <i32*> [#uses=2]
+       %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
+       store i32 %Y, i32* %Y_addr
+       %tmp = load i32* %Y_addr                ; <i32> [#uses=1]
+       switch i32 %tmp, label %bb10 [
+                i32 0, label %bb3
+                i32 1, label %bb
+                i32 2, label %bb
+                i32 3, label %bb
+                i32 4, label %bb
+                i32 5, label %bb
+                i32 6, label %bb
+                i32 7, label %bb
+                i32 8, label %bb
+                i32 9, label %bb
+                i32 10, label %bb
+                i32 12, label %bb1
+                i32 13, label %bb5
+                i32 14, label %bb6
+                i32 16, label %bb2
+                i32 17, label %bb4
+                i32 23, label %bb8
+                i32 27, label %bb7
+                i32 34, label %bb9
        ]
 
 bb:            ; preds = %entry, %entry, %entry, %entry, %entry, %entry, %entry, %entry, %entry, %entry
@@ -42,7 +46,7 @@ bb1:          ; preds = %bb, %entry
        br label %bb2
 
 bb2:           ; preds = %bb1, %entry
-       call void %_Z3bari( int 1 )
+       call void @_Z3bari( i32 1 )
        br label %bb11
 
 bb3:           ; preds = %entry
@@ -55,7 +59,7 @@ bb5:          ; preds = %bb4, %entry
        br label %bb6
 
 bb6:           ; preds = %bb5, %entry
-       call void %_Z3bari( int 2 )
+       call void @_Z3bari( i32 2 )
        br label %bb11
 
 bb7:           ; preds = %entry
@@ -65,7 +69,7 @@ bb8:          ; preds = %bb7, %entry
        br label %bb9
 
 bb9:           ; preds = %bb8, %entry
-       call void %_Z3bari( int 3 )
+       call void @_Z3bari( i32 3 )
        br label %bb11
 
 bb10:          ; preds = %entry