llvm/test/CodeGen/Hexagon/is-legal-void.ll

   1 ; RUN: llc -march=hexagon < %s
   2 ; REQUIRES: asserts
   3
   4 ; The two loads based on %struct.0, loading two different data types
   5 ; cause LSR to assume type "void" for the memory type. This would then
   6 ; cause an assert in isLegalAddressingMode. Make sure we no longer crash.
   7
   8 target triple = "hexagon"
   9
  10 %struct.0 = type { ptr, i8, %union.anon.0 }
  11 %union.anon.0 = type { ptr }
  12
  13 define hidden fastcc void @fred() unnamed_addr #0 {
  14 entry:
  15   br i1 undef, label %while.end, label %while.body.lr.ph
  16
  17 while.body.lr.ph:                                 ; preds = %entry
  18   br label %while.body
  19
  20 while.body:                                       ; preds = %exit.2, %while.body.lr.ph
  21   %lsr.iv = phi ptr [ %cgep22, %exit.2 ], [ undef, %while.body.lr.ph ]
  22   switch i32 undef, label %exit [
  23     i32 1, label %sw.bb.i
  24     i32 2, label %sw.bb3.i
  25   ]
  26
  27 sw.bb.i:                                          ; preds = %while.body
  28   unreachable
  29
  30 sw.bb3.i:                                         ; preds = %while.body
  31   unreachable
  32
  33 exit:                                             ; preds = %while.body
  34   switch i32 undef, label %exit.2 [
  35     i32 1, label %sw.bb.i17
  36     i32 2, label %sw.bb3.i20
  37   ]
  38
  39 sw.bb.i17:                                        ; preds = %.exit
  40   %0 = load i32, ptr %lsr.iv, align 4
  41   unreachable
  42
  43 sw.bb3.i20:                                       ; preds = %exit
  44   %1 = load ptr, ptr %lsr.iv, align 4
  45   unreachable
  46
  47 exit.2:                                           ; preds = %exit
  48   %cgep22 = getelementptr %struct.0, ptr %lsr.iv, i32 1
  49   br label %while.body
  50
  51 while.end:                                        ; preds = %entry
  52   ret void
  53 }
  54
  55 attributes #0 = { nounwind optsize "target-cpu"="hexagonv55" }
  56