49 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -S < %s 2>&1 | FileCheck %s2 3target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-unknown-linux-gnu"5 6%class.node = type { ptr, ptr }7 8define void @foobar(ptr %A) {9if.end:10 br i1 undef, label %if.then29, label %lor.lhs.false11 12lor.lhs.false:13 %call25 = tail call i32 undef(ptr undef)14 br i1 undef, label %if.then29, label %if.end3015 16if.then29:17 br label %if.end3018 19if.end30:20 %tobool76.not = phi i1 [ false, %lor.lhs.false ], [ true, %if.then29 ]21 br label %if.end7522 23if.end75:24 br label %if.end7925 26if.end79:27 br label %if.then8428 29if.then84:30 br label %if.end9131 32if.end91:33 br i1 %tobool76.not, label %if.end98, label %if.then9334 35if.then93:36 store double 0.0, ptr %A37 br label %if.end9838 39if.end98:40 %tobool131 = phi i1 [ false, %if.end91 ], [ true, %if.then93 ]41 ret void42}43 44 45; CHECK: polly.stmt.if.then93:46; CHECK: store double 0.000000e+00, ptr %A47; CHECK: br label %polly.exiting48 49