test/CodeGen/X86/addr-mode-matcher.ll

   1 ; RUN: llc < %s | FileCheck %s
   2
   3 ; This testcase used to hit an assert during ISel.  For details, see the big
   4 ; comment inside the function.
   5
   6 ; CHECK-LABEL: foo:
   7 ; The AND should be turned into a subreg access.
   8 ; CHECK-NOT: and
   9 ; The shift (leal) should be folded into the scale of the address in the load.
  10 ; CHECK-NOT: leal
  11 ; CHECK: movl {{.*}},4),
  12
  13 target datalayout = "e-m:o-p:32:32-f64:32:64-f80:128-n8:16:32-S128"
  14 target triple = "i386-apple-macosx10.6.0"
  15
  16 define void @foo(i32 %a) {
  17 bb:
  18   br label %bb1692
  19
  20 bb1692:
  21   %tmp1694 = phi i32 [ 0, %bb ], [ %tmp1745, %bb1692 ]
  22   %xor = xor i32 0, %tmp1694
  23
  24 ; %load1 = (load (and (shl %xor, 2), 1020))
  25   %tmp1701 = shl i32 %xor, 2
  26   %tmp1702 = and i32 %tmp1701, 1020
  27   %tmp1703 = getelementptr inbounds [1028 x i8]* null, i32 0, i32 %tmp1702
  28   %tmp1704 = bitcast i8* %tmp1703 to i32*
  29   %load1 = load i32* %tmp1704, align 4
  30
  31 ; %load2 = (load (shl (and %xor, 255), 2))
  32   %tmp1698 = and i32 %xor, 255
  33   %tmp1706 = shl i32 %tmp1698, 2
  34   %tmp1707 = getelementptr inbounds [1028 x i8]* null, i32 0, i32 %tmp1706
  35   %tmp1708 = bitcast i8* %tmp1707 to i32*
  36   %load2 = load i32* %tmp1708, align 4
  37
  38   %tmp1710 = or i32 %load2, %a
  39
  40 ; While matching xor we address-match %load1.  The and-of-shift reassocication
  41 ; in address matching transform this into into a shift-of-and and the resuting
  42 ; node becomes identical to %load2.  CSE replaces %load1 which leaves its
  43 ; references in MatchScope and RecordedNodes stale.
  44   %tmp1711 = xor i32 %load1, %tmp1710
  45
  46   %tmp1744 = getelementptr inbounds [256 x i32]* null, i32 0, i32 %tmp1711
  47   store i32 0, i32* %tmp1744, align 4
  48   %tmp1745 = add i32 %tmp1694, 1
  49   indirectbr i8* undef, [label %bb1756, label %bb1692]
  50
  51 bb1756:
  52   br label %bb2705
  53
  54 bb2705:
  55   indirectbr i8* undef, [label %bb5721, label %bb5736]
  56
  57 bb5721:
  58   br label %bb2705
  59
  60 bb5736:
  61   ret void
  62 }