| ; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s |
| ; |
| ; This crashed at some point as the invariant load is in a non-affine |
| ; subregion. Just check it does not anymore. |
| ; |
| ; CHECK: polly.start |
| ; |
| ; ModuleID = 'bugpoint-reduced-simplified.bc' |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| |
| %struct.d = type { i32, i32, i32, i32, float, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 } |
| |
| @board = external global [421 x i8], align 16 |
| @output_flags = external global i32, align 4 |
| @dragon = external global [400 x %struct.d], align 16 |
| |
| ; Function Attrs: nounwind uwtable |
| define void @sgffile_add_debuginfo() #0 { |
| entry: |
| br label %entry.split |
| |
| entry.split: ; preds = %entry |
| %0 = getelementptr inbounds [24 x i8], [24 x i8]* undef, i64 0, i64 0 |
| br i1 false, label %cleanup, label %for.cond1.preheader |
| |
| for.cond1.preheader: ; preds = %entry.split |
| br i1 false, label %if.then7, label %land.lhs.true49 |
| |
| if.then7: ; preds = %for.cond1.preheader |
| %arrayidx = getelementptr inbounds [421 x i8], [421 x i8]* @board, i64 0, i64 0 |
| %crude_status = getelementptr inbounds [400 x %struct.d], [400 x %struct.d]* @dragon, i64 0, i64 0, i32 5 |
| switch i32 0, label %if.end15 [ |
| i32 0, label %sw.bb |
| i32 2, label %sw.bb13 |
| ] |
| |
| sw.bb: ; preds = %if.then7 |
| br label %if.end15 |
| |
| sw.bb13: ; preds = %if.then7 |
| br label %if.end15 |
| |
| if.end15: ; preds = %sw.bb13, %sw.bb, %if.then7 |
| %cmp21 = fcmp ogt float undef, 0.000000e+00 |
| br i1 %cmp21, label %land.lhs.true23, label %for.cond1.for.inc44_crit_edge |
| |
| land.lhs.true23: ; preds = %if.end15 |
| %1 = load i32, i32* @output_flags, align 4 |
| %and24 = and i32 %1, 2 |
| %tobool25 = icmp eq i32 %and24, 0 |
| br i1 %tobool25, label %for.cond1.for.inc44_crit_edge, label %if.else |
| |
| if.else: ; preds = %land.lhs.true23 |
| br label %for.cond1.for.inc44_crit_edge |
| |
| for.cond1.for.inc44_crit_edge: ; preds = %if.else, %land.lhs.true23, %if.end15 |
| br label %land.lhs.true49 |
| |
| land.lhs.true49: ; preds = %for.cond1.for.inc44_crit_edge, %for.cond1.preheader |
| %2 = load i32, i32* @output_flags, align 4 |
| %and50 = and i32 %2, 2 |
| %tobool51 = icmp eq i32 %and50, 0 |
| br i1 %tobool51, label %cleanup, label %if.then52 |
| |
| if.then52: ; preds = %land.lhs.true49 |
| br label %cleanup |
| |
| cleanup: ; preds = %if.then52, %land.lhs.true49, %entry.split |
| call void @llvm.lifetime.end(i64 24, i8* %0) |
| ret void |
| } |
| |
| declare void @llvm.lifetime.end(i64, i8* nocapture) |
