test/CodeGen/Hexagon/packetize-cfi-location.ll

   1 ; RUN: llc -march=hexagon < %s | FileCheck %s
   2
   3 target triple = "hexagon"
   4 %type.0 = type { i32, i8**, i32, i32, i32 }
   5
   6 ; Check that CFI is before the packet with call+allocframe.
   7 ; CHECK-LABEL: danny:
   8 ; CHECK: cfi_def_cfa
   9 ; CHECK: call throw
  10 ; CHECK-NEXT: allocframe
  11
  12 ; Expect packet:
  13 ; {
  14 ;   call throw
  15 ;   allocframe(#0)
  16 ; }
  17
  18 define i8* @danny(%type.0* %p0, i32 %p1) #0 {
  19 entry:
  20   %t0 = getelementptr inbounds %type.0, %type.0* %p0, i32 0, i32 4
  21   %t1 = load i32, i32* %t0, align 4
  22   %th = icmp ugt i32 %t1, %p1
  23   br i1 %th, label %if.end, label %if.then
  24
  25 if.then:                                          ; preds = %entry
  26   tail call void @throw(%type.0* nonnull %p0)
  27   unreachable
  28
  29 if.end:                                           ; preds = %entry
  30   %t6 = getelementptr inbounds %type.0, %type.0* %p0, i32 0, i32 3
  31   %t2 = load i32, i32* %t6, align 4
  32   %t9 = add i32 %t2, %p1
  33   %ta = lshr i32 %t9, 4
  34   %tb = and i32 %t9, 15
  35   %t7 = getelementptr inbounds %type.0, %type.0* %p0, i32 0, i32 2
  36   %t3 = load i32, i32* %t7, align 4
  37   %tc = icmp ult i32 %ta, %t3
  38   %td = select i1 %tc, i32 0, i32 %t3
  39   %te = sub i32 %ta, %td
  40   %t8 = getelementptr inbounds %type.0, %type.0* %p0, i32 0, i32 1
  41   %t4 = load i8**, i8*** %t8, align 4
  42   %tf = getelementptr inbounds i8*, i8** %t4, i32 %te
  43   %t5 = load i8*, i8** %tf, align 4
  44   %tg = getelementptr inbounds i8, i8* %t5, i32 %tb
  45   ret i8* %tg
  46 }
  47
  48 ; Check that CFI is after allocframe.
  49 ; CHECK-LABEL: sammy:
  50 ; CHECK: allocframe
  51 ; CHECK: cfi_def_cfa
  52
  53 define void @sammy(%type.0* %p0, i32 %p1) #0 {
  54 entry:
  55   %t0 = icmp sgt i32 %p1, 0
  56   br i1 %t0, label %if.then, label %if.else
  57 if.then:
  58   call void @throw(%type.0* nonnull %p0)
  59   br label %if.end
  60 if.else:
  61   call void @nothrow() #2
  62   br label %if.end
  63 if.end:
  64   ret void
  65 }
  66
  67 declare void @throw(%type.0*) #1
  68 declare void @nothrow() #2
  69
  70 attributes #0 = { "target-cpu"="hexagonv55" }
  71 attributes #1 = { noreturn "target-cpu"="hexagonv55" }
  72 attributes #2 = { nounwind "target-cpu"="hexagonv55" }