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.
5define 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}
12