63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -enable-shrink-wrap=true | FileCheck %s3 4;; Ensure that shrink-wrapping understands that INLINEASM_BR may exit5;; the block before the end, and you cannot simply place stack6;; 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: uwtable13define i32 @test1(i32 %v) {14; CHECK-LABEL: test1:15; CHECK: # %bb.0: # %entry16; CHECK-NEXT: pushq %rax17; CHECK-NEXT: .cfi_def_cfa_offset 1618; CHECK-NEXT: testl %edi, %edi19; CHECK-NEXT: je .LBB0_320; CHECK-NEXT: # %bb.1: # %if.end21; CHECK-NEXT: callq fn22; CHECK-NEXT: #APP23; CHECK-NEXT: # jump to .LBB0_424; CHECK-NEXT: #NO_APP25; CHECK-NEXT: # %bb.2: # %return26; CHECK-NEXT: movl $4, %eax27; CHECK-NEXT: popq %rcx28; CHECK-NEXT: .cfi_def_cfa_offset 829; CHECK-NEXT: retq30; CHECK-NEXT: .LBB0_3: # %ret031; CHECK-NEXT: .cfi_def_cfa_offset 1632; CHECK-NEXT: xorl %eax, %eax33; CHECK-NEXT: popq %rcx34; CHECK-NEXT: .cfi_def_cfa_offset 835; CHECK-NEXT: retq36; CHECK-NEXT: .LBB0_4: # Inline asm indirect target37; CHECK-NEXT: # %two38; CHECK-NEXT: # Label of block must be emitted39; CHECK-NEXT: .cfi_def_cfa_offset 1640; CHECK-NEXT: popq %rax41; CHECK-NEXT: .cfi_def_cfa_offset 842; CHECK-NEXT: jmp fn # TAILCALL43entry:44 %tobool = icmp eq i32 %v, 045 br i1 %tobool, label %ret0, label %if.end46 47ret0:48 ret i32 049 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 %return58 59return:60 %retval.1 = phi i32 [ %call1, %two ], [ 4, %if.end ]61 ret i32 %retval.162}63