llvm/test/CodeGen/PowerPC/fold-remove-li.ll

   1 ; NOTE: This test verifies that a redundant load immediate of zero is folded
   2 ; NOTE: from its use in an isel and deleted as it is no longer in use.
   3 ; RUN:  llc -mcpu=pwr9 -mtriple=powerpc64le-unknown-linux-gnu \
   4 ; RUN:      -ppc-asm-full-reg-names -verify-machineinstrs < %s | FileCheck %s
   5 ; RUN:  llc -mcpu=pwr9 -mtriple=powerpc64-unknown-linux-gnu \
   6 ; RUN:      -ppc-asm-full-reg-names -verify-machineinstrs < %s | FileCheck %s
   7
   8 %0 = type { i32, i16 }
   9
  10 @val = common dso_local local_unnamed_addr global %0* null, align 8
  11
  12 define dso_local signext i32 @redunLoadImm(%0* %arg) {
  13 ; CHECK-LABEL: redunLoadImm:
  14 ; verify that the load immediate has been folded into the isel and deleted
  15 ; CHECK-NOT:   li r[[REG1:[0-9]+]], 0
  16 ; CHECK:       iseleq r[[REG2:[0-9]+]], 0, r[[REG3:[0-9]+]]
  17
  18 bb:
  19   %tmp = icmp eq %0* %arg, null
  20   br i1 %tmp, label %bb9, label %bb1
  21
  22 bb1:                                              ; preds = %bb
  23   %tmp2 = getelementptr inbounds %0, %0* %arg, i64 0, i32 1
  24   br label %bb3
  25
  26 bb3:                                              ; preds = %bb3, %bb1
  27   %tmp4 = load i16, i16* %tmp2, align 4
  28   %tmp5 = sext i16 %tmp4 to i64
  29   %tmp6 = getelementptr inbounds %0, %0* %arg, i64 %tmp5
  30   %tmp7 = icmp eq i16 %tmp4, 0
  31   %tmp8 = select i1 %tmp7, %0* null, %0* %tmp6
  32   store %0* %tmp8, %0** @val, align 8
  33   br label %bb3
  34
  35 bb9:                                              ; preds = %bb
  36   %tmp10 = load %0*, %0** @val, align 8
  37   %tmp11 = getelementptr inbounds %0, %0* %tmp10, i64 0, i32 0
  38   %tmp12 = load i32, i32* %tmp11, align 4
  39   ret i32 %tmp12
  40 }