llvm/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], ptr null, i32 0, i32 %tmp1702
  28   %load1 = load i32, ptr %tmp1703, align 4
  29
  30 ; %load2 = (load (shl (and %xor, 255), 2))
  31   %tmp1698 = and i32 %xor, 255
  32   %tmp1706 = shl i32 %tmp1698, 2
  33   %tmp1707 = getelementptr inbounds [1028 x i8], ptr null, i32 0, i32 %tmp1706
  34   %load2 = load i32, ptr %tmp1707, align 4
  35
  36   %tmp1710 = or i32 %load2, %a
  37
  38 ; While matching xor we address-match %load1.  The and-of-shift reassocication
  39 ; in address matching transform this into into a shift-of-and and the resuting
  40 ; node becomes identical to %load2.  CSE replaces %load1 which leaves its
  41 ; references in MatchScope and RecordedNodes stale.
  42   %tmp1711 = xor i32 %load1, %tmp1710
  43
  44   %tmp1744 = getelementptr inbounds [256 x i32], ptr null, i32 0, i32 %tmp1711
  45   store i32 0, ptr %tmp1744, align 4
  46   %tmp1745 = add i32 %tmp1694, 1
  47   indirectbr ptr undef, [label %bb1756, label %bb1692]
  48
  49 bb1756:
  50   br label %bb2705
  51
  52 bb2705:
  53   indirectbr ptr undef, [label %bb5721, label %bb5736]
  54
  55 bb5721:
  56   br label %bb2705
  57
  58 bb5736:
  59   ret void
  60 }