| ; RUN: llc < %s -march=bfin > %t |
| |
| ; The DAG combiner may sometimes create illegal i16 SETCC operations when run |
| ; after LegalizeOps. Try to tease out all the optimizations in |
| ; TargetLowering::SimplifySetCC. |
| |
| @x = external global i16 |
| @y = external global i16 |
| |
| declare i16 @llvm.ctlz.i16(i16) |
| |
| ; Case (srl (ctlz x), 5) == const |
| ; Note: ctlz is promoted, so this test does not catch the DAG combiner |
| define i1 @srl_ctlz_const() { |
| %x = load i16* @x |
| %c = call i16 @llvm.ctlz.i16(i16 %x) |
| %s = lshr i16 %c, 4 |
| %r = icmp eq i16 %s, 1 |
| ret i1 %r |
| } |
| |
| ; Case (zext x) == const |
| define i1 @zext_const() { |
| %x = load i16* @x |
| %r = icmp ugt i16 %x, 1 |
| ret i1 %r |
| } |
| |
| ; Case (sext x) == const |
| define i1 @sext_const() { |
| %x = load i16* @x |
| %y = add i16 %x, 1 |
| %x2 = sext i16 %y to i32 |
| %r = icmp ne i32 %x2, -1 |
| ret i1 %r |
| } |
| |