| // RUN: tco %s | FileCheck %s | |
| func.func @test_box_typecode(%a: !fir.class<none>) -> i32 { | |
| %0 = fir.box_typecode %a : (!fir.class<none>) -> i32 | |
| return %0 : i32 | |
| } | |
| // CHECK-LABEL: @test_box_typecode( | |
| // CHECK-SAME: ptr %[[BOX:.*]]) | |
| // CHECK: %[[GEP:.*]] = getelementptr { ptr, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}} }, ptr %[[BOX]], i32 0, i32 4 | |
| // CHECK: %[[TYPE_CODE:.*]] = load i32, ptr %[[GEP]] | |
| // CHECK: ret i32 %[[TYPE_CODE]] |