llvm/test/CodeGen/X86/machine-licm-vs-wineh.mir

   1 # RUN: llc -o - %s -mtriple=x86_64-pc-windows-msvc -run-pass=machinelicm | FileCheck %s
   2 # RUN: llc -o - %s -mtriple=x86_64-pc-windows-msvc -passes=machinelicm | FileCheck %s
   3 #
   4 # This test checks that MachineLICM doesn't hoist loads out of funclets.
   5 # Manually modified from the IR of the following C++ function by running
   6 # llc -stop-after=machine-cp.
   7 #
   8 # void may_throw();
   9 # void use(int);
  10 #
  11 # void test(int n, int arg)
  12 # {
  13 #    for (int i = 0 ; i < n ; i++)
  14 #        try {
  15 #            may_throw();
  16 #        }
  17 #        catch (...) {
  18 #            // Two uses to get 'arg' allocated to a register
  19 #            use(arg);
  20 #            use(arg);
  21 #        }
  22 # }
  23
  24 --- |
  25   target triple = "x86_64-pc-windows-msvc"
  26
  27   define void @test(i32 %n, i32 %arg) personality ptr @__CxxFrameHandler3 {
  28   entry:
  29     %cmp3 = icmp sgt i32 %n, 0
  30     br i1 %cmp3, label %for.body.preheader, label %for.cond.cleanup
  31
  32   for.body.preheader:                               ; preds = %entry
  33     br label %for.body
  34
  35   for.cond.cleanup:                                 ; preds = %for.inc, %entry
  36     ret void
  37
  38   for.body:                                         ; preds = %for.body.preheader, %for.inc
  39     %lsr.iv = phi i32 [ %n, %for.body.preheader ], [ %lsr.iv.next, %for.inc ]
  40     invoke void @may_throw()
  41             to label %for.inc unwind label %catch.dispatch
  42
  43   catch.dispatch:                                   ; preds = %for.body
  44     %0 = catchswitch within none [label %catch] unwind to caller
  45
  46   catch:                                            ; preds = %catch.dispatch
  47     %1 = catchpad within %0 [ptr null, i32 64, ptr null]
  48     call void @use(i32 %arg) [ "funclet"(token %1) ]
  49     call void @use(i32 %arg) [ "funclet"(token %1) ]
  50     catchret from %1 to label %for.inc
  51
  52   for.inc:                                          ; preds = %catch, %for.body
  53     %lsr.iv.next = add i32 %lsr.iv, -1
  54     %exitcond.not = icmp eq i32 %lsr.iv.next, 0
  55     br i1 %exitcond.not, label %for.cond.cleanup, label %for.body
  56   }
  57
  58   declare i32 @__CxxFrameHandler3(...)
  59
  60   declare void @may_throw()
  61
  62   declare void @use(i32)
  63
  64 ...
  65 ---
  66 name:            test
  67 alignment:       16
  68 tracksRegLiveness: true
  69 hasEHCatchret:   true
  70 hasEHScopes:     true
  71 hasEHFunclets:   true
  72 debugInstrRef:   true
  73 tracksDebugUserValues: true
  74 liveins:
  75   - { reg: '$ecx' }
  76   - { reg: '$edx' }
  77 frameInfo:
  78   maxAlignment:    8
  79   hasCalls:        true
  80   hasOpaqueSPAdjustment: true
  81 stack:
  82   - { id: 0, type: spill-slot, size: 4, alignment: 4 }
  83   - { id: 1, type: spill-slot, size: 4, alignment: 4 }
  84 machineFunctionInfo: {}
  85 body:             |
  86   bb.0.entry:
  87     successors: %bb.1, %bb.2
  88     liveins: $ecx, $edx
  89
  90     MOV32mr %stack.1, 1, $noreg, 0, $noreg, $edx :: (store (s32) into %stack.1)
  91     TEST32rr renamable $ecx, renamable $ecx, implicit-def $eflags
  92     JCC_1 %bb.2, 14, implicit killed $eflags
  93
  94   bb.1:
  95     liveins: $ecx
  96
  97     JMP_1 %bb.3
  98
  99   bb.2.for.cond.cleanup:
 100     RET 0
 101
 102   bb.3.for.body:
 103     successors: %bb.5, %bb.4
 104     liveins: $ecx
 105
 106     EH_LABEL <mcsymbol .Leh1>
 107     MOV32mr %stack.0, 1, $noreg, 0, $noreg, killed renamable $ecx :: (store (s32) into %stack.0)
 108     ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 109     CALL64pcrel32 @may_throw, csr_win64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
 110     ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 111     EH_LABEL <mcsymbol .Leh2>
 112     JMP_1 %bb.5
 113
 114   bb.4.catch (landing-pad, ehfunclet-entry):
 115     successors: %bb.5
 116
 117     ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 118     renamable $esi = MOV32rm %stack.1, 1, $noreg, 0, $noreg :: (load (s32) from %stack.1)
 119     $ecx = COPY renamable $esi
 120     CALL64pcrel32 @use, csr_win64, implicit $rsp, implicit $ssp, implicit $ecx, implicit-def $rsp, implicit-def $ssp
 121     ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 122     ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 123     $ecx = COPY killed renamable $esi
 124     CALL64pcrel32 @use, csr_win64, implicit $rsp, implicit $ssp, implicit $ecx, implicit-def $rsp, implicit-def $ssp
 125     ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 126     CATCHRET %bb.5, %bb.0
 127
 128   bb.5.for.inc:
 129     successors: %bb.2, %bb.3
 130
 131     renamable $ecx = MOV32rm %stack.0, 1, $noreg, 0, $noreg :: (load (s32) from %stack.0)
 132     renamable $ecx = DEC32r killed renamable $ecx, implicit-def $eflags
 133     JCC_1 %bb.2, 4, implicit killed $eflags
 134     JMP_1 %bb.3
 135
 136 ...
 137 #
 138 # CHECK: bb.4.catch
 139 # CHECK: ADJCALLSTACKDOWN64
 140 # CHECK-NEXT: renamable [[REG:\$[a-z0-9]+]] = MOV32rm %stack.1
 141 # CHECK-NEXT: $ecx = COPY renamable [[REG]]
 142 # CHECK-NEXT: CALL64pcrel32 @use