1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc < %s -enable-shrink-wrap=true | FileCheck %s 3 4;; Ensure that shrink-wrapping understands that INLINEASM_BR may exit 5;; the block before the end, and you cannot simply place stack 6;; adjustment at the end of that block. 7target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 8target triple = "x86_64-unknown-linux-gnu" 9 10declare dso_local i32 @fn() 11 12; Function Attrs: uwtable 13define i32 @test1(i32 %v) { 14; CHECK-LABEL: test1: 15; CHECK: # %bb.0: # %entry 16; CHECK-NEXT: pushq %rax 17; CHECK-NEXT: .cfi_def_cfa_offset 16 18; CHECK-NEXT: testl %edi, %edi 19; CHECK-NEXT: je .LBB0_3 20; CHECK-NEXT: # %bb.1: # %if.end 21; CHECK-NEXT: callq fn 22; CHECK-NEXT: #APP 23; CHECK-NEXT: # jump to .Ltmp0 24; CHECK-NEXT: #NO_APP 25; CHECK-NEXT: # %bb.2: # %return 26; CHECK-NEXT: movl $4, %eax 27; CHECK-NEXT: popq %rcx 28; CHECK-NEXT: .cfi_def_cfa_offset 8 29; CHECK-NEXT: retq 30; CHECK-NEXT: .LBB0_3: # %ret0 31; CHECK-NEXT: .cfi_def_cfa_offset 16 32; CHECK-NEXT: xorl %eax, %eax 33; CHECK-NEXT: popq %rcx 34; CHECK-NEXT: .cfi_def_cfa_offset 8 35; CHECK-NEXT: retq 36; CHECK-NEXT: .Ltmp0: # Block address taken 37; CHECK-NEXT: .LBB0_4: # %two 38; CHECK-NEXT: .cfi_def_cfa_offset 16 39; CHECK-NEXT: popq %rax 40; CHECK-NEXT: .cfi_def_cfa_offset 8 41; CHECK-NEXT: jmp fn # TAILCALL 42entry: 43 %tobool = icmp eq i32 %v, 0 44 br i1 %tobool, label %ret0, label %if.end 45 46ret0: 47 ret i32 0 48 49if.end: 50 %call = tail call i32 @fn() 51 callbr void asm sideeffect "# jump to $0", "X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@test1, %two)) 52 to label %return [label %two] 53 54two: 55 %call1 = tail call i32 @fn() 56 br label %return 57 58return: 59 %retval.1 = phi i32 [ %call1, %two ], [ 4, %if.end ] 60 ret i32 %retval.1 61} 62