llvm/test/Transforms/GVNHoist/hoist-pr20242.ll

   1 ; RUN: opt -passes='function(gvn-hoist),function(newgvn),function(gvn-hoist)'  -S < %s | FileCheck %s
   2 ; Test to demonstrate that newgvn creates opportunities for
   3 ; more gvn-hoist when sibling branches contain identical expressions.
   4
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-unknown-linux-gnu"
   7
   8 ; Check that all "or" expressions are hoisted.
   9 ; CHECK-LABEL: @encode
  10 ; CHECK: or i32
  11 ; CHECK-NOT: or i32
  12
  13 define ptr @encode(ptr %p, i32 %v) {
  14 entry:
  15   %p.addr = alloca ptr, align 8
  16   %v.addr = alloca i32, align 4
  17   store ptr %p, ptr %p.addr, align 8
  18   store i32 %v, ptr %v.addr, align 4
  19   %0 = load i32, ptr %v.addr, align 4
  20   %cmp = icmp ult i32 %0, 23
  21   br i1 %cmp, label %if.then, label %if.else
  22
  23 if.then:                                          ; preds = %entry
  24   %1 = load i32, ptr %v.addr, align 4
  25   %or = or i32 %1, 128
  26   %conv = trunc i32 %or to i8
  27   %2 = load ptr, ptr %p.addr, align 8
  28   %incdec.ptr = getelementptr inbounds i8, ptr %2, i32 1
  29   store ptr %incdec.ptr, ptr %p.addr, align 8
  30   store i8 %conv, ptr %2, align 1
  31   br label %if.end15
  32
  33 if.else:                                          ; preds = %entry
  34   %3 = load i32, ptr %v.addr, align 4
  35   %cmp1 = icmp ult i32 %3, 42
  36   br i1 %cmp1, label %if.then3, label %if.else9
  37
  38 if.then3:                                         ; preds = %if.else
  39   %4 = load i32, ptr %v.addr, align 4
  40   %or4 = or i32 %4, 128
  41   %conv5 = trunc i32 %or4 to i8
  42   %5 = load ptr, ptr %p.addr, align 8
  43   %incdec.ptr6 = getelementptr inbounds i8, ptr %5, i32 1
  44   store ptr %incdec.ptr6, ptr %p.addr, align 8
  45   store i8 %conv5, ptr %5, align 1
  46   %6 = load i32, ptr %v.addr, align 4
  47   %conv7 = trunc i32 %6 to i8
  48   %7 = load ptr, ptr %p.addr, align 8
  49   %incdec.ptr8 = getelementptr inbounds i8, ptr %7, i32 1
  50   store ptr %incdec.ptr8, ptr %p.addr, align 8
  51   store i8 %conv7, ptr %7, align 1
  52   br label %if.end
  53
  54 if.else9:                                         ; preds = %if.else
  55   %8 = load i32, ptr %v.addr, align 4
  56   %or10 = or i32 %8, 128
  57   %conv11 = trunc i32 %or10 to i8
  58   %9 = load ptr, ptr %p.addr, align 8
  59   %incdec.ptr12 = getelementptr inbounds i8, ptr %9, i32 1
  60   store ptr %incdec.ptr12, ptr %p.addr, align 8
  61   store i8 %conv11, ptr %9, align 1
  62   %10 = load i32, ptr %v.addr, align 4
  63   %shr = lshr i32 %10, 7
  64   %conv13 = trunc i32 %shr to i8
  65   %11 = load ptr, ptr %p.addr, align 8
  66   %incdec.ptr14 = getelementptr inbounds i8, ptr %11, i32 1
  67   store ptr %incdec.ptr14, ptr %p.addr, align 8
  68   store i8 %conv13, ptr %11, align 1
  69   br label %if.end
  70
  71 if.end:                                           ; preds = %if.else9, %if.then3
  72   br label %if.end15
  73
  74 if.end15:                                         ; preds = %if.end, %if.then
  75   %12 = load ptr, ptr %p.addr, align 8
  76   ret ptr %12
  77 }