| ; RUN: opt %loadPolly -S -polly-codegen < %s | FileCheck %s |
| |
| ; TODO: FIXME: IslExprBuilder is not capable of producing valid code |
| ; for arbitrary pointer expressions at the moment. Until |
| ; this is fixed we disallow pointer expressions completely. |
| ; XFAIL: * |
| |
| ; CHECK: polly.start |
| |
| target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-a0:0-n32" |
| |
| define void @fixup_gotos(i32* %A, i32* %data) nounwind { |
| entry: |
| br label %if |
| |
| if: |
| %cond = icmp eq i32* %A, null |
| br i1 %cond, label %last, label %then |
| |
| then: |
| store i32 1, i32* %data, align 4 |
| br label %last |
| |
| last: |
| ret void |
| } |