| ; RUN: opt %loadPolly -polly-scops -polly-codegen -S < %s | FileCheck %s |
| |
| target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| %class.node = type { i32 (...)**, %class.node* } |
| |
| define void @foobar(double* %A) { |
| if.end: |
| br i1 undef, label %if.then29, label %lor.lhs.false |
| |
| lor.lhs.false: |
| %call25 = tail call i32 undef(%class.node* undef) |
| br i1 undef, label %if.then29, label %if.end30 |
| |
| if.then29: |
| br label %if.end30 |
| |
| if.end30: |
| %tobool76.not = phi i1 [ false, %lor.lhs.false ], [ true, %if.then29 ] |
| br label %if.end75 |
| |
| if.end75: |
| br label %if.end79 |
| |
| if.end79: |
| br label %if.then84 |
| |
| if.then84: |
| br label %if.end91 |
| |
| if.end91: |
| br i1 %tobool76.not, label %if.end98, label %if.then93 |
| |
| if.then93: |
| store double 0.0, double* %A |
| br label %if.end98 |
| |
| if.end98: |
| %tobool131 = phi i1 [ false, %if.end91 ], [ true, %if.then93 ] |
| ret void |
| } |
| |
| |
| ; CHECK: polly.stmt.if.then93: |
| ; CHECK: store double 0.000000e+00, double* %A |
| ; CHECK: br label %polly.exiting |
| |
