llvm/test/CodeGen/Hexagon/rdf-ignore-undef.ll

   1 ; RUN: llc -march=hexagon -verify-machineinstrs < %s | FileCheck %s
   2 ; Check that we don't crash.
   3 ; CHECK: call foo
   4
   5 target triple = "hexagon"
   6
   7 %struct.1 = type { i16, i8, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr }
   8 %struct.0 = type { i32, i32, i32, i32, i32, i32, i32, i32, i32 }
   9
  10 declare void @foo(ptr, ptr) local_unnamed_addr #0
  11 declare void @bar(ptr, ptr readonly) local_unnamed_addr #0
  12
  13 define i32 @fred(i32 %argc, ptr nocapture readonly %argv) local_unnamed_addr #0 {
  14 entry:
  15   br label %do.body
  16
  17 do.body:                                          ; preds = %if.end88.do.body_crit_edge, %entry
  18   %cond = icmp eq i32 undef, 0
  19   br i1 %cond, label %if.end49, label %if.then124
  20
  21 if.end49:                                         ; preds = %do.body
  22   call void @foo(ptr nonnull undef, ptr nonnull undef) #0
  23   br i1 undef, label %if.end55, label %if.then53
  24
  25 if.then53:                                        ; preds = %if.end49
  26   call void @bar(ptr null, ptr nonnull undef)
  27   br label %if.end55
  28
  29 if.end55:                                         ; preds = %if.then53, %if.end49
  30   switch i8 undef, label %sw.epilog79 [
  31     i8 0, label %sw.bb77
  32     i8 3, label %sw.bb77
  33   ]
  34
  35 sw.bb77:                                          ; preds = %if.end55, %if.end55
  36   br label %sw.epilog79
  37
  38 sw.epilog79:                                      ; preds = %sw.bb77, %if.end55
  39   br i1 undef, label %if.end88, label %if.then81
  40
  41 if.then81:                                        ; preds = %sw.epilog79
  42   br label %if.end88
  43
  44 if.end88:                                         ; preds = %if.then81, %sw.epilog79
  45   store float 0.000000e+00, ptr undef, align 4
  46   br i1 undef, label %if.end88.do.body_crit_edge, label %if.then124
  47
  48 if.end88.do.body_crit_edge:                       ; preds = %if.end88
  49   br label %do.body
  50
  51 if.then124:                                       ; preds = %if.end88, %do.body
  52   ret i32 0
  53 }
  54
  55 attributes #0 = { nounwind }