|
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| 2 | +; RUN: opt -S -passes=instcombine < %s | FileCheck %s |
| 3 | + |
| 4 | +; (X | C) | Y --> (X | Y) | C |
| 5 | + |
| 6 | +define i32 @test1(i32 %x, i32 %y) { |
| 7 | +; CHECK-LABEL: @test1( |
| 8 | +; CHECK-NEXT: [[INNER:%.*]] = or i32 [[X:%.*]], [[Y:%.*]] |
| 9 | +; CHECK-NEXT: [[OUTER:%.*]] = or i32 [[INNER]], 5 |
| 10 | +; CHECK-NEXT: ret i32 [[OUTER]] |
| 11 | +; |
| 12 | + %inner = or disjoint i32 %x, 5 |
| 13 | + %outer = or disjoint i32 %inner, %y |
| 14 | + ret i32 %outer |
| 15 | +} |
| 16 | + |
| 17 | +define i32 @test2(i32 %x, i32 %y) { |
| 18 | +; CHECK-LABEL: @test2( |
| 19 | +; CHECK-NEXT: [[INNER:%.*]] = or i32 [[X:%.*]], [[Y:%.*]] |
| 20 | +; CHECK-NEXT: [[OUTER:%.*]] = or i32 [[INNER]], 5 |
| 21 | +; CHECK-NEXT: ret i32 [[OUTER]] |
| 22 | +; |
| 23 | + %inner = or i32 %x, 5 |
| 24 | + %outer = or disjoint i32 %inner, %y |
| 25 | + ret i32 %outer |
| 26 | +} |
| 27 | + |
| 28 | +define i32 @test3(i32 %x, i32 %y) { |
| 29 | +; CHECK-LABEL: @test3( |
| 30 | +; CHECK-NEXT: [[INNER:%.*]] = or i32 [[X:%.*]], [[Y:%.*]] |
| 31 | +; CHECK-NEXT: [[OUTER:%.*]] = or i32 [[INNER]], 5 |
| 32 | +; CHECK-NEXT: ret i32 [[OUTER]] |
| 33 | +; |
| 34 | + %inner = or disjoint i32 %x, 5 |
| 35 | + %outer = or i32 %inner, %y |
| 36 | + ret i32 %outer |
| 37 | +} |
| 38 | + |
| 39 | +define i32 @test4(i32 %x, i32 %y) { |
| 40 | +; CHECK-LABEL: @test4( |
| 41 | +; CHECK-NEXT: [[INNER:%.*]] = or i32 [[X:%.*]], [[Y:%.*]] |
| 42 | +; CHECK-NEXT: [[OUTER:%.*]] = or i32 [[INNER]], 5 |
| 43 | +; CHECK-NEXT: ret i32 [[OUTER]] |
| 44 | +; |
| 45 | + %inner = or i32 %x, 5 |
| 46 | + %outer = or i32 %inner, %y |
| 47 | + ret i32 %outer |
| 48 | +} |
0 commit comments