mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
76 lines
2.4 KiB
LLVM
76 lines
2.4 KiB
LLVM
;
|
|
; This file is distributed under the MIT License. See LICENSE.md for details.
|
|
;
|
|
|
|
; RUN: %revngopt %s -operatorprecedence-resolution -language=c -S -o - | FileCheck %s --check-prefix=C-LANG
|
|
; RUN: %revngopt %s -operatorprecedence-resolution -language=nop -S -o - | FileCheck %s --check-prefix=NOP-LANG
|
|
;
|
|
; Ensures that OperatorPrecedenceResolutionPass has correctly parenthesized the expression
|
|
; according to the operator precedence priority.
|
|
|
|
; int parenthesize_exp1(int a, int b, int c) {
|
|
; return a / b / c;
|
|
; }
|
|
define i32 @parenthesize_exp1(i32 %0, i32 %1, i32 %2) {
|
|
%4 = sdiv i32 %0, %1
|
|
; CHECK-NOT: %5 = call i32 @parentheses.1(i32 %4)
|
|
%5 = sdiv i32 %4, %2
|
|
ret i32 %5
|
|
}
|
|
|
|
; int parenthesize_exp2(int a, int b, int c) {
|
|
; return a / (b / c);
|
|
; }
|
|
define i32 @parenthesize_exp2(i32 %0, i32 %1, i32 %2) {
|
|
%4 = sdiv i32 %1, %2
|
|
; CHECK: %5 = call i32 @parentheses.1(i32 %4)
|
|
; CHECK-NEXT: %6 = sdiv i32 %0, %5
|
|
%5 = sdiv i32 %0, %4
|
|
ret i32 %5
|
|
}
|
|
|
|
; int parenthesize_exp3(int a, int b, int c, int d, int e) {
|
|
; return 5 + a * (b + c) + d / (2 + e);
|
|
; }
|
|
; Only associativity is taken into account in the NOP language, since all the operators
|
|
; have the same precedence. This implies that the reconstructed expression for NOP is the following:
|
|
; (5 + a * b + c) + (d / (2 + e))
|
|
; Note that here the parentheses are needed to specify that the division comes before the addition.
|
|
define i32 @parenthesize_exp3(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4) {
|
|
%6 = add i32 %2, %1
|
|
; C-LANG: %7 = call i32 @parentheses(i32 %6)
|
|
; C-LANG-NEXT: %8 = mul i32 %7, %0
|
|
%7 = mul i32 %6, %0
|
|
%8 = add i32 %7, 5
|
|
%9 = add i32 %4, 2
|
|
; C-LANG: %11 = call i32 @parentheses(i32 %10)
|
|
; C-LANG-NEXT: %12 = sdiv i32 %3, %11
|
|
; NOP-LANG: %10 = call i32 @parentheses(i32 %9)
|
|
; NOP-LANG-NEXT: %11 = sdiv i32 %3, %10
|
|
%10 = sdiv i32 %3, %9
|
|
; NOP-LANG: %12 = call i32 @parentheses(i32 %11)
|
|
; NOP-LANG-NEXT: %13 = add i32 %8, %12
|
|
%11 = add i32 %8, %10
|
|
ret i32 %11
|
|
}
|
|
|
|
define i32 @parenthesize_unary_minus(i32 %0) {
|
|
%2 = call i32 @unary_minus(i32 1)
|
|
; CHECK: %3 = call @parentheses.1(i32 %2)
|
|
; CHECK-NEXT: %4 = add i32 %0, %3
|
|
%3 = add i32 %0, %2
|
|
ret i32 %3
|
|
}
|
|
|
|
define i32 @parenthesize_binary_not(i32 %0) {
|
|
%2 = call i32 @binary_not(i32 1)
|
|
; CHECK: %3 = call @parentheses.1(i32 %2)
|
|
; CHECK-NEXT: %4 = add i32 %0, %3
|
|
%3 = add i32 %0, %2
|
|
ret i32 %3
|
|
}
|
|
|
|
declare i32 @unary_minus(i32 %0)
|
|
|
|
declare i32 @binary_not(i32 %0)
|