| # RUN: llc --mtriple=hexagon -run-pass=hwloops %s -o - | FileCheck %s |
| |
| # CHECK-LABEL: name: f |
| # CHECK: [[R1:%[0-9]+]]:predregs = C2_cmpgti [[R0:%[0-9]+]], 0 |
| # CHECK: [[R3:%[0-9]+]]:intregs = C2_muxir [[R1:%[0-9]+]], [[R2:%[0-9]+]], 1 |
| # CHECK-LABEL: name: g |
| # CHECK: [[R1:%[0-9]+]]:predregs = C2_cmpgti [[R0:%[0-9]+]], 0 |
| # CHECK: [[R3:%[0-9]+]]:intregs = C2_muxir [[R1:%[0-9]+]], [[R2:%[0-9]+]], 1 |
| --- | |
| @a = dso_local global [255 x ptr] zeroinitializer, align 8 |
| |
| ; Function Attrs: minsize nofree norecurse nosync nounwind optsize memory(write, argmem: none, inaccessiblemem: none) |
| define dso_local void @f(i32 noundef %m) local_unnamed_addr #0 { |
| entry: |
| %cond = tail call i32 @llvm.smax.i32(i32 %m, i32 2) |
| %0 = add nsw i32 %cond, -4 |
| %1 = shl i32 %cond, 3 |
| %cgep = getelementptr i8, ptr @a, i32 %1 |
| %cgep36 = bitcast ptr @a to ptr |
| br label %do.body |
| |
| do.body: ; preds = %do.body, %entry |
| %lsr.iv1 = phi ptr [ %cgep4, %do.body ], [ %cgep, %entry ] |
| %lsr.iv = phi i32 [ %lsr.iv.next, %do.body ], [ %0, %entry ] |
| %sh.0 = phi i32 [ 256, %entry ], [ %shr, %do.body ] |
| %shr = lshr i32 %sh.0, 1 |
| %cgep5 = getelementptr inbounds [255 x ptr], ptr %cgep36, i32 0, i32 %shr |
| store ptr %lsr.iv1, ptr %cgep5, align 4, !tbaa !5 |
| %lsr.iv.next = add nsw i32 %lsr.iv, 4 |
| %cmp1 = icmp samesign ult i32 %lsr.iv.next, 1073741836 |
| %cgep4 = getelementptr i8, ptr %lsr.iv1, i32 32 |
| br i1 %cmp1, label %do.body, label %do.end, !llvm.loop !9 |
| |
| do.end: ; preds = %do.body |
| ret void |
| } |
| |
| ; Function Attrs: minsize nofree norecurse nosync nounwind optsize memory(write, argmem: none, inaccessiblemem: none) |
| define dso_local void @g(i32 noundef %m) local_unnamed_addr #0 { |
| entry: |
| %0 = add i32 %m, -4 |
| %1 = shl i32 %m, 3 |
| %cgep = getelementptr i8, ptr @a, i32 %1 |
| %cgep36 = bitcast ptr @a to ptr |
| br label %do.body |
| |
| do.body: ; preds = %do.body, %entry |
| %lsr.iv1 = phi ptr [ %cgep4, %do.body ], [ %cgep, %entry ] |
| %lsr.iv = phi i32 [ %lsr.iv.next, %do.body ], [ %0, %entry ] |
| %sh.0 = phi i32 [ 256, %entry ], [ %shr, %do.body ] |
| %shr = lshr i32 %sh.0, 1 |
| %cgep5 = getelementptr inbounds [255 x ptr], ptr %cgep36, i32 0, i32 %shr |
| store ptr %lsr.iv1, ptr %cgep5, align 4, !tbaa !5 |
| %lsr.iv.next = add i32 %lsr.iv, 4 |
| %cmp = icmp slt i32 %lsr.iv.next, 1073741836 |
| %cgep4 = getelementptr i8, ptr %lsr.iv1, i32 32 |
| br i1 %cmp, label %do.body, label %do.end, !llvm.loop !11 |
| |
| do.end: ; preds = %do.body |
| ret void |
| } |
| |
| ; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none) |
| declare i32 @llvm.smax.i32(i32, i32) #1 |
| |
| !llvm.module.flags = !{!0, !1, !2, !3} |
| !0 = !{i32 1, !"wchar_size", i32 4} |
| !1 = !{i32 8, !"PIC Level", i32 2} |
| !2 = !{i32 7, !"PIE Level", i32 2} |
| !3 = !{i32 7, !"frame-pointer", i32 2} |
| !5 = !{!6, !6, i64 0} |
| !6 = !{!"any pointer", !7, i64 0} |
| !7 = !{!"omnipotent char", !8, i64 0} |
| !8 = !{!"Simple C/C++ TBAA"} |
| !9 = distinct !{!9, !10} |
| !10 = !{!"llvm.loop.mustprogress"} |
| !11 = distinct !{!11, !10} |
| |
| ... |
| --- |
| name: f |
| alignment: 4 |
| exposesReturnsTwice: false |
| legalized: false |
| regBankSelected: false |
| selected: false |
| failedISel: false |
| tracksRegLiveness: true |
| hasWinCFI: false |
| noPhis: false |
| isSSA: true |
| noVRegs: false |
| hasFakeUses: false |
| callsEHReturn: false |
| callsUnwindInit: false |
| hasEHScopes: false |
| hasEHFunclets: false |
| isOutlined: false |
| debugInstrRef: false |
| failsVerification: false |
| tracksDebugUserValues: false |
| registers: |
| - { id: 0, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 1, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 2, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 3, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 4, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 5, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 6, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 7, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 8, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 9, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 10, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 11, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 12, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 13, class: predregs, preferred-register: '', flags: [ ] } |
| - { id: 14, class: predregs, preferred-register: '', flags: [ ] } |
| - { id: 15, class: intregs, preferred-register: '', flags: [ ] } |
| liveins: |
| - { reg: '$r0', virtual-reg: '%9' } |
| frameInfo: |
| isFrameAddressTaken: false |
| isReturnAddressTaken: false |
| hasStackMap: false |
| hasPatchPoint: false |
| stackSize: 0 |
| offsetAdjustment: 0 |
| maxAlignment: 1 |
| adjustsStack: false |
| hasCalls: false |
| stackProtector: '' |
| functionContext: '' |
| maxCallFrameSize: 4294967295 |
| cvBytesOfCalleeSavedRegisters: 0 |
| hasOpaqueSPAdjustment: false |
| hasVAStart: false |
| hasMustTailInVarArgFunc: false |
| hasTailCall: false |
| isCalleeSavedInfoValid: false |
| localFrameSize: 0 |
| savePoint: '' |
| restorePoint: '' |
| fixedStack: [] |
| stack: [] |
| entry_values: [] |
| callSites: [] |
| debugValueSubstitutions: [] |
| constants: [] |
| machineFunctionInfo: {} |
| body: | |
| bb.0.entry: |
| successors: %bb.1(0x80000000) |
| liveins: $r0 |
| |
| %9:intregs = COPY $r0 |
| %11:intregs = A2_tfrsi 2 |
| %12:intregs = A2_max %9, %11 |
| %0:intregs = nsw A2_addi %12, -4 |
| %1:intregs = S4_addi_asl_ri @a, %12, 3 |
| %2:intregs = A2_tfrsi @a |
| %10:intregs = A2_tfrsi 256 |
| |
| bb.1.do.body: |
| successors: %bb.1(0x7c000000), %bb.2(0x04000000) |
| |
| %3:intregs = PHI %1, %bb.0, %8, %bb.1 |
| %4:intregs = PHI %0, %bb.0, %7, %bb.1 |
| %5:intregs = PHI %10, %bb.0, %15, %bb.1 |
| %15:intregs = S2_extractu %5, 8, 1 |
| S4_storeri_rr %2, %15, 2, %3 :: (store (s32) into %ir.cgep5, !tbaa !5) |
| %7:intregs = nsw A2_addi %4, 4 |
| %13:predregs = C2_cmpgtui %7, 1073741835 |
| %8:intregs = A2_addi %3, 32 |
| J2_jumpf %13, %bb.1, implicit-def dead $pc |
| J2_jump %bb.2, implicit-def dead $pc |
| |
| bb.2.do.end: |
| PS_jmpret $r31, implicit-def dead $pc |
| |
| ... |
| --- |
| name: g |
| alignment: 4 |
| exposesReturnsTwice: false |
| legalized: false |
| regBankSelected: false |
| selected: false |
| failedISel: false |
| tracksRegLiveness: true |
| hasWinCFI: false |
| noPhis: false |
| isSSA: true |
| noVRegs: false |
| hasFakeUses: false |
| callsEHReturn: false |
| callsUnwindInit: false |
| hasEHScopes: false |
| hasEHFunclets: false |
| isOutlined: false |
| debugInstrRef: false |
| failsVerification: false |
| tracksDebugUserValues: false |
| registers: |
| - { id: 0, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 1, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 2, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 3, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 4, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 5, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 6, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 7, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 8, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 9, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 10, class: intregs, preferred-register: '', flags: [ ] } |
| - { id: 11, class: predregs, preferred-register: '', flags: [ ] } |
| - { id: 12, class: predregs, preferred-register: '', flags: [ ] } |
| - { id: 13, class: intregs, preferred-register: '', flags: [ ] } |
| liveins: |
| - { reg: '$r0', virtual-reg: '%9' } |
| frameInfo: |
| isFrameAddressTaken: false |
| isReturnAddressTaken: false |
| hasStackMap: false |
| hasPatchPoint: false |
| stackSize: 0 |
| offsetAdjustment: 0 |
| maxAlignment: 1 |
| adjustsStack: false |
| hasCalls: false |
| stackProtector: '' |
| functionContext: '' |
| maxCallFrameSize: 4294967295 |
| cvBytesOfCalleeSavedRegisters: 0 |
| hasOpaqueSPAdjustment: false |
| hasVAStart: false |
| hasMustTailInVarArgFunc: false |
| hasTailCall: false |
| isCalleeSavedInfoValid: false |
| localFrameSize: 0 |
| savePoint: '' |
| restorePoint: '' |
| fixedStack: [] |
| stack: [] |
| entry_values: [] |
| callSites: [] |
| debugValueSubstitutions: [] |
| constants: [] |
| machineFunctionInfo: {} |
| body: | |
| bb.0.entry: |
| successors: %bb.1(0x80000000) |
| liveins: $r0 |
| |
| %9:intregs = COPY $r0 |
| %0:intregs = A2_addi %9, -4 |
| %1:intregs = S4_addi_asl_ri @a, %9, 3 |
| %2:intregs = A2_tfrsi @a |
| %10:intregs = A2_tfrsi 256 |
| |
| bb.1.do.body: |
| successors: %bb.1(0x7c000000), %bb.2(0x04000000) |
| |
| %3:intregs = PHI %1, %bb.0, %8, %bb.1 |
| %4:intregs = PHI %0, %bb.0, %7, %bb.1 |
| %5:intregs = PHI %10, %bb.0, %13, %bb.1 |
| %13:intregs = S2_extractu %5, 8, 1 |
| S4_storeri_rr %2, %13, 2, %3 :: (store (s32) into %ir.cgep5, !tbaa !5) |
| %7:intregs = A2_addi %4, 4 |
| %11:predregs = C2_cmpgti %7, 1073741835 |
| %8:intregs = A2_addi %3, 32 |
| J2_jumpf %11, %bb.1, implicit-def dead $pc |
| J2_jump %bb.2, implicit-def dead $pc |
| |
| bb.2.do.end: |
| PS_jmpret $r31, implicit-def dead $pc |
| |
| ... |
