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 .LBB0_4 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: .LBB0_4: # Block address taken 37; CHECK-NEXT: # %two 38; CHECK-NEXT: # Label of block must be emitted 39; CHECK-NEXT: .cfi_def_cfa_offset 16 40; CHECK-NEXT: popq %rax 41; CHECK-NEXT: .cfi_def_cfa_offset 8 42; CHECK-NEXT: jmp fn # TAILCALL 43entry: 44 %tobool = icmp eq i32 %v, 0 45 br i1 %tobool, label %ret0, label %if.end 46 47ret0: 48 ret i32 0 49 50if.end: 51 %call = tail call i32 @fn() 52 callbr void asm sideeffect "# jump to $0", "!i,~{dirflag},~{fpsr},~{flags}"() 53 to label %return [label %two] 54 55two: 56 %call1 = tail call i32 @fn() 57 br label %return 58 59return: 60 %retval.1 = phi i32 [ %call1, %two ], [ 4, %if.end ] 61 ret i32 %retval.1 62} 63