annotate test/Verifier/inalloca-vararg.ll @ 146:3fc4d5c3e21e
set tail call flag for code segment in CGCAll
author |
Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
date |
Sun, 23 Dec 2018 19:23:36 +0900 |
parents |
afa8332a0e37 |
children |
|
rev |
line source |
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 declare void @h(i32, ...)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 define void @i() {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 %args = alloca inalloca i32
|
95
|
6 call void (i32, ...) @h(i32 1, i32* inalloca %args, i32 3)
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 ; CHECK: inalloca isn't on the last argument!
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 }
|