| James Molloy | 1d88d6f | 2015-10-22 13:18:42 +0000 | [diff] [blame] | 1 | ; RUN: opt -instsimplify < %s -S | FileCheck %s |
| 2 | |
| 3 | ; CHECK: define i1 @test |
| 4 | define i1 @test(i8* %pq, i8 %B) { |
| 5 | %q = load i8, i8* %pq, !range !0 ; %q is known nonzero; no known bits |
| 6 | %A = add nsw i8 %B, %q |
| 7 | %cmp = icmp eq i8 %A, %B |
| 8 | ; CHECK: ret i1 false |
| 9 | ret i1 %cmp |
| 10 | } |
| 11 | |
| 12 | ; CHECK: define i1 @test2 |
| 13 | define i1 @test2(i8 %a, i8 %b) { |
| 14 | %A = or i8 %a, 2 ; %A[1] = 1 |
| 15 | %B = and i8 %b, -3 ; %B[1] = 0 |
| 16 | %cmp = icmp eq i8 %A, %B ; %A[1] and %B[1] are contradictory. |
| 17 | ; CHECK: ret i1 false |
| 18 | ret i1 %cmp |
| 19 | } |
| 20 | |
| 21 | !0 = !{ i8 1, i8 5 } |