test/Transforms/Reassociate/absorption.ll

   1 ; RUN: opt -S -reassociate < %s | FileCheck %s
   2
   3 ; Check that if constants combine to an absorbing value then the expression is
   4 ; evaluated as the absorbing value.
   5 define i8 @foo(i8 %x) {
   6   %tmp1 = or i8 %x, 127
   7   %tmp2 = or i8 %tmp1, 128
   8   ret i8 %tmp2
   9 ; CHECK-LABEL: @foo(
  10 ; CHECK: ret i8 -1
  11 }