llvm-project

1
; RUN: opt %loadNPMPolly -passes=polly-codegen -S \
2
; RUN: -polly-allow-differing-element-types < %s | FileCheck %s
3

4
; CHECK: polly
5

6
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
7

8
define void @hoge(ptr %arg) #0 {
9
bb:
10
  br label %bb3
11

12
bb3:                                              ; preds = %bb
13
  %tmp = load i8, ptr %arg, align 1, !tbaa !1
14
  br i1 false, label %bb7, label %bb4
15

16
bb4:                                              ; preds = %bb3
17
  %tmp6 = load i32, ptr %arg, align 4, !tbaa !4
18
  br label %bb7
19

20
bb7:                                              ; preds = %bb4, %bb3
21
  %tmp8 = phi i8 [ 1, %bb3 ], [ undef, %bb4 ]
22
  ret void
23
}
24

25
attributes #0 = { 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" }
26

27
!llvm.ident = !{!0}
28

29
!0 = !{!"clang version 3.9.0 (trunk 259751) (llvm/trunk 259869)"}
30
!1 = !{!2, !2, i64 0}
31
!2 = !{!"omnipotent char", !3, i64 0}
32
!3 = !{!"Simple C/C++ TBAA"}
33
!4 = !{!5, !5, i64 0}
34
!5 = !{!"int", !2, i64 0}
35