Davide Italiano | 72c4285 | 2017-08-01 05:14:45 +0000 | [diff] [blame] | 1 | ; Make sure @main is left untouched. |
2 | ; RUN: opt -metarenamer -S %s | FileCheck %s | ||||
3 | |||||
4 | ; CHECK: define void @main | ||||
5 | ; CHECK: call void @main | ||||
6 | |||||
7 | define void @main() { | ||||
8 | call void @patatino() | ||||
9 | ret void | ||||
10 | } | ||||
11 | |||||
12 | define void @patatino() { | ||||
13 | call void @main() | ||||
14 | ret void | ||||
15 | } |