forked from OSchip/llvm-project
[Attributor][NFC] Update tests after recent changes
Attributor tests are mostly updated using the auto upgrade scripts but sometimes we forget. If we do it manually or continue using old check lines that still match we see unrelated changes down the line. This is just a cleanup.
This commit is contained in:
Johannes Doerfert
parent
ec00aa99dd
commit
43d8d59d6d
|
|
@ -14,8 +14,8 @@ define internal i32 @deref(i32* %x) nounwind {
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@deref
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: entry:
|
||||
; IS__TUNIT_NPM-NEXT: [[X_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[X_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[X_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[X_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP2:%.*]] = load i32, i32* [[X_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: ret i32 [[TMP2]]
|
||||
;
|
||||
|
|
@ -34,7 +34,7 @@ define i32 @f(i32 %x) {
|
|||
; NOT_TUNIT_NPM-LABEL: define {{[^@]+}}@f
|
||||
; NOT_TUNIT_NPM-SAME: (i32 [[X:%.*]])
|
||||
; NOT_TUNIT_NPM-NEXT: entry:
|
||||
; NOT_TUNIT_NPM-NEXT: [[X_ADDR:%.*]] = alloca i32
|
||||
; NOT_TUNIT_NPM-NEXT: [[X_ADDR:%.*]] = alloca i32, align 4
|
||||
; NOT_TUNIT_NPM-NEXT: store i32 [[X]], i32* [[X_ADDR]], align 4
|
||||
; NOT_TUNIT_NPM-NEXT: [[TMP1:%.*]] = call i32 @deref(i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[X_ADDR]])
|
||||
; NOT_TUNIT_NPM-NEXT: ret i32 [[TMP1]]
|
||||
|
|
@ -42,7 +42,7 @@ define i32 @f(i32 %x) {
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@f
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[X:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: entry:
|
||||
; IS__TUNIT_NPM-NEXT: [[X_ADDR:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: [[X_ADDR:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[X]], i32* [[X_ADDR]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP0:%.*]] = load i32, i32* [[X_ADDR]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP1:%.*]] = call i32 @deref(i32 [[TMP0]])
|
||||
|
|
|
|||
|
|
@ -100,8 +100,8 @@ define internal fastcc void @promote_avx2(<4 x i64>* %arg, <4 x i64>* readonly %
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@promote_avx2
|
||||
; IS__TUNIT_NPM-SAME: (<4 x i64>* noalias nocapture nofree nonnull writeonly align 32 dereferenceable(32) [[ARG:%.*]], <4 x i64> [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: bb:
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <4 x i64>
|
||||
; IS__TUNIT_NPM-NEXT: store <4 x i64> [[TMP0]], <4 x i64>* [[ARG1_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <4 x i64>, align 32
|
||||
; IS__TUNIT_NPM-NEXT: store <4 x i64> [[TMP0]], <4 x i64>* [[ARG1_PRIV]], align 32
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP:%.*]] = load <4 x i64>, <4 x i64>* [[ARG1_PRIV]], align 32
|
||||
; IS__TUNIT_NPM-NEXT: store <4 x i64> [[TMP]], <4 x i64>* [[ARG]], align 32
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
|
|||
|
|
@ -21,8 +21,8 @@ define internal fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal5
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer512_call_avx512_legal512_prefer512
|
||||
; IS__TUNIT_NPM-SAME: (<8 x i64>* noalias nocapture nofree nonnull writeonly align 64 dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: bb:
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP:%.*]] = load <8 x i64>, <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP]], <8 x i64>* [[ARG]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
@ -108,8 +108,8 @@ define internal fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal5
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer256_call_avx512_legal512_prefer256
|
||||
; IS__TUNIT_NPM-SAME: (<8 x i64>* noalias nocapture nofree nonnull writeonly align 64 dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: bb:
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP:%.*]] = load <8 x i64>, <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP]], <8 x i64>* [[ARG]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
@ -195,8 +195,8 @@ define internal fastcc void @callee_avx512_legal512_prefer512_call_avx512_legal5
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer512_call_avx512_legal512_prefer256
|
||||
; IS__TUNIT_NPM-SAME: (<8 x i64>* noalias nocapture nofree nonnull writeonly align 64 dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: bb:
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP:%.*]] = load <8 x i64>, <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP]], <8 x i64>* [[ARG]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
@ -282,8 +282,8 @@ define internal fastcc void @callee_avx512_legal512_prefer256_call_avx512_legal5
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callee_avx512_legal512_prefer256_call_avx512_legal512_prefer512
|
||||
; IS__TUNIT_NPM-SAME: (<8 x i64>* noalias nocapture nofree nonnull writeonly align 64 dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: bb:
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP:%.*]] = load <8 x i64>, <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP]], <8 x i64>* [[ARG]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
@ -537,8 +537,8 @@ define internal fastcc void @callee_avx2_legal256_prefer256_call_avx2_legal512_p
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callee_avx2_legal256_prefer256_call_avx2_legal512_prefer256
|
||||
; IS__TUNIT_NPM-SAME: (<8 x i64>* noalias nocapture nofree nonnull writeonly align 64 dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: bb:
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP:%.*]] = load <8 x i64>, <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP]], <8 x i64>* [[ARG]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
@ -624,8 +624,8 @@ define internal fastcc void @callee_avx2_legal512_prefer256_call_avx2_legal256_p
|
|||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callee_avx2_legal512_prefer256_call_avx2_legal256_prefer256
|
||||
; IS__TUNIT_NPM-SAME: (<8 x i64>* noalias nocapture nofree nonnull writeonly align 64 dereferenceable(64) [[ARG:%.*]], <8 x i64> [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: bb:
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[ARG1_PRIV:%.*]] = alloca <8 x i64>, align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP0]], <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP:%.*]] = load <8 x i64>, <8 x i64>* [[ARG1_PRIV]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: store <8 x i64> [[TMP]], <8 x i64>* [[ARG]], align 64
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
|
|||
|
|
@ -33,8 +33,8 @@ define internal void @g(i32* %a) {
|
|||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@g
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: [[A_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[A_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[A_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[A_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[AA:%.*]] = load i32, i32* [[A_PRIV]], align 1
|
||||
; IS__TUNIT_NPM-NEXT: call void @z(i32 [[AA]])
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
@ -70,10 +70,10 @@ define internal i32 @test(i32* %X, i64* %Y) {
|
|||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@test
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]], i64 [[TMP1:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: [[Y_PRIV:%.*]] = alloca i64
|
||||
; IS__TUNIT_NPM-NEXT: store i64 [[TMP1]], i64* [[Y_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[X_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[X_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[Y_PRIV:%.*]] = alloca i64, align 8
|
||||
; IS__TUNIT_NPM-NEXT: store i64 [[TMP1]], i64* [[Y_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[X_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[X_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[A:%.*]] = load i32, i32* [[X_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[B:%.*]] = load i64, i64* [[Y_PRIV]], align 8
|
||||
; IS__TUNIT_NPM-NEXT: [[C:%.*]] = add i32 [[A]], 1
|
||||
|
|
@ -113,16 +113,16 @@ Return2:
|
|||
define internal i32 @caller(i32* %A) {
|
||||
; IS__TUNIT_OPM-LABEL: define {{[^@]+}}@caller
|
||||
; IS__TUNIT_OPM-SAME: (i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[A:%.*]])
|
||||
; IS__TUNIT_OPM-NEXT: [[B:%.*]] = alloca i64
|
||||
; IS__TUNIT_OPM-NEXT: [[B:%.*]] = alloca i64, align 8
|
||||
; IS__TUNIT_OPM-NEXT: store i64 1, i64* [[B]], align 8
|
||||
; IS__TUNIT_OPM-NEXT: [[C:%.*]] = call i32 @test(i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[A]], i64* noalias nocapture nofree nonnull readonly align 8 dereferenceable(8) [[B]])
|
||||
; IS__TUNIT_OPM-NEXT: ret i32 [[C]]
|
||||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@caller
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: [[A_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[A_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[B:%.*]] = alloca i64
|
||||
; IS__TUNIT_NPM-NEXT: [[A_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[A_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[B:%.*]] = alloca i64, align 8
|
||||
; IS__TUNIT_NPM-NEXT: store i64 1, i64* [[B]], align 8
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP2:%.*]] = load i32, i32* [[A_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP3:%.*]] = load i64, i64* [[B]], align 8
|
||||
|
|
@ -131,7 +131,7 @@ define internal i32 @caller(i32* %A) {
|
|||
;
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@caller
|
||||
; IS__CGSCC____-SAME: (i32* nocapture nofree nonnull readonly align 4 dereferenceable(4) [[A:%.*]])
|
||||
; IS__CGSCC____-NEXT: [[B:%.*]] = alloca i64
|
||||
; IS__CGSCC____-NEXT: [[B:%.*]] = alloca i64, align 8
|
||||
; IS__CGSCC____-NEXT: store i64 1, i64* [[B]], align 8
|
||||
; IS__CGSCC____-NEXT: [[C:%.*]] = call i32 @test(i32* nocapture nofree nonnull readonly align 4 dereferenceable(4) [[A]], i64* noalias nocapture nofree nonnull readonly align 8 dereferenceable(8) [[B]])
|
||||
; IS__CGSCC____-NEXT: ret i32 [[C]]
|
||||
|
|
@ -144,13 +144,13 @@ define internal i32 @caller(i32* %A) {
|
|||
|
||||
define i32 @callercaller() {
|
||||
; NOT_TUNIT_NPM-LABEL: define {{[^@]+}}@callercaller()
|
||||
; NOT_TUNIT_NPM-NEXT: [[B:%.*]] = alloca i32
|
||||
; NOT_TUNIT_NPM-NEXT: [[B:%.*]] = alloca i32, align 4
|
||||
; NOT_TUNIT_NPM-NEXT: store i32 2, i32* [[B]], align 4
|
||||
; NOT_TUNIT_NPM-NEXT: [[X:%.*]] = call i32 @caller(i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[B]])
|
||||
; NOT_TUNIT_NPM-NEXT: ret i32 [[X]]
|
||||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callercaller()
|
||||
; IS__TUNIT_NPM-NEXT: [[B:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: [[B:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 2, i32* [[B]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP1:%.*]] = load i32, i32* [[B]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[X:%.*]] = call i32 @caller(i32 [[TMP1]])
|
||||
|
|
|
|||
|
|
@ -15,10 +15,10 @@ define internal i32 @test(i32* %X, i32* %Y) {
|
|||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@test
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]], i32 [[TMP1:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: [[Y_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP1]], i32* [[Y_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[X_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[X_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[Y_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP1]], i32* [[Y_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[X_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[X_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[A:%.*]] = load i32, i32* [[X_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[B:%.*]] = load i32, i32* [[Y_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[C:%.*]] = add i32 [[A]], [[B]]
|
||||
|
|
@ -40,16 +40,16 @@ define internal i32 @test(i32* %X, i32* %Y) {
|
|||
define internal i32 @caller(i32* %B) {
|
||||
; IS__TUNIT_OPM-LABEL: define {{[^@]+}}@caller
|
||||
; IS__TUNIT_OPM-SAME: (i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[B:%.*]])
|
||||
; IS__TUNIT_OPM-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__TUNIT_OPM-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_OPM-NEXT: store i32 1, i32* [[A]], align 4
|
||||
; IS__TUNIT_OPM-NEXT: [[C:%.*]] = call i32 @test(i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[A]], i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[B]])
|
||||
; IS__TUNIT_OPM-NEXT: ret i32 [[C]]
|
||||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@caller
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: [[B_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[B_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: [[B_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[B_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 1, i32* [[A]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP2:%.*]] = load i32, i32* [[A]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP3:%.*]] = load i32, i32* [[B_PRIV]], align 4
|
||||
|
|
@ -58,7 +58,7 @@ define internal i32 @caller(i32* %B) {
|
|||
;
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@caller
|
||||
; IS__CGSCC____-SAME: (i32* nocapture nofree nonnull readonly align 4 dereferenceable(4) [[B:%.*]])
|
||||
; IS__CGSCC____-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__CGSCC____-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC____-NEXT: store i32 1, i32* [[A]], align 4
|
||||
; IS__CGSCC____-NEXT: [[C:%.*]] = call i32 @test(i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[A]], i32* nocapture nofree nonnull readonly align 4 dereferenceable(4) [[B]])
|
||||
; IS__CGSCC____-NEXT: ret i32 [[C]]
|
||||
|
|
@ -71,13 +71,13 @@ define internal i32 @caller(i32* %B) {
|
|||
|
||||
define i32 @callercaller() {
|
||||
; NOT_TUNIT_NPM-LABEL: define {{[^@]+}}@callercaller()
|
||||
; NOT_TUNIT_NPM-NEXT: [[B:%.*]] = alloca i32
|
||||
; NOT_TUNIT_NPM-NEXT: [[B:%.*]] = alloca i32, align 4
|
||||
; NOT_TUNIT_NPM-NEXT: store i32 2, i32* [[B]], align 4
|
||||
; NOT_TUNIT_NPM-NEXT: [[X:%.*]] = call i32 @caller(i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[B]])
|
||||
; NOT_TUNIT_NPM-NEXT: ret i32 [[X]]
|
||||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callercaller()
|
||||
; IS__TUNIT_NPM-NEXT: [[B:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: [[B:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 2, i32* [[B]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP1:%.*]] = load i32, i32* [[B]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[X:%.*]] = call i32 @caller(i32 [[TMP1]])
|
||||
|
|
|
|||
|
|
@ -94,15 +94,15 @@ define i32 @main() nounwind {
|
|||
; IS__TUNIT_NPM-NEXT: store i32 1, i32* [[TMP1]], align 8
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP4:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
|
||||
; IS__TUNIT_NPM-NEXT: store i64 2, i64* [[TMP4]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[S_CAST1:%.*]] = bitcast %struct.ss* [[S]] to i32*
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP0:%.*]] = load i32, i32* [[S_CAST1]], align 8
|
||||
; IS__TUNIT_NPM-NEXT: [[S_0_12:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP1:%.*]] = load i64, i64* [[S_0_12]], align 8
|
||||
; IS__TUNIT_NPM-NEXT: [[C0:%.*]] = call i32 @f(i32 [[TMP0]], i64 [[TMP1]])
|
||||
; IS__TUNIT_NPM-NEXT: [[S_CAST:%.*]] = bitcast %struct.ss* [[S]] to i32*
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP2:%.*]] = load i32, i32* [[S_CAST]], align 32
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP0:%.*]] = load i32, i32* [[S_CAST]], align 8
|
||||
; IS__TUNIT_NPM-NEXT: [[S_0_1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP3:%.*]] = load i64, i64* [[S_0_1]], align 32
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP1:%.*]] = load i64, i64* [[S_0_1]], align 8
|
||||
; IS__TUNIT_NPM-NEXT: [[C0:%.*]] = call i32 @f(i32 [[TMP0]], i64 [[TMP1]])
|
||||
; IS__TUNIT_NPM-NEXT: [[S_CAST1:%.*]] = bitcast %struct.ss* [[S]] to i32*
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP2:%.*]] = load i32, i32* [[S_CAST1]], align 32
|
||||
; IS__TUNIT_NPM-NEXT: [[S_0_12:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP3:%.*]] = load i64, i64* [[S_0_12]], align 32
|
||||
; IS__TUNIT_NPM-NEXT: [[C1:%.*]] = call i32 @g(i32 [[TMP2]], i64 [[TMP3]])
|
||||
; IS__TUNIT_NPM-NEXT: [[A:%.*]] = add i32 [[C0]], [[C1]]
|
||||
; IS__TUNIT_NPM-NEXT: ret i32 [[A]]
|
||||
|
|
|
|||
|
|
@ -18,8 +18,8 @@ define internal i32 @callee(i1 %C, i32* %P) {
|
|||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@callee
|
||||
; IS__TUNIT_NPM-SAME: (i1 [[C:%.*]], i32 [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: [[P_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[P_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[P_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[P_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: br label [[F:%.*]]
|
||||
; IS__TUNIT_NPM: T:
|
||||
; IS__TUNIT_NPM-NEXT: unreachable
|
||||
|
|
@ -48,20 +48,20 @@ F: ; preds = %0
|
|||
|
||||
define i32 @foo() {
|
||||
; IS__TUNIT_OPM-LABEL: define {{[^@]+}}@foo()
|
||||
; IS__TUNIT_OPM-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__TUNIT_OPM-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_OPM-NEXT: store i32 17, i32* [[A]], align 4
|
||||
; IS__TUNIT_OPM-NEXT: [[X:%.*]] = call i32 @callee(i1 false, i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[A]])
|
||||
; IS__TUNIT_OPM-NEXT: ret i32 [[X]]
|
||||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@foo()
|
||||
; IS__TUNIT_NPM-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 17, i32* [[A]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP1:%.*]] = load i32, i32* [[A]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[X:%.*]] = call i32 @callee(i1 false, i32 [[TMP1]])
|
||||
; IS__TUNIT_NPM-NEXT: ret i32 [[X]]
|
||||
;
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@foo()
|
||||
; IS__CGSCC____-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__CGSCC____-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC____-NEXT: store i32 17, i32* [[A]], align 4
|
||||
; IS__CGSCC____-NEXT: [[X:%.*]] = call i32 @callee(i32* noalias nocapture nofree nonnull readonly align 4 dereferenceable(4) [[A]])
|
||||
; IS__CGSCC____-NEXT: ret i32 [[X]]
|
||||
|
|
|
|||
|
|
@ -75,8 +75,8 @@ define i32 @test_inf_promote_caller(i32 %arg) {
|
|||
; IS__CGSCC____-LABEL: define {{[^@]+}}@test_inf_promote_caller
|
||||
; IS__CGSCC____-SAME: (i32 [[ARG:%.*]])
|
||||
; IS__CGSCC____-NEXT: bb:
|
||||
; IS__CGSCC____-NEXT: [[TMP:%.*]] = alloca [[S:%.*]]
|
||||
; IS__CGSCC____-NEXT: [[TMP1:%.*]] = alloca [[S]]
|
||||
; IS__CGSCC____-NEXT: [[TMP:%.*]] = alloca [[S:%.*]], align 8
|
||||
; IS__CGSCC____-NEXT: [[TMP1:%.*]] = alloca [[S]], align 8
|
||||
; IS__CGSCC____-NEXT: unreachable
|
||||
;
|
||||
bb:
|
||||
|
|
|
|||
|
|
@ -41,13 +41,13 @@ dead:
|
|||
|
||||
define internal i32 @caller(i32* %B) {
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@caller()
|
||||
; IS__CGSCC_OPM-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__CGSCC_OPM-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC_OPM-NEXT: store i32 1, i32* [[A]], align 4
|
||||
; IS__CGSCC_OPM-NEXT: [[C:%.*]] = call i32 @test(i32* noalias nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[A]])
|
||||
; IS__CGSCC_OPM-NEXT: ret i32 0
|
||||
;
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@caller()
|
||||
; IS__CGSCC_NPM-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__CGSCC_NPM-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC_NPM-NEXT: store i32 1, i32* [[A]], align 4
|
||||
; IS__CGSCC_NPM-NEXT: [[C:%.*]] = call i32 @test(i32* noalias nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[A]])
|
||||
; IS__CGSCC_NPM-NEXT: ret i32 undef
|
||||
|
|
@ -60,7 +60,7 @@ define internal i32 @caller(i32* %B) {
|
|||
|
||||
define i32 @callercaller() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@callercaller()
|
||||
; CHECK-NEXT: [[B:%.*]] = alloca i32
|
||||
; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4
|
||||
; CHECK-NEXT: store i32 2, i32* [[B]], align 4
|
||||
; CHECK-NEXT: ret i32 0
|
||||
;
|
||||
|
|
|
|||
|
|
@ -51,21 +51,21 @@ dead:
|
|||
define internal i32 @caller(i32* %B) {
|
||||
; IS__TUNIT____-LABEL: define {{[^@]+}}@caller
|
||||
; IS__TUNIT____-SAME: (i32* noalias nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[B:%.*]])
|
||||
; IS__TUNIT____-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__TUNIT____-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT____-NEXT: store i32 1, i32* [[A]], align 4
|
||||
; IS__TUNIT____-NEXT: [[C:%.*]] = call i32 @test(i32* noalias nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[B]])
|
||||
; IS__TUNIT____-NEXT: ret i32 0
|
||||
;
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@caller
|
||||
; IS__CGSCC_OPM-SAME: (i32* nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[B:%.*]])
|
||||
; IS__CGSCC_OPM-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__CGSCC_OPM-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC_OPM-NEXT: store i32 1, i32* [[A]], align 4
|
||||
; IS__CGSCC_OPM-NEXT: [[C:%.*]] = call i32 @test(i32* nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[B]])
|
||||
; IS__CGSCC_OPM-NEXT: ret i32 0
|
||||
;
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@caller
|
||||
; IS__CGSCC_NPM-SAME: (i32* nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[B:%.*]])
|
||||
; IS__CGSCC_NPM-NEXT: [[A:%.*]] = alloca i32
|
||||
; IS__CGSCC_NPM-NEXT: [[A:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC_NPM-NEXT: store i32 1, i32* [[A]], align 4
|
||||
; IS__CGSCC_NPM-NEXT: [[C:%.*]] = call i32 @test(i32* nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[B]])
|
||||
; IS__CGSCC_NPM-NEXT: ret i32 undef
|
||||
|
|
@ -78,7 +78,7 @@ define internal i32 @caller(i32* %B) {
|
|||
|
||||
define i32 @callercaller() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@callercaller()
|
||||
; CHECK-NEXT: [[B:%.*]] = alloca i32
|
||||
; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4
|
||||
; CHECK-NEXT: store i32 2, i32* [[B]], align 4
|
||||
; CHECK-NEXT: [[X:%.*]] = call i32 @caller(i32* noalias nocapture nofree nonnull writeonly align 4 dereferenceable(4) [[B]])
|
||||
; CHECK-NEXT: ret i32 0
|
||||
|
|
|
|||
|
|
@ -15,7 +15,7 @@
|
|||
|
||||
define void @foo() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@foo()
|
||||
; CHECK-NEXT: [[TMP:%.*]] = alloca void (i16*)*
|
||||
; CHECK-NEXT: [[TMP:%.*]] = alloca void (i16*)*, align 8
|
||||
; CHECK-NEXT: store void (i16*)* @bar, void (i16*)** [[TMP]], align 8
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
|
|
|
|||
|
|
@ -9,13 +9,13 @@ target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:1
|
|||
|
||||
define void @caller() #0 {
|
||||
; NOT_TUNIT_NPM-LABEL: define {{[^@]+}}@caller()
|
||||
; NOT_TUNIT_NPM-NEXT: [[X:%.*]] = alloca i32
|
||||
; NOT_TUNIT_NPM-NEXT: [[X:%.*]] = alloca i32, align 4
|
||||
; NOT_TUNIT_NPM-NEXT: store i32 42, i32* [[X]], align 4
|
||||
; NOT_TUNIT_NPM-NEXT: call void @promote_i32_ptr(i32* noalias nocapture nonnull readonly align 4 dereferenceable(4) [[X]]), !prof !0
|
||||
; NOT_TUNIT_NPM-NEXT: ret void
|
||||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@caller()
|
||||
; IS__TUNIT_NPM-NEXT: [[X:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: [[X:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 42, i32* [[X]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[TMP1:%.*]] = load i32, i32* [[X]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: call void @promote_i32_ptr(i32 [[TMP1]]), !prof !0
|
||||
|
|
@ -36,8 +36,8 @@ define internal void @promote_i32_ptr(i32* %xp) {
|
|||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@promote_i32_ptr
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: [[XP_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[XP_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[XP_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[XP_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[X:%.*]] = load i32, i32* [[XP_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: call void @use_i32(i32 [[X]])
|
||||
; IS__TUNIT_NPM-NEXT: ret void
|
||||
|
|
|
|||
|
|
@ -40,14 +40,14 @@ define internal void @add({i32, i32}* %this, i32* sret %r) {
|
|||
|
||||
define void @f() {
|
||||
; IS________OPM-LABEL: define {{[^@]+}}@f()
|
||||
; IS________OPM-NEXT: [[R:%.*]] = alloca i32
|
||||
; IS________OPM-NEXT: [[PAIR:%.*]] = alloca { i32, i32 }
|
||||
; IS________OPM-NEXT: [[R:%.*]] = alloca i32, align 4
|
||||
; IS________OPM-NEXT: [[PAIR:%.*]] = alloca { i32, i32 }, align 8
|
||||
; IS________OPM-NEXT: call void @add({ i32, i32 }* nocapture nofree nonnull readonly align 8 dereferenceable(8) [[PAIR]], i32* nocapture nofree nonnull sret writeonly align 4 dereferenceable(4) [[R]])
|
||||
; IS________OPM-NEXT: ret void
|
||||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@f()
|
||||
; IS________NPM-NEXT: [[R:%.*]] = alloca i32
|
||||
; IS________NPM-NEXT: [[PAIR:%.*]] = alloca { i32, i32 }
|
||||
; IS________NPM-NEXT: [[R:%.*]] = alloca i32, align 4
|
||||
; IS________NPM-NEXT: [[PAIR:%.*]] = alloca { i32, i32 }, align 8
|
||||
; IS________NPM-NEXT: call void @add({ i32, i32 }* noalias nocapture nofree nonnull readonly align 8 dereferenceable(8) [[PAIR]], i32* noalias nocapture nofree nonnull sret writeonly align 4 dereferenceable(4) [[R]])
|
||||
; IS________NPM-NEXT: ret void
|
||||
;
|
||||
|
|
|
|||
|
|
@ -19,7 +19,7 @@ define internal void @foo(i32 %x) nounwind readnone {
|
|||
; IS__CGSCC____-SAME: (i32 [[X:%.*]])
|
||||
; IS__CGSCC____-NEXT: entry:
|
||||
; IS__CGSCC____-NEXT: [[B:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC____-NEXT: store volatile i32 -1, i32* [[B]]
|
||||
; IS__CGSCC____-NEXT: store volatile i32 -1, i32* [[B]], align 4
|
||||
; IS__CGSCC____-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
|
|
@ -41,9 +41,9 @@ define internal void @bar(i32* nocapture %pc) nounwind readonly {
|
|||
; IS__CGSCC_OPM: indirectgoto:
|
||||
; IS__CGSCC_OPM-NEXT: [[INDVAR]] = phi i32 [ [[INDVAR_NEXT]], [[LAB0:%.*]] ], [ 0, [[ENTRY:%.*]] ]
|
||||
; IS__CGSCC_OPM-NEXT: [[PC_ADDR_0:%.*]] = getelementptr i32, i32* [[PC]], i32 [[INDVAR]]
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP1_PN:%.*]] = load i32, i32* [[PC_ADDR_0]]
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP1_PN:%.*]] = load i32, i32* [[PC_ADDR_0]], align 4
|
||||
; IS__CGSCC_OPM-NEXT: [[INDIRECT_GOTO_DEST_IN:%.*]] = getelementptr inbounds [2 x i8*], [2 x i8*]* @bar.l, i32 0, i32 [[TMP1_PN]]
|
||||
; IS__CGSCC_OPM-NEXT: [[INDIRECT_GOTO_DEST:%.*]] = load i8*, i8** [[INDIRECT_GOTO_DEST_IN]]
|
||||
; IS__CGSCC_OPM-NEXT: [[INDIRECT_GOTO_DEST:%.*]] = load i8*, i8** [[INDIRECT_GOTO_DEST_IN]], align 8
|
||||
; IS__CGSCC_OPM-NEXT: indirectbr i8* [[INDIRECT_GOTO_DEST]], [label [[LAB0]], label %end]
|
||||
;
|
||||
entry:
|
||||
|
|
|
|||
|
|
@ -42,27 +42,16 @@ define dso_local i32 @main() {
|
|||
; IS__TUNIT____-NEXT: [[CALL3:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @buz, i8* noalias nofree nonnull readnone align 8 dereferenceable(1) "no-capture-maybe-returned" [[ALLOC2]])
|
||||
; IS__TUNIT____-NEXT: ret i32 0
|
||||
;
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@main()
|
||||
; IS__CGSCC_OPM-NEXT: entry:
|
||||
; IS__CGSCC_OPM-NEXT: [[ALLOC1:%.*]] = alloca i8, align 8
|
||||
; IS__CGSCC_OPM-NEXT: [[ALLOC2:%.*]] = alloca i8, align 8
|
||||
; IS__CGSCC_OPM-NEXT: [[THREAD:%.*]] = alloca i64, align 8
|
||||
; IS__CGSCC_OPM-NEXT: [[CALL:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @foo, i8* noalias nocapture nofree readnone align 536870912 null)
|
||||
; IS__CGSCC_OPM-NEXT: [[CALL1:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @bar, i8* noalias nofree nonnull readnone align 8 dereferenceable(8) bitcast (i8** @GlobalVPtr to i8*))
|
||||
; IS__CGSCC_OPM-NEXT: [[CALL2:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @baz, i8* noalias nocapture nofree nonnull readnone align 8 dereferenceable(1) [[ALLOC1]])
|
||||
; IS__CGSCC_OPM-NEXT: [[CALL3:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @buz, i8* noalias nofree nonnull readnone align 8 dereferenceable(1) [[ALLOC2]])
|
||||
; IS__CGSCC_OPM-NEXT: ret i32 0
|
||||
;
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@main()
|
||||
; IS__CGSCC_NPM-NEXT: entry:
|
||||
; IS__CGSCC_NPM-NEXT: [[ALLOC1:%.*]] = alloca i8, align 8
|
||||
; IS__CGSCC_NPM-NEXT: [[ALLOC2:%.*]] = alloca i8, align 8
|
||||
; IS__CGSCC_NPM-NEXT: [[THREAD:%.*]] = alloca i64, align 8
|
||||
; IS__CGSCC_NPM-NEXT: [[CALL:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @foo, i8* noalias nocapture nofree readnone align 536870912 null)
|
||||
; IS__CGSCC_NPM-NEXT: [[CALL1:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @bar, i8* noalias nofree nonnull readnone align 8 dereferenceable(8) bitcast (i8** @GlobalVPtr to i8*))
|
||||
; IS__CGSCC_NPM-NEXT: [[CALL2:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @baz, i8* noalias nocapture nofree nonnull readnone align 8 dereferenceable(1) [[ALLOC1]])
|
||||
; IS__CGSCC_NPM-NEXT: [[CALL3:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @buz, i8* noalias nofree nonnull readnone align 8 dereferenceable(1) [[ALLOC2]])
|
||||
; IS__CGSCC_NPM-NEXT: ret i32 0
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@main()
|
||||
; IS__CGSCC____-NEXT: entry:
|
||||
; IS__CGSCC____-NEXT: [[ALLOC1:%.*]] = alloca i8, align 8
|
||||
; IS__CGSCC____-NEXT: [[ALLOC2:%.*]] = alloca i8, align 8
|
||||
; IS__CGSCC____-NEXT: [[THREAD:%.*]] = alloca i64, align 8
|
||||
; IS__CGSCC____-NEXT: [[CALL:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @foo, i8* noalias nocapture nofree readnone align 536870912 null)
|
||||
; IS__CGSCC____-NEXT: [[CALL1:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @bar, i8* noalias nofree nonnull readnone align 8 dereferenceable(8) bitcast (i8** @GlobalVPtr to i8*))
|
||||
; IS__CGSCC____-NEXT: [[CALL2:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @baz, i8* noalias nocapture nofree nonnull readnone align 8 dereferenceable(1) [[ALLOC1]])
|
||||
; IS__CGSCC____-NEXT: [[CALL3:%.*]] = call i32 @pthread_create(i64* nonnull align 8 dereferenceable(8) [[THREAD]], %union.pthread_attr_t* noalias nocapture align 536870912 null, i8* (i8*)* nonnull @buz, i8* noalias nofree nonnull readnone align 8 dereferenceable(1) [[ALLOC2]])
|
||||
; IS__CGSCC____-NEXT: ret i32 0
|
||||
;
|
||||
entry:
|
||||
%alloc1 = alloca i8, align 8
|
||||
|
|
@ -93,15 +82,10 @@ define internal i8* @bar(i8* %arg) {
|
|||
; IS__TUNIT____-NEXT: entry:
|
||||
; IS__TUNIT____-NEXT: ret i8* bitcast (i8** @GlobalVPtr to i8*)
|
||||
;
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@bar
|
||||
; IS__CGSCC_OPM-SAME: (i8* nofree readnone returned "no-capture-maybe-returned" [[ARG:%.*]])
|
||||
; IS__CGSCC_OPM-NEXT: entry:
|
||||
; IS__CGSCC_OPM-NEXT: ret i8* bitcast (i8** @GlobalVPtr to i8*)
|
||||
;
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@bar
|
||||
; IS__CGSCC_NPM-SAME: (i8* nofree readnone returned "no-capture-maybe-returned" [[ARG:%.*]])
|
||||
; IS__CGSCC_NPM-NEXT: entry:
|
||||
; IS__CGSCC_NPM-NEXT: ret i8* bitcast (i8** @GlobalVPtr to i8*)
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@bar
|
||||
; IS__CGSCC____-SAME: (i8* nofree readnone returned "no-capture-maybe-returned" [[ARG:%.*]])
|
||||
; IS__CGSCC____-NEXT: entry:
|
||||
; IS__CGSCC____-NEXT: ret i8* bitcast (i8** @GlobalVPtr to i8*)
|
||||
;
|
||||
entry:
|
||||
ret i8* %arg
|
||||
|
|
|
|||
|
|
@ -65,7 +65,7 @@ define internal { i32, i32 } @foo(i32 %A, i32 %B) {
|
|||
define void @caller(i1 %C) personality i32 (...)* @__gxx_personality_v0 {
|
||||
; IS__TUNIT____-LABEL: define {{[^@]+}}@caller
|
||||
; IS__TUNIT____-SAME: (i1 [[C:%.*]]) #2 personality i32 (...)* @__gxx_personality_v0
|
||||
; IS__TUNIT____-NEXT: [[Q:%.*]] = alloca i32
|
||||
; IS__TUNIT____-NEXT: [[Q:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT____-NEXT: [[W:%.*]] = call align 4 i32* @incdec(i1 [[C]], i32* noalias nofree nonnull align 4 dereferenceable(4) "no-capture-maybe-returned" [[Q]])
|
||||
; IS__TUNIT____-NEXT: [[S1:%.*]] = call { i32, i32 } @foo(i32 1, i32 2)
|
||||
; IS__TUNIT____-NEXT: [[X1:%.*]] = extractvalue { i32, i32 } [[S1]], 0
|
||||
|
|
@ -83,7 +83,7 @@ define void @caller(i1 %C) personality i32 (...)* @__gxx_personality_v0 {
|
|||
;
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@caller
|
||||
; IS__CGSCC____-SAME: (i1 [[C:%.*]]) #1 personality i32 (...)* @__gxx_personality_v0
|
||||
; IS__CGSCC____-NEXT: [[Q:%.*]] = alloca i32
|
||||
; IS__CGSCC____-NEXT: [[Q:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC____-NEXT: [[W:%.*]] = call align 4 i32* @incdec(i1 [[C]], i32* noalias nofree nonnull align 4 dereferenceable(4) [[Q]])
|
||||
; IS__CGSCC____-NEXT: [[S1:%.*]] = call { i32, i32 } @foo(i32 1, i32 2)
|
||||
; IS__CGSCC____-NEXT: [[X1:%.*]] = extractvalue { i32, i32 } [[S1]], 0
|
||||
|
|
|
|||
|
|
@ -82,7 +82,7 @@ define void @test3() {
|
|||
; IS________OPM-NEXT: ret void
|
||||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test3()
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: tail call void @no_sync_func(i8* noalias nocapture nofree [[TMP1]])
|
||||
; IS________NPM-NEXT: ret void
|
||||
;
|
||||
|
|
@ -102,7 +102,7 @@ define void @test3a(i8* %p) {
|
|||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test3a
|
||||
; IS________NPM-SAME: (i8* nocapture [[P:%.*]])
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: tail call void @nofree_arg_only(i8* noalias nocapture nofree [[TMP1]], i8* nocapture [[P]])
|
||||
; IS________NPM-NEXT: ret void
|
||||
;
|
||||
|
|
@ -157,7 +157,7 @@ define void @test0() {
|
|||
; IS________OPM-NEXT: ret void
|
||||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test0()
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 8
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 8, align 1
|
||||
; IS________NPM-NEXT: [[CALLOC_BC:%.*]] = bitcast i8* [[TMP1]] to i8*
|
||||
; IS________NPM-NEXT: call void @llvm.memset.p0i8.i64(i8* [[CALLOC_BC]], i8 0, i64 8, i1 false)
|
||||
; IS________NPM-NEXT: tail call void @no_sync_func(i8* noalias nocapture nofree [[TMP1]])
|
||||
|
|
@ -177,7 +177,7 @@ define void @test4() {
|
|||
; IS________OPM-NEXT: ret void
|
||||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test4()
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: tail call void @nofree_func(i8* noalias nocapture nofree [[TMP1]])
|
||||
; IS________NPM-NEXT: ret void
|
||||
;
|
||||
|
|
@ -207,7 +207,7 @@ define void @test5(i32, i8* %p) {
|
|||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test5
|
||||
; IS________NPM-SAME: (i32 [[TMP0:%.*]], i8* nocapture [[P:%.*]])
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: [[TMP3:%.*]] = icmp eq i32 [[TMP0]], 0
|
||||
; IS________NPM-NEXT: br i1 [[TMP3]], label [[TMP5:%.*]], label [[TMP4:%.*]]
|
||||
; IS________NPM: 4:
|
||||
|
|
@ -256,7 +256,7 @@ define void @test6(i32) {
|
|||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test6
|
||||
; IS________NPM-SAME: (i32 [[TMP0:%.*]])
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: [[TMP3:%.*]] = icmp eq i32 [[TMP0]], 0
|
||||
; IS________NPM-NEXT: br i1 [[TMP3]], label [[TMP5:%.*]], label [[TMP4:%.*]]
|
||||
; IS________NPM: 4:
|
||||
|
|
@ -293,7 +293,7 @@ define void @test7() {
|
|||
; IS________OPM-NEXT: unreachable
|
||||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test7()
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = tail call i32 @no_return_call()
|
||||
; IS________NPM-NEXT: unreachable
|
||||
;
|
||||
|
|
@ -359,7 +359,7 @@ define i32 @test10() {
|
|||
; IS________OPM-NEXT: ret i32 [[TMP3]]
|
||||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test10()
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: tail call void @no_sync_func(i8* noalias nocapture nofree [[TMP1]])
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = bitcast i8* [[TMP1]] to i32*
|
||||
; IS________NPM-NEXT: store i32 10, i32* [[TMP2]], align 4
|
||||
|
|
@ -387,7 +387,7 @@ define i32 @test_lifetime() {
|
|||
; IS________OPM-NEXT: ret i32 [[TMP3]]
|
||||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test_lifetime()
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: tail call void @no_sync_func(i8* noalias nocapture nofree [[TMP1]])
|
||||
; IS________NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 4, i8* noalias nocapture nonnull align 4 dereferenceable(4) [[TMP1]])
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = bitcast i8* [[TMP1]] to i32*
|
||||
|
|
@ -455,7 +455,7 @@ define i32 @irreducible_cfg(i32 %0) {
|
|||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@irreducible_cfg
|
||||
; IS________NPM-SAME: (i32 [[TMP0:%.*]])
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP2:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: [[TMP3:%.*]] = bitcast i8* [[TMP2]] to i32*
|
||||
; IS________NPM-NEXT: store i32 10, i32* [[TMP3]], align 4
|
||||
; IS________NPM-NEXT: [[TMP4:%.*]] = icmp eq i32 [[TMP0]], 1
|
||||
|
|
@ -555,7 +555,7 @@ define i32 @malloc_in_loop(i32 %0) {
|
|||
; IS________NPM-NEXT: [[TMP7:%.*]] = icmp sgt i32 [[TMP6]], 0
|
||||
; IS________NPM-NEXT: br i1 [[TMP7]], label [[TMP8:%.*]], label [[TMP11:%.*]]
|
||||
; IS________NPM: 8:
|
||||
; IS________NPM-NEXT: [[TMP9:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP9:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: [[TMP10:%.*]] = bitcast i8* [[TMP9]] to i32*
|
||||
; IS________NPM-NEXT: store i32 1, i32* [[TMP10]], align 8
|
||||
; IS________NPM-NEXT: br label [[TMP4]]
|
||||
|
|
@ -680,7 +680,7 @@ define void @test16a(i8 %v, i8** %P) {
|
|||
;
|
||||
; IS________NPM-LABEL: define {{[^@]+}}@test16a
|
||||
; IS________NPM-SAME: (i8 [[V:%.*]], i8** nocapture nofree readnone [[P:%.*]])
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4
|
||||
; IS________NPM-NEXT: [[TMP1:%.*]] = alloca i8, i64 4, align 1
|
||||
; IS________NPM-NEXT: store i8 [[V]], i8* [[TMP1]], align 1
|
||||
; IS________NPM-NEXT: tail call void @no_sync_func(i8* noalias nocapture nofree nonnull dereferenceable(1) [[TMP1]])
|
||||
; IS________NPM-NEXT: ret void
|
||||
|
|
|
|||
|
|
@ -123,10 +123,10 @@ define internal i32 @noalias_args_argmem_ro(i32* %A, i32* %B) #1 {
|
|||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@noalias_args_argmem_ro
|
||||
; IS__TUNIT_NPM-SAME: (i32 [[TMP0:%.*]], i32 [[TMP1:%.*]])
|
||||
; IS__TUNIT_NPM-NEXT: [[B_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP1]], i32* [[B_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[A_PRIV:%.*]] = alloca i32
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[A_PRIV]]
|
||||
; IS__TUNIT_NPM-NEXT: [[B_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP1]], i32* [[B_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[A_PRIV:%.*]] = alloca i32, align 4
|
||||
; IS__TUNIT_NPM-NEXT: store i32 [[TMP0]], i32* [[A_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[T0:%.*]] = load i32, i32* [[A_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[T1:%.*]] = load i32, i32* [[B_PRIV]], align 4
|
||||
; IS__TUNIT_NPM-NEXT: [[ADD:%.*]] = add nsw i32 [[T0]], [[T1]]
|
||||
|
|
|
|||
|
|
@ -1778,7 +1778,7 @@ indirectgoto: ; preds = %lab0, %entry
|
|||
define i32 @main() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@main()
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: [[F:%.*]] = alloca i32
|
||||
; CHECK-NEXT: [[F:%.*]] = alloca i32, align 4
|
||||
; CHECK-NEXT: br label [[FOR_COND_0:%.*]]
|
||||
; CHECK: for.cond.0:
|
||||
; CHECK-NEXT: [[G_0:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[FOR_BODY_0:%.*]] ]
|
||||
|
|
@ -1856,8 +1856,8 @@ define i32 @h(i32 %i) {
|
|||
define void @bad_gep() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@bad_gep()
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: [[N:%.*]] = alloca i8
|
||||
; CHECK-NEXT: [[M:%.*]] = alloca i8
|
||||
; CHECK-NEXT: [[N:%.*]] = alloca i8, align 1
|
||||
; CHECK-NEXT: [[M:%.*]] = alloca i8, align 1
|
||||
; CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 1, i8* noalias nocapture nonnull dereferenceable(1) [[N]])
|
||||
; CHECK-NEXT: br label [[EXIT:%.*]]
|
||||
; CHECK: while.body:
|
||||
|
|
|
|||
|
|
@ -325,7 +325,7 @@ define void @callerA2(i8* %arg) {
|
|||
; CHECK: Function Attrs: readnone
|
||||
define void @callerB1() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@callerB1()
|
||||
; CHECK-NEXT: [[STACK:%.*]] = alloca i8
|
||||
; CHECK-NEXT: [[STACK:%.*]] = alloca i8, align 1
|
||||
; CHECK-NEXT: [[TMP1:%.*]] = call i8* @argmem_only(i8* nonnull dereferenceable(1) [[STACK]])
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
|
|
@ -336,7 +336,7 @@ define void @callerB1() {
|
|||
; CHECK: Function Attrs: inaccessiblememonly
|
||||
define void @callerB2() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@callerB2()
|
||||
; CHECK-NEXT: [[STACK:%.*]] = alloca i8
|
||||
; CHECK-NEXT: [[STACK:%.*]] = alloca i8, align 1
|
||||
; CHECK-NEXT: [[TMP1:%.*]] = call i8* @inaccesible_argmem_only_decl(i8* nonnull dereferenceable(1) [[STACK]])
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
|
|
@ -476,7 +476,7 @@ define void @writeonly_global_via_arg_internal() {
|
|||
define i8 @recursive_not_readnone(i8* %ptr, i1 %c) {
|
||||
; CHECK-LABEL: define {{[^@]+}}@recursive_not_readnone
|
||||
; CHECK-SAME: (i8* nocapture nofree writeonly [[PTR:%.*]], i1 [[C:%.*]])
|
||||
; CHECK-NEXT: [[ALLOC:%.*]] = alloca i8
|
||||
; CHECK-NEXT: [[ALLOC:%.*]] = alloca i8, align 1
|
||||
; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
|
||||
; CHECK: t:
|
||||
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @recursive_not_readnone(i8* noalias nocapture nofree nonnull writeonly dereferenceable(1) [[ALLOC]], i1 false)
|
||||
|
|
@ -504,7 +504,7 @@ f:
|
|||
define internal i8 @recursive_not_readnone_internal(i8* %ptr, i1 %c) {
|
||||
; IS__TUNIT____-LABEL: define {{[^@]+}}@recursive_not_readnone_internal
|
||||
; IS__TUNIT____-SAME: (i8* noalias nocapture nofree nonnull writeonly dereferenceable(1) [[PTR:%.*]], i1 [[C:%.*]])
|
||||
; IS__TUNIT____-NEXT: [[ALLOC:%.*]] = alloca i8
|
||||
; IS__TUNIT____-NEXT: [[ALLOC:%.*]] = alloca i8, align 1
|
||||
; IS__TUNIT____-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
|
||||
; IS__TUNIT____: t:
|
||||
; IS__TUNIT____-NEXT: [[TMP1:%.*]] = call i8 @recursive_not_readnone_internal(i8* noalias nocapture nofree nonnull writeonly dereferenceable(1) [[ALLOC]], i1 false)
|
||||
|
|
@ -516,7 +516,7 @@ define internal i8 @recursive_not_readnone_internal(i8* %ptr, i1 %c) {
|
|||
;
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@recursive_not_readnone_internal
|
||||
; IS__CGSCC____-SAME: (i8* nocapture nofree nonnull writeonly dereferenceable(1) [[PTR:%.*]], i1 [[C:%.*]])
|
||||
; IS__CGSCC____-NEXT: [[ALLOC:%.*]] = alloca i8
|
||||
; IS__CGSCC____-NEXT: [[ALLOC:%.*]] = alloca i8, align 1
|
||||
; IS__CGSCC____-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
|
||||
; IS__CGSCC____: t:
|
||||
; IS__CGSCC____-NEXT: [[TMP1:%.*]] = call i8 @recursive_not_readnone_internal(i8* noalias nocapture nofree nonnull writeonly dereferenceable(1) [[ALLOC]], i1 false)
|
||||
|
|
@ -542,7 +542,7 @@ f:
|
|||
define i8 @readnone_caller(i1 %c) {
|
||||
; CHECK-LABEL: define {{[^@]+}}@readnone_caller
|
||||
; CHECK-SAME: (i1 [[C:%.*]])
|
||||
; CHECK-NEXT: [[A:%.*]] = alloca i8
|
||||
; CHECK-NEXT: [[A:%.*]] = alloca i8, align 1
|
||||
; CHECK-NEXT: [[R:%.*]] = call i8 @recursive_not_readnone_internal(i8* noalias nocapture nofree nonnull writeonly dereferenceable(1) [[A]], i1 [[C]])
|
||||
; CHECK-NEXT: ret i8 [[R]]
|
||||
;
|
||||
|
|
@ -558,7 +558,7 @@ define i8 @readnone_caller(i1 %c) {
|
|||
define internal i8 @recursive_not_readnone_internal2(i8* %ptr, i1 %c) {
|
||||
; IS__TUNIT____-LABEL: define {{[^@]+}}@recursive_not_readnone_internal2
|
||||
; IS__TUNIT____-SAME: (i8* noalias nocapture nofree nonnull writeonly [[PTR:%.*]], i1 [[C:%.*]])
|
||||
; IS__TUNIT____-NEXT: [[ALLOC:%.*]] = alloca i8
|
||||
; IS__TUNIT____-NEXT: [[ALLOC:%.*]] = alloca i8, align 1
|
||||
; IS__TUNIT____-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
|
||||
; IS__TUNIT____: t:
|
||||
; IS__TUNIT____-NEXT: [[TMP1:%.*]] = call i8 @recursive_not_readnone_internal2(i8* noalias nocapture nofree nonnull writeonly dereferenceable(1) [[ALLOC]], i1 false)
|
||||
|
|
@ -570,7 +570,7 @@ define internal i8 @recursive_not_readnone_internal2(i8* %ptr, i1 %c) {
|
|||
;
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@recursive_not_readnone_internal2
|
||||
; IS__CGSCC____-SAME: (i8* nocapture nofree nonnull writeonly [[PTR:%.*]], i1 [[C:%.*]])
|
||||
; IS__CGSCC____-NEXT: [[ALLOC:%.*]] = alloca i8
|
||||
; IS__CGSCC____-NEXT: [[ALLOC:%.*]] = alloca i8, align 1
|
||||
; IS__CGSCC____-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
|
||||
; IS__CGSCC____: t:
|
||||
; IS__CGSCC____-NEXT: [[TMP1:%.*]] = call i8 @recursive_not_readnone_internal2(i8* noalias nocapture nofree nonnull writeonly dereferenceable(1) [[ALLOC]], i1 false)
|
||||
|
|
|
|||
|
|
@ -87,7 +87,7 @@ define void @func4() {
|
|||
|
||||
define internal void @func5(i32 %0) {
|
||||
; CHECK-LABEL: define {{[^@]+}}@func5()
|
||||
; CHECK-NEXT: [[TMP:%.*]] = alloca i8*
|
||||
; CHECK-NEXT: [[TMP:%.*]] = alloca i8*, align 8
|
||||
; CHECK-NEXT: br label [[BLOCK:%.*]]
|
||||
; CHECK: block:
|
||||
; CHECK-NEXT: store i8* blockaddress(@func5, [[BLOCK]]), i8** [[TMP]], align 8
|
||||
|
|
|
|||
|
|
@ -195,7 +195,7 @@ declare void @escape_readonly_ptr(i8** %addr, i8* readonly %ptr)
|
|||
define void @unsound_readnone(i8* %ignored, i8* %escaped_then_written) {
|
||||
; CHECK-LABEL: define {{[^@]+}}@unsound_readnone
|
||||
; CHECK-SAME: (i8* nocapture nofree readnone [[IGNORED:%.*]], i8* [[ESCAPED_THEN_WRITTEN:%.*]])
|
||||
; CHECK-NEXT: [[ADDR:%.*]] = alloca i8*
|
||||
; CHECK-NEXT: [[ADDR:%.*]] = alloca i8*, align 8
|
||||
; CHECK-NEXT: call void @escape_readnone_ptr(i8** nonnull align 8 dereferenceable(8) [[ADDR]], i8* noalias readnone [[ESCAPED_THEN_WRITTEN]])
|
||||
; CHECK-NEXT: [[ADDR_LD:%.*]] = load i8*, i8** [[ADDR]], align 8
|
||||
; CHECK-NEXT: store i8 0, i8* [[ADDR_LD]], align 1
|
||||
|
|
@ -211,7 +211,7 @@ define void @unsound_readnone(i8* %ignored, i8* %escaped_then_written) {
|
|||
define void @unsound_readonly(i8* %ignored, i8* %escaped_then_written) {
|
||||
; CHECK-LABEL: define {{[^@]+}}@unsound_readonly
|
||||
; CHECK-SAME: (i8* nocapture nofree readnone [[IGNORED:%.*]], i8* [[ESCAPED_THEN_WRITTEN:%.*]])
|
||||
; CHECK-NEXT: [[ADDR:%.*]] = alloca i8*
|
||||
; CHECK-NEXT: [[ADDR:%.*]] = alloca i8*, align 8
|
||||
; CHECK-NEXT: call void @escape_readonly_ptr(i8** nonnull align 8 dereferenceable(8) [[ADDR]], i8* readonly [[ESCAPED_THEN_WRITTEN]])
|
||||
; CHECK-NEXT: [[ADDR_LD:%.*]] = load i8*, i8** [[ADDR]], align 8
|
||||
; CHECK-NEXT: store i8 0, i8* [[ADDR_LD]], align 1
|
||||
|
|
|
|||
|
|
@ -340,7 +340,7 @@ e:
|
|||
; FIXME: Currently it doesn't propagate the undef.
|
||||
define i32 @cond_br_on_undef_uninit() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@cond_br_on_undef_uninit()
|
||||
; CHECK-NEXT: [[ALLOC:%.*]] = alloca i1
|
||||
; CHECK-NEXT: [[ALLOC:%.*]] = alloca i1, align 1
|
||||
; CHECK-NEXT: [[COND:%.*]] = load i1, i1* [[ALLOC]], align 1
|
||||
; CHECK-NEXT: br i1 [[COND]], label [[T:%.*]], label [[E:%.*]]
|
||||
; CHECK: t:
|
||||
|
|
|
|||
|
|
@ -290,10 +290,25 @@ define internal i32* @test_preallocated(i32* preallocated(i32) %a) {
|
|||
ret i32* %a
|
||||
}
|
||||
define i32* @complicated_args_preallocated() {
|
||||
; CHECK-LABEL: define {{[^@]+}}@complicated_args_preallocated()
|
||||
; CHECK-NEXT: [[C:%.*]] = call token @llvm.call.preallocated.setup(i32 1)
|
||||
; CHECK-NEXT: [[CALL:%.*]] = call i32* @test_preallocated(i32* noalias nocapture nofree writeonly preallocated(i32) align 536870912 null)
|
||||
; CHECK-NEXT: ret i32* [[CALL]]
|
||||
; IS__TUNIT_OPM-LABEL: define {{[^@]+}}@complicated_args_preallocated()
|
||||
; IS__TUNIT_OPM-NEXT: [[C:%.*]] = call token @llvm.call.preallocated.setup(i32 1)
|
||||
; IS__TUNIT_OPM-NEXT: [[CALL:%.*]] = call i32* @test_preallocated(i32* noalias nocapture nofree writeonly preallocated(i32) align 536870912 null) #5 [ "preallocated"(token [[C]]) ]
|
||||
; IS__TUNIT_OPM-NEXT: ret i32* [[CALL]]
|
||||
;
|
||||
; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@complicated_args_preallocated()
|
||||
; IS__TUNIT_NPM-NEXT: [[C:%.*]] = call token @llvm.call.preallocated.setup(i32 1)
|
||||
; IS__TUNIT_NPM-NEXT: [[CALL:%.*]] = call i32* @test_preallocated(i32* noalias nocapture nofree writeonly preallocated(i32) align 536870912 null) #4 [ "preallocated"(token [[C]]) ]
|
||||
; IS__TUNIT_NPM-NEXT: ret i32* [[CALL]]
|
||||
;
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@complicated_args_preallocated()
|
||||
; IS__CGSCC_OPM-NEXT: [[C:%.*]] = call token @llvm.call.preallocated.setup(i32 1)
|
||||
; IS__CGSCC_OPM-NEXT: [[CALL:%.*]] = call i32* @test_preallocated(i32* noalias nocapture nofree writeonly preallocated(i32) align 536870912 null) #6 [ "preallocated"(token [[C]]) ]
|
||||
; IS__CGSCC_OPM-NEXT: ret i32* [[CALL]]
|
||||
;
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@complicated_args_preallocated()
|
||||
; IS__CGSCC_NPM-NEXT: [[C:%.*]] = call token @llvm.call.preallocated.setup(i32 1)
|
||||
; IS__CGSCC_NPM-NEXT: [[CALL:%.*]] = call i32* @test_preallocated(i32* noalias nocapture nofree writeonly preallocated(i32) align 536870912 null) #5 [ "preallocated"(token [[C]]) ]
|
||||
; IS__CGSCC_NPM-NEXT: ret i32* [[CALL]]
|
||||
;
|
||||
%c = call token @llvm.call.preallocated.setup(i32 1)
|
||||
%call = call i32* @test_preallocated(i32* preallocated(i32) null) ["preallocated"(token %c)]
|
||||
|
|
|
|||
Loading…
Reference in New Issue