+---
+name: jumptable_psv
+tracksRegLiveness: true
+liveins:
+ - { reg: '%edi' }
+jumpTable:
+ kind: label-difference32
+ entries:
+ - id: 0
+ blocks: [ '%bb.3.lbl1', '%bb.4.lbl2', '%bb.5.lbl3', '%bb.6.lbl4' ]
+body:
+ - id: 0
+ name: entry
+ successors: [ '%bb.2.def', '%bb.1.entry' ]
+ liveins: [ '%edi' ]
+ instructions:
+ - '%eax = MOV32rr %edi, implicit-def %rax'
+ - 'CMP32ri8 killed %edi, 3, implicit-def %eflags'
+ - 'JA_1 %bb.2.def, implicit killed %eflags'
+ - id: 1
+ name: entry
+ successors: [ '%bb.3.lbl1', '%bb.4.lbl2', '%bb.5.lbl3', '%bb.6.lbl4' ]
+ liveins: [ '%rax' ]
+ instructions:
+ - '%rcx = LEA64r %rip, 1, _, %jump-table.0, _'
+# CHECK: name: jumptable_psv
+# CHECK: %rax = MOVSX64rm32 %rcx, 4, killed %rax, 0, _ :: (load 4 from jump-table, align 8)
+ - '%rax = MOVSX64rm32 %rcx, 4, killed %rax, 0, _ :: (load 4 from jump-table, align 8)'
+ - '%rax = ADD64rr killed %rax, killed %rcx, implicit-def dead %eflags'
+ - 'JMP64r killed %rax'
+ - id: 2
+ name: def
+ instructions:
+ - '%eax = MOV32r0 implicit-def dead %eflags'
+ - 'RETQ %eax'
+ - id: 3
+ name: lbl1
+ instructions:
+ - '%eax = MOV32ri 1'
+ - 'RETQ %eax'
+ - id: 4
+ name: lbl2
+ instructions:
+ - '%eax = MOV32ri 2'
+ - 'RETQ %eax'
+ - id: 5
+ name: lbl3
+ instructions:
+ - '%eax = MOV32ri 4'
+ - 'RETQ %eax'
+ - id: 6
+ name: lbl4
+ instructions:
+ - '%eax = MOV32ri 8'
+ - 'RETQ %eax'
+...