llvm/test/CodeGen/X86/2011-10-12-MachineCSE.ll

   1 ; RUN: llc -verify-machineinstrs < %s
   2 ; <rdar://problem/10270968>
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.7.2"
   5
   6 %struct.optab = type { i32, [59 x %struct.anon.3] }
   7 %struct.anon.3 = type { i32, ptr }
   8 %struct.rtx_def = type { [2 x i8], i8, i8, [1 x %union.rtunion_def] }
   9 %union.rtunion_def = type { i64 }
  10 %struct.insn_data = type { ptr, ptr, ptr, ptr, i8, i8, i8, i8 }
  11 %struct.insn_operand_data = type { ptr, ptr, [2 x i8], i8, i8 }
  12
  13 @optab_table = external global [49 x ptr], align 16
  14 @insn_data = external constant [0 x %struct.insn_data]
  15
  16 define ptr @gen_add3_insn(ptr %r0, ptr %r1, ptr %c) nounwind uwtable ssp {
  17 entry:
  18   %0 = load i32, ptr %r0, align 8
  19   %1 = lshr i32 %0, 16
  20   %bf.clear = and i32 %1, 255
  21   %idxprom = sext i32 %bf.clear to i64
  22   %2 = load ptr, ptr @optab_table, align 8
  23   %handlers = getelementptr inbounds %struct.optab, ptr %2, i32 0, i32 1
  24   %arrayidx = getelementptr inbounds [59 x %struct.anon.3], ptr %handlers, i32 0, i64 %idxprom
  25   %3 = load i32, ptr %arrayidx, align 4
  26   %cmp = icmp eq i32 %3, 1317
  27   br i1 %cmp, label %if.then, label %lor.lhs.false
  28
  29 lor.lhs.false:                                    ; preds = %entry
  30   %idxprom1 = sext i32 %3 to i64
  31   %arrayidx2 = getelementptr inbounds [0 x %struct.insn_data], ptr @insn_data, i32 0, i64 %idxprom1
  32   %operand = getelementptr inbounds %struct.insn_data, ptr %arrayidx2, i32 0, i32 3
  33   %4 = load ptr, ptr %operand, align 8
  34   %5 = load ptr, ptr %4, align 8
  35   %idxprom4 = sext i32 %3 to i64
  36   %arrayidx5 = getelementptr inbounds [0 x %struct.insn_data], ptr @insn_data, i32 0, i64 %idxprom4
  37   %operand6 = getelementptr inbounds %struct.insn_data, ptr %arrayidx5, i32 0, i32 3
  38   %6 = load ptr, ptr %operand6, align 8
  39   %bf.field.offs = getelementptr i8, ptr %6, i32 16
  40   %7 = load i32, ptr %bf.field.offs, align 8
  41   %bf.clear8 = and i32 %7, 65535
  42   %call = tail call i32 %5(ptr %r0, i32 %bf.clear8)
  43   %tobool = icmp ne i32 %call, 0
  44   br i1 %tobool, label %lor.lhs.false9, label %if.then
  45
  46 lor.lhs.false9:                                   ; preds = %lor.lhs.false
  47   %idxprom10 = sext i32 %3 to i64
  48   %arrayidx11 = getelementptr inbounds [0 x %struct.insn_data], ptr @insn_data, i32 0, i64 %idxprom10
  49   %operand12 = getelementptr inbounds %struct.insn_data, ptr %arrayidx11, i32 0, i32 3
  50   %8 = load ptr, ptr %operand12, align 8
  51   %arrayidx13 = getelementptr inbounds %struct.insn_operand_data, ptr %8, i64 1
  52   %9 = load ptr, ptr %arrayidx13, align 8
  53   %idxprom15 = sext i32 %3 to i64
  54   %arrayidx16 = getelementptr inbounds [0 x %struct.insn_data], ptr @insn_data, i32 0, i64 %idxprom15
  55   %operand17 = getelementptr inbounds %struct.insn_data, ptr %arrayidx16, i32 0, i32 3
  56   %10 = load ptr, ptr %operand17, align 8
  57   %arrayidx18 = getelementptr inbounds %struct.insn_operand_data, ptr %10, i64 1
  58   %bf.field.offs19 = getelementptr i8, ptr %arrayidx18, i32 16
  59   %11 = load i32, ptr %bf.field.offs19, align 8
  60   %bf.clear20 = and i32 %11, 65535
  61   %call21 = tail call i32 %9(ptr %r1, i32 %bf.clear20)
  62   %tobool22 = icmp ne i32 %call21, 0
  63   br i1 %tobool22, label %lor.lhs.false23, label %if.then
  64
  65 lor.lhs.false23:                                  ; preds = %lor.lhs.false9
  66   %idxprom24 = sext i32 %3 to i64
  67   %arrayidx25 = getelementptr inbounds [0 x %struct.insn_data], ptr @insn_data, i32 0, i64 %idxprom24
  68   %operand26 = getelementptr inbounds %struct.insn_data, ptr %arrayidx25, i32 0, i32 3
  69   %12 = load ptr, ptr %operand26, align 8
  70   %arrayidx27 = getelementptr inbounds %struct.insn_operand_data, ptr %12, i64 2
  71   %13 = load ptr, ptr %arrayidx27, align 8
  72   %idxprom29 = sext i32 %3 to i64
  73   %arrayidx30 = getelementptr inbounds [0 x %struct.insn_data], ptr @insn_data, i32 0, i64 %idxprom29
  74   %operand31 = getelementptr inbounds %struct.insn_data, ptr %arrayidx30, i32 0, i32 3
  75   %14 = load ptr, ptr %operand31, align 8
  76   %arrayidx32 = getelementptr inbounds %struct.insn_operand_data, ptr %14, i64 2
  77   %bf.field.offs33 = getelementptr i8, ptr %arrayidx32, i32 16
  78   %15 = load i32, ptr %bf.field.offs33, align 8
  79   %bf.clear34 = and i32 %15, 65535
  80   %call35 = tail call i32 %13(ptr %c, i32 %bf.clear34)
  81   %tobool36 = icmp ne i32 %call35, 0
  82   br i1 %tobool36, label %if.end, label %if.then
  83
  84 if.then:                                          ; preds = %lor.lhs.false23, %lor.lhs.false9, %lor.lhs.false, %entry
  85   br label %return
  86
  87 if.end:                                           ; preds = %lor.lhs.false23
  88   %idxprom37 = sext i32 %3 to i64
  89   %arrayidx38 = getelementptr inbounds [0 x %struct.insn_data], ptr @insn_data, i32 0, i64 %idxprom37
  90   %genfun = getelementptr inbounds %struct.insn_data, ptr %arrayidx38, i32 0, i32 2
  91   %16 = load ptr, ptr %genfun, align 8
  92   %call39 = tail call ptr (ptr, ...) %16(ptr %r0, ptr %r1, ptr %c)
  93   br label %return
  94
  95 return:                                           ; preds = %if.end, %if.then
  96   %17 = phi ptr [ %call39, %if.end ], [ null, %if.then ]
  97   ret ptr %17
  98 }