llvm/test/CodeGen/ARM/unschedule-first-call.ll

   1 ; RUN: llc -verify-machineinstrs < %s
   2 ; PR30911
   3
   4 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
   5 target triple = "armv6kz--linux-gnueabihf"
   6
   7 ; Function Attrs: nounwind
   8 define void @dradbg(i32, i32, ptr, ptr, ptr, ptr, ptr) #0 {
   9   br i1 undef, label %.critedge, label %8
  10
  11 .critedge:                                        ; preds = %7
  12   %.mux2 = select i1 undef, i1 undef, i1 true
  13   br label %8
  14
  15 ; <label>:8:                                      ; preds = %.critedge, %7
  16   %9 = getelementptr float, ptr %3, i64 undef
  17   %10 = ptrtoint ptr %9 to i32
  18   %11 = icmp ule i32 %10, undef
  19   %12 = getelementptr float, ptr %5, i64 undef
  20   %13 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 undef, i64 undef)
  21   %14 = extractvalue { i64, i1 } %13, 0
  22   %15 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %14, i64 1)
  23   %16 = extractvalue { i64, i1 } %15, 0
  24   %17 = icmp slt i64 1, %16
  25   %18 = select i1 %17, i64 1, i64 %16
  26   %19 = sext i32 %1 to i64
  27   %20 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %18, i64 %19)
  28   %21 = extractvalue { i64, i1 } %20, 0
  29   %22 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %21, i64 0)
  30   %23 = extractvalue { i64, i1 } %22, 0
  31   %24 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %23, i64 undef)
  32   %25 = extractvalue { i64, i1 } %24, 0
  33   %26 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %25, i64 0)
  34   %27 = extractvalue { i64, i1 } %26, 0
  35   %28 = getelementptr float, ptr %3, i64 %27
  36   %29 = ptrtoint ptr %12 to i32
  37   %30 = ptrtoint ptr %28 to i32
  38   %31 = icmp ule i32 %29, %30
  39   %32 = or i1 %11, %31
  40   %33 = and i1 false, %32
  41   %34 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 0, i64 undef)
  42   %35 = extractvalue { i64, i1 } %34, 0
  43   %36 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %35, i64 1)
  44   %37 = extractvalue { i64, i1 } %36, 0
  45   %38 = icmp slt i64 1, %37
  46   %39 = select i1 %38, i64 1, i64 %37
  47   %40 = sext i32 %1 to i64
  48   %41 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %39, i64 %40)
  49   %42 = extractvalue { i64, i1 } %41, 0
  50   %43 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %42, i64 0)
  51   %44 = extractvalue { i64, i1 } %43, 0
  52   %45 = sext i32 %0 to i64
  53   %46 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %44, i64 %45)
  54   %47 = extractvalue { i64, i1 } %46, 0
  55   %48 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %47, i64 0)
  56   %49 = extractvalue { i64, i1 } %48, 0
  57   %50 = getelementptr float, ptr %5, i64 %49
  58   %51 = ptrtoint ptr %50 to i32
  59   %52 = icmp ule i32 undef, %51
  60   %53 = getelementptr float, ptr %4, i64 undef
  61   %54 = ptrtoint ptr %53 to i32
  62   %55 = icmp ule i32 undef, %54
  63   %56 = or i1 %52, %55
  64   %57 = and i1 %33, %56
  65   %58 = getelementptr float, ptr %2, i64 undef
  66   %59 = ptrtoint ptr %58 to i32
  67   %60 = icmp ule i32 %59, undef
  68   %61 = select i1 undef, i64 undef, i64 0
  69   %62 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %61, i64 undef)
  70   %63 = extractvalue { i64, i1 } %62, 0
  71   %64 = call { i64, i1 } @llvm.ssub.with.overflow.i64(i64 undef, i64 1)
  72   %65 = extractvalue { i64, i1 } %64, 0
  73   %66 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %63, i64 %65)
  74   %67 = extractvalue { i64, i1 } %66, 0
  75   %68 = sext i32 %0 to i64
  76   %69 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %67, i64 %68)
  77   %70 = extractvalue { i64, i1 } %69, 0
  78   %71 = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %70, i64 0)
  79   %72 = extractvalue { i64, i1 } %71, 0
  80   %73 = getelementptr float, ptr %5, i64 %72
  81   %74 = ptrtoint ptr %73 to i32
  82   %75 = icmp ule i32 %74, undef
  83   %76 = or i1 %60, %75
  84   %77 = and i1 %57, %76
  85   %78 = getelementptr float, ptr %6, i64 undef
  86   %79 = ptrtoint ptr %78 to i32
  87   %80 = icmp ule i32 %79, undef
  88   %81 = getelementptr float, ptr %5, i64 undef
  89   %82 = ptrtoint ptr %81 to i32
  90   %83 = icmp ule i32 %82, undef
  91   %84 = or i1 %80, %83
  92   %85 = and i1 %77, %84
  93   %86 = and i1 %85, undef
  94   %87 = and i1 %86, undef
  95   %88 = and i1 %87, undef
  96   %89 = and i1 %88, undef
  97   %90 = and i1 %89, undef
  98   %91 = and i1 %90, undef
  99   %92 = and i1 %91, undef
 100   %93 = and i1 %92, undef
 101   %94 = and i1 %93, undef
 102   %95 = and i1 %94, undef
 103   br i1 %95, label %97, label %96
 104
 105 ; <label>:96:                                     ; preds = %8
 106   br i1 undef, label %.critedge122, label %.critedge110
 107
 108 .critedge122:                                     ; preds = %.critedge122, %96
 109   br i1 false, label %.critedge122, label %.critedge110
 110
 111 .critedge110:                                     ; preds = %.critedge219, %97, %.critedge122, %96
 112   ret void
 113
 114 ; <label>:97:                                     ; preds = %8
 115   br i1 undef, label %.critedge219, label %.critedge110
 116
 117 .critedge219:                                     ; preds = %.critedge219, %97
 118   %.pr287 = phi i1 [ undef, %.critedge219 ], [ true, %97 ]
 119   br i1 %.pr287, label %.critedge219, label %.critedge110
 120 }
 121
 122 ; Function Attrs: nounwind readnone
 123 declare { i64, i1 } @llvm.smul.with.overflow.i64(i64, i64) #1
 124
 125 ; Function Attrs: nounwind readnone
 126 declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64) #1
 127
 128 ; Function Attrs: nounwind readnone
 129 declare { i64, i1 } @llvm.ssub.with.overflow.i64(i64, i64) #1
 130
 131 attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "polly-optimized" "stack-protector-buffer-size"="8" "target-cpu"="arm1176jzf-s" "target-features"="+dsp,+strict-align,+vfp2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 132 attributes #1 = { nounwind readnone }
 133
 134 !llvm.ident = !{!0}
 135
 136 !0 = !{!"clang version 4.0.0 (trunk 285923) (llvm/trunk 285921)"}