Heuristic: If the number of operands in the alias are more than the number of
[llvm/stm8.git] / test / Analysis / BasicAA / 2007-12-08-OutOfBoundsCrash.ll
blob52d0af1b81ce5718d10ead83f91b1692baab271b
1 ; RUN: opt < %s -basicaa -gvn -disable-output
2 ; PR1782
4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
5 target triple = "x86_64-unknown-linux-gnu"
6         %struct.device = type { [20 x i8] }
7         %struct.pci_device_id = type { i32, i32, i32, i32, i32, i32, i64 }
8         %struct.usb_bus = type { %struct.device* }
9         %struct.usb_hcd = type { %struct.usb_bus, [0 x i64] }
10 @pci_ids = external constant [1 x %struct.pci_device_id]                ; <[1 x %struct.pci_device_id]*> [#uses=1]
12 @__mod_pci_device_table = alias [1 x %struct.pci_device_id]* @pci_ids           ; <[1 x %struct.pci_device_id]*> [#uses=0]
14 define i32 @ehci_pci_setup(%struct.usb_hcd* %hcd) {
15 entry:
16         %tmp14 = getelementptr %struct.usb_hcd* %hcd, i32 0, i32 0, i32 0               ; <%struct.device**> [#uses=1]
17         %tmp15 = load %struct.device** %tmp14, align 8          ; <%struct.device*> [#uses=0]
18         br i1 false, label %bb25, label %return
20 bb25:           ; preds = %entry
21         br i1 false, label %cond_true, label %return
23 cond_true:              ; preds = %bb25
24         %tmp601 = getelementptr %struct.usb_hcd* %hcd, i32 0, i32 1, i64 2305843009213693951            ; <i64*> [#uses=1]
25         %tmp67 = bitcast i64* %tmp601 to %struct.device**               ; <%struct.device**> [#uses=1]
26         %tmp68 = load %struct.device** %tmp67, align 8          ; <%struct.device*> [#uses=0]
27         ret i32 undef
29 return:         ; preds = %bb25, %entry
30         ret i32 undef