reference, declaration → definition
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

; RUN: llc -march=hexagon < %s | FileCheck %s
;
; XFAIL: *
; This test is failing after post-ra machine sinking.
;
; Check that no epilogue is inserted after a noreturn call.
;
; CHECK-LABEL: f1:
; CHECK: allocframe(r29,#0):raw
; CHECK-NOT: deallocframe

target triple = "hexagon"

%s.0 = type <{ i16, i8, i8, i8 }>

@g0 = internal constant %s.0 <{ i16 1, i8 2, i8 3, i8 4 }>, align 4

; Function Attrs: noreturn
declare void @f0(%s.0*, i32) #0

define i64 @f1(i32 %a0, i32 %a1) {
b0:
  %v0 = icmp ugt i32 %a0, 3
  br i1 %v0, label %b1, label %b2

b1:                                               ; preds = %b0
  call void @f0(%s.0* nonnull @g0, i32 %a0) #0
  unreachable

b2:                                               ; preds = %b0
  %v1 = mul i32 %a1, 7
  %v2 = zext i32 %v1 to i64
  ret i64 %v2
}

attributes #0 = { noreturn }