mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
10 lines
192 B
LLVM
10 lines
192 B
LLVM
;
|
|
; This file is distributed under the MIT License. See LICENSE.md for details.
|
|
;
|
|
|
|
; RUN: %root/bin/revng opt %s -S -o - | FileCheck %s
|
|
; CHECK: define i1 @f
|
|
define i1 @f () {
|
|
ret i1 true
|
|
}
|