|  | ; 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 } |