[llvm-bugs] [Bug 38391] New: __llvm_retpoline_r11 has machine verifier errors

via llvm-bugs llvm-bugs at lists.llvm.org
Tue Jul 31 11:14:22 PDT 2018


            Bug ID: 38391
           Summary: __llvm_retpoline_r11 has machine verifier errors
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Backend: X86
          Assignee: unassignedbugs at nondot.org
          Reporter: francisvm at yahoo.com
                CC: llvm-bugs at lists.llvm.org

llc -verify-machineinstrs <
-mtriple=x86_64-unknown-linux-gnu -x86-speculative-load-hardening
-data-sections -mattr=+retpoline

Has the following errors:

# After X86 Retpoline Thunks
# Machine code for function __llvm_retpoline_r11: NoPHIs, TracksLiveness,

  successors: %bb.2(0x40000000), %bb.1(0x40000000); %bb.2(200.00%),

  CALL64pcrel32 %bb.2, implicit $rsp, implicit $ssp

bb.1.entry (address-taken):
; predecessors: %bb.0, %bb.1
  successors: %bb.1(0x80000000); %bb.1(200.00%)

  JMP_1 %bb.1

bb.2.entry (address-taken, align 4):
; predecessors: %bb.0

  MOV64mr $rsp, 1, $noreg, 0, $noreg, $r11

# End machine code for function __llvm_retpoline_r11.

*** Bad machine code: MBB exits via unconditional fall-through but doesn't have
exactly one CFG successor! ***
- function:    __llvm_retpoline_r11
- basic block: %bb.0 entry (0x7f96848ad078)

*** Bad machine code: Using an undefined physical register ***
- function:    __llvm_retpoline_r11
- basic block: %bb.2 entry (0x7f96848ad2d8)
- instruction: MOV64mr $rsp, 1, $noreg, 0, $noreg, $r11
- operand 5:   $r11
LLVM ERROR: Found 2 machine code errors.

You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180731/8211cd79/attachment.html>

More information about the llvm-bugs mailing list