| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S -instcombine < %s | FileCheck %s |
| |
| define i1 @test1(i16* %x) { |
| ; CHECK-LABEL: @test1( |
| ; CHECK-NEXT: [[LOAD:%.*]] = load i16, i16* [[X:%.*]], align 4 |
| ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i16 [[LOAD]], 17791 |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %load = load i16, i16* %x, align 4 |
| %trunc = trunc i16 %load to i8 |
| %cmp1 = icmp eq i8 %trunc, 127 |
| %and = and i16 %load, -256 |
| %cmp2 = icmp eq i16 %and, 17664 |
| %or = and i1 %cmp1, %cmp2 |
| ret i1 %or |
| } |
| |
| define i1 @test1_logical(i16* %x) { |
| ; CHECK-LABEL: @test1_logical( |
| ; CHECK-NEXT: [[LOAD:%.*]] = load i16, i16* [[X:%.*]], align 4 |
| ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i16 [[LOAD]], 17791 |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %load = load i16, i16* %x, align 4 |
| %trunc = trunc i16 %load to i8 |
| %cmp1 = icmp eq i8 %trunc, 127 |
| %and = and i16 %load, -256 |
| %cmp2 = icmp eq i16 %and, 17664 |
| %or = select i1 %cmp1, i1 %cmp2, i1 false |
| ret i1 %or |
| } |
| |
| define i1 @test2(i16* %x) { |
| ; CHECK-LABEL: @test2( |
| ; CHECK-NEXT: [[LOAD:%.*]] = load i16, i16* [[X:%.*]], align 4 |
| ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i16 [[LOAD]], 32581 |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %load = load i16, i16* %x, align 4 |
| %and = and i16 %load, -256 |
| %cmp1 = icmp eq i16 %and, 32512 |
| %trunc = trunc i16 %load to i8 |
| %cmp2 = icmp eq i8 %trunc, 69 |
| %or = and i1 %cmp1, %cmp2 |
| ret i1 %or |
| } |
| |
| define i1 @test2_logical(i16* %x) { |
| ; CHECK-LABEL: @test2_logical( |
| ; CHECK-NEXT: [[LOAD:%.*]] = load i16, i16* [[X:%.*]], align 4 |
| ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i16 [[LOAD]], 32581 |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %load = load i16, i16* %x, align 4 |
| %and = and i16 %load, -256 |
| %cmp1 = icmp eq i16 %and, 32512 |
| %trunc = trunc i16 %load to i8 |
| %cmp2 = icmp eq i8 %trunc, 69 |
| %or = select i1 %cmp1, i1 %cmp2, i1 false |
| ret i1 %or |
| } |