Skip to content

[GlobalOpt] Incorrect change of atomic type #137152

@nikic

Description

@nikic
; RUN: opt -S -passes=globalopt
@g = internal global ptr null, align 8

define void @init() {
  %alloc = call ptr @malloc(i64 48)
  store atomic ptr %alloc, ptr @g seq_cst, align 8
  ret void
} 

define i1 @check() {
  %val = load atomic ptr, ptr @g seq_cst, align 8
  %cmp = icmp eq ptr %val, null
  ret i1 %cmp
}

declare ptr @malloc(i64) allockind("alloc,uninitialized") allocsize(0)

Results in:

atomic memory access' size must be byte-sized
 i1  store atomic i1 true, ptr @g.init seq_cst, align 1
atomic memory access' size must be byte-sized
 i1  %g.init.val = load atomic i1, ptr @g.init seq_cst, align 1
LLVM ERROR: Broken module found, compilation aborted!

Metadata

Metadata

Assignees

Labels

crashPrefer [crash-on-valid] or [crash-on-invalid]ipoInterprocedural optimizationsrelease:backport

Type

Projects

Status

Done

Relationships

None yet

Development

No branches or pull requests

Issue actions