105 lines · plain
1# RUN: llc -mtriple thumbv6m-arm-none-eabi -run-pass=machine-cse -verify-machineinstrs -o - %s | FileCheck %s2# RUN: llc -mtriple thumbv6m-arm-none-eabi -passes=machine-cse -o - %s | FileCheck %s3 4--- |5 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"6 target triple = "thumbv6m-arm-none-eabi"7 8 define i32 @funca(i64 %l1) {9 entry:10 %l2 = icmp ult i64 %l1, -17767381666000426711 %l3 = add i64 %l1, 40110020312 %rem.i = select i1 %l2, i64 %l1, i64 %l313 %conv = trunc i64 %rem.i to i3214 ret i32 %conv15 }16 17 define i32 @funcb(i64 %l1) { ret i32 0 }18 19...20---21name: funca22tracksRegLiveness: true23liveins:24 - { reg: '$r0', virtual-reg: '%0' }25 - { reg: '$r1', virtual-reg: '%1' }26constants:27 - id: 028 value: i32 40110020329 alignment: 430 isTargetSpecific: false31 - id: 132 value: i32 4136790933 alignment: 434 isTargetSpecific: false35body: |36 bb.0.entry:37 successors: %bb.1(0x40000000), %bb.2(0x40000000)38 liveins: $r0, $r139 40 %1:tgpr = COPY $r141 %0:tgpr = COPY $r042 %2:tgpr = tLDRpci %const.0, 14, $noreg :: (load (s32) from constant-pool)43 %3:tgpr, dead $cpsr = tADDrr %0, %2, 14, $noreg44 %4:tgpr = tLDRpci %const.1, 14, $noreg :: (load (s32) from constant-pool)45 %5:tgpr, $cpsr = tADDrr %0, %2, 14, $noreg46 %6:tgpr, $cpsr = tADC %1, killed %4, 14, $noreg, implicit $cpsr47 tBcc %bb.2, 3, $cpsr48 49 bb.1.entry:50 successors: %bb.2(0x80000000)51 52 bb.2.entry:53 %7:tgpr = PHI %3, %bb.1, %0, %bb.054 $r0 = COPY %755 tBX_RET 14, $noreg, implicit $r056 57# CHECK-LABEL: name: funca58# cpsr def must not be dead59# CHECK: %3:tgpr, $cpsr = tADDrr %0, %260# CHECK-NOT: %5:tgpr, $cpsr = tADDrr %0, %261 62...63---64name: funcb65tracksRegLiveness: true66liveins:67 - { reg: '$r0', virtual-reg: '%0' }68 - { reg: '$r1', virtual-reg: '%1' }69constants:70 - id: 071 value: i32 40110020372 alignment: 473 isTargetSpecific: false74 - id: 175 value: i32 4136790976 alignment: 477 isTargetSpecific: false78body: |79 bb.0:80 successors: %bb.1(0x40000000), %bb.2(0x40000000)81 liveins: $r0, $r182 83 %1:tgpr = COPY $r184 %0:tgpr = COPY $r085 %2:tgpr = tLDRpci %const.0, 14, $noreg :: (load (s32) from constant-pool)86 %3:tgpr, dead $cpsr = tADDrr %0, %2, 14, $noreg87 %4:tgpr = tLDRpci %const.1, 14, $noreg :: (load (s32) from constant-pool)88 %5:tgpr, dead $cpsr = tADDrr %0, %2, 14, $noreg89 %6:tgpr, $cpsr = tADDrr %1, killed %4, 14, $noreg90 tBcc %bb.2, 3, $cpsr91 92 bb.1:93 successors: %bb.2(0x80000000)94 95 bb.2:96 %7:tgpr = PHI %3, %bb.1, %0, %bb.097 $r0 = COPY %798 tBX_RET 14, $noreg, implicit $r099 100# CHECK-LABEL: name: funcb101# cpsr def should be dead102# CHECK: %3:tgpr, dead $cpsr = tADDrr %0, %2103# CHECK-NOT: %5:tgpr, dead $cpsr = tADDrr %0, %2104...105