llvm/test/CodeGen/X86/fold-call-oper.ll

   1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s
   2 ;
   3 ; PR18396: Assertion: MO->isDead "Cannot fold physreg def".
   4 ; InlineSpiller::foldMemoryOperand needs to handle undef call operands.
   5
   6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   7
   8 @a = external global ptr, align 8
   9 @b = external global i32, align 4
  10
  11 ; Check that the call targets are folded, and we don't crash!
  12 ; CHECK-LABEL: foldCallOper:
  13 ; CHECK: callq *{{.*}}(%rbp)
  14 ; CHECK: callq *{{.*}}(%rbp)
  15 define void @foldCallOper(ptr nocapture %p1) #0 {
  16 entry:
  17   %0 = load ptr, ptr @a, align 8
  18   br label %for.body.i
  19
  20 for.body.i:                                       ; preds = %for.body.i, %entry
  21   %exitcond5.i = icmp eq i32 undef, undef
  22   br i1 %exitcond5.i, label %for.body3.lr.ph.i, label %for.body.i
  23
  24 for.body3.lr.ph.i:                                ; preds = %for.body.i
  25   %call.i = tail call i32 %p1(ptr undef, i32 0, ptr null)
  26   %tobool.i = icmp eq i32 %call.i, 0
  27   br label %for.body3.i
  28
  29 for.body3.i:                                      ; preds = %for.inc8.i, %for.body3.lr.ph.i
  30   %1 = phi ptr [ undef, %for.body3.lr.ph.i ], [ %.pre.i, %for.inc8.i ]
  31   %indvars.iv.i = phi i64 [ 1, %for.body3.lr.ph.i ], [ %phitmp.i, %for.inc8.i ]
  32   %call5.i = tail call i32 %p1(ptr %1, i32 0, ptr %0)
  33   br i1 %tobool.i, label %for.inc8.i, label %if.then.i
  34
  35 if.then.i:                                        ; preds = %for.body3.i
  36   %2 = load i32, ptr %1, align 4
  37   store i32 %2, ptr @b, align 4
  38   br label %for.inc8.i
  39
  40 for.inc8.i:                                       ; preds = %if.then.i, %for.body3.i
  41   %lftr.wideiv.i = trunc i64 %indvars.iv.i to i32
  42   %arrayidx4.phi.trans.insert.i = getelementptr inbounds [0 x ptr], ptr undef, i64 0, i64 %indvars.iv.i
  43   %.pre.i = load ptr, ptr %arrayidx4.phi.trans.insert.i, align 8
  44   %phitmp.i = add i64 %indvars.iv.i, 1
  45   br label %for.body3.i
  46 }
  47
  48 attributes #0 = { noreturn uwtable "frame-pointer"="all" }