Zi Xuan Wu | cf4d477 | 2018-12-07 05:25:16 +0000 | [diff] [blame] | 1 | ; RUN: llc -mcpu=pwr9 -mtriple=powerpc64-unknown-linux-gnu < %s -verify-machineinstrs | FileCheck %s |
| 2 | ; RUN: llc -mcpu=pwr9 -mtriple=powerpc64le-unknown-linux-gnu < %s -verify-machineinstrs | FileCheck %s |
Chen Zheng | dfdccbb | 2019-07-03 01:49:03 +0000 | [diff] [blame] | 3 | ; RUN: llc -mcpu=pwr8 -mtriple=powerpc64-unknown-linux-gnu -disable-ppc-ctrloops < %s -verify-machineinstrs \ |
| 4 | ; RUN: | FileCheck %s --check-prefix=CHECK-ITIN |
| 5 | ; RUN: llc -mcpu=pwr8 -mtriple=powerpc64le-unknown-linux-gnu -disable-ppc-ctrloops < %s -verify-machineinstrs \ |
| 6 | ; RUN: | FileCheck %s --check-prefix=CHECK-ITIN |
Jinsong Ji | 42c13c2 | 2018-11-20 14:55:43 +0000 | [diff] [blame] | 7 | |
| 8 | |
| 9 | %0 = type { i32, i32 } |
| 10 | |
| 11 | ; Function Attrs: norecurse nounwind writeonly |
| 12 | define void @initCombList(%0* nocapture, i32 signext) local_unnamed_addr #0 { |
| 13 | ; CHECK-LABEL: initCombList: |
QingShan Zhang | f24ec7b | 2019-01-03 05:04:18 +0000 | [diff] [blame] | 14 | ; CHECK: addi 4, 4, -8 |
Chen Zheng | dfdccbb | 2019-07-03 01:49:03 +0000 | [diff] [blame] | 15 | ; CHECK: stwu [[REG:[0-9]+]], 64(3) |
Jinsong Ji | 42c13c2 | 2018-11-20 14:55:43 +0000 | [diff] [blame] | 16 | |
| 17 | ; CHECK-ITIN-LABEL: initCombList: |
Chen Zheng | dfdccbb | 2019-07-03 01:49:03 +0000 | [diff] [blame] | 18 | ; CHECK-ITIN: stwu [[REG:[0-9]+]], 64(3) |
| 19 | ; CHECK-ITIN-NEXT: addi [[REG2:[0-9]+]], [[REG2]], 8 |
Jinsong Ji | 42c13c2 | 2018-11-20 14:55:43 +0000 | [diff] [blame] | 20 | |
| 21 | |
| 22 | %3 = zext i32 %1 to i64 |
| 23 | br i1 undef, label %6, label %4 |
| 24 | |
| 25 | ; <label>:4: ; preds = %2 |
| 26 | store i32 0, i32* undef, align 4, !tbaa !1 |
| 27 | %5 = add nuw nsw i64 0, 1 |
| 28 | br label %6 |
| 29 | |
| 30 | ; <label>:6: ; preds = %4, %2 |
| 31 | %7 = phi i64 [ 0, %2 ], [ %5, %4 ] |
| 32 | br i1 undef, label %23, label %8 |
| 33 | |
| 34 | ; <label>:8: ; preds = %8, %6 |
| 35 | %9 = phi i64 [ %21, %8 ], [ %7, %6 ] |
| 36 | %10 = getelementptr inbounds %0, %0* %0, i64 %9, i32 1 |
| 37 | store i32 0, i32* %10, align 4, !tbaa !1 |
| 38 | %11 = add nuw nsw i64 %9, 1 |
| 39 | %12 = getelementptr inbounds %0, %0* %0, i64 %11, i32 1 |
| 40 | store i32 0, i32* %12, align 4, !tbaa !1 |
| 41 | %13 = add nsw i64 %9, 2 |
| 42 | %14 = getelementptr inbounds %0, %0* %0, i64 %13, i32 1 |
| 43 | store i32 0, i32* %14, align 4, !tbaa !1 |
| 44 | %15 = add nsw i64 %9, 3 |
| 45 | %16 = getelementptr inbounds %0, %0* %0, i64 %15, i32 1 |
| 46 | store i32 0, i32* %16, align 4, !tbaa !1 |
| 47 | %17 = add nsw i64 %9, 4 |
| 48 | %18 = getelementptr inbounds %0, %0* %0, i64 %17, i32 1 |
| 49 | store i32 0, i32* %18, align 4, !tbaa !1 |
| 50 | %19 = add nsw i64 %9, 6 |
| 51 | %20 = getelementptr inbounds %0, %0* %0, i64 %19, i32 1 |
| 52 | store i32 0, i32* %20, align 4, !tbaa !1 |
| 53 | %21 = add nsw i64 %9, 8 |
| 54 | %22 = icmp eq i64 %21, %3 |
| 55 | br i1 %22, label %23, label %8, !llvm.loop !6 |
| 56 | |
| 57 | ; <label>:23: ; preds = %8, %6 |
| 58 | ret void |
| 59 | } |
| 60 | |
| 61 | attributes #0 = { norecurse nounwind writeonly "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="ppc64le" "target-features"="+altivec,+bpermd,+crypto,+direct-move,+extdiv,+htm,+power8-vector,+vsx,-power9-vector,-qpx" "unsafe-fp-math"="false" "use-soft-float"="false" } |
| 62 | |
| 63 | !llvm.ident = !{!0} |
| 64 | |
| 65 | !0 = !{!"clang version 8.0.0 "} |
| 66 | !1 = !{!2, !3, i64 4} |
| 67 | !2 = !{!"", !3, i64 0, !3, i64 4} |
| 68 | !3 = !{!"int", !4, i64 0} |
| 69 | !4 = !{!"omnipotent char", !5, i64 0} |
| 70 | !5 = !{!"Simple C/C++ TBAA"} |
| 71 | !6 = distinct !{!6, !7} |
| 72 | !7 = !{!"llvm.loop.isvectorized", i32 1} |