reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
; RUN: opt < %s -instcombine -S

; Make sure that we don't crash when optimizing the vectors of pointers.

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-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.8.0"

%struct.hoge = type { double*, double*, double*, double** }

define void @widget(%struct.hoge* nocapture %arg) nounwind uwtable ssp {
bb:
  %tmp = getelementptr inbounds %struct.hoge, %struct.hoge* %arg, i64 0, i32 0
  br i1 undef, label %bb1, label %bb17

bb1:                                              ; preds = %bb
  br i1 undef, label %bb2, label %bb3

bb2:                                              ; preds = %bb1
  br label %bb17

bb3:                                              ; preds = %bb1
  %tmp4 = bitcast double** %tmp to <2 x double*>*
  %tmp5 = load <2 x double*>, <2 x double*>* %tmp4, align 8
  %tmp6 = ptrtoint <2 x double*> %tmp5 to <2 x i64>
  %tmp7 = sub <2 x i64> zeroinitializer, %tmp6
  %tmp8 = ashr exact <2 x i64> %tmp7, <i64 3, i64 3>
  %tmp9 = extractelement <2 x i64> %tmp8, i32 0
  %tmp10 = add nsw i64 undef, %tmp9
  br i1 undef, label %bb11, label %bb12

bb11:                                             ; preds = %bb3
  br label %bb13

bb12:                                             ; preds = %bb3
  br label %bb13

bb13:                                             ; preds = %bb12, %bb11
  br i1 undef, label %bb16, label %bb14

bb14:                                             ; preds = %bb13
  br i1 undef, label %bb16, label %bb15

bb15:                                             ; preds = %bb14
  br label %bb16

bb16:                                             ; preds = %bb15, %bb14, %bb13
  unreachable

bb17:                                             ; preds = %bb2, %bb
  ret void
}