| ; RUIN: %llvm2ice %s | FileCheck %s |
| ; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
| ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
| ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
| ; RUN: | FileCheck --check-prefix=DUMP %s |
| define void @testBool(i32 %a, i32 %b) { |
| %cmp = icmp slt i32 %a, %b |
| %cmp1 = icmp sgt i32 %a, %b |
| br i1 %cmp, label %if.then, label %if.end |
| if.then: ; preds = %entry |
| tail call void @use(i1 %cmp) |
| if.end: ; preds = %if.then, %entry |
| br i1 %cmp1, label %if.then5, label %if.end7 |
| if.then5: ; preds = %if.end |
| tail call void @use(i1 %cmp1) |
| if.end7: ; preds = %if.then5, %if.end |
| declare void @use(i1 zeroext) |
| ; ERRORS-NOT: ICE translation error |