test/CodeGen/Hexagon/hwloop-noreturn-call.ll

   1 ; RUN: llc -march=hexagon < %s | FileCheck %s
   2
   3 target triple = "hexagon"
   4
   5 ; CHECK-LABEL: danny:
   6 ; CHECK-DAG: loop0
   7 ; CHECK-DAG: call trap
   8 define void @danny(i32* %p, i32 %n, i32 %k) #0 {
   9 entry:
  10   br label %for.body
  11
  12 for.body:                                         ; preds = %entry
  13   %t0 = phi i32 [ 0, %entry ], [ %t1, %for.cont ]
  14   %t1 = add i32 %t0, 1
  15   %t2 = getelementptr i32, i32* %p, i32 %t0
  16   store i32 %t1, i32* %t2, align 4
  17   %c = icmp sgt i32 %t1, %k
  18   br i1 %c, label %noret, label %for.cont
  19
  20 for.cont:
  21   %cmp = icmp slt i32 %t0, %n
  22   br i1 %cmp, label %for.body, label %for.end
  23
  24 for.end:                                          ; preds = %for.cond
  25   ret void
  26
  27 noret:
  28   call void @trap() #1
  29   br label %for.cont
  30 }
  31
  32 ; CHECK-LABEL: sammy:
  33 ; CHECK-DAG: loop0
  34 ; CHECK-DAG: callr
  35 define void @sammy(i32* %p, i32 %n, i32 %k, void (...)* %f) #0 {
  36 entry:
  37   br label %for.body
  38
  39 for.body:                                         ; preds = %entry
  40   %t0 = phi i32 [ 0, %entry ], [ %t1, %for.cont ]
  41   %t1 = add i32 %t0, 1
  42   %t2 = getelementptr i32, i32* %p, i32 %t0
  43   store i32 %t1, i32* %t2, align 4
  44   %c = icmp sgt i32 %t1, %k
  45   br i1 %c, label %noret, label %for.cont
  46
  47 for.cont:
  48   %cmp = icmp slt i32 %t0, %n
  49   br i1 %cmp, label %for.body, label %for.end
  50
  51 for.end:                                          ; preds = %for.cond
  52   ret void
  53
  54 noret:
  55   call void (...) %f() #1
  56   br label %for.cont
  57 }
  58
  59 declare void @trap() #1
  60
  61 attributes #0 = { nounwind "target-cpu"="hexagonv60" "target-features"="+hvx,+hvx-length64b" }
  62 attributes #1 = { nounwind noreturn }
  63