34 lines · plain
1; REQUIRES: asserts2; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -o /dev/null -debug-only=isel 2>&1 | FileCheck %s3 4; Make sure we emit the basic block exports and the TokenFactor before the5; inlineasm_br. Not sure how to get a MachineIR change so this reads the debug6; output from SelectionDAG.7 8; CHECK: t0: ch,glue = EntryToken9; CHECK-NEXT: t4: i32,ch = CopyFromReg t0, Register:i32 %310; CHECK-NEXT: t10: i32 = add t4, Constant:i32<1>11; CHECK-NEXT: t12: ch = CopyToReg t0, Register:i32 %0, t1012; CHECK-NEXT: t6: i32,ch = CopyFromReg t0, Register:i32 %413; CHECK-NEXT: t13: i32 = add t6, Constant:i32<1>14; CHECK-NEXT: t15: ch = CopyToReg t0, Register:i32 %1, t1315; CHECK-NEXT: t17: ch = TokenFactor t12, t1516; CHECK-NEXT: t2: i32,ch = CopyFromReg t0, Register:i32 %217; CHECK-NEXT: t8: i32 = add t2, Constant:i32<4>18; CHECK-NEXT: t22: ch,glue = CopyToReg t17, Register:i32 %5, t819; CHECK-NEXT: t29: ch,glue = inlineasm_br t22, TargetExternalSymbol:i64'xorl $0, $0; jmp ${1:l}', MDNode:ch<null>, TargetConstant:i64<0>, TargetConstant:i32<2686985>, Register:i32 %5, TargetConstant:i64<13>, BasicBlock:ch<fail 0x{{[0-9a-f]+}}>, TargetConstant:i32<12>, Register:i32 $df, TargetConstant:i32<12>, Register:i16 $fpsw, TargetConstant:i32<12>, Register:i32 $eflags, t22:120 21define i32 @test(i32 %a, i32 %b, i32 %c) {22entry:23 %0 = add i32 %a, 424 %1 = add i32 %b, 125 %2 = add i32 %c, 126 callbr void asm "xorl $0, $0; jmp ${1:l}", "r,!i,~{dirflag},~{fpsr},~{flags}"(i32 %0) to label %normal [label %fail]27 28normal:29 ret i32 %130 31fail:32 ret i32 %233}34