test/CodeGen/PowerPC/2011-12-08-DemandedBitsMiscompile.ll

   1 ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=g4 | FileCheck %s
   2
   3 define void @test(i32* nocapture %x, i64* %xx, i32* %yp) nounwind uwtable ssp {
   4 entry:
   5   %yy = load i32, i32* %yp
   6   %y = add i32 %yy, 1
   7   %z = zext i32 %y to i64
   8   %z2 = shl i64 %z, 32
   9   store i64 %z2, i64* %xx, align 4
  10   ret void
  11
  12 ; CHECK-LABEL: test:
  13 ; CHECK: sldi {{.*}}, {{.*}}, 32
  14 ; Note: it's okay if someday CodeGen gets smart enough to optimize out
  15 ; the shift.
  16 }