| ; RUN: llc -march=hexagon < %s | FileCheck %s | |
| ; CHECK: !tstbit | |
| ; Function Attrs: nounwind | |
| define i32 @f0(i32 %a0, i32 %a1, i32 %a2) #0 { | |
| b0: | |
| %v0 = shl i32 1, %a2 | |
| %v1 = and i32 %v0, %a1 | |
| %v2 = icmp eq i32 %v1, 0 | |
| br i1 %v2, label %b2, label %b1 | |
| b1: ; preds = %b0 | |
| tail call void bitcast (void (...)* @f1 to void ()*)() #0 | |
| br label %b3 | |
| b2: ; preds = %b0 | |
| %v3 = tail call i32 bitcast (i32 (...)* @f2 to i32 ()*)() #0 | |
| br label %b3 | |
| b3: ; preds = %b2, %b1 | |
| %v4 = add nsw i32 %a1, 2 | |
| %v5 = tail call i32 bitcast (i32 (...)* @f3 to i32 (i32, i32)*)(i32 %a0, i32 %v4) #0 | |
| ret i32 0 | |
| } | |
| declare void @f1(...) | |
| declare i32 @f2(...) | |
| declare i32 @f3(...) | |
| attributes #0 = { nounwind } |