polly/test/CodeGen/invariant_load_not_executed_but_in_parameters.ll

   1 ; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -disable-output < %s
   2 ;
   3 ; Check that this does not crash as the invariant load is not executed (thus
   4 ; not preloaded) but still referenced by one of the parameters.
   5 ;
   6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   7
   8 %struct.Exp.204.248.358 = type { ptr, i32, i32, i32, ptr, ptr, %union.anon.2.201.245.355, %union.anon.3.202.246.356, %union.anon.4.203.247.357 }
   9 %struct.Exp_.200.244.354 = type { i32, i32, i32, i32, ptr }
  10 %struct.Id.199.243.353 = type { ptr, i32, i32, i32, %union.anon.1.198.242.352 }
  11 %union.anon.1.198.242.352 = type { [2 x i64] }
  12 %union.anon.2.201.245.355 = type { ptr }
  13 %union.anon.3.202.246.356 = type { i32 }
  14 %union.anon.4.203.247.357 = type { ptr }
  15 %struct.Classfile.218.262.372 = type { ptr, ptr, i32, i32, i32, %struct.ClassVersion.207.251.361, %struct.ConstPool.210.254.364, %struct.AccessFlags.211.255.365, i16, ptr, ptr, i16, ptr, i16, ptr, i16, ptr, i16, ptr, ptr, i16, ptr, ptr }
  16 %struct._IO_FILE.206.250.360 = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i64, i16, i8, [1 x i8], ptr, i64, ptr, ptr, ptr, ptr, i64, i32, [20 x i8] }
  17 %struct._IO_marker.205.249.359 = type { ptr, ptr, i32 }
  18 %struct.ClassVersion.207.251.361 = type { i16, i16 }
  19 %struct.ConstPool.210.254.364 = type { i16, ptr }
  20 %struct.cp_info.209.253.363 = type { i8, %union.anon.208.252.362 }
  21 %union.anon.208.252.362 = type { i64 }
  22 %struct.AccessFlags.211.255.365 = type { i16 }
  23 %struct.field_info.212.256.366 = type <{ %struct.AccessFlags.211.255.365, [6 x i8], ptr, ptr, i32, i16, [2 x i8] }>
  24 %struct.method_info.217.261.371 = type { %struct.AccessFlags.211.255.365, ptr, ptr, i8, i8, i32, ptr, i16, ptr, i16, ptr, i16, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr }
  25 %struct.Block.214.258.368 = type { i32, i16, i16, %union.anon.0.213.257.367, i16, ptr }
  26 %union.anon.0.213.257.367 = type { i32 }
  27 %struct.LineNumberTableEntry.215.259.369 = type { i16, i16 }
  28 %struct.LocalVariableTableEntry.216.260.370 = type { i16, i16, i16, i16, i16 }
  29 %struct.Case.219.263.373 = type { i64, i64 }
  30
  31 @currpc = external global i32, align 4
  32 @bufflength = external global i32, align 4
  33 @inbuff = external global ptr, align 8
  34 @stkptr = external global ptr, align 8
  35 @donestkptr = external global ptr, align 8
  36
  37 ; Function Attrs: uwtable
  38 define i32 @_Z13dotableswitchP9Classfile(ptr %c) #0 personality ptr @__gxx_personality_v0 {
  39 entry:
  40   br label %entry.split
  41
  42 entry.split:                                      ; preds = %entry
  43   %sub = add i32 0, -1
  44   %tobool.5 = icmp eq i32 0, 0
  45   br i1 %tobool.5, label %while.end, label %while.body.lr.ph
  46
  47 while.body.lr.ph:                                 ; preds = %entry.split
  48   br label %while.body
  49
  50 while.body:                                       ; preds = %while.body, %while.body.lr.ph
  51   %0 = load i32, ptr @currpc, align 4
  52   %rem = and i32 %0, 3
  53   %tobool = icmp eq i32 %rem, 0
  54   br i1 %tobool, label %while.cond.while.end_crit_edge, label %while.body
  55
  56 while.cond.while.end_crit_edge:                   ; preds = %while.body
  57   br label %while.end
  58
  59 while.end:                                        ; preds = %while.cond.while.end_crit_edge, %entry.split
  60   invoke void @_ZN3ExpC2Ejj7Exptype4Type2OpPS_jjP4Case(ptr nonnull undef, i32 %sub, i32 undef, i32 9, i32 0, i32 39, ptr undef, i32 undef, i32 undef, ptr nonnull undef)
  61           to label %invoke.cont unwind label %lpad
  62
  63 invoke.cont:                                      ; preds = %while.end
  64   br i1 undef, label %for.end, label %for.body.lr.ph
  65
  66 for.body.lr.ph:                                   ; preds = %invoke.cont
  67   br label %for.body
  68
  69 for.body:                                         ; preds = %for.body, %for.body.lr.ph
  70   br i1 undef, label %for.cond.for.end_crit_edge, label %for.body
  71
  72 lpad:                                             ; preds = %while.end
  73   %1 = landingpad { ptr, i32 }
  74           cleanup
  75   resume { ptr, i32 } undef
  76
  77 for.cond.for.end_crit_edge:                       ; preds = %for.body
  78   br label %for.end
  79
  80 for.end:                                          ; preds = %for.cond.for.end_crit_edge, %invoke.cont
  81   ret i32 0
  82 }
  83
  84 ; Function Attrs: nounwind readnone
  85 declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64) #1
  86
  87 ; Function Attrs: nobuiltin
  88 declare noalias ptr @_Znam(i64) #2
  89
  90 ; Function Attrs: nobuiltin
  91 declare noalias ptr @_Znwm(i64) #2
  92
  93 ; Function Attrs: uwtable
  94 declare void @_ZN3ExpC2Ejj7Exptype4Type2OpPS_jjP4Case(ptr, i32, i32, i32, i32, i32, ptr, i32, i32, ptr) unnamed_addr #0 align 2
  95
  96 declare i32 @__gxx_personality_v0(...)
  97
  98 ; Function Attrs: nobuiltin nounwind
  99 declare void @_ZdlPv(ptr) #3
 100
 101 ; Function Attrs: uwtable
 102 declare i32 @_Z10doluswitchP9Classfile(ptr) #0
 103
 104 ; Function Attrs: nounwind uwtable
 105 declare void @_ZN4Exp_C2E7Exptype4Type2Op(ptr, i32, i32, i32) unnamed_addr #4 align 2
 106
 107 attributes #0 = { uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 108 attributes #1 = { nounwind readnone }
 109 attributes #2 = { nobuiltin "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 110 attributes #3 = { nobuiltin nounwind "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 111 attributes #4 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
 112
 113 !llvm.ident = !{!0}
 114
 115 !0 = !{!"clang version 3.8.0"}