llvm/test/CodeGen/PowerPC/stack-restore-with-setjmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=powerpc64le-- -verify-machineinstrs | FileCheck %s
   3 ; RUN: llc < %s -mtriple=powerpc64-- -verify-machineinstrs | FileCheck %s \
   4 ; RUN:   --check-prefix=BE
   5 %struct.__jmp_buf_tag = type { [64 x i64], i32, %struct.__sigset_t, [8 x i8] }
   6 %struct.__sigset_t = type { [16 x i64] }
   7
   8 @.str = private unnamed_addr constant [33 x i8] c"Successfully returned from main\0A\00", align 1
   9
  10 ; Function Attrs: nounwind
  11 define dso_local signext i32 @main(i32 signext %argc, i8** nocapture readnone %argv) local_unnamed_addr #0 {
  12 ; CHECK-LABEL: main:
  13 ; CHECK:       # %bb.0: # %entry
  14 ; CHECK-NEXT:    mfocrf 12, 32
  15 ; CHECK-NEXT:    mflr 0
  16 ; CHECK-NEXT:    std 31, -8(1)
  17 ; CHECK-NEXT:    std 0, 16(1)
  18 ; CHECK-NEXT:    stw 12, 8(1)
  19 ; CHECK-NEXT:    stdu 1, -784(1)
  20 ; CHECK-NEXT:    # kill: def $r3 killed $r3 killed $x3
  21 ; CHECK-NEXT:    cmpwi 2, 3, 2
  22 ; CHECK-NEXT:    mr 31, 1
  23 ; CHECK-NEXT:    li 3, 0
  24 ; CHECK-NEXT:    blt 2, .LBB0_3
  25 ; CHECK-NEXT:  # %bb.1: # %if.end
  26 ; CHECK-NEXT:    addi 3, 31, 112
  27 ; CHECK-NEXT:    bl _setjmp
  28 ; CHECK-NEXT:    nop
  29 ; CHECK-NEXT:    crmove 20, 10
  30 ; CHECK-NEXT:    # kill: def $r3 killed $r3 killed $x3
  31 ; CHECK-NEXT:    cmpwi 3, 0
  32 ; CHECK-NEXT:    crorc 20, 10, 2
  33 ; CHECK-NEXT:    crmove 21, 2
  34 ; CHECK-NEXT:    bc 4, 20, .LBB0_4
  35 ; CHECK-NEXT:  # %bb.2: # %if.end5
  36 ; CHECK-NEXT:    addis 3, 2, .L.str@toc@ha
  37 ; CHECK-NEXT:    addi 3, 3, .L.str@toc@l
  38 ; CHECK-NEXT:    bl printf
  39 ; CHECK-NEXT:    nop
  40 ; CHECK-NEXT:    # kill: def $r3 killed $r3 killed $x3
  41 ; CHECK-NEXT:  .LBB0_3: # %return
  42 ; CHECK-NEXT:    extsw 3, 3
  43 ; CHECK-NEXT:    addi 1, 31, 784
  44 ; CHECK-NEXT:    ld 0, 16(1)
  45 ; CHECK-NEXT:    lwz 12, 8(1)
  46 ; CHECK-NEXT:    ld 31, -8(1)
  47 ; CHECK-NEXT:    mtocrf 32, 12
  48 ; CHECK-NEXT:    mtlr 0
  49 ; CHECK-NEXT:    blr
  50 ; CHECK-NEXT:  .LBB0_4: # %if.then3
  51 ; CHECK-NEXT:    ld 4, 0(1)
  52 ; CHECK-NEXT:    stdu 4, -16(1)
  53 ; CHECK-NEXT:    addi 3, 1, 96
  54 ; CHECK-NEXT:    li 4, -1
  55 ; CHECK-NEXT:    stb 4, 0(3)
  56 ; CHECK-NEXT:    addi 4, 31, 112
  57 ; CHECK-NEXT:    bl test
  58 ; CHECK-NEXT:    nop
  59 ;
  60 ; BE-LABEL: main:
  61 ; BE:       # %bb.0: # %entry
  62 ; BE-NEXT:    mflr 0
  63 ; BE-NEXT:    std 31, -8(1)
  64 ; BE-NEXT:    std 0, 16(1)
  65 ; BE-NEXT:    mfcr 12
  66 ; BE-NEXT:    stw 12, 8(1)
  67 ; BE-NEXT:    stdu 1, -800(1)
  68 ; BE-NEXT:    li 4, 0
  69 ; BE-NEXT:    # kill: def $r3 killed $r3 killed $x3
  70 ; BE-NEXT:    cmpwi 2, 3, 2
  71 ; BE-NEXT:    mr 3, 4
  72 ; BE-NEXT:    mr 31, 1
  73 ; BE-NEXT:    blt 2, .LBB0_3
  74 ; BE-NEXT:  # %bb.1: # %if.end
  75 ; BE-NEXT:    addi 3, 31, 128
  76 ; BE-NEXT:    bl _setjmp
  77 ; BE-NEXT:    nop
  78 ; BE-NEXT:    crmove 20, 10
  79 ; BE-NEXT:    # kill: def $r3 killed $r3 killed $x3
  80 ; BE-NEXT:    cmpwi 3, 0
  81 ; BE-NEXT:    crorc 20, 10, 2
  82 ; BE-NEXT:    crmove 21, 2
  83 ; BE-NEXT:    bc 4, 20, .LBB0_4
  84 ; BE-NEXT:  # %bb.2: # %if.end5
  85 ; BE-NEXT:    addis 3, 2, .L.str@toc@ha
  86 ; BE-NEXT:    addi 3, 3, .L.str@toc@l
  87 ; BE-NEXT:    bl printf
  88 ; BE-NEXT:    nop
  89 ; BE-NEXT:    # kill: def $r3 killed $r3 killed $x3
  90 ; BE-NEXT:  .LBB0_3: # %return
  91 ; BE-NEXT:    extsw 3, 3
  92 ; BE-NEXT:    addi 1, 31, 800
  93 ; BE-NEXT:    ld 0, 16(1)
  94 ; BE-NEXT:    lwz 12, 8(1)
  95 ; BE-NEXT:    ld 31, -8(1)
  96 ; BE-NEXT:    mtlr 0
  97 ; BE-NEXT:    mtcrf 32, 12 # cr2
  98 ; BE-NEXT:    blr
  99 ; BE-NEXT:  .LBB0_4: # %if.then3
 100 ; BE-NEXT:    ld 4, 0(1)
 101 ; BE-NEXT:    stdu 4, -16(1)
 102 ; BE-NEXT:    addi 3, 1, 112
 103 ; BE-NEXT:    li 4, -1
 104 ; BE-NEXT:    stb 4, 0(3)
 105 ; BE-NEXT:    addi 4, 31, 128
 106 ; BE-NEXT:    bl test
 107 ; BE-NEXT:    nop
 108 entry:
 109   %env_buffer = alloca [1 x %struct.__jmp_buf_tag], align 16
 110   %cmp = icmp slt i32 %argc, 2
 111   br i1 %cmp, label %return, label %if.end
 112
 113 if.end:                                           ; preds = %entry
 114   %0 = bitcast [1 x %struct.__jmp_buf_tag]* %env_buffer to i8*
 115   call void @llvm.lifetime.start.p0i8(i64 656, i8* nonnull %0) #5
 116   %arraydecay = getelementptr inbounds [1 x %struct.__jmp_buf_tag], [1 x %struct.__jmp_buf_tag]* %env_buffer, i64 0, i64 0
 117   %call = call signext i32 @_setjmp(%struct.__jmp_buf_tag* nonnull %arraydecay) #6
 118   %cmp1 = icmp ne i32 %argc, 2
 119   %cmp2 = icmp eq i32 %call, 0
 120   %or.cond = and i1 %cmp1, %cmp2
 121   br i1 %or.cond, label %if.then3, label %if.end5
 122
 123 if.then3:                                         ; preds = %if.end
 124   %1 = alloca [8 x i8], align 16
 125   %.sub = getelementptr inbounds [8 x i8], [8 x i8]* %1, i64 0, i64 0
 126   store i8 -1, i8* %.sub, align 16
 127   call void @test(i8* nonnull %.sub, %struct.__jmp_buf_tag* nonnull %arraydecay) #7
 128   unreachable
 129
 130 if.end5:                                          ; preds = %if.end
 131   %call6 = call signext i32 (i8*, ...) @printf(i8* nonnull dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0))
 132   call void @llvm.lifetime.end.p0i8(i64 656, i8* nonnull %0) #5
 133   br label %return
 134
 135 return:                                           ; preds = %entry, %if.end5
 136   %retval.0 = phi i32 [ %call6, %if.end5 ], [ 0, %entry ]
 137   ret i32 %retval.0
 138 }
 139
 140 ; Function Attrs: argmemonly nofree nosync nounwind willreturn
 141 declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture)
 142
 143 ; Function Attrs: nounwind returns_twice
 144 declare signext i32 @_setjmp(%struct.__jmp_buf_tag*) local_unnamed_addr
 145
 146 ; Function Attrs: noreturn
 147 declare void @test(i8*, %struct.__jmp_buf_tag*) local_unnamed_addr
 148
 149 ; Function Attrs: nofree nounwind
 150 declare noundef signext i32 @printf(i8* nocapture noundef readonly, ...) local_unnamed_addr
 151
 152 ; Function Attrs: argmemonly nofree nosync nounwind willreturn
 153 declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)
 154
 155 attributes #0 = { nounwind }
 156 attributes #6 = { nounwind returns_twice }