llvm/test/CodeGen/X86/2009-09-10-LoadFoldingBug.ll

   1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin10.0 -relocation-model=pic -frame-pointer=all | FileCheck %s
   2
   3 ; It's not legal to fold a load from 32-bit stack slot into a 64-bit
   4 ; instruction. If done, the instruction does a 64-bit load and that's not
   5 ; safe. This can happen we a subreg_to_reg 0 has been coalesced. One
   6 ; exception is when the instruction that folds the load is a move, then we
   7 ; can simply turn it into a 32-bit load from the stack slot.
   8 ; rdar://7170444
   9
  10 %struct.ComplexType = type { i32 }
  11
  12 define i32 @t(i32 %clientPort, i32 %pluginID, i32 %requestID, i32 %objectID, i64 %serverIdentifier, i64 %argumentsData, i32 %argumentsLength) ssp personality ptr @__gxx_personality_v0 {
  13 entry:
  14 ; CHECK: _t:
  15 ; CHECK: movl 16(%rbp),
  16   %0 = zext i32 %argumentsLength to i64           ; <i64> [#uses=1]
  17   %1 = zext i32 %clientPort to i64                ; <i64> [#uses=1]
  18   %2 = inttoptr i64 %1 to ptr    ; <ptr> [#uses=1]
  19   %3 = invoke ptr @pluginInstance(ptr undef, i32 %pluginID)
  20           to label %invcont unwind label %lpad    ; <ptr> [#uses=1]
  21
  22 invcont:                                          ; preds = %entry
  23   %4 = add i32 %requestID, %pluginID              ; <i32> [#uses=0]
  24   %5 = invoke zeroext i8 @invoke(ptr %3, i32 %objectID, ptr undef, i64 %argumentsData, i32 %argumentsLength, ptr undef, ptr undef)
  25           to label %invcont1 unwind label %lpad   ; <i8> [#uses=0]
  26
  27 invcont1:                                         ; preds = %invcont
  28   %6 = getelementptr inbounds %struct.ComplexType, ptr %2, i64 0, i32 0 ; <ptr> [#uses=1]
  29   %7 = load i32, ptr %6, align 4                      ; <i32> [#uses=1]
  30   invoke void @booleanAndDataReply(i32 %7, i32 undef, i32 %requestID, i32 undef, i64 undef, i32 undef)
  31           to label %invcont2 unwind label %lpad
  32
  33 invcont2:                                         ; preds = %invcont1
  34   ret i32 0
  35
  36 lpad:                                             ; preds = %invcont1, %invcont, %entry
  37   %exn = landingpad {ptr, i32}
  38             cleanup
  39   %8 = call i32 @vm_deallocate(i32 undef, i64 0, i64 %0) ; <i32> [#uses=0]
  40   unreachable
  41 }
  42
  43 declare i32 @vm_deallocate(i32, i64, i64)
  44
  45 declare ptr @pluginInstance(ptr, i32)
  46
  47 declare zeroext i8 @invoke(ptr, i32, ptr, i64, i32, ptr, ptr)
  48
  49 declare void @booleanAndDataReply(i32, i32, i32, i32, i64, i32)
  50
  51 declare i32 @__gxx_personality_v0(...)